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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A Church, Introduction to Mathematical Logic, Volume 1, Princeton University Press, Princeton 1956.
S. Kochen and E. P. Specker, Logical Structures Arising in Quantum Theory, to appear in the Proc. of the Model Theory Symp. held in Berkeley, June–July 1963.
E. Specker, Die Logik nicht gleichzeitig entscheidbarer Aussagen, Dialectica 14 (1960), 239–246.
M. Wajsberg, Metalogische Beiträge II, Wiadomości Matematyczne 47 (1939), 119–139.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Birkhäuser Verlag Basel
About this chapter
Cite this chapter
Kochen, S., Specker, E.P. (1990). The Calculus of Partial Propositional Functions. In: Jäger, G., Läuchli, H., Scarpellini, B., Strassen, V. (eds) Ernst Specker Selecta. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-9259-9_20
Download citation
DOI: https://doi.org/10.1007/978-3-0348-9259-9_20
Published:
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9966-6
Online ISBN: 978-3-0348-9259-9
eBook Packages: Springer Book Archive