Lexicon of Arguments

 

II 210
Models/QuineVsKripke: they enable proof of consistency but not a clear interpretation - when are objects identical? -Bischof Buttler ("no other thing"): identity does not follow necessarily.
IX 223
Model: exists where contradictions cannot be deduced.
X 77
Model/Quine: of a scheme: is a quantity-n-tuple: a set corresponds to each schema letters (for predicates), at the beginning of the n-tuple is a non-empty set U, the universal set or the range of values ​​of the variables x, y, etc. the remaining sets of the model are the values ​​of the set variables a, b, etc. Fulfillment: a model fulfills a scheme, if its set-theoretic analogue (sentence) it is true.
>Set Theory/Quine.
X 78
For example, a model 'U,‹U,β) fulfils the logical scheme "Ex(Fx. Gx)" ((s) quotation marks not for the model) if Ex(x ε α α. ζ ε β), i.e. if the two sets of the model are not elemental. ((s) Conjunction of properties or sentences: common elements of the corresponding elements > intersection, not union).
For example a model 'U,‹U,β) fulfils the logical scheme ~E(Fx . ~Gx)" when the one set is a subset of the other.