Switch to: References

Citations of:

A Treatise of Universal Algebra with Applications

Alfred North Whitehead

Cambridge, England: Cambridge University Press (1898)

Add citations

You must login to add citations.

The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) Download Export citation Bookmark 28 citations
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.details 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. Download Export citation Bookmark
Meaning and Aesthetic Judgment in Kant.Eli Friedlander - 2006 - Philosophical Topics 34 (1-2):21-34.details Download Export citation Bookmark 2 citations
The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2023 - Review of Symbolic Logic 16 (3):862-899.details The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Download Export citation Bookmark 1 citation

1