First-Order Quantifiers

Download Edit this record How to cite View on PhilPapers
In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments)
No keywords specified (fix it)
PhilPapers/Archive ID
Upload history
Archival date: 2016-05-17
View other versions
Added to PP index

Total views
163 ( #34,628 of 2,448,737 )

Recent downloads (6 months)
10 ( #46,768 of 2,448,737 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.