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.

 

Areas of expertise & research interests

Publications

Ongoing courses & projects

Extra stuff

Links

Contact

 

 

Areas of expertise & research interests

 

Generally, I research into natural and formal languages. This entails a broad-scope expertise, from math to philosophy, with (theoretical) computer science being a core component. I am particularly interested in (formal) languages for knowledge and agency, but also approach the subject from a purely computational perspective (e.g., compilation).

 

 

Publications

 

List of publications and links thereto.

 

Books:

 

Computational logic

Vol. 1: Classical deductive computing with classical logic

3rd edition

London: College Publications. 01.2022

ISBN: 978-1-84890-280-0

574 pages. In the Computing (Blue) series.

Table of contents, Preface, &c. here

 

Amazon UK      Amazon US      Amazon España

 

Languages, machines, and classical computation

3rd edition

London: College Publications. 10.2021.

ISBN: 978-1-84890-300-5

326 pages. In the Computing (Blue) series.

Table of contents, Preface, &c.: here

Citations of this book

Addenda & Errata for 2nd edition (2020)

 

Amazon UK     Amazon US     Amazon España

 

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

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

 

 

Ongoing stuff

 

·        I am completing a project of the Journal of Knowledge Structures & Systems (JKSS) on bridging philosophical ontology and formal ontology via the work of the late medieval philosopher Dietrich of Freiberg. More specifically, this project bridges the gulf between information-based ontology (my own coinage) and ontology-based information; thus, it bridges the philosophical and formal approaches to information in ontology. Papers in the project are available (open access) in JKSS 2(2), JKSS 3(1), JKSS 3(2), JKSS 3(3). Check also the commentaries on these articles published in the indicated issues.

 

·        In the quest for decidability, I am going deep into automata and infinite games, namely in association with monadic second-order logic, temporal logics, many-valued logics, etc.

 

·        In (slow) progress, and related to the above projects: 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 is planned to be on logics with game semantics.

 

·         I am working together with Farshad Badie (Research Group Natural and Formal Languages, Aalborg University) on symbolic AI based on shared conceptualization. Published papers: Augusto & Badie (2022), Badie & Augusto (2022)

 

 

Extra stuff

 

Conferences, talks, etc.

To be announced

 

 

My most cited article (> 70 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