Cresswell 172
Geachs Esel/Wenn-Satz/Cresswell: Bsp
(25) Wenn ein Mann einen Esel hat, schlägt er ihn
Problem: (25) hat zwei unbestimmte Nominalphrasen.
Kamp: (1983, 279)
(1) hat ein Beispiel mit nur einer unbestimmten Nominalphrase. Bsp
(26) Wenn Pedro einen Esel hat, schlägt er ihn.
unbestimmt: ein Esel - bestimmt: Pedro.
Tradition/Problem: Die Phrase ein Esel muss durch eine Existenzquantor repräsentiert werden: (Ex)(Esel(x) u ... ).
Aber die offensichtliche Interpretation von (26) ist
(27) (x)((Esel x u Pedro hat x) > Pedro schlägt x).
Kamp: Es gibt Fälle, wo der Quantor vom Existenz- zum Allquantor gewechselt werden kann. Wenn er keine Variable im Konsequens bindet, haben wir als logische Äquivalenz:
I 173
(28) (x)(Fx > P) ≡ (ExFx > P).
Lösung/Kamp: analysiert unbestimmte Phrasen (Kennzeichnungen) als Prädikate (s.o.). Und die Allquantifikation wird Teil der Bedeutung von wenn. (S. 288-90)
(1).
LewisVsKamp/Cresswell: (Lewis 1975a, S 11)
(2) das ist für die meisten natürlichen Bedeutungen von (26) in Ordnung, aber Problem:
(29) Manchmal wenn Pedro einen Esel hat, schlägt Pedro ihn
scheint zu bedeuten, dass es wenigstens einen Esel gibt, den Pedro hat und der von ihm geschlagen wird.
Lösung/Lewis: Die Rolle von wenn ist lediglich, das Nomen zu beschränken. D.h. (29) hat die Bedeutung, die (22) hätte, wenn wir ∃ statt ∀ hätten.
>
Allquantifikation, >
Existenzquantifikation, >
Quantifikation, >
Verzweigte Quantoren, >
Quantoren.
(1) Kamp, H. & Rohrer, C.(1983): Tense in texts. Meaning, use and interpretation of language 250, 269.
(2) Lewis, D. (1975a): Adverbs of Quantification. In: Edward L. Keenan (Hrsg.), Formal Semantics of Natural Language, Cambridge: Cambridge University Press, S. 3–15.