Logics and logical systems coexisting in peace
Logical reasoning is the process of systematically and coherently drawing conclusions based on a set of premises or statements. Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. This project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the understanding of the meaning of logical statements is given in terms of proofs rather than traditional truth- based models. The ECUMENICAL Pt-S approach will provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them, providing novel methodologies in the study of logic.
TBA
Contact e.pimentel [at] ucl [dot] ac [dot] uk to get more information about the project