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
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

Total views
132 ( #26,944 of 47,256 )

Recent downloads (6 months)
13 ( #41,332 of 47,256 )

How can I increase my downloads?

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