Comparison of Russell's resolution of the semantical antinomies with that of Tarski

DOI10.2307/2272393zbMath0383.03005OpenAlexW2140792783MaRDI QIDQ4163501

No author found.

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272393

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (22)

Hierarchical propositions ⋮ Cumulative versus noncumulative ramified types ⋮ A paradox about sets of properties ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ On the number of types ⋮ INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ ⋮ Tarskian and Kripkean truth ⋮ The Versatility of Universality inPrincipia Mathematica ⋮ A new interpretation of russell's multiple-relation theory of judgment ⋮ THE FUNCTIONS OF RUSSELL’S NO CLASS THEORY ⋮ Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} ⋮ Russell's way out of the paradox of propositions ⋮ On hierarchical propositions ⋮ PARADOXES OF INTENSIONALITY ⋮ A modern elaboration of the ramified theory of types ⋮ The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy ⋮ The theory of recursive functions, approaching its centennial ⋮ Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic ⋮ Russellian Propositions in Principia Mathematica ⋮ Comments on the Contributions ⋮ Why ramify? ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Foundations of set theory
• Banishing the rule of substitution for functional variables

This page was built for publication: Comparison of Russell's resolution of the semantical antinomies with that of Tarski