I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

Classic work by one of the most brilliant figures in post-war analytic philosophy.

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.

Though the phrase 'x is true of x' is well formed grammatically, it does not express any predicate in the logical sense, because it does not satisfy the principle of reduction for statements containing 'x is true of'. recognition of this allows for solution of russell's paradox without his restrictive theory of types.