History and Philosophy of Logic 29 (1):31-62 (2008)

Authors
Peter Milne
University of Stirling
Abstract
Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica
Keywords Bertrand Russell   Principia Mathematica   completeness   propositional logic   Journal Article   Russell, Bertrand, 1872-1970.   Reasoning   Mathematics Philosophy
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/01445340701414295
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
Through your library

References found in this work BETA

Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.

View all 43 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-08-21

Total views
59 ( #192,909 of 2,505,143 )

Recent downloads (6 months)
1 ( #416,587 of 2,505,143 )

How can I increase my downloads?

Downloads

My notes