Philosophie Lexikon der ArgumenteHome | |||
| |||
Implikation: Die Implikation in der Logik ist eine Beziehung zwischen zwei Aussagen, wobei die zweite Aussage aus der ersten folgt. Sie wird durch das Pfeilsymbol (→) symbolisiert. Siehe auch Konditional, Inferenz, Schlussfolgerung, Logik._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Logik-Texte über Implikation - Lexikon der Argumente
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._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
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 |