(also: **Luis Manuel Augusto**; **Luis M.
S. Augusto**)

Founder and Editor-in-chief of

**Journal of Knowledge Structures &
Systems**

Researcher ORCID ID: https://orcid.org/0000-0001-9097-5722

Independent scientist

**Madrid, Spain**

__Highest academic qualifications__

Ph.D.
in Philosophy – University of Paris

M.A.
in Philosophy – University of Paris

M.Sc.
in Computational Mathematics – Universidade Aberta

__Further institutions & activities __

University
of Sussex (post-doctorate)

University
of Barcelona (visiting researcher)

**Logical Consequences**

**Theory and applications: An introduction**

**2nd edition**

London: College
Publications. 06.2020.

ISBN: 978-1-84890-236-7

270 pages. In the Studies in Logic
Yellow Series: Mathematical Logic and Foundations.

Table of Contents, Preface, &c. here

Citations of this
book

Addenda & errata (1st
edition)

**Many-Valued Logics**

**A mathematical and computational introduction**

**2nd edition**

London: College
Publications. 06.2020.

ISBN: 978-1-84890-250-3

382 pages. In the Studies in Logic (Red)
Series.

Table of contents, Preface, &c.: here

Citations of this
book

**Languages, machines, and classical computation**

**2nd edition**

London: College
Publications. 06.2020.

ISBN: 978-1-84890-300-5

296 pages. In the Computing (Blue)
series.** **

Table of contents, Preface, &c.: here

Citations
of this book

Addenda &
Errata for 1st edition (2019)

**Computational logic**

**Vol. 1: Classical deductive computing with
classical logic**

**2nd edition, 2nd
printing**

London: College
Publications. 09.2020.

ISBN: 978-1-84890-280-0

534 pages. In the Computing (Blue)
series.

Table of contents, Preface, &c. here

2nd ed. (2020), 1st printing: Addenda
& Errata

1st ed. (2018); Addenda &
errata (1st ed.)

*This
is the first of a two-volume work on computational logic. *

**Formal logic: Classical problems and proofs**

**2nd printing
(06.2020)**

London: College Publications. 09.2019

ISBN: 978-1-84890-317-3

426 pages. In the Logic
(Red) Series.

Table of
contents, Preface, &c.: here

Addenda
& Errata (1st printing)

**Freud, Jung, Lacan**

**Sobre**** o inconsciente**

Oporto: University
of Oporto (U.Porto editorial). 2013.

ISBN: 978-989-746-029-6

340 pages

Table of contents, Preface, &c.: FJL_inconsciente;
Errata (1a ed.)

Citations
of this book

**Who’s Afraid of
Idealism?*** *

**Epistemological Idealism
from the Kantian and Nietzschean Points of View**

Lanham, MD:
University Press of America. 2005.

ISBN: 0-7618-3297-1

168 pages. 3rd printing

Table of contents, Preface, &c.: here

**Areas of expertise & research interests**

My subjects of expertise are **logic** (mathematical, computational, philosophical), **computer maths**,
& **cognitive science** (also
philosophy of mind, if broadly conceived), namely in relation to **knowledge science**.

I focus on **pure
& applied logic**. I am particularly interested in the
mathematical/philosophical notion of **logical
consequence** and its applications in **(non-)classical
computation**.

More generally, I research into **formal languages** (especially**
logical languages**) and their applications in **human and artificial cognition**.

I am also interested in **knowledge representation**, **cognitive
modeling** conceived both narrowly (symbolic & connectionist models) and
broadly (e.g., mental representation [in, say, Aristotle]), & **unconscious cognition**.

For a view of both the forest and the trees, see my research graph.

**Publications**** **

List
of publications and links thereto.

**Ongoing courses & projects**

·
My current research focus is on **knowledge from a viewpoint of mathematical
structures and systems, via (meta-)logic**. The main
objective of this long-term multi- and interdisciplinary project is a theory of
knowledge that integrates both human and artificial—namely robot—knowledge.
Output already published: Toward
a general theory of knowledge, published in the *Journal of Knowledge Structures & Systems*, *1(1)*. The results are planned to be
published (also) in book form: Knowledge
& Logic.

·
In progress also, and related to the above project:
*Logic in knowledge representation and
reasoning: Central topics via
readings*.

·
A two-volume work on computational logic is
underway. Volume 1 is already published (in College
Publications, London). The second volume will be largely based on **formal semantics**.

·
I am working on a version of my book *Languages,
machines, and classical computation *with applications. These will
constitute Part II of the book and there will be at least three new Chapters: **compilers and front-end compilation**, **natural language processing**, and **formal verification**. I am completing
the chapter on compilation and am looking for co-author(s) for the two other
chapters.

·
I am working together with Farshad Badie (Research Group
Natural and Formal Languages, Aalborg University) on a computational symbolic
model of **formal thought disorder**. **Keywords:** Formal thought disorder; computational
symbolic model; (classical) cognitivism; logical
form; semantic networks; syntax and semantics of human information processing;
description logic; conception language.

·
Can you think of a few ways in which **empirical observation** contradicts the **“naturalness”** of the **inference rules of natural deduction for
the quantifiers**? Then I need you as a co-author for a paper I’m working on.
You should have a background in logic and cognitive science. **Key words**:
Deduction; quantifiers; natural deduction; inference rules; reasoning

__Conferences, talks, etc.__

- Unconscious
cognition: An intro. (A PowerPoint I use to introduce audiences to the
topic of unconscious cognition)

- Logical
consequence and closure spaces. Material prepared at the University of
Barcelona, March 2015.

- Automating
deduction in non-classical logics: Signed resolution for many-valued
logics. CMAF, University of Lisbon**, **2014.** **Abstract

- Mind: Architectures, models, formalisms. One neuron, two
neurons, …, *n* neurons, a mind?
University of Oporto, June 2013.

- Mind: Architectures, models, formalisms. What language does the
mind ‘speak’? University of Oporto, May 2013.

- Mind: Architectures, models, formalisms. Is the Universal Turing
Machine a mind? University of Oporto, May 2013.

- Mind: Architectures, models, formalisms. The traditional model
of cognition (is wrong). University of Oporto, April 2013.

- Mind &/v
logic: Mental disorder. University of Oporto, April 2013.

- Mind &/v
logic: The cognitive unconscious. University of Oporto, March 2013.

- Mind &/v
logic: Knowledge representation. University of Oporto, Feb. 2013.

- Mind &/v
logic: Rationality. University of Oporto, Feb. 2013.

- Mind &/v
logic: Cognition. University of Oporto, Feb. 2013.

- Inconsciente e
linguagem: Lições da psicose. University of Oporto, March 2010.

- Unconscious
mental processes and action: A cognitive approach. University of Oporto,
March 2009.

- Unconscious
knowledge and epistemic accessibility. University of Sussex, Dec. 2008.

- Unconscious
knowledge: When we don’t know that we know. University of Oporto, Nov.
2008.

- Unconscious
knowledge and epistemic status. University of Sussex, June 2008.

__My most
cited article__
(> 50 citations at Google
Scholar): Augusto, L. M. (2010). Unconscious
knowledge: A survey. *Advances in
Cognitive Psychology*, *6*, 116-141.

**Contact**

luis.ml.augusto(AT)gmail(DOT)com