David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Topoi 18 (2):141-148 (1999)
Of the various accounts of negation that have been offered by logicians in the history of Western logic, that of negation as cancellation is a very distinctive one, quite different from the explosive accounts of modern "classical" and intuitionist logics, and from the accounts offered in standard relevant and paraconsistent logics. Despite its ancient origin, however, a precise understanding of the notion is still wanting. The first half of this paper offers one. Both conceptually and historically, the account of negation as cancellation is intimately connected with connexivist principles such as ¬( ¬). Despite this, standard connexivist logics incorporate quite different accounts of negation. The second half of the paper shows how the cancellation account of negation of the first part gives rise to a semantics for a simple connexivist logic.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jacek Hawranek & Jan Zygmunt (1984). On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation. Studia Logica 43 (4):405 - 413.
Greg Restall (1993). Simplified Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 22 (5):481 - 511.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Bryson Brown (1999). Yes, Virginia, There Really Are Paraconsistent Logics. Journal of Philosophical Logic 28 (5):489-500.
Heinrich Wansing (2006). Contradiction and Contrariety. Priest on Negation. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini (1993). Fuzzy Intuitionistic Quantum Logics. Studia Logica 52 (3):419 - 442.
M. W. Bunder (1984). Some Definitions of Negation Leading to Paraconsistent Logics. Studia Logica 43 (1-2):75 - 78.
Added to index2009-01-28
Total downloads45 ( #30,388 of 1,004,679 )
Recent downloads (6 months)3 ( #28,177 of 1,004,679 )
How can I increase my downloads?