How to avoid deviance (in logic)

History and Philosophy of Logic 23 (3):215--36 (2002)
  Copy   BIBTEX

Abstract

We show that classical two-valued logic is included in weak extensions of normal three-valued logics and also that normal three-valued logics are best viewed not as deviant logics but instead as strong extensions of classical two-valued logic obtained by adding a modal operator and the right axioms. This article develops a general method for formulating the right axioms to construct a two-valued system with theorems that correspond to all of the logical truths of any normal three-valued logic. The extended classical system can then express anything that can be expressed in the three-valued logic, so there can be no reason to abandon two-valued logic in favor of three-valued logic. Moreover, the two-valued modal system is preferable, because it enables us to study interactions of different operators with different rationales. It also makes it easier to introduce quantifiers and iteration. Nothing is lost and much is gained by choosing the extended two-valued approach over normal three-valued logics

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-08-21

Downloads
42 (#379,402)

6 months
9 (#309,818)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Peirce's Triadic Logic.Max Fisch & Atwell Turquette - 1966 - Transactions of the Charles S. Peirce Society 2 (2):71 - 85.

Add more references