Russell's substitutional theory

DOI10.1007/BF00413984zbMath0517.01019OpenAlexW2317734467MaRDI QIDQ1053008

Peter Hylton

Publication date: 1980

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00413984

zbMATH Keywords

foundations of mathematicsuniversality of logicnature of terms

Mathematics Subject Classification ID

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

Related Items (8)

A plea for logical objects ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament ⋮ Russell's substitutional theory of classes and relations ⋮ Russell's theory of types, 1901–1910: its complex origins in the unpublished manuscripts ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Making sense of On denoting by B. A. W. Russell. ⋮ Substitution and Propositional Proof Complexity

Cites Work

• A note on the inefficiency of non-linear estimators
• The Russell Archives: Some new light on Russell's logicism
• Logic as Calculus and Logic as Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Russell's substitutional theory