First-Order Quantifiers

Download Edit this record How to cite View on PhilPapers
Abstract
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)
Keywords
No keywords specified (fix it)
Categories
PhilPapers/Archive ID
ANTFQ
Revision history
Archival date: 2016-05-17
View upload history
References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2009-01-28

Total views
118 ( #23,013 of 41,445 )

Recent downloads (6 months)
13 ( #32,209 of 41,445 )

How can I increase my downloads?

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