Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus
From MaRDI portal
Recommendations
Cites work
- \textit{Begriffsschrift} and other essays. With annotations by E. Husserl and H. Scholz. Edited by Ignacio Angelelli
- Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
- Charles Babbage as an algorithmic thinker
- Existential graphs as an instrument of logical analysis. I: Alpha
- Extended mathematical cognition: external representations with non-derived content
- Formal languages in logic. A philosophical and cognitive analysis
- Frege against the Booleans
- George Boole: Selected manuscripts on logic and its philosophy. Ed. by Ivor Grattan-Guinness and Gérard Bornet
- scientific article; zbMATH DE number 5813735 (Why is no real title available?)
- scientific article; zbMATH DE number 5838699 (Why is no real title available?)
- scientific article; zbMATH DE number 3135370 (Why is no real title available?)
- scientific article; zbMATH DE number 4063046 (Why is no real title available?)
- scientific article; zbMATH DE number 3790395 (Why is no real title available?)
- scientific article; zbMATH DE number 3531332 (Why is no real title available?)
- scientific article; zbMATH DE number 1548692 (Why is no real title available?)
- scientific article; zbMATH DE number 3269001 (Why is no real title available?)
- Logic as calculus and logic as language
- Logic versus algebra: English debates and Boole's mediation
- On Frege's \textit{Begriffsschrift} notation for propositional logic: design principles and trade-offs
- The Frege reader. Selected philosophical writings. Edited by Michael Beaney
- The great formal machinery works. Theories of deduction and computation at the origins of the digital age
This page was built for publication: Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180120)