Lexicon of Arguments

 

I 35
Proposition/structure/possible world/Stalnaker: propositions are highly structured, possible worlds are not.
>Possible worlds/Stalnaker.
The structures that exist between propositions, do not exist like that between possible worlds. Propositions can be stronger or weaker - possible worlds cannot.
>Stronger/weaker, >Content, >Situations, >World.
A minimum theory of propositions and possible worlds needs only the structures of propositions, not of possible worlds.
>Structures.
I 37
Proposition/Stalnaker: a proposition is made up of individuals and properties. Sentence/Stalnaker: a sentence is made up of names and predicates.
>Sentences, >Predication, >Truth.
I 51
Understanding/Stalnaker: a proposition cannot be understood like a sentence, because it is already the content.
>Understanding.
I 61f
Def Proposition/Stalnaker: a proposition is no more than a sub-region, or subset of possible worlds. Def assertion: asserting a proposition is nothing else than to locate the real world in this subset.
>Assertions, >Logical space.
Def true-relative-to-x: to say, a proposition is true relative to a possible world x means that the possible world x is in the subset (of possible worlds) that constitutes the proposition.
Def true simpliciter: is to say that the real world is in this subset (of possible worlds that constitute the proposition).
>Bare truth.
Proposition: a proposition is identified with its truth conditions.
>Truth conditions, >Individuation.
I 191
Secondary proposition/two-dimensional semantics/Chalmers/Stalnaker: ("fx"): secondary propositions are based on the real world.
>Intensions/Stalnaker.
Primary proposition: ("fp"): primary propositions are based on the particular world in which the statement is made. Logical form: Def fp: logical Form: fx(y) = f(x,y) and fp(x) = f(x,x) or equivalent: fp(x) = fx(x).