Logic in Russell's Principles of Mathematics

DOI10.1305/NDJFL/1040046142MaRDI QIDQ1374210zbMATH OpenOpenAlexFDO

Authors Gregory Landini

Publication date 5 January 1998

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

Full work available at URL https://doi.org/10.1305/ndjfl/1040046142

zbMATH Keywords

completenessimplicationlogical calculuspropositional calculusquantifiersRussell's philosophy of logic

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)

Review text

The author gives a thorough discussion and reconstruction of the logical calculus proposed by Bertrand Russell in his ``Principles of Mathematics of 1903. The author starts with considerations on Russell's philosophy of logic. Like Frege before him, Russell advocated a ``syntactic approach according to which logic is a universal language with content in its own right. This is opposed to the ``semantic approach of Tarski and his precursors in the algebraic tradition regarding logic as the study of uninterpreted deductive calculi which can express a content, if an interpretation over an appropriate domain is provided. The author critically examines Russell's nonstandard view on the propositional calculus as a system which permits bindable predicate variables in subject and predicate positions. He compares it with Peano's universal quantification. After discussing Russell's definitions of logical primitives he proves the completeness of the propositional calculus with respect of the propositional analogs of sentential tautologies, and the semantical completeness with respect to nonpropositional analogs of sentential tautologies. In sum 29 theorems are proved.

Recommendations

• Russell, logicism, and the choice of logical constants
• Russell's completeness proof
• Bertrand Russell on mathematics in the \textit{Principles}
• scientific article; zbMATH DE number 2152242

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 4039840 (Why is no real title available?)
• scientific article; zbMATH DE number 3790395 (Why is no real title available?)
• scientific article; zbMATH DE number 1066668 (Why is no real title available?)
• scientific article; zbMATH DE number 1748963 (Why is no real title available?)
• scientific article; zbMATH DE number 3307531 (Why is no real title available?)
• Logic as calculus and logic as language
• Russell, logicism, and the choice of logical constants
• The principles of mathematics. With a new introduction by John Slater

Cited in

(15)

• Russell, logicism, and the choice of logical constants
• Russell's metaphysical logic
• The Russell-Prawitz modality
• Logic and mathematics: propositional calculus with only three primitive terms
• Russell's completeness proof
• Russell and the Universalist Conception of Logic
• Russell's Early Theory of Denoting
• The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities
• Propositional Structure and B. Russell's Theory of Denoting inThe Principles of Mathematics
• The versatility of universality in \textit{Principia mathematica}
• Russellian Propositions in Principia Mathematica
• Incomplete symbols and the theory of logical types
• THE GENEALOGY OF ‘’
• Logic as calculus and logic as language: too suggestive to be truthful?
• A plea for logical objects

This page was built for publication: Logic in Russell's Principles of Mathematics

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