Stan's Home Page

Stanley N. Burris Distinguished Professor Emeritus and Adjunct Professor Department of Pure Mathematics University of Waterloo E-mail:snburris@math.uwaterloo.ca Current Research Interest: Logic in the 19th century, especially that of George Boole	[画像:[my photo]] A picture from ca. 1980

---

MY ANNOTATED VERSIONS OF BOOLE'S TRILOGY ON LOGIC

• Boole's 1847 book "Mathematical Analysis of Logic". (Updated November 20, 2022)

• Boole's 1848 paper "The Calculus of Logic". (May 23, 2024)

• First 15 chapters from Boole's 1854 book "Laws of Thought". (November 20, 2022)

  ---

• "A Primer on Boole's Algebra of Logic" my first talk in Cork (Aug 27, 2015)

• "Justifying Boole's Algebra of Logic" my second talk in Cork (Aug 28, 2015)
  

  ---

  Miscellaneous Notes on Boole
• "An Algebra of Classes in the Algebra of Numbers"

• "Filling in the missing details of Chap XV of LT"

• "Hailperin justifies Boole's Algebra of Classes"

• "The flaw with Boole's discussion of Symbolical Reasoning"

  ---

  ---

• A Course in Universal Algebra An updated version from 2012 of our 1981 book.
  

  ---

  ---

• Logic for Mathematics and Computer Science
  Includes:Interactive Logic Programs, Lecture Notes, and Supplementary Text.
  NOTE: This textbook is no longer being printed.

  ---

• History of Mathematical Logic My notes and talks on the period from 1826 to 1940.
  

  ---

• Some Lectures (Slide Presentations) (available online)

  ---

• Number Theoretic Density and Logical Limit Laws
  

  ---

• List of Publications and Preprints

  ---

  Solve Linear Diophantine Equations

  3-Element Groupoids
  3-Element GUs (Groupoids with a Unary operation)