Change search
ReferencesLink to record
Permanent link

Direct link
The Logic of Conditional Negation
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2008 (English)In: Notre Dame Journal of Formal Logic, ISSN 0029-4527, Vol. 49, no 3, 245-260 p.Article in journal (Refereed) Published
Abstract [en]

It is argued that the "inner" negation ∼ familiar from 3-valued logic can be interpreted as a form of "conditional" negation: ∼A is read 'A is false if it has a truth value'. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language indicative conditional (e.g., "If Jim went to the party he had a good time"). It is shown that the logic induced by the semantics shares many familiar properties with classical negation, but is orthogonal to both intuitionistic and classical negation: it differs from both in validating the inference from A→∼B to ∼(A→B).

Place, publisher, year, edition, pages
2008. Vol. 49, no 3, 245-260 p.
National Category
URN: urn:nbn:se:kth:diva-87470DOI: 10.1215/00294527-2008-010ScopusID: 2-s2.0-72749097119OAI: diva2:501683
QC 20120510Available from: 2012-02-14 Created: 2012-02-14 Last updated: 2012-05-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Cantwell, John
By organisation
In the same journal
Notre Dame Journal of Formal Logic

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 24 hits
ReferencesLink to record
Permanent link

Direct link