(also: Luis Manuel Augusto; Luis M. S. Augusto)
Founder and Editor-in-chief of
Researcher ORCID ID: https://orcid.org/0000-0001-9097-5722
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)
My subjects of expertise are logic (mathematical, computational, philosophical), computer maths, & cognitive science (also philosophy of mind, if broadly conceived), namely in relation to knowledge science.
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.
List of publications and links thereto.
· 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