LUIS M. AUGUSTO

M.Sc., M.A., Ph.D.

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

Founder and Editor-in-chief of

·        Journal of Knowledge Structures & Systems

·       Ω ::= Journal of Formal Languages

 

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)

Etc.

 

 

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

Addenda & Errata

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, 2nd printing

London: College Publications. 09.2020.

ISBN: 978-1-84890-280-0

534 pages. In the Computing (Blue) series.

Table of contents, Preface, &c. here

 

2nd ed. (2020), 1st printing: 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

 

Generally, I research into formal languages and their applications in human and artificial cognition. I am mostly interested in two subjects: Language & Knowledge (L&K) and Language & Agency (L&A).

With respect to L&K, I research into languages for knowledge; my focus is on logical languages, but I am open to other research paths. I am currently working on a strongly formal epistemology via the problem of formal truth, a project in the interface of epistemology and mathematical logic.

As for L&A, I am particularly interested in languages for (humanoid) robots. This requires work in the interface of linguistics and formal languages with subjects such as psychology and philosophy (e.g., consciousness), computer science (mostly programming languages and their compilation into machine languages), and (mostly discrete) math.

The main objective is to research into how cognitive agents represent knowledge and how this representation supports (rational, and possibly also ethical) agency. Narrowly conceived, my work fits into symbolic AI (see my review of Newell & Simon’s work in this field, especially my Author Reply to Jörg Siekmann). Broadly conceived, in cognitive science and the philosophy of science.

Hence, I am also interested in knowledge representation and reasoning, knowledge engineering, cognitive modeling conceived both narrowly (symbolic & connectionist models) and broadly (e.g., mental representation [in, say, Aristotle]), & unconscious cognition.

What glues all this together is formal semantics, the formal study of how representations are interpreted in a given environment.

 

 

Publications

 

List of publications and links thereto.

 

 

Ongoing courses & projects

 

·        A current research focus is on knowledge from a viewpoint of mathematical structures and systems, via (meta-)logic. A major project in this focus is Formal Truth Toward a Strongly Formal Epistemology, expected to be carried out—if application for funding is successful—at Lisbon’s CFCUL. 

 

·        In (slow) progress, and related to the above project: Logic in knowledge representation and reasoning: Central topics via readings and Knowledge & Logic.

 

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

 

·         I am working together with Farshad Badie (Research Group Natural and Formal Languages, Aalborg University) on a symbolic computational model of formal thought disorder. Keywords: Formal thought disorder; symbolic computational model; (classical) cognitivism; logical form; semantic networks; syntax-semantics interface of human information processing; description logic; conception language; OWL (Web Ontology Language). Papers are submitted and expected to be published in 2021.

 

·        I am currently a guest co-editor for the AI Special Issue “Conceptualization and Semantic Knowledge”.

 

 

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.

- Computability and Computationalism: From mathematics to theories on the mind. (On the legacy of Alan Turing one hundred years after his birth.) University of Oporto, Faculty of Letters, Nov.-Dec. 2012.

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

- Consciousness in Continental Philosophy. University of Oporto, April-June 2009.

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

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

 

 

 

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