(also: Luis
Manuel Augusto; Luis M. S. Augusto)
Founder and
Editor-in-chief of
·
Journal of Knowledge Structures &
Systems
·
Ω ::= Journal of Formal Languages
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)
Etc.
Areas of
expertise & research interests
Generally, I
research into human & artificial
cognition. My focus is on natural
& formal languages. This
entails a broad-scope expertise, from math to philosophy, with (theoretical)
computer science being a core component. I am particularly interested in
(formal) languages for knowledge and agency, but also approach the subject from
a purely computational perspective (e.g., compilation).
Publications
List
of publications and links thereto.
Books:
Computational logic
Vol. 1: Classical deductive
computing with classical logic
3rd edition
London: College Publications. 01.2022
ISBN: 978-1-84890-280-0
574 pages. In the Computing (Blue)
series.
Table of contents, Preface,
&c. here
Languages, machines, and
classical computation
3rd edition
London: College Publications. 10.2021.
ISBN: 978-1-84890-300-5
326 pages. In the Computing (Blue)
series.
Table of contents, Preface,
&c.: here
Citations
of this book
Addenda
& Errata for 2nd edition (2020)
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
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
Ongoing
stuff
·
I
am completing a project of the Journal of
Knowledge Structures & Systems (JKSS) on
bridging philosophical ontology and formal ontology via the work of the late
medieval philosopher Dietrich of Freiberg. More specifically, this project bridges
the gulf between information-based
ontology (my own coinage) and ontology-based
information; thus, it bridges the philosophical and formal approaches to information in ontology. Papers in the
project are available (open access) in JKSS 2(2), JKSS 3(1), JKSS 3(2), JKSS 3(3). Check
also the commentaries on these articles published in the indicated issues.
·
In the quest for
decidability, I am going deep into automata and infinite games, namely in
association with monadic second-order logic, temporal logics, many-valued
logics, etc.
·
In (slow) progress, and
related to the above projects: Logic in
knowledge representation and reasoning: Central topics via readings
and Knowledge & Logic.
·
A two-volume work on
computational logic is underway. Volume 1 is already published (in College
Publications, London). The second volume is planned to be on logics with game semantics.
·
I am working
together with Farshad Badie
(Research Group Natural and Formal Languages, Aalborg University) on symbolic
AI based on shared conceptualization. Published papers: Augusto & Badie (2022), Badie
& Augusto (2022), Badie & Augusto (2023)
Conferences,
talks, etc.
To be announced
My most cited article (> 70
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