(also: Luis
Manuel Augusto; Luis M. S. Augusto)
Founder and Editorinchief of
Journal of Knowledge Structures &
Systems
Researcher ORCID ID: https://orcid.org/0000000190975722
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 (postdoctorate)
University
of Barcelona (visiting researcher)
Etc.
Logical Consequences
Theory and applications: An introduction
2nd edition
London: College
Publications. 06.2020.
ISBN: 9781848902367
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)
ManyValued Logics
A mathematical and computational introduction
2nd edition
London: College Publications.
06.2020.
ISBN: 9781848902503
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: 9781848903005
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: 9781848902800
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 twovolume work on computational logic.
Formal logic: Classical problems and proofs
2nd printing
(06.2020)
London: College Publications. 09.2019
ISBN: 9781848903173
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: 9789897460296
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: 0761832971
168 pages. 3rd printing
Table of contents, Preface, &c.: here
Areas of expertise & research interests
Generally, I research into formal languages and their applications in human and artificial cognition. I am mostly interested in two
subjects: Language & Knowledge
(L&K) and Language & Agency
(L&A).
With respect to L&K, I research into languages for knowledge; my focus is on
logical languages, but I am open to other research paths. I am currently
working on a strongly formal
epistemology via the problem of formal
truth, a project in the interface of epistemology and mathematical
logic.
As for L&A, I am particularly interested in languages for (humanoid) robots. This
requires work in the interface of linguistics and formal languages with
subjects such as psychology and philosophy (e.g., consciousness), computer
science (mostly programming languages and their compilation into machine
languages), and (mostly discrete) math.
The main objective is to research into how cognitive
agents represent knowledge and how this representation supports (rational, and
possibly also ethical) agency. Narrowly conceived, my work fits into symbolic AI (see my review of Newell &
Simon’s work in this field, especially my Author Reply to Jörg Siekmann). Broadly conceived, in cognitive
science and the philosophy of
science.
Hence, I am also interested in knowledge representation and reasoning, knowledge engineering, cognitive
modeling conceived both narrowly (symbolic & connectionist models) and
broadly (e.g., mental representation [in, say, Aristotle]), & unconscious cognition.
What glues all this together is formal semantics, the formal study of how representations are
interpreted in a given environment.
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 longterm multi and interdisciplinary project is a theory of
knowledge that constitutes a science of
knowledge. A major project in this focus is Formal
Truth Toward a Strongly Formal Epistemology,
expected to be carried out—if application for funding is successful—at Lisbon’s
CFCUL. 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 twovolume 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 frontend compilation, natural language processing, and formal verification. I am completing
the chapter on compilation and am looking for coauthor(s) for the two other
chapters.
·
I am working together with Farshad Badie (Research Group
Natural and Formal Languages, Aalborg University) on a symbolic computational
model of formal thought disorder. Keywords: Formal thought disorder; symbolic
computational model; (classical) cognitivism; logical
form; semantic networks; syntaxsemantics interface of human information
processing; description logic; conception language; OWL (Web Ontology
Language). Papers are submitted and expected to
be published in 2021.
·
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 coauthor 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 nonclassical logics: Signed resolution for manyvalued
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.

Computability
and Computationalism: From mathematics to theories on
the mind. (On the legacy of Alan Turing one hundred years
after his birth.) University of Oporto, Faculty of Letters, Nov.Dec.
2012.
 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.
 Consciousness
in Continental Philosophy. University of Oporto, AprilJune 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, 116141.
Contact
luis.ml.augusto(AT)gmail(DOT)com