Cumulative Higher-Order Logic as a Foundation for Set Theory

Cached

Download Links

by Wolfgang Degen , Jan Johannsen
Citations:2 - 1 self

Documents Related by Co-Citation

2 Degen : Two formal vindications of logicism in – J W - 1993
1 Degen : Systeme der kumulativen Logik – J W - 1983
1 Degen : Complete infinitary type logics, Studia Logica 63 – J W - 1999
1 Frege : Grundgesetze der Arithmetik Jena – G - 1893
1 Hodes : Where do sets come from – H T - 1991
3 How We Learn – Vann McGee - 1997
1 8 Circularity and Paradox – Stephen Yablo, Stig Andur Pedersen (eds, Stephen Yablo - 2004
3 Principles of Reflection and Second-Order Logic – Stewart Shapiro - 1987
1 For their many helpful comments, we would like to thank Eduardo – Roderick Batchelor Barrio, Javier Castro Albano, Roy Cook, Wolfgang Degen, Salvatore Florio, David Nicolas, Ignacio Ojea, Lavinia Picollo, Sam Roberts, Pedro Santos, Gabriel Uzquiano, Philip Welch
1 Logische Syntax der Sprache. Wien: Springer. Translated as The Logical Syntax of Language (New – Rudolf Carnap - 1934
1 Introductory note to *1933o – Solomon Feferman - 1995
1 2003: ‘Plural Quantification Exposed – Øystein
1 Negative Types – Hao Wang - 1952
1 observes in fn. 1 on p. 175, the method for doing so goes back to Frege (1879) and Dedekind (1888). 36 sketch. We need to verify an existential claim: that for any model M α there is a Y α such that for any Lα-formula φ and assignment Aβ we have Φ(�φ�, Y – As Tarski
8 Nominalism through de-nominalization – Agustin Rayo, Stephen Yablo
2 On quantifying into predicate position – Crispin Wright - 2007
9 Philosophy of Logic. Second edition – W V Quine - 1986
8 What is the iterative conception of set – C Parsons - 1983
3 2003: ‘Everything – Timothy Williamson