Graduate studies at Western
Notre Dame Journal of Formal Logic 40 (2):183-196 (1999)
|Abstract||This paper presents an exposition of subsystems and of Quine's , originally defined and shown to be consistent by Crabbé, along with related systems and of type theory. A proof that (and so ) interpret the ramified theory of types is presented (this is a simplified exposition of a result of Crabbé). The new result that the consistency strength of is the same as that of is demonstrated. It will also be shown that cannot be finitely axiomatized (as can and )|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
M. Randall Holmes (2008). Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. Studia Logica 88 (2):195 - 213.
Audrey Yap (2009). Predicativity and Structuralism in Dedekind's Construction of the Reals. Erkenntnis 71 (2):157 - 173.
Gian Aldo Antonelli (1998). Extensional Quotients for Type Theory and the Consistency Problem for NF. Journal of Symbolic Logic 63 (1):247-261.
Roger F. Gibson (1994). Quine and Davidson: Two Naturalized Epistemologists. Inquiry 37 (4):449 – 463.
E. Darcy Burgund & Chad J. Marsolek (1998). Fixed Versus Flexible Features in Dissociable Neural Processing Subsystems. Behavioral and Brain Sciences 21 (1):21-22.
H. G. Callaway (2003). The Esoteric Quine? Belief Attribution and the Significance of the Indeterminacy Thesis in Quine’s Kant Lectures. In H. G. Callaway (ed.), W.V. Quine, Wissenschaft und Empfindung. Frommann-Holzboog.
Heikki J. Koskinen & Sami Pihlström (2006). Quine and Pragmatism. Transactions of the Charles S. Peirce Society 42 (3):309-346.
Panu Raatikainen (2003). Is Quine a Verificationist? Southern Journal of Philosophy 41 (3):399-409.
Eric Mack (1998). Deontic Restrictions Are Not Agent-Relative Restrictions. Social Philosophy and Policy 15 (02):61-.
Hugh LaFollette (2000). Gun Control. Ethics 110 (2):263-281.
Thomas Forster, Quine's New Foundations. Stanford Encyclopedia of Philosophy.
J. Brent Crouch (2010). Between Frege and Peirce: Josiah Royce's Structural Logicism. Transactions of the Charles S. Peirce Society 46 (2):155-177.
Added to index2010-08-24
Total downloads2 ( #246,694 of 739,404 )
Recent downloads (6 months)0
How can I increase my downloads?