@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024},
author = {Logik-Texte},
subject = {Implikation},
note = {II 109
Implikation: Statt von logisch korrektem Schluss spricht man auch von einem gültigen, oder deduktiven Schluss, statt Schluss spricht man auch von Implikation.
Die Prämissen implizieren die Konklusion.
Def korrekt/Korrektheit/Aussagenlogik/HH: seien A und B aussagenlogische Formeln. Der Schluss von A auf B heißt aussagenlogisch korrekt, genau dann, wenn A > B aussagenlogisch wahr ist.
>Korrektheit.
II 110
Der Trick besteht darin, dass in [der obigen] Definition die geforderte aussagenlogische Wahrheit von A > B Verschiedenes bedeutet, je nachdem, von A > B eine Aussage, oder eine aussagenlogische Formel ist. >Aussage, >Formel.},
note = {Texte zur Logik
Me I Albert Menne Folgerichtig Denken Darmstadt 1988
HH II Hoyningen-Huene Formale Logik, Stuttgart 1998
Re III Stephen Read Philosophie der Logik Hamburg 1997
Sal IV Wesley C. Salmon Logik Stuttgart 1983
Sai V R.M.Sainsbury Paradoxien Stuttgart 2001
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=231816}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=231816}
}