Plural Grundgesetze |
| |
Authors: | Francesca Boccuni |
| |
Affiliation: | 1.Philosophy Department,University of Padua,Padua,Italy |
| |
Abstract: | PG (Plural Grundgesetze) is a predicative monadic second-order system which exploits the notion of plural quantification and a few Fregean devices, among which a formulation of the infamous Basic Law V. It is shown that second-order Peano arithmetic can be derived in PG. I also investigate the philosophical issue of predicativism connected to PG. In particular, as predicativism about concepts seems rather un-Fregean, I analyse whether there is a way to make predicativism compatible with Frege’s logicism. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|