Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Mates, Benson
 
Bücher bei Amazon
Objektsprache I 57
Objektsprache/OS/Metasprache/MS/Mates: Bsp Ausdrücke wie Bsp (φ v ψ) sind Kennzeichnungsformen der Metasprache. - Wenn man ihre Variablen durch Namen für Ausdrücke der Objektsprache ersetzt, erhalten wir Kennzeichnungen von Ausdrücken der Objektsprache. - Bsp Wenn wir hier "φ" durch " "F'a" " und "ψ" durch " "G'b" " ersetzen,
I 58
erhalten wir einen metasprachlichen Ausdruck der Form: das Ergebnis, das man erhält, wenn man "(" , dann "F1a", dann "v" , dann "G1b" und dann ")" schreibt. - Und diese kennzeichnet den Ausdruck (F1a v G1b) der Objektsprache.
I 279
Objektsprache/Metasprache/Mates: Schemata: gehören zur Objektsprache.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Gegenargumente gegen Mates



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