Notre Dame Journal of Formal Logic

The Logic of Conditional Negation

John Cantwell

Abstract

It is argued that the "inner" negation $\mathord{\sim}$ familiar from 3-valued logic can be interpreted as a form of "conditional" negation: $\mathord{\sim}$ 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 \rightarrow \nega B$ to $\nega(A\rightarrow B)$ to .

Article information

Source
Notre Dame J. Formal Logic Volume 49, Number 3 (2008), 245-260.

Dates
First available: 15 July 2008

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1216152549

Digital Object Identifier
doi:10.1215/00294527-2008-010

Mathematical Reviews number (MathSciNet)
MR2428553

Zentralblatt MATH identifier
1161.03012

Subjects
Primary: 03B50: Many-valued logic

Keywords
three-valued logic inner negation outer negation conditionals

Citation

Cantwell, John. The Logic of Conditional Negation. Notre Dame Journal of Formal Logic 49 (2008), no. 3, 245--260. doi:10.1215/00294527-2008-010. http://projecteuclid.org/euclid.ndjfl/1216152549.


Export citation

References

  • [1] Adams, E. W., The Logic of Conditionals. An Application of Probability to Deductive Logic, Synthese Library, D. Reidel Publishing Co., Dordrecht, 1975.
  • [2] Belnap, N. D., Jr., "Conditional assertion and restricted quantification", Noûs, vol. 4 (1970), pp. 1--13.
  • [3] Bradley, R., ``A representation theorem for a decision theory with conditionals,''Synthese, vol. 116 (1998), pp. 187--229.
  • [4] Bradley, R., "Indicative conditionals", Erkenntnis, vol. 56 (2002), pp. 345--78.
  • [5] Cantwell, J., "The Ramsey tests derived", manuscript, 2007.
  • [6] Cantwell, J., "The laws of non-bivalent probability", Logic and Logical Philosophy, vol. 15 (2006), pp. 163--71.
  • [7] Cantwell, J., "Indicative conditionals: The logic of assertion", Hommage à Wlodek, (2007). http://www.fil.lu.se/HommageaWlo% dek/.
  • [8] Cantwell, J., ``Indicative conditionals: Factual or epistemic?'' Studia Logica, vol. 88 (2008), pp. 157--94.
  • [9] Edgington, D., "On conditionals", Mind, vol. 104 (1995), pp. 235--329.
  • [10] Levi, I., For the Sake of the Argument, Cambridge University Press, Cambridge, 1996.
  • [11] Lewis, D., "Probabilities of conditionals and conditional probabilities", Philosophical Review, vol. 85 (1976), pp. 297--315.
  • [12] McDermott, M., "On the truth conditions of certain `if'-sentences", Philosophical Review, vol. 105 (1996), pp. 1--37.
  • [13] McGee, V., "Conditional probabilities and compounds of conditionals", Philosophical Review, vol. 98 (1989), pp. 485--542.
  • [14] Quine, W. V. O., Methods of Logic, Henry Holt & Company, New York, 1950.