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

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 23.05.2017