# Lewis Carroll's logic

@inproceedings{Moktefi2008LewisCL, title={Lewis Carroll's logic}, author={Amirouche Moktefi}, booktitle={British Logic in the Nineteenth Century}, year={2008} }

This chapter discusses the concept of Lewis Carroll's logic. Lewis Carroll is one of those writers on logic obscured by contradictory influences, balanced between the old logic and the new trends. He is a mathematical teacher, the author of children's tales, and photographer. He is also a very prolific letter-writer and puzzle-maker, and regularly wrote pamphlets and letters to periodicals on matters as various as vaccination, teaching sciences at the university, child actors, and vivisection… Expand

#### Figures and Topics from this paper

#### 13 Citations

Did Lewis Carroll own a copy of George Boole's Laws of thought? An argument from the sale catalogues

- Philosophy
- 2018

Private libraries of scientists offer valuable information on their character, work, and acquaintances. Charles L Dodgson (alias Lewis Carroll) constructed an impressive library of several thousand… Expand

The White Knight’s “Inventions”

- Art
- 2020

The figure of the White Knight in Lewis Carroll’s Through the Looking-Glass has often been read as part of a tradition of “nonsense literature”. While this is true, I wish to extend that argument and… Expand

Beyond Syllogisms: Carroll's (Marked) Quadriliteral Diagram

- Computer Science
- Visual Reasoning with Diagrams
- 2013

A case study of a manuscript where Lewis Carroll attempts to solve a sorite using his quadriliteral diagram, providing some insights about the use of diagrams to solve elimination problems that were highly considered by early symbolist logicians. Expand

On the Diagrammatic Representation of Existential Statements with Venn Diagrams

- Philosophy, Computer Science
- J. Log. Lang. Inf.
- 2015

It is demonstrated that Venn actually introduced several methods to represent existentials but felt uneasy with them, as the resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory symbolic representation for them. Expand

The Venn-MacColl Dispute in Nature

- Philosophy
- 2020

During 1881, the British logicians John Venn and Hugh MacColl engaged in a brief dispute in Nature about ‘symbolical logic’. The letters to the editor shed interesting light on the early reception of… Expand

Toward A Visual Proof System: Lewis Carroll’s Method of Trees

- Philosophy, Computer Science
- Logica Universalis
- 2012

Manuscript material first published in 1977 together with letters and diary entries provide evidence that Lewis Carroll was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised. Expand

A new algorithmic decision for categorical syllogisms via Carroll’s diagrams

- Computer Science
- Soft Comput.
- 2020

The empirical contributions of this paper are to design a polynomial-time algorithm at the first time in the literature to conduce to researchers getting into the act in different areas of science used categorical syllogisms such as artificial intelligence, engineering, computer science and etc. Expand

The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen

- Mathematics
- 2016

Charles Peirce’s development of his diagrammatic logic, his entitative and existential graphs, was significantly influenced by his affinity for tree graphs that were being used in chemistry. In his… Expand

Victorian probability and Lewis Carroll

- Mathematics
- 2012

Summary. In the controversial application of inverse probability reasoning, the prior probability of a hypothesis or cause is modified on the basis of an experimental observation to a posterior… Expand

A History of Logic Diagrams

- Computer Science
- Logic: A History of its Central Concepts
- 2012

Diagrams, however we may define them, are one of the most widely used tools by humans — from ordinary life communication to brainstorming for complicated problems or outlining the overall structure… Expand

#### References

SHOWING 1-10 OF 136 REFERENCES

Lewis Carroll's Formal Logic

- Philosophy
- 2005

Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published… Expand

Lewis Carroll's visual logic

- Computer Science
- 2007

Lewis Carroll's logic diagrams and logic trees constitute his visual logic system, and both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Expand

Lewis Carroll and the Press: An Annotated Bibliography of Charles Dodgson's Contributions to Periodicals

- History
- 1999

The writing career of Charles Lutwidge Dodgson (Lewis Carroll) began and ended with his contributions to periodicals. Between 1843, when he wrote a story for his grammar school magazine, and his… Expand

Lewis Carroll: A Biography

- Art
- 1995

This monumental biography was prompted by Morton N. Cohen's belief that the Carroll revealed by the letters, diaries and works was not the same as the Carroll created by his biographers, and it was… Expand

The political pamphlets and letters of Charles Lutwidge Dodgson and related pieces : a mathematical approach

- Political Science
- 2001

Charles L. Dodgson's publications on political subjects offer a very different view of Lewis Carroll, the man made famous by his ""Alice"" books. Better known for whimsical and nonsense writings,… Expand

The Game of Logic

- Computer Science
- Nature
- 1887

It seems unlikely that “The Game of Logic” will be patiently studied as a game, or would reward such patience by providing “an endless source of amusement,” that one is inclined to consider it rather as a contribution to visual logic than to any other form of literature. Expand

19th Century Logic Between Philosophy and Mathematics

- Mathematics
- 1999

The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic… Expand

Names and Pseudonyms

- Philosophy
- 1995

Was there such a person as Lewis Carroll? An affirmative answer is suggested by the thought that Lewis Carroll was Charles Dodgson, and since there was certainly such a person as Charles Dodgson,… Expand

Venn Said It Couldn't Be Done

- Mathematics
- 2000

The scope and content of ancient formal logic was determined by Aristotle's Organon and, in particular, the Doctrine of the Syllogism wlhiclh, as it has come to us, contains no diagrams. Nonetheless,… Expand

A Mathematical Approach to Proportional Representation: Duncan Black on Lewis Carroll

- History
- 1996

Editors' Preface. Introduction. 1. What is the Theory of Voting? 2. Duncan Black and the Study of Theoretical Politics. 3. The Duncan Black Archive at the University of Glasgow. 4. Black's Struggles… Expand