Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects |
| |
Authors: | Wehmeier Kai F |
| |
Institution: | (1) Philosophical Institute, Rijksuniversiteit Leiden, Matthias de Vrieshof 4, Postbus 9515, 2300 RA Leiden, The Netherlands |
| |
Abstract: | In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1
1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|