(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
My subjects of expertise are logic (mathematical, computational, philosophical), computer maths,
& cognitive science (also
philosophy of mind, if broadly conceived), namely in relation to formal epistemology and other
approaches to knowledge.
I focus on pure
& applied logic. I am particularly interested in the
mathematical/philosophical notion of logical
consequence and its applications in (non)classical
(computational) deduction.
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 and reasoning, knowledge engineering, 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 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 computational symbolic
model of formal thought disorder. Keywords: Formal thought disorder; computational
symbolic model; (classical) cognitivism; logical form;
semantic networks; syntaxsemantics interface of human information processing;
description logic; conception 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