Leiden University Student Repository

Hekking, Jeroen (2015)

Natural Models, Second-order Logic & Categoricity in Set Theory

Bachelor thesis | Wijsbegeerte (BA)

Among philosophically relevant logical results Zermelo’s semi-categoricity theorem has received little to no attention. This is notwithstanding the fact that the present-day canonical foundation of mathematics, that is first-order Zermelo-Fraenkel set theory, fails horribly at unambiguous denotation. The aim of the present study is to offer a reasonably self-contained and modern presentation of Zermelo’s theorem that is accessible also to a philosopher with some knowledge of elementary set- and model theory. In a modern framework semi-categoricity cannot be interpreted as a result on first order models. Using full second-order models one salvages external, or ‘true’, semi-categoricity, although one then loses a sound and complete deductive calculus. With Henkin semantics one does have completeness, but retains only internal semi-categoricity.

second-order logic

set theory

semi-categoricity

Henkin semantics

Author

Hekking, Jeroen

Faculty

Faculty of Humanities

Specialisation

Theoretische filosofie

Supervisors

Sundholm, Göran

ECTS Credits

10

Language

en