Sprachlich impliziert aus B folgt A ein Ursache-Wirkung-Verhältnis. Damit ist die Antwort schon genannt: B ist unabhängig, A hängt von B ab. Etwas anderes ist es mit der Fachsprache der formalen Logik. Die Aussage B impliziert A sagt überhaupt nichts über Ursache und Wirkung aus und ist absolut gleichwertig mit der Aussage nicht-A impliziert nicht-B. Ein kausales Abhängigkeitsverhältnis läßt sich aus der logischen Aussage aus B folgt A nicht ableiten; möglicherweise gehen A und B auf eine gemeinsame Ursache zurück, ohne sich gegenseitig beeinflussen zu können.
Sprachlich impliziert aus B folgt A ein Ursache-Wirkung-Verhältnis. Damit ist die Antwort schon genannt: B ist unabhängig, A hängt von B ab. Etwas anderes ist es mit der Fachsprache der formalen Logik. Die Aussage B impliziert A sagt überhaupt nichts über Ursache und Wirkung aus und ist absolut gleichwertig mit der Aussage nicht-A impliziert nicht-B. Ein kausales Abhängigkeitsverhältnis läßt sich aus der logischen Aussage aus B folgt A nicht ableiten; möglicherweise gehen A und B auf eine gemeinsame Ursache zurück, ohne sich gegenseitig beeinflussen zu können. In normaler Sprache jedoch bringt aus nicht-A folgt nicht-B einen völlig anderen Sachverhalt zum Ausdruck als das formallogisch gleichwertige aus B folgt A. Man kann die fachsprachliche Aussage aber leicht in allgemeinverständliche Sprache übersetzen: B ohne A gibt es nicht. In dieser Formulierung wird deutlich, daß keine Aussage über die gegenseitige Abhängigkeit oder über die Existenz einer dritten Ursache getroffen wird. Kategorie:Beantwortete Fragen Kategorie:Sprache Kategorie:Logik