Abstract
“QC(w)” is according to TP71 equivalent to “MX(w),” this, in turn, according to DP25, is equivalent to “all x(xPw or neg(x)Pw),” this, in turn, according to DP31, to “all x[O(x) or O(neg(x))],” and this, in turn, according to DP32 and DP33, equivalent to “all x(V(x) or F(x))” — “every state of affairs is true or false.” All the mentioned equivalences hold true analytically with respect to states of affairs on the basis of the posited definitions, given that AP1 — AP6 are analytically true for states of affairs (“tPt′” being synonymous with “t is analytically implied by t′”). Consequently, we have in particular the analytical truth of “QC(w) iff all x[O(x) or O(neg(x))].”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Meixner, U. (1997). The Law of Excluded Middle. In: Axiomatic Formal Ontology. Synthese Library, vol 264. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8867-6_15
Download citation
DOI: https://doi.org/10.1007/978-94-015-8867-6_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4898-1
Online ISBN: 978-94-015-8867-6
eBook Packages: Springer Book Archive