|Domain: In model theory a set of defined objects, for which a model is satisfiable. In logic a set of objects that can be related to statements.|
|Kripke, Saul Aaron
Books on Amazon
|Domains||EMD II 372
Domain/Range/Russell/Kripke: "iff" extensional: Moves domain inside - de dicto: always the smallest range: E.g. Jones believes there is ... - dramatic difference to referential quantification: is referential quantification always the largest domain? E.g. there is something that Jones believes.
Wolf II 216f
Domain/KripkeVsRussell: he wanted to explain the difference de re/de dicto by domains: smallest domain: de dicto - largest domain: de re - KripkeVs: there are three areas: narrowest MN(Ex) (There are exactly x planets and x is even), (de dicto) - largest: (E.g.) (There are exactly x planets and MN(x is even)), (de re) - medium domain: M(Ex) (there are exactly x planets and N(x is even)). ((s) it is possible that there are 8 planets and it is necessary that 8 is even (correct)) - ((s) short range: both operators at front - widest: both in the rear - medium: distributed operators - medium ranges are possible, when operators are repeated).
Wolf II 217
Domain/Russell/Kripke: E.g. largest domain/de re: "there is a high official, so that Hoover believes that the Barrigans want to kidnap him" - the smallest domain/de-dicto "Hoover believes that the Barrigans ..." - medium domain "Hoover believes that there is a high official, so ...".
Wolf II 217 ~
Domain/Kripke: not suitable for illustrating the difference de re/de dicto because of the third domain.
Name und Notwendigkeit Frankfurt 1981
S. A. Kripke
Outline of a Theory of Truth (1975)
Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989
K II siehe Wol I
U. Wolf (Hg)
Eigennamen Frankfurt 1993