Lexikon der Argumente

 

I 38
Logische Konsequenz/Cresswell: Entscheidender Unterschied zum Entailment: sie verbinden Satzformen bzw. Satzschemata ((s) Keine Inhalte, nicht die Sätze selbst).
>Entailment, >Konditional, >Materiales Konditional.
Dabei geht es nicht darum, welche Propositionen involviert sind bzw. welches die Wahrheitswerte der einzelnen Sätze sind.
>Propositionen, >Wahrheitswert.
Entailment: Wenn alle möglichen Welten in denen p u q wahr ist, genau dieselben sind, in denen p wahr ist, dann bedeutet das in diesem speziellen Fall, dass p entails p u q.
>Mögliche Welten.
D.h. q folgt aus p intensional.
>Intensionen.
Logische Konsequenz/Pointe: Aber p u q ist keine logische Konsequenz aus p, weil es Möglichkeiten gibt, p und q Wahrheitswerte zuzuschreiben, die p wahr machen, aber p u q falsch.
>Bewertung.