Lexicon of Arguments

 

I 185
Leibniz/all properties necessary/Stalnaker: proposition/truth/omniscience: problem: the proposition expressed by the sentence, e.g. that Shakespeare wrote plays, is true only in the real world. ((s) nothing may be changed without everything changing.)
Therefore, it is a proposition that entails every true proposition. This has the following consequence: only God could know that Shakespeare wrote plays. ((s) Because he knows all the propositions that are implied by this proposition.)
If a proposition were counterfactually not true, the proposition about Shakespeare would also be wrong, because everything would be changed. We limited people can only know that "Shakespeare wrote plays" is a true proposition. ((s) But which one? Who is the person? We do not know, because we do not know all the facts about the world.) ((s) This is required only by Leibniz.)
Stalnaker: We alsp know that it is necessarily equivalent to the proposition that is expressed by Elvis played the guitar.
>Equivalence.
I 186
This is Leibniz plus the bundle theory but only if no modal properties are mentioned.
>Bundle theory, >Leibniz Principle.