Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus

DOI10.1007/s11229-021-03318-xzbMath1528.03005OpenAlexW3191918141MaRDI QIDQ6180120

Dirk Schlimm, David Waszek

Publication date: 19 January 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-021-03318-x

zbMATH Keywords

calculusFregelogicBoolenotationsmechanization

Mathematics Subject Classification ID

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

Cites Work

• Frege against the Booleans
• George Boole: Selected manuscripts on logic and its philosophy. Ed. by Ivor Grattan-Guinness and Gérard Bornet
• Logic as calculus and logic as language
• Extended mathematical cognition: external representations with non-derived content
• Formal Languages in Logic
• Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
• Charles Babbage as an algorithmic thinker
• On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs
• The Great Formal Machinery Works
• EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item