Calculus CL - From Baroque Logic to Artificial Intelligence

Logique Et Analyse 249:111-129 (2020)
  Copy   BIBTEX

Abstract

In the year 1714, Johann Christian Lange published a baroque textbook about a logic machine, supposed to simulate human cognitive abilities such as perception, judgement, and reasoning. From today’s perspective, it can be argued that this blueprint is based on an inference engine applied to a strict ontology which serves as a knowledge base. In this paper, I will first introduce Lange’s approach in the period of baroque logic and then present a diagrammatic modernization of Lange’s principles, entitled Calculus CL. Finally, I would like to discuss the possibilities of how to apply CL to modern cases of concern by using an example from epidemiology.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 80,057

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Calculus CL as a Formal System.Jens Lemanski & Ludger Jansen - 2020 - In Ahti Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter & Sven Linker (eds.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science, vol 12169. 2020. 93413 Cham, Deutschland: pp. 445-460.
Logic and artificial intelligence.Richmond Thomason - 2008 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Logic Diagrams in the Weigel and Weise Circles.Jens Lemanski - 2018 - History and Philosophy of Logic 39 (1):3-28.
Diagrams, Logic and Representation.Eric Morgan Hammer - 1995 - Dissertation, Indiana University
Logic and Visual Information.Eric Hammer - 1995 - CSLI Publications.
Reasoning and logic.Jim Mackenzie - 1989 - Synthese 79 (1):99 - 117.
Logical reasoning with diagrams, Gerard Allwein and Jon Barwise, eds.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (3):387-390.

Analytics

Added to PP
2020-09-08

Downloads
36 (#338,763)

6 months
6 (#144,544)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jens Lemanski
University of Münster

Citations of this work

World and Logic.Jens Lemanski - 2021 - London, Vereinigtes Königreich: College Publications.
A Bitstring Semantics for Calculus CL.Fabien Schang & Jens Lemanski - 2022 - In Ioannis M. Vandoulakis & Jean-Yves Beziau (eds.), The Exoteric Square of Opposition. Cham: Springer. pp. 171–193.

Add more citations

References found in this work

No references found.

Add more references