more on this theme     |     more from this thinker


Single Idea 10007

[filed under theme 5. Theory of Logic / G. Quantification / 2. Domain of Quantification ]

Full Idea

Quantifiers have two functions in communication - to range over a domain of entities, and to have an inferential role (e.g. F(t)→'something is F'). In ordinary language these two come apart for singular terms not standing for any entities.

Gist of Idea

Quantifiers for domains and for inference come apart if there are no entities

Source

Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §6.3)

Book Ref

-: 'Philosophical Review 114' [Phil Review 2005], p.218


A Reaction

This simple observations seems to me to be wonderfully illuminating of a whole raft of problems, the sort which logicians get steamed up about, and ordinary speakers don't. Context is the key to 90% of philosophical difficulties (?). See Idea 10008.

Related Ideas

Idea 10008 Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber]

Idea 13818 If we allow empty domains, we must allow empty names [Bostock]


The 10 ideas from 'Number Determiners, Numbers, Arithmetic'

What is the relation of number words as singular-terms, adjectives/determiners, and symbols? [Hofweber]
We might eliminate adjectival numbers by analysing them into blocks of quantifiers [Hofweber]
An adjective contributes semantically to a noun phrase [Hofweber]
'2 + 2 = 4' can be read as either singular or plural [Hofweber]
Why is arithmetic hard to learn, but then becomes easy? [Hofweber]
Our minds are at their best when reasoning about objects [Hofweber]
Arithmetic doesn’t simply depend on objects, since it is true of fictional objects [Hofweber]
First-order logic captures the inferential relations of numbers, but not the semantics [Hofweber]
Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber]
Quantifiers for domains and for inference come apart if there are no entities [Hofweber]