Lexicon of Arguments

 Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
Skirbekk I 156
Recursion/recursive method/Tarski: starting from simple propositional calculus specifying the operations with which we construct composite functions.
>Functions/Tarski, >Recursive rules.
Skirbekk I 157
Recursion/Tarski: problem: composite statements are constructed from simpler propositional functions, but not always from simpler statements.
>Propositional functions.
Hence no general recursion is possible. Recursive definition of satisfaction is only possible in a much richer metalanguage (i.e. in metalanguage we have variables of a higher logical type than the in the object language.(1)
>Expressivity, >Richness.


1. A.Tarski, „Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik“ (1944) in: G. Skirbekk (ed.) Wahrheitstheorien, Frankfurt 1996

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.