Lewis Carroll's logic

@inproceedings{Moktefi2008LewisCL,
  title={Lewis Carroll's logic},
  author={Amirouche Moktefi},
  booktitle={British Logic in the Nineteenth Century},
  year={2008}
}
  • A. Moktefi
  • Published in
    British Logic in the…
    2008
  • Psychology, Computer Science
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
Did Lewis Carroll own a copy of George Boole's Laws of thought? An argument from the sale catalogues
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 thousandExpand
The White Knight’s “Inventions”
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 andExpand
Beyond Syllogisms: Carroll's (Marked) Quadriliteral Diagram
  • A. Moktefi
  • Computer Science
  • Visual Reasoning with Diagrams
  • 2013
TLDR
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
TLDR
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
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 ofExpand
Toward A Visual Proof System: Lewis Carroll’s Method of Trees
  • F. Abeles
  • Philosophy, Computer Science
  • Logica Universalis
  • 2012
TLDR
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
TLDR
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
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 hisExpand
Victorian probability and Lewis Carroll
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 posteriorExpand
A History of Logic Diagrams
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 structureExpand
...
1
2
...

References

SHOWING 1-10 OF 136 REFERENCES
Lewis Carroll's Formal Logic
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 publishedExpand
Lewis Carroll's visual logic
TLDR
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
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 hisExpand
Lewis Carroll: A Biography
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 wasExpand
The political pamphlets and letters of Charles Lutwidge Dodgson and related pieces : a mathematical approach
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
TLDR
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
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 ScholasticExpand
Names and Pseudonyms
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
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
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 StrugglesExpand
...
1
2
3
4
5
...