Quantification and ontology

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

Quineans have taken the basic expression of ontological commitment to be an assertion of the form '∃xφ', assimilated to the English 'there is something that is a φ'. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference.

Original languageEnglish (US)
Pages (from-to)1-43
Number of pages43
JournalSynthese
Volume124
Issue number1
StatePublished - Jul 2000

Fingerprint

quantification
ontology
semantics
symbol
commitment
Quantification
Ontology
Ontological
Ontological Commitment
Burden
Existential Quantifiers
Abbreviations
Symbol

ASJC Scopus subject areas

  • Social Sciences(all)

Cite this

Quantification and ontology. / Lavine, Shaughan M.

In: Synthese, Vol. 124, No. 1, 07.2000, p. 1-43.

Research output: Contribution to journalArticle

Lavine, SM 2000, 'Quantification and ontology', Synthese, vol. 124, no. 1, pp. 1-43.
Lavine, Shaughan M. / Quantification and ontology. In: Synthese. 2000 ; Vol. 124, No. 1. pp. 1-43.
@article{2ac5edf8206e4049aea6516c7d15a985,
title = "Quantification and ontology",
abstract = "Quineans have taken the basic expression of ontological commitment to be an assertion of the form '∃xφ', assimilated to the English 'there is something that is a φ'. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference.",
author = "Lavine, {Shaughan M}",
year = "2000",
month = "7",
language = "English (US)",
volume = "124",
pages = "1--43",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer Netherlands",
number = "1",

}

TY - JOUR

T1 - Quantification and ontology

AU - Lavine, Shaughan M

PY - 2000/7

Y1 - 2000/7

N2 - Quineans have taken the basic expression of ontological commitment to be an assertion of the form '∃xφ', assimilated to the English 'there is something that is a φ'. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference.

AB - Quineans have taken the basic expression of ontological commitment to be an assertion of the form '∃xφ', assimilated to the English 'there is something that is a φ'. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference.

UR - http://www.scopus.com/inward/record.url?scp=33746150889&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33746150889&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:33746150889

VL - 124

SP - 1

EP - 43

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - 1

ER -