Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Einsetzen: in einer Formel kann ein Symbol unter bestimmten Voraussetzungen für ein anderes Symbol eingesetzt werden. Bsp Wird eine Konstante für eine Variable eingesetzt, wird aus einer Aussagenfunktion eine Aussage. Siehe auch Ersetzen, Ersetzbarkeit, Substitution, Allgemeingültigkeit, Gültigkeit, Aussage, Aussagenfunktion, Feinkörnig/grobkörnig, Logische Formeln, Formeln.

_____________
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 Einsetzen - Lexikon der Argumente

II 133
Einsetzen/Ersetzen/Identität/Wahrheitserhalt: Die logische Äquivalenz ist (...) eine Abschwächung der Identität von Aussagen.
Logisch äquivalente Aussagen sind nicht in allen Eigenschaften gleich, sondern nur in logischer Hinsicht. Wenn eine Aussage logisch wahr ist, ist es auch die andere und umgekehrt. Wenn aus der einen eine bestimmte Aussage logisch folgt, dann auch aus der anderen und umgekehrt.
>Substitution
, >Äquivalenz, >Logische Wahrheit.
Einsetzungstheorem: Sei FA eine aussagenlogische Formel, die eine Teilform A enthält. Sei FB eine Formel, die aus FA entsteht, wenn man A durch eine aussagenlogische Formel B ersetzt, (nicht notwendig überall). Sei nun A ≡ B, dann gilt FA ≡ FB.

II 134
Logisch äquivalente Formeln haben die gleichen Folgerungsmengen.
Logisch äquivalente Formeln können aus den gleichen Voraussetzungen gefolgert werden.

Redundanztheorie/Hoyningen-Huene: daher muss man in der Aussagenlogik auch tatsächlich nicht zwischen "A" und "Es ist wahr, dass A" unterscheiden. (In der Aussagenlogik wird von solchen Eigenschaften abstrahiert.)
>Aussagen-Logik, >Redundanz-Theorie.

_____________
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 Argumente
Der 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

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z