Reference : Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extende...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Physical, chemical, mathematical & earth Sciences : Mathematics
Engineering, computing & technology : Computer science
Arts & humanities : Philosophy & ethics
Arts & humanities : Multidisciplinary, general & others
Computational Sciences
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Benzmüller, Christoph mailto
Lecture Notes in Computer Science
Brazilian Symposium on Formal Methods
from 27-11-2017 to 1-12-2017
[en] Automated Reasoning ; Universal Reasoning ; Semantic Embedding ; Higher Order Logic
[en] The quest for a most general framework supporting universal reasoning is very prominently represented in the works of Leibniz. He envisioned a scientia generalis founded on a characteristica universalis, that is, a most universal formal language in which all knowledge about the world and the sciences can be encoded. A quick study of the survey literature on logical formalisms suggests that quite the opposite to Leibniz’ dream has become reality. Instead of a characteristica universalis, we are today facing a very rich and heterogenous zoo of different logical systems, and instead of converging towards a single superior logic, this logic zoo is further expanding, eventually even at accelerated pace. As a consequence, the unified vision of Leibniz seems farther away than ever before. However, there are also some promising initiatives to counteract these diverging developments. Attempts at unifying approaches to logic include categorial logic algebraic logic and coalgebraic logic.
Researchers ; Professionals ; Students ; General public

File(s) associated to this reference

Fulltext file(s):

Open access
C66.pdfAuthor preprint70.62 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.