Reference : Universal (Meta-)Logical Reasoning: Recent Successes
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
Universal (Meta-)Logical Reasoning: Recent Successes
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Science of Computer Programming
Yes (verified by ORBilu)
[en] computational metaphysics ; classical higher-order logic ; universal logical reasoning
[en] Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is suitable as a foundation for the development of a universal logical reasoning engine. Such an engine may be employed, as already envisioned by Leibniz, to support the rigorous formalisation and deep logical analysis of rational arguments on the computer. A respective universal logical reasoning framework is described in this article and a range of successful first applications in philosophy, artificial intelligence and mathematics are surveyed.

File(s) associated to this reference

Fulltext file(s):

Open access
article-preprint-RG.pdfAuthor preprint1.42 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.