(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)
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