Notwendige und hinreichende Bedingung

Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der Theorie wissenschaftlicher Erklärungen, die Bedingungen in zwei verschiedene Typen unterteilen. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden auch in der Logik, vor allem in der Aussagenlogik, behandelt.

Kausal verstanden betreffen beide Begriffe die Frage, ob bestimmte Ereignisse als Ursachen anderer Ereignisse unersetzlich sind, und ob die anderen Ereignisse zwangsläufig einträten, wenn die bestimmten Ereignisse vorliegen würden (siehe auch Kontrafaktizität).