{"id":"arxiv/2605.27246","url":"https://arxiv.org/abs/2605.27246","tags":["cs.LO","cs.AI","math.LO"],"score":0,"title":"Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)","domain":"cs.LO","source":"arxiv","authors":["Christoph Benzmüller","Daniel Kirchner","Luca Pasetto"],"reviews":0,"subject":"cs.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-26","reactions":{}}