LUIS M. AUGUSTO

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.

Short CV

Short CV in Spanish

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

Extra stuff

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