LUIS M. AUGUSTO

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

Reviews

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

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

Amazon UK     Amazon US     Amazon España

 

 

 

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

Reviews

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

Publications

Ongoing courses & projects

Extra stuff

Links

Contact

 

 

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.

 

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] 

 

 

Links

 

PhilPapers

 

ORCID

Scopus

LinkedIn

 

Contact

luis.ml.augusto(AT)gmail(DOT)com