AINeutralarXiv – CS AI · 15h ago6/10
🧠
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
A academic position paper advocates for logical pluralism in formal reasoning systems, arguing that multiple non-classical logics should coexist within unified meta-logical frameworks like LogiKEy rather than relying on single foundational logics. The research draws from two decades of work embedding diverse logics in classical higher-order logic, positioning logical pluralism as essential for interdisciplinary knowledge representation and reasoning in computational systems.