Toward a visual proof system: Lewis Carroll's method of trees

DOI10.1007/S11787-012-0049-6MaRDI QIDQ1942098zbMATH OpenOpenAlexFDO

Authors Francine F. Abeles

Publication date 15 March 2013

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-012-0049-6

zbMATH Keywords

Lewis CarrollCharles Dodgsontree proofs

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 4162839
• Lewis Carroll's visual logic
• Lewis Carroll's Formal Logic
• The logic pamphlets of Charles Lutwidge Dodgson and related pieces. Edited, with introductory essays, notes and annotations by Francine F. Abeles.
• Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic

Cites work

• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 4162838 (Why is no real title available?)
• scientific article; zbMATH DE number 4162839 (Why is no real title available?)
• scientific article; zbMATH DE number 5643485 (Why is no real title available?)
• scientific article; zbMATH DE number 30927 (Why is no real title available?)
• scientific article; zbMATH DE number 3414260 (Why is no real title available?)
• scientific article; zbMATH DE number 3062907 (Why is no real title available?)
• Lewis Carroll's Formal Logic
• Lewis Carroll's visual logic

Cited in

(11)

• Lewis Carroll's visual logic
• Beyond syllogisms: Carroll's (marked) quadriliteral diagram
• scientific article; zbMATH DE number 4162839 (Why is no real title available?)
• Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic
• Lewis Carroll's Formal Logic
• Lewis Carroll’s Almost Diagrammatic Logic Notation
• Was Lewis Carroll an amazing oppositional geometer?
• On the Method of Contractants
• John Cook Wilson's hanging plants: a contribution to the history of early logic trees
• Aristotelian logic axioms in propositional logic: the pouch method
• Peirce and Proof: A View from the Trees

This page was built for publication: Toward a visual proof system: Lewis Carroll's method of trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1942098)