Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic

DOI10.1007/978-3-030-94452-0_7OpenAlexW4315697837MaRDI QIDQ6051651

Unnamed Author

Publication date: 20 September 2023

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-94452-0_7

zbMATH Keywords

Boolean algebrapropositional logiccompositionalityinterpretabilityseries expansionsdual algebraGeorge Booletruth tablesmethod of development

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) Logical aspects of Boolean algebras (03G05) History of Chinese mathematics (01A25) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lagrange's theory of analytical functions and his ideal of purity of method
• Convergence and formal manipulation in the theory of series from 1730 to 1815
• The rise and development of the theory of series up to the early 1820s
• George Boole's deductive system
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Boole's criteria for validity and invalidity
• George Boole: Selected manuscripts on logic and its philosophy. Ed. by Ivor Grattan-Guinness and Gérard Bornet
• Introduction to Boolean Algebras
• Boole's Algebra Isn't Boolean Algebra
• Aristotle'sPrior Analyticsand Boole'sLaws of Thought
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen

This page was built for publication: Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic