Options
Many Logics, One Methodology : A Plea for Logical Pluralism in Formalised Reasoning (preprint)
Benzmüller, Christoph; Kirchner, Daniel; Pasetto, Luca (2026): Many Logics, One Methodology : A Plea for Logical Pluralism in Formalised Reasoning (preprint), in: Bamberg: Otto-Friedrich-Universität.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2026
Pages:
Source/Other editions:
Many Logics, One Methodology : A Plea for Logical Pluralism in Formalised Reasoning (preprint), arXiv, 21 Seiten
Year of first publication:
2026
Language:
English
Abstract:
This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representation and reasoning methodology. This paper advances the case for logical pluralism at object-logic level within a unifying meta-logical framework such as LogiKEy, grounding the argument in computational metaphysics. More broadly, it advocates principled support for logical pluralism in modern proof assistants, and cautions against logical imperialism -- the rigid adoption of a single foundational logic for large-scale theory developments -- which impedes the interdisciplinary reuse that LogiKEy is designed to enable.
Keywords: ; ; ; ;
Logical Pluralism
Meta-Logical Reasoning
Proof Assistants
Higher-Order Logic
Classical and Non-Classical Logics
Type:
Preprint
Activation date:
June 15, 2026
Permalink
https://fis.uni-bamberg.de/handle/uniba/115589