Philosophie Lexikon der Argumente

Suche  
 
Formale Sprache: eine Sprache, die meist aus einem Zeichenvorrat (Symbolen für einen definierten Gegenstandsbereich) sowie Regeln zu deren Verknüpfung bestehen. Zwecke der Formalisierung sind Kürze, Eindeutigkeit und Einsetzbarkeit bei Anwendungen der Programmierung, Automation, >Mathematik u.a. >Bereich, >Symbol, >Zeichen, >Sprache, >Rekursion, >Regeln
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 63
Künstliche Sprache/formale Sprache/Gegenstück/Mates: den Aussageformen der natürlichen Sprache entsprechen Formeln der künstlichen, und zwar als Gegenstücke, nicht als Abkürzungen. - Wenn Symbolen kein Sinn zugeordnet ist, dann haben wir ein "uninterpretierter Kalkül".
I 74
Künstliche Sprache L/Mates: Bsp Aussage φ: immer wahr in Bezug auf eine Interpretation I. - Werte von "φ": Aussagen der Sprache L - Werte von I: Interpretationen von L.

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 23.05.2017