(also: Luis Manuel Augusto; Luis M. S. Augusto)
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)
Formal logic:
Classical problems and proofs
London: College
Publications. (forthcoming, 2019)
ISBN:
In the Logic series.
Provisional table of contents here
Amazon
UK Amazon US Amazon España
Languages, machines, and
classical computation
London: College Publications. 02.2019.
ISBN: 978-1-84890-300-5
278 pages. In the Computing (Blue)
series.
Contents & Preface here; Addenda &
Errata
Citations
of this book
Computational logic
Vol. 1: Classical deductive
computing with classical logic
London: College Publications. 06.2018.
ISBN: 978-1-84890-280-0
484
pages. In the Computing (Blue)
series.
Front matter & table of
contents here;
Addenda
& errata (1st ed.)
This is the first of a
two-volume work on computational logic.
Many-Valued Logics
A mathematical and
computational introduction
London: College Publications. 07.2017.
ISBN: 978-1-84890-250-3
342
pages. In the Studies in Logic (Red)
Series.
Front matter & table of
contents here; Addenda & errata (1st ed.)
Citations of this book
Logical Consequences
Theory and applications: An
introduction
London: College Publications. 02.2017.
ISBN: 978-1-84890-236-7
228
pages. In the Studies in Logic
Yellow Series: Mathematical Logic and Foundations.
Front matter & table of
contents here; Addenda & errata
Citations of this book
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).
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 and cognitive modeling, conceived both
narrowly (symbolic & connectionist models) and broadly (e.g., mental
representation [in, say, Aristotle]), and in unconscious cognition.
For a view
of both the forest and the trees, see my research graph.
Publications
List
of publications and links thereto.
Ongoing
projects
A two-volume work on computational
logic is underway. Volume 1 is out (in College
Publications, London); volume 2 is underway. This second volume will be
largely based on formal semantics.
Conferences, talks, etc.
- 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;
Slides
Other
books
- Augusto, Luis M. (2013). Freud, Jung, Lacan: Sobre o
Inconsciente. Porto: U.Porto editorial. 340 p. ISBN
978-989-746-029-6.
Google Books; Capa
& Índice ; Notas suplementares; Errata (1a ed.); Citations
of this book
- Augusto, Luis M. (2005). Who’s Afraid of
Idealism? (Epistemological Idealism from the Kantian and Nietzschean Points of View). Lanham, MD: University Press of America, 168 p.
ISBN 0-7618-3297-1
[table of contents; errata
for the 1st edition 1st and 2nd printings]
Contact
luis.ml.augusto(AT)gmail(DOT)com