Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Substitution, Ersetzung, Philosophie: Hier geht es um das Ersetzen sprachlicher Elemente oder logischer Symbole innerhalb von Aussagen oder logischen Formeln durch andere sprachliche Elemente oder logische Symbole, die an der gleichen syntaktischen Position in der Lage sind, eine sinnvolle Aussage zu bilden. Wenn dabei der Wahrheitswert (wahr oder falsch) der Aussage erhalten bleibt, spricht man von Substituierbarkeit eines Terms durch einen anderen in einem Kontext. Siehe auch Gleichheit, Einsetzen, Bedeutung, Identität, Koreferenz.

_____________
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

Christian Thiel über Substitution – Lexikon der Argumente

Thiel I 92
Substitution/Thiel: >Substitutionsregel: Hier muss man alle gleichgestalteten Buchstaben durch jeweils dieselbe korrekte Formel oder einen anderen Buchstaben ersetzen. >Abtrennungsregel
: A,A > B >>B. (modus ponens).
>modus ponens.
So werden "wenn, dann" durch einfache Regeln eingeführt, Negation einer Aussage ..+.. def "ausgezeichnete Formel"...."Belegung“.
>Einführung.
I 94
Manche der Formeln die mit Hilfe des neu hinzugekommenen Negationszeichens gebildet werden, sind keine ausgezeichneten Formeln.
Bsp eine der Belegungen der Formel ~~p > p ist der Ausdruck (~~1) >1. Sein Wert berechnet sich nach den Tabellen als (~~1) x 1 = (~2) x 1 = 0 x 1 = 1
Ebenso erhält die Belegung
0 > (~~0) der Formel p > ~~p den Wert
0 x (~~0) = 0 x (~1) = 0 x 2 = 1. Wenn der Wert von 0 verschieden ist, liegt keine ausgezeichnete Formel bezüglich unserer Tabelle vor.
>Formeln.

_____________
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.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995

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