Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 28
Deutsche Gesellschaft für phänomenologische Forschung

Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Band | Artikel

151624

Paraconsistency in classical logic

Gabriele Pulcini Achille C. Varzi(Columbia University)

pp. 5485-5496


Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 374

Abstrakt

Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit "in the negative". More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of its set of theorems. This, we note, has important bearing on the very nature of paraconsistency as standardly characterized.

Publication details


Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 24

Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 25

Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 30

Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 31

Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 36

Published in:

(2018) Synthese 195 (12).

Seiten: 5485-5496


Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496

DOI: 10.1007/s11229-017-1458-0

Referenz:

Pulcini Gabriele, Varzi Achille C (2018) „Paraconsistency in classical logic“. Synthese 195 (12), 5485–5496.