Naive set theory with exclusive interpretation of quantifiers
Název práce v češtině: | Naivní teorie množin s výlučnou interpretací kvantifikátorů |
---|---|
Název v anglickém jazyce: | Naive set theory with exclusive interpretation of quantifiers |
Klíčová slova: | Naivní teorie množin|Exkluzivní interpretace|Kvantifikátor|Spornost|Bludný kruh |
Klíčová slova anglicky: | Naive set theory|Exclusive interpretation|Quantifier|Inconsistency|Vicious circle |
Akademický rok vypsání: | 2021/2022 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra logiky (21-KLOG) |
Vedoucí / školitel: | Mgr. Vít Punčochář, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 26.09.2022 |
Datum zadání: | 26.09.2022 |
Schválení administrátorem: | zatím neschvalováno |
Datum potvrzení stud. oddělením: | 25.10.2022 |
Datum a čas obhajoby: | 16.06.2023 09:00 |
Datum odevzdání elektronické podoby: | 10.05.2023 |
Datum proběhlé obhajoby: | 16.06.2023 |
Odevzdaná/finalizovaná: | odevzdaná studentem a finalizovaná |
Oponenti: | Mgr. Šárka Stejskalová, Ph.D. |
Zásady pro vypracování |
In his Tractatus Logico-Philosophicus Wittgenstein claimed that the sign of identity is not an essential constituent of correct logical notation and should be eliminated and replaced with an exclusive interpretation of quantifiers. The goal of the thesis is to investigate to what extent this move is feasible. In particular, possibilities of having a naive set theory (i.e. a set theory with unrestricted comprehension and axiom of extensionality), in which quantifiers are interpreted exclusively, will be explored. One can formulate various versions of such a theory differing especially in how parameters are used in the comprehension schema. The technical part of the thesis will analyze which versions lead to a contradictory system (this is related to an open problem formulated by Jakko Hintikka). The philosophical part will discuss what the inconsistent versions have in common and which basic principles are responsible for the contradiction. The thesis should also reflect the broader philosophical context of this problem and related discussion from Ludwig Wittgenstein to modern philosophers like Kai Wehmeier. |
Seznam odborné literatury |
Hintikka, J. (1956). Identity, variables, and impredicative definitions. Journal of Symbolic Logic, 21, 225-245. Hintikka, J. (1957). Vicious circle principle and the paradoxes. Journal of Symbolic Logic, 22, 245-249. Lampert, T., Säbel, M. (2021). Wittgenstein's elimination of identity for quantifier-free logic. The Review of Symbolic Logic 14, 1-21. Wehmeier, K. (2012). How to live without identity – and why. Australasian Journal of Philosophy 90, 761-777. Wehmeier, K., Rogers, B. (2012) Tractarian first-order logic: identity and the N-operator. Review of Symbolic Logic 5, 538–573. Wehmeier, K. (2017). Identity and quantification. Philosophical Studies 174, 759-770. Wehmeier, K. (2019). Frege's Begriffsschrift theory of identity vindicated. In: E. Lepore and D. Sosa (eds.) Oxford Studies in Philosophy of Language vol. 1, Oxford University Press, 2019, 122–147. Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. London: Routledge & Kegan Paul. |