Philosophie Lexikon der Argumente

Suche  
 
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/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Thiel I 92
Substitution/Thiel: >Substitutionsregel: wenn man alle gleichgestalteten Buchstaben durch jeweils dieselbe korrekte Formel oder einen anderen Buchstaben ersetzt. >Abtrennungsregel: A,A > B >>B (?)
So werden "wenn, dann" durch einfache Regeln eingeführt, Negation einer Aussage ..+.. def "ausgezeichnete Formel"...."Belegung“. I 95

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.


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

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995

> Gegenargumente zu Substitution



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 27.07.2017