Why ramify?

DOI10.1215/00294527-2864352zbMath1322.03010OpenAlexW4256277982MaRDI QIDQ2354627

Harold T. Hodes

Publication date: 20 July 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1429277357

zbMATH Keywords

lambda termsconversionpropositionpropositional functionpropositional paradoxramified type

Mathematics Subject Classification ID

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

Related Items (6)

Structure by proxy, with an application to grounding ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS ⋮ Russell on Ontological Fundamentality and Existence ⋮ Substitution structures ⋮ Predicativity and Feferman ⋮ On hierarchical propositions

Cites Work

• Combinatory logic. With two sections by William Craig.
• A modern elaboration of the ramified theory of types
• THE FUNCTIONS OF RUSSELL’S NO CLASS THEORY
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Russell's way out of the paradox of propositions
• Functionality in Combinatory Logic
• A formulation of the simple theory of types
• The Calculi of Lambda Conversion. (AM-6)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Why ramify?