Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries

Artificial intelligence (AI) was not born ex nihilo in the mid-fifties of the XXth century. Beyond its immediate roots in cybernetics and in computer science that started about two decades before, its emergence is the result of a long and slow process in the history of humanity. This can be articulated around two main questions: the formalization of reasoning and the design of machines having autonomous capabilities in terms of computation and action. The aim of this paper is to gather some insufficiently known elements about the prehistory of AI in the last 350 years that precede the official birth of AI, a time period where only a few very well-known names, such as Thomas Bayes and Georges Boole, are usually mentioned in relation with AI.

[1]  幸江 高賀茂,et al.  LEWIS CARROLL 小論 , 1987 .

[2]  Thierry Martin.  La logique probabiliste de gabriel cramer , 2006 .

[3]  George Boole,et al.  An Investigation of the Laws of Thought: Frontmatter , 2009 .

[4]  G. Kalinowski.  La logique juridique et son histoire in Sources du droit. , 1982 .

[5]  Richard Whately.  Elements of Rhetoric: Comprising the Substance of the Article in the Encyclopædia Metropolitana with Additions, &c , 1963 .

[6]  L. Couturat,et al.  Opuscules et Fragments Inédits de Leibniz : Extraits des manuscrits de la Bibliothèque royale de Hanovre , 1903 .

[7]  John McCarthy,et al.  A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955 , 2006, AI Mag..

[8]  Raymond Kurzweil,et al.  Age of intelligent machines , 1990 .

[9]  Francis Bacon,et al.  Of the proficience and advancement of learning , 2013 .

[10]  J. Venn,et al.  . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .

[12]  G. Boole.  An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .

[13]  Norbert Meusnier,et al.  Medieval probabilities: a reappraisal. , 2007 .

[14]  C. Siegel.  Vorlesungen über die Algebra der Logik , 1907 .

[15]  William Stanley Jevons,et al.  Elementary Lessons in Logic: Deductive and Inductive: With Copious Questions and Examples, and a Vocabulary of Logical Terms , 2000 .

[16]  Jean-Daniel Candaux.  Monsieur de Lubières encyclopédiste , 1993 .

[17]  Christine Ladd,et al.  On the algebra of logic. , 1883 .

[18]  Edmond Goblot,et al.  Traité de logique , 1919 .

[19]  Peter-J. Jost.  Contents: An Introduction , 2014 .

[20]  Luce Giard.  La « dialectique rationnelle » de Gergonne. , 1972 .

[21]  Jean-Louis Dumas,et al.  Cours de logique , 1992 .

[22]  P.-C.-F. Daunou,et al.  Mémoire sur les élections au scrutin , 1803 .

[23]  O. H. Mitchell.  On a new algebra of logic. , 1883 .

[24]  Gergonne.  Variétés. Essai de dialectique rationnelle , 1817 .

[25]  E. Robinson.  Cybernetics, or Control and Communication in the Animal and the Machine , 1963 .

[26]  William Kneale.  ON THE SYLLOGISM AND OTHER LOGICAL WRITINGS , 1966 .

[27]  William. Thomson.  An Outline of the Necessary Laws of Thought: A Treatise on Pure and Applied Logic , 1882 .

[28]  Nils J. Nilsson,et al.  The Quest for Artificial Intelligence , 2009 .

[29]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[30]  Gottlob Frege,et al.  Écrits logiques et philosophiques , 1971 .

[31]  Samuel Guttenplan.  Thinking Machines: The Evolution of Artificial Intelligence , 1988 .

[32]  Nils J. Nilsson,et al.  The Quest For Artificial Intelligence: A History Of Ideas And Achievements , 2009 .

[33]  Daniel Crevier,et al.  Ai: The Tumultuous History Of The Search For Artificial Intelligence , 1993 .

[34]  J. A. Faris,et al.  The Gergonne Relations , 1955, J. Symb. Log..

[35]  Robert Blanché.  "La logique et son histoire d'Aristote à Russell", Robert Blanché, Paris 1970 : [recenzja] / E. O. , 1970 .

[36]  A. D. Morgan.  Formal Logic: Or, The Calculus of Inference, Necessary and Probable , 2002 .

[37]  Thierry Martin.  J.-H. Lambert's theory of probable syllogisms , 2011, Int. J. Approx. Reason..

[38]  Henri Prade,et al.  Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements , 2014 .

[39]  Max Ernst,et al.  Logique sans peine , 1966 .

[40]  L. Couturat.  La Logique de Leibniz: D Apres Des Documents Inedits , 2013 .

[41]  Lewis Carroll,et al.  The political pamphlets and letters of Charles Lutwidge Dodgson and related pieces : a mathematical approach , 2001 .

[42]  T. Bayes.  An essay towards solving a problem in the doctrine of chances , 2003 .

[43]  Scipion Dupleix.  La logique, ou, Art de discourir et raisonner , 1984 .

[44]  Anne Deneys-Tunney.  Le roman de la matière dans Pigmalion ou la Statue animée (1741) d'A.-F. Boureau-Deslandes , 1999 .

[45]  Thomas C. Ratliff.  Lewis Carroll, Voting, and the Taxicab Metric , 2010 .

[46]  John Venn,et al.  The Logic Of Chance , 1888 .

[47]  Henri Prade,et al.  Eléments pour une histoire de l'intelligence artificielle , 2014 .

[48]  Gailand Williard MacQueen.  The Logic Diagram , 1967 .

[49]  Jean Piaget,et al.  Traité de logique : essai de logistique opératoire , 1952 .

[50]  Pascal Gribomont,et al.  Logique : méthodes pour l'informatique fondamentale , 1992 .

[51]  David Hume,et al.  An enquiry concerning human understanding and other writings , 2007 .

[52]  J. Locke.  An Essay concerning Human Understanding , 1924, Nature.

[53]  Amy Dahan Dalmedico.  Un texte de philosophie mathématique de Gergonne [Mémoire inédit déposé à l'Académie de Bordeaux] , 1986 .

[54]  MAURO WILLIAM BARBOSA DE ALMEIDA,et al.  Diagrams , 1977, HAU: Journal of Ethnographic Theory.

[55]  Gergonne.  Arithmétique. Théorie de la règle de trois , 1817 .

[56]  Par M. Leibnitz.  EXPLICATION DE L'ARITMÈTIQUE BINAIRE , 1970 .

[57]  George Boole,et al.  The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning , 2007 .

[58]  Thierry Martin.  Logique du probable de Jacques Bernoulli à H.-H. Lambert , 2006 .

[59]  Frank Rose.  Into the Heart of the Mind: An American Quest for Artificial Intelligence , 1984 .

[60]  Nicolas de Condorcet.  Essai Sur L'Application de L'Analyse a la Probabilite Des Decisions Rendues a la Pluralite Des Voix , 2009 .

[61]  J. Lambert,et al.  Neues Organon oder Gedanken über die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrtum und Schein , 1990 .

[62]  Charles S. Peirce,et al.  Description of a Notation for the Logic of Relatives: Resulting From an Amplification of the Conceptions of Boole's Calculus of Logic , 2015 .

[63]  G. Shafer.  Non-additive probabilities in the work of Bernoulli and Lambert , 1978, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[64]  Leonhard Euler,et al.  Lettres à une princesse d'Allemagne sur divers sujets de physique & de philosophie , 1812 .

[65]  Gergonne.  Analise. Application de la méthode des moindres quarrés à l'interpolation des suites , 1816 .

[66]  C. Peirce.  On the Algebra of Logic: A Contribution to the Philosophy of Notation , 1885 .

[67]  P. McCorduck.  Machines Who Think , 1979 .

[68]  R. B. Braithwaite.  Lewis Carroll as Logician , 1932 .

[69]  Vernon Pratt.  Thinking Machines: The Emergence of Artificial Intelligence , 1987 .

[70]  Margaret E. Baron,et al.  A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn , 1969, The Mathematical Gazette.

[71]  S. Brodetsky.  Essai philosophique sur les probabilités , 1922, Nature.

[72]  William Stanley Jevons.  The substitution of similars : the true principle of reasoning : derivedfrom a modification of Aristotle's dictum , 1869 .

[73]  John Locke,et al.  An essay concerning human understanding, 1690 , 1970 .

[74]  J. Mill.  A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence, and the methods of scientific investigation. , 2011 .

[75]  Louis Couturat.  L'algèbre de la logique , 1980 .

[76]  Salvador Barberà,et al.  Ramon Llull: From the Ars Magna to Artificial Intelligence , 2011 .

[77]  Pierre Nicole,et al.  La Logique Ou L'art De Penser,: Contenant Outre Les Regles Communes, Plusieurs Observations Nouvelles, Propres À Former Le Jugement.. , 2010 .