LUIS M. AUGUSTO

(also: Luis Manuel Augusto; Luis M. S. Augusto)

 

Founder and Editor-in-chief of

 Journal of Knowledge Structures & Systems

 

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

 

 

Logical Consequences

Theory and applications: An introduction

2nd edition

London: College Publications. 06.2020.

 ISBN: 978-1-84890-236-7

270 pages. In the Studies in Logic Yellow Series: Mathematical Logic and Foundations.

Table of Contents, Preface, &c. here

Addenda & errata

Citations of this book

Addenda & errata (1st edition)

Amazon UK      Amazon US      Amazon España

 

Many-Valued Logics

A mathematical and computational introduction

2nd edition

London: College Publications. 06.2020.

ISBN: 978-1-84890-250-3

382 pages. In the Studies in Logic (Red) Series.

Table of contents, Preface, &c.: here

Citations of this book

Reviews

Addenda & errata (1st ed.)

Amazon UK      Amazon US      Amazon España

 

 

Languages, machines, and classical computation

2nd edition

London: College Publications. 06.2020.

ISBN: 978-1-84890-300-5

296 pages. In the Computing (Blue) series.

Table of contents, Preface, &c.: here

Citations of this book

Addenda & Errata for 1st edition (2019)

 

Amazon UK     Amazon US     Amazon España

 

 

Computational logic

Vol. 1: Classical deductive computing with classical logic

2nd edition

London: College Publications. 01.2020.

ISBN: 978-1-84890-280-0

534 pages. In the Computing (Blue) series.

Table of contents, Preface, &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

2nd printing (06.2020)

London: College Publications. 09.2019

ISBN: 978-1-84890-317-3

426 pages. In the Logic (Red) Series.

Table of contents, Preface, &c.: here

Addenda & Errata (1st printing)

Amazon UK      Amazon US      Amazon España

 

 

Freud, Jung, Lacan

Sobre o inconsciente

Oporto: University of Oporto (U.Porto editorial). 2013.

 ISBN: 978-989-746-029-6

340 pages

Table of contents, Preface, &c.: FJL_inconsciente; Errata (1a ed.)

Google Books

Citations of this book

Amazon UK        Bertrand       Amazon España

 

 

Who’s Afraid of Idealism?

Epistemological Idealism from the Kantian and Nietzschean Points of View

Lanham, MD: University Press of America. 2005.

 ISBN: 0-7618-3297-1

168 pages. 3rd printing

Table of contents, Preface, &c.: here

 

Amazon UK      Amazon US

 

 

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

 

 

Publications

 

List of publications and links thereto.

 

 

Ongoing courses & projects

 

·        My current research focus is knowledge from a viewpoint of mathematical structures and systems, via (meta-)logic. The results are planned to be published (also) in book form: Knowledge & Logic.

·        In progress also: Logic in knowledge representation and reasoning: Central topics via readings.

·        The depth and complexity of unconscious processing hosted by Frontiers in Neuroscience.

·        A two-volume work on computational logic is planned. Volume 1 is already published (in College Publications, London). This second volume will be largely based on formal semantics.

·        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

- Mind: Architectures, models, formalisms. One neuron, two neurons, …, n neurons, a mind? University of Oporto, June 2013.

- Mind: Architectures, models, formalisms. What language does the mind ‘speak’? University of Oporto, May 2013.

- Mind: Architectures, models, formalisms. Is the Universal Turing Machine a mind? University of Oporto, May 2013.

- Mind: Architectures, models, formalisms. The traditional model of cognition (is wrong). University of Oporto, April 2013.

- Mind &/v logic: Mental disorder. University of Oporto, April 2013.

- Mind &/v logic: The cognitive unconscious. University of Oporto, March 2013.

- Mind &/v logic: Knowledge representation. University of Oporto, Feb. 2013.

- Mind &/v logic: Rationality. University of Oporto, Feb. 2013.

- Mind &/v logic: Cognition. University of Oporto, Feb. 2013.

- Inconsciente e linguagem: Lições da psicose. University of Oporto, March 2010.

- Unconscious mental processes and action: A cognitive approach. University of Oporto, March 2009.

- Unconscious knowledge: When we don’t know that we know. University of Oporto, Nov. 2008.

- Unconscious knowledge and epistemic status. University of Sussex, June 2008.

- Unconscious knowledge and epistemic accessibility. University of Sussex, Dec. 2008.

 

 

 

My most cited article (> 50 citations at Google Scholar): Augusto, L. M. (2010). Unconscious knowledge: A survey. Advances in Cognitive Psychology, 6, 116-141.

 

 

Links

 

PhilPapers

 

ORCID

Scopus

LinkedIn

Semantic Scholar

 

Contact

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