Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe

 
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 und Automation. Siehe auch Mathematik, Bereiche, Symbole, Zeichen, Sprache, Rekursion, Regeln.

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


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

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
Skeptical Essays Chicago 1981

Send Link
> Gegenargumente gegen Mates

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   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  



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