Fractional semantics provides a multi-valued interpretation of a variety of logics, governed by purely proof-theoretic principles. This approach employs a method of systematic decomposition of formulas through a well-disciplined sequent calculus, assigning a fractional value that measures the “quantity of identity” (intuitively, “quantity of truth”) within a sequent. A key consequence of this framework is the breakdown of the traditional symmetry between truth and contradiction. In this paper, we explore the ramifications of this novel perspective on classical logic. Specifically, we (i) introduce an alternative paraconsistent consequence relation, and (ii) show how the gradual character of contradictions induces a corresponding characterization of tautologies, thereby obtaining a full-fledged informational refinement of classical logic.
Inside Classical Logic: Truth, Contradictions, Fractionality
Piazza, Mario
;Tesi, Matteo
2025
Abstract
Fractional semantics provides a multi-valued interpretation of a variety of logics, governed by purely proof-theoretic principles. This approach employs a method of systematic decomposition of formulas through a well-disciplined sequent calculus, assigning a fractional value that measures the “quantity of identity” (intuitively, “quantity of truth”) within a sequent. A key consequence of this framework is the breakdown of the traditional symmetry between truth and contradiction. In this paper, we explore the ramifications of this novel perspective on classical logic. Specifically, we (i) introduce an alternative paraconsistent consequence relation, and (ii) show how the gradual character of contradictions induces a corresponding characterization of tautologies, thereby obtaining a full-fledged informational refinement of classical logic.File | Dimensione | Formato | |
---|---|---|---|
Inside Classical Logic.pdf
accesso aperto
Tipologia:
Published version
Licenza:
Creative Commons
Dimensione
584.3 kB
Formato
Adobe PDF
|
584.3 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.