Abstract
The calculus of partial propositional functions has been introduced in [2]. It is a variant of the classical propositional calculus, a variant which takes into account that pairs of propositions may be “incompatible” and cannot therefore be connected. As is well known, such pairs are considered in Quantum Theory; but they may also be said to occur in natural languages. Difficulties arising from propositions of the type “If two times two are five, then there exist centaurs” seem to be due as much to incompatibility as to material implication.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Church, A., Introduction to Mathematical Logic, vol. 1, Princeton University Press, Princeton, 1956.
Kochen, S. and Specker, E. P., ‘Logical Structures Arising in Quantum Theory’, to appear in the Proc. of the Model Theory Symp. held in Berkeley, June-July 1963.
Specker, E., ‘Die Logik nicht gleichzeitig entscheidbarer Aussagen’, Dialectica 13 (1960), 239–246.
Wajsberg, M., ‘Metalogische Beiträge II’, Wiadomości Matematyczne 47 (1939), 119–139.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Kochen, S., Specker, E.P. (1975). The Calculus of Partial Propositional Functions. In: Hooker, C.A. (eds) The Logico-Algebraic Approach to Quantum Mechanics. The University of Western Ontario Series in Philosophy of Science, vol 5a. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1795-4_16
Download citation
DOI: https://doi.org/10.1007/978-94-010-1795-4_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-0613-3
Online ISBN: 978-94-010-1795-4
eBook Packages: Springer Book Archive