Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
Stalnaker I 34
Kontradiktion/Adams/Stalnaker: könnte in Begriffen von Konsistenz definiert werden:
A und B sind kontradiktorisch, gdw.
{A,B} nicht konsistent ist
und für jede konsistente Menge von Propositionen Γ ist entweder
Γ U {A} oder Γ U {B} konsistent.
Die Theorie setzt voraus:
(W3) Jede Proposition hat eine Kontradiktion.
>
Konditional/Adams.
Proposition/Adams/Stalnaker: Das ist eine minimale Theorie von Propositionen. Sie erlegt den Propositionen keinerlei Struktur auf, außer was für Verträglichkeit, Implikation und Äquivalenz gebraucht wird. Und um sicherzustellen dass z.B. die richtige Art von Implikation vorliegt. Bsp Implikation:
Def Implikation/Proposition/Stalnaker: (hier):
A impliziert B gdw. eine Menge bestehend aus A und einer Kontradiktion von B nicht konsistent ist.
(W1) und (W2) stellen sicher, dass unsere Implikation die richtigen Eigenschaften hat.