Skip to main content Accessibility help
  • Cited by 1
  • Print publication year: 2011
  • Online publication date: June 2012

8 - Kripke on the Incoherency of Adopting a Logic


This chapter discusses Saul Kripke's general objections to the notion of adopting a logic. The main issue Kripke chose to talk about first is whether logic is a set of statements, and not whether logic is revisable. Kripke also criticized the view that the notion of "adopting a logic" is a coherent one. The whole point of introducing quantum logic is to put quantum mechanics on a sound foundation, making it paradox-free. Hilary Putnam refers to a formal system that he calls "quantum logic", which he says can "be read off from Hilbert space". Unlike quantum logic, intuitionist logic is commonly given as the most standard example of a change in logic. Intuitionists have supposedly adopted a logic different from "the received one" and have based a whole different system of mathematics upon it, as well as having rejected classical mathematics.
Quine, W. V.From a Logical Point of ViewCambridgeHarvard University Press 1963
Berry, GeorgeWords and Objections: Essays on the Work of W. V. QuineNew YorkHumanities Press 1970
Putnam, HilaryBoston Studies in the Philosophy of ScienceDordrechtD. Reidel 1968
Putnam, HilaryMinnesota Studies in the Philosophy of ScienceMinneapolisUniversity of Minnesota Press 1962
Carroll, LewisWhat the Tortoise Said to AchillesMind 4 1895 278
Quine, W. V.The Ways of Paradox and Other EssaysCambridgeHarvard University Press 1976
Berger, AlanPerspectives on QuineOxfordBlackwell 1990
Kleene, S. C.Introduction to MetamathematicsNew Yorkvan Nostrand 1952