Lewis Carroll's Formal Logic

DOI10.1080/01445340412331311947zbMath1062.03004OpenAlexW2023343525WikidataQ56637499 ScholiaQ56637499MaRDI QIDQ4670615

Francine F. Abeles

Publication date: 22 April 2005

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340412331311947

zbMATH Keywords

elimination problemclass logicCharles L. Dodgsonhistory of symbolic logic

Mathematics Subject Classification ID

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

Related Items (9)

A new algorithmic decision for categorical syllogisms via Carroll's diagrams ⋮ Beyond Syllogisms: Carroll’s (Marked) Quadriliteral Diagram ⋮ A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams ⋮ Guest editor's introduction: JvH100 ⋮ Toward a visual proof system: Lewis Carroll's method of trees ⋮ Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic ⋮ Lewis Carroll’s Diaries: The Private Journals of Charles Lutwidge Dodgson (Lewis Carroll)/The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces ⋮ In search of the ``birthday of elliptic functions ⋮ Lewis Carroll's visual logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical thought. An introduction to the philosophy of mathematics
• On the construction of venn diagrams
• Lewis Carroll and the Enumeration of Minimal Covers
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Lewis Carroll's Formal Logic