Abstract
We define a formal language for sortals with a lambda operator. By means of this language, a formal representation of the logical structure of complex sortal concepts and complex sortal predicates is possible. A formal semantics for the language is also defined together with a formal system. The system is proved to be complete and sound with respect to the semantics. Both the system and the semantics do not have commitments regarding which lambda abstracts will stand for sortal concepts. The possibility of comprehension schemata for this sort of postulational commitments is discussed at the end of the chapter.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Clearly, this does not mean that the concepts these predicates stand for have the same simplicity.
- 2.
When n = 0, then \(D^{n}=\{\varnothing \}.\) So, \(\wp (D^{{ }^{{ }_{0}}})=\{\varnothing ,\{\varnothing \}\}.\) We shall represent the set \(\{\varnothing \}\) with the number 1 and \(\varnothing \) with the number 0.
- 3.
Note that δ is a meaningful subexpression of itself.
- 4.
By strong induction on the complexity of φ, it can be shown that the principle is λBS-valid. Then, by the completeness theorem, the principle is a theorem of λBS.
- 5.
They are clearly incompatible, since nothing is black and brown all over.
- 6.
This might not be a problem for a realist stance since the metaphysical senses of individuation and identity are the ones that will be involved.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Freund, M.A. (2019). Complex Sortal Predicates. In: The Logic of Sortals. Synthese Library, vol 408. Springer, Cham. https://doi.org/10.1007/978-3-030-18278-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-18278-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18277-9
Online ISBN: 978-3-030-18278-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)