Philosophie Lexikon der Argumente

Suche  
 
Kalkül: ein System aus Symbolen für Objekte (die nicht weiter spezifiziert werden) sowie Regeln für die Bildung von Ausdrücken durch Zusammensetzung dieser Symbole. Weitere Regeln gibt es für die Umformung von zusammengesetzten Ausdrücken in andere Ausdrücke. Solange keine spezifizierten Objekte für die Individuensymbole angenommen werden, ist der Kalkül uninterpretiert, sonst interpretiert.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 63
Künstliche Sprache/formale/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 handelt es sich um einen uninterpretierter Kalkül.
I 115
Aussagenkalkül/AK: hat keine Quantoren.

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 30.05.2017