Paraconsistency in Non-Fregean Framework

Joanna Golińska-Pilarek
DOI: https://doi.org/10.1007/s11225-024-10114-4
2024-05-09
Studia Logica
Abstract:A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a new connective that allows to separate denotations of sentences from their logical values. Intuitively, combines two sentences and into a true one whenever and have the same semantic correlates, describe the same situations, or have the same content or meaning. The paper aims to compare non-Fregean paraconsistent Grzegorczyk's logics (Logic of Descriptions , Logic of Descriptions with Suszko's Axioms , Logic of Equimeaning ) with non-Fregean versions of certain well-known paraconsistent logics (Jaśkowski's Discussive Logic , Logic of Paradox , Logics of Formal Inconsistency and ). We prove that Grzegorczyk's logics are either weaker than or incomparable to non-Fregean extensions of , , . Furthermore, we show that non-Fregean extensions of , , , and are more expressive than their original counterparts. Our results highlight that the non-Fregean connective can serve as a tool for expressing various properties of the ontology underlying the logics under consideration.
mathematics,logic
What problem does this paper attempt to address?