Lexicon of Arguments

 

Glüer II 18 ff
"True" is semantic when derived.
"Fulfilled" is primarily semantic., >Truth, >Truth theory, >Semantics.
- - -
I 103
Predicates/Fodor: satisfaction by a subjective state: e.g. "Is this a short-billed hedgehog or a porcupine? - Thought about animals that meet certain general criteria (exactly the ones we use in the decision).
I 104
DavidsonVsFodor: these states do not exist - instead: History of learning the word. >Causal theory of knowldge, >Learning, >Translation/Davidson.
- - -
Glüer II 24
Def satisfaction/Tarski/Glüer: Relation between (ordered) sequences of objects and open sentences. Here the recursive method works: for elementary propositions it is defined which objects they fulfil and rules are given according to which for all compositions of open propositions it can be determined which objects they satisfy.
Statements are determined as a special case of open sentences. They either contain no free variables, or they were closed with the help of quantifiers.
II 25
With true statements, satisfaction is simple: for whether an ordered sequence of objects satisfies a proposition depends only on the free variable it contains. >Open sentence.
Closed proposition/fulfillment: e.g. "The moon is round" does not contain any free variables. Thus the kind of the objects of the respective sequence is completely irrelevant and it can be determined by definition whether such a proposition is true, if it is satisfied by all sequences - or by none.
Satisfaction/Quantifiers/Quantification: it is somewhat more complicated for quantified statements:
For example "All stars are round" or "There is at least one star that is round", also here the fulfillment is defined in such a way that either all sequences fulfill one sentence or none. Thus it becomes clear that it would be absurd to associate truth of closed propositions with the fulfillment by no sequence of objects.
Example A sentence like "All stars are round" is true if there are certain objects that fulfill "X is round": all stars.
Def Truth/Tarski/Glüer: a statement is true if it is fulfilled by all objects, otherwise it is false". (Statement: special case of the satisfaction relation). >Statements.