Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Tarski, Alfred
 
Bücher bei Amazon
Rekursion I 156
Rekursion/rekursives Verfahren/Tarski: von einfachen Aussagenfunktionen ausgehend die Operationen angeben, mit denen man zusammengesetzte Funktionen konstruiert.
I 157
Rekursion/Tarski: Problem: zusammengesetzte Aussagen werden aus einfacheren Aussagenfunktionen konstruiert, aber nicht immer aus einfacheren Aussagen. - Daher gibt es keine allgemeine rekursive Methode. - Rekursive Definition der Erfüllung ist nur in wesentlich reichhaltiger Metasprache möglich (d.h. die Metasprache kann Variablen von höherem logischen Typ als die Objektsprache enthalten).

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

> Gegenargumente gegen Tarski



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