‘Horrent with Mysterious Spiculæ’. Augustus De Morgan’s Logic Notation of 1850 as a ‘Calculus of Opposite Relations’

References

• Bonevac, D. 2012. ‘A history of quantification’, in D. Gabbay, J. Woods and F. J. Pelletier, Handbook of the History of Logic, Volume 11: Logic. A History of Its Central Concepts, Amsterdam: North Holland, 63–126.
   Google Scholar
• De Morgan, A. 1847a. ‘On the structure of the syllogism, and on the application of the theory of probabilities to questions of argument and authority’, Transactions of the Cambridge Philosophical Society, 8 (3), 379–408.
   Google Scholar
• De Morgan, A. 1847b. Formal Logic, or: The Calculus of Inference, Necessary and Probable, London: Taylor & Walton.
   Google Scholar
• De Morgan, A. 1850. ‘On the symbols of logic, the theory of the syllogism, and in particular of the copula, and the application of the theory of probabilities to some questions of evidence’, Transactions of the Cambridge Philosophical Society, 9 (1), 79–127.
   Google Scholar
• De Morgan, A. 1858. ‘On the syllogism, No. III, and on logic in general’, Transactions of the Cambridge Philosophical Society, 10 (1), 173–230.
   Google Scholar
• De Morgan, A. 1860. Syllabus of a Proposed System of Logic, London: Walton & Maberly.
   Google Scholar
• Dutilh Novaes, C. 2012. Formal Languages in Logic. A Philosophical and Cognitive Analysis, Cambridge: Cambridge University Press.
   Google Scholar
• Hailperin, T. 2004. ‘Algebraical logic 1685–1900’, in D. Gabbay and J. Woods, Handbook of the History of Logic, Volume 3: The Rise of Modern Logic. From Leibniz to Frege, Amsterdam: North Holland, 328–88.
   Google Scholar
• Hamilton, W. 1852. Discussions on Philosophy and Literature and Education and University Reform, Edinburgh: Maclachlan & Stewart, London: Longmans, Green &Co.
   Google Scholar
• Hawkins, B. S. Jr. 1995. ‘De Morgan, Victorian syllogistic and relational logic’, Modern Logic, 5, 131–66.
   Google Scholar
• Heath, P. 1966. ‘Editor’s introduction’, in A. De Morgan, On the Syllogism and Other Logical Writings, London: Routledge & Kegan, vii–xxxi.
   Google Scholar
• Heinemann, A.-S. 2015. Quantifikation des Prädikats und numerisch definiter Syllogismus, Münster: Mentis.
   Google Scholar
• Krämer, S. 1988. Symbolische Maschinen. Die Idee der Formalisierung in geschichtlichem Abriß, Darmstadt: Wissenschaftliche Buchgesellschaft.
   Google Scholar
• Krämer, S. 2003. ‘Writing, notational iconicity, calculus: on writing as a cultural technique’, Modern Language Notes (German Issue), 118 (3), 518–37.
   Web of Science ®Google Scholar
• Laita, L. M. 1979. ‘Influences on Boole’s logic: the controversy between William Hamilton and Augustus De Morgan’, Annals of Science, 36, 45–65. doi: 10.1080/00033797900200121
   Web of Science ®Google Scholar
• Merrill, D. D. 1990. Augustus De Morgan and the Logic of Relations, Dordrecht: Springer.
   Google Scholar
• Panteki, M. 1991. Relationships between algebra, differential equations and logic in England: 1800–1860, Ph. D. Diss, Middlesex University, London.
   Google Scholar
• Panteki, M. 2003. ‘French “logique” and British “logic”: On the origins of Augustus De Morgan’s early logical inquiries, 1805-1835’, Historia Mathematica, 30, 278–340. doi: 10.1016/S0315-0860(03)00025-9
   Web of Science ®Google Scholar
• Panteki, M. 2008. ‘French “logique” and British “logic”: On the origins of Augustus De Morgan’s early logical inquiries, 1805–1830’, in D. Gabbay and J. Woods, Handbook of the History of Logic, Volume 4: British Logic in the Nineteenth Century, Amsterdam: North Holland, 381–456.
   Google Scholar
• Pycior, H. M. 1983. ‘Augustus De Morgan’s algebraic work: the three stages’, Isis, 74, 211–26. doi: 10.1086/353244
   Web of Science ®Google Scholar
• Richards, J. L. and M. E. Hobart 2008. ‘De Morgan’s logic’, in D. Gabbay and J. Woods, Handbook of the History of Logic, Volume 4: British Logic in the Nineteenth Century, Amsterdam: North Holland, 283–329.
   Google Scholar
• Sánchez Valencia, V. 1987. Traditional Logicians and the De Morgan Example, Amsterdam: ITLI.
   Google Scholar
• Sánchez Valencia, V. 1997. ‘Head or tail? De Morgan on the bounds of traditional logic’, History and Philosophy of Logic, 18, 123–38. doi: 10.1080/01445349708837283
   Web of Science ®Google Scholar
• Sánchez Valencia, V. 2004. ‘The algebra of logic’, in D. Gabbay and J. Woods, Handbook of the History of Logic, Volume 3: British Logic in the Nineteenth Century, Amsterdam: North Holland, 389–544.
   Google Scholar