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

DOI10.2307/2272393MaRDI QIDQ4163501zbMATH OpenOpenAlexFDO

Authors Alonzo Church

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) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Cites work

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

Cited in

(23)

• The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy
• Cumulative versus noncumulative ramified types
• On the number of types
• On hierarchical propositions
• Why ramify?
• Hierarchical propositions
• Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}
• A modern elaboration of the ramified theory of types
• The functions of Russell's no class theory
• Paradoxes of intensionality
• INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’
• The theory of recursive functions, approaching its centennial
• Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
• Russell's way out of the paradox of propositions
• The versatility of universality in \textit{Principia mathematica}
• Russellian Propositions in Principia Mathematica
• Comments on the Contributions
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• The prehistory of the subsystems of second-order arithmetic
• A new interpretation of russell's multiple-relation theory of judgment
• A paradox about sets of properties
• Tarskian and Kripkean truth
• Russell-Myhill and grounding

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4163501)