(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)
I’ve been recently invited to participate in
the project
The Depth and
Complexity of Unconscious Processing
hosted by Frontiers
in Neuroscience and I am looking for funding sources
for the research for my work in this project.
Please contact me if you’d like to host and/or
fund this work, wholly or in part.
Here is a detailed description of the
individual project: The
complexity of unconscious processing
Computational logic
Vol. 1: Classical deductive
computing with classical logic
2nd ed.
London: College Publications. 01.2020.
ISBN: 978-1-84890-280-0
534
pages. In the Computing (Blue)
series.
Front matter, table of
contents, &c. here;
Addenda
& Errata
1st ed. (2018); Addenda &
errata (1st ed.)
This is the first of a
two-volume work on computational logic.
Amazon UK Amazon US Amazon
España
Formal logic:
Classical problems and proofs
London: College
Publications. 09.2019
ISBN: 978-1-84890-317-3
426 pages. In the Logic (Red) Series.
Table of contents & Preface here; Addenda
& Errata
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
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
Amazon UK Amazon US Amazon España
I
plan to complete a new chapter on (recent) many-valued logics
that have an impact on computation.
Please
contact me if you’d like to host and/or fund, wholly or in part, the associated
research.
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
Amazon
UK Amazon
US Amazon España
I plan to extend this edition with
substantial examples of applications.
Please contact me if you’d like to host
and/or fund, wholly or in part, the associated research.
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,
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
·
Courses and lecture series
in Madrid in, among other topics and fields, neuromarketing and knowledge management with an emphasis
on unconscious mentation.
·
The
depth and complexity of unconscious processing hosted by Frontiers in Neuroscience
·
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. (I am looking for funding.)
·
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 front-end compilation, natural language processing, and formal verification. I am completing the chapter on compilation and
am looking for co-author(s) for the two other chapters.
·
I am looking
for a co-author for a paper I am writing on a model of formal thought disorder. The co-author should have a background in
psychology, psychiatry, and/or cognitive science. Keywords: Formal thought
disorder; computational symbolic model; (classical) cognitivism;
logical form; semantic networks; syntax and semantics of human information
processing
·
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 co-author 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 non-classical logics: Signed resolution for
many-valued logics. CMAF, University of Lisbon, 2014. Abstract;
Slides
My most cited article (> 50
citations at Google
Scholar): Augusto, L. M. (2010). Unconscious
knowledge: A survey. Advances in
Cognitive Psychology, 6, 116-141.
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