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

Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
A Note on some Neuroimaging Study of Natural Language Quantifiers Comprehension.Jakub Szymanik - 2007 - Neuropsychologia 45 (9):2158-2160.
Logicism, quantifiers, and abstraction.Aldo Antonelli - manuscript
Normal forms for characteristic functions on n-ary relations.Jan van Eijck - unknown
Quantification and Contributing Objects to Thoughts.Michael Glanzberg - 2008 - Noûs 42 (1):207 - 231.
Modal Logics Between Propositional and First Order.Melvin Fitting - unknown
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.

Analytics

Added to PP
2009-01-28

Downloads
445 (#43,936)

6 months
105 (#41,136)

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