Pickel, B. (2010) Syntax in basic laws §§29–32. Notre Dame Journal of Formal Logic, 51(2), pp. 253-277. (doi: 10.1215/00294527-2010-016)
Full text not currently available from Enlighten.
Abstract
In order to accommodate his view that quantifiers are predicates of predicates within a type theory, Frege introduces a rule which allows a function name to be formed by removing a saturated name from another saturated name which contains it. This rule requires that each name has a rather rich syntactic structure, since one must be able to recognize the occurrences of a name in a larger name. However, I argue that Frege is unable to account for this syntactic structure. I argue that this problem undermines the inductive portion of Frege's proof that all of the names of his system denote in §§29–32 of The Basic Laws.
Item Type: | Articles |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Pickel, Dr Bryan |
Authors: | Pickel, B. |
College/School: | College of Arts & Humanities > School of Humanities > Philosophy |
Journal Name: | Notre Dame Journal of Formal Logic |
Publisher: | University of Notre Dame |
ISSN: | 0029-4527 |
ISSN (Online): | 1939-0726 |
University Staff: Request a correction | Enlighten Editors: Update this record