more from this thinker     |     more from this text


Single Idea 16465

[filed under theme 5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or ]

Full Idea

In 'either Socrates was a philosopher or someone other than Socrates was a philosopher', both propositions expressed by the disjuncts depend for their existence on the existence of Socrates, but the whole disjunction does not.

Gist of Idea

In 'S was F or some other than S was F', the disjuncts need S, but the whole disjunction doesn't

Source

Robert C. Stalnaker (Mere Possibilities [2012], 4.2)

Book Ref

Stalnaker,Robert C.: 'Mere Possibilities' [Princeton 2012], p.100


A Reaction

Nice example, just the sort of thing we pay philosophers to come up with. He is claiming that propositions can exist in possible worlds in which the individuals mentioned do not exist.


The 8 ideas with the same theme [role of 'or' in systems of logic]:

Epicureans say disjunctions can be true whiile the disjuncts are not true [Epicurus, by Cicero]
'Or' expresses hesitation, in a dog at a crossroads, or birds risking grabbing crumbs [Russell]
'Or' expresses a mental state, not something about the world [Russell]
Maybe the 'or' used to describe mental states is not the 'or' of logic [Russell]
Disjunction may also arise in practice if there is imperfect memory. [Russell]
A disjunction expresses indecision [Russell]
In 'S was F or some other than S was F', the disjuncts need S, but the whole disjunction doesn't [Stalnaker]
Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess]