First-Order Quantifiers

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)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Categories of First -Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
Categories of First-Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
On the general interpretation of first-order quantifiers.G. Aldo Antonelli - 2013 - Review of Symbolic Logic 6 (4):637-658.
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
First order quantifiers in monadic second order logic.H. Jerome Keisler & Wafik Boulos Lotfallah - 2004 - Journal of Symbolic Logic 69 (1):118-136.
An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy.Andreas Weiermann - 1993 - Mathematical Logic Quarterly 39 (1):367-383.
Asymptotic Harmonic Behavior in the Prime Number Distribution.Maurice H. P. M. van Putten - 2014 - Applied Mathematics 5:2547-2557.
Curry, Yablo and duality.Roy T. Cook - 2009 - Analysis 69 (4):612-620.
Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.

Analytics

Added to PP
2009-01-28

Downloads
456 (#44,551)

6 months
107 (#43,834)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

G. Aldo Antonelli
University of California, Davis

Citations of this work

No citations found.

Add more citations

References found in this work

English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
Questions about quantifiers.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (2):443-466.

Add more references