Syntax in Basic Laws §§29–32
Pickel, Bryan
Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, p. 253-277 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2010-04-15
Classification:  philosophy of logic,  Frege's proof of referentiality,  03A05,  00A30 
@article{1276284786,
     author = {Pickel, Bryan},
     title = {Syntax in Basic Laws \S \S 29--32},
     journal = {Notre Dame J. Formal Logic},
     volume = {51},
     number = {1},
     year = {2010},
     pages = { 253-277},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1276284786}
}

Pickel, Bryan. Syntax in Basic Laws §§29–32. Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, pp.  253-277. http://gdmltest.u-ga.fr/item/1276284786/