In this paper I start from a definition of “culture of the artificial” which might be stated by referring to the background of philosophical, methodological, pragmatical assumptions which characterizes the development of the information processing analysis of mental processes and of some trends in contemporary cognitive science: in a word, the development of AI as a candidate science of mind. The aim of this paper is to show how (with which plausibility and limitations) the discovery of the mentioned background might (...) be dated back to a period preceding the cybernetic era, the decade 1930–1940 at least. Therefore a somewhat detailed analysis of Hull's “robot approach” is given, as well as of some of its independent and future developments. -/- Reprinted in R.L. Chrisley (ed.), Artificial Intelligence: Critical Concepts in Cognitive Science, vol. 1, Routledge, London and New York, 2000, pp. 301-326. (shrink)

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

This paper presents, assesses, and compares six diagrammatic methods for Categorical Syllogistic. Venn’s Method is widely used in logic textbooks; Carroll’s Method is a topologically indistinguishable version of Venn’s Method; and the four remaining methods are my own: the Dual of Carroll’s Method, Gardner’s Method, Gardner–Peirce’s Method, and Ladd’s Method. These methods are divided into two groups of three and the reasons for switching from a method to another within each group are discussed. Finally, a comparison between the Dual of (...) Carroll’s Method and Ladd’s Method supports the main result of the paper, which is an approximation of the two groups of methods. (shrink)

This essay discusses Peirce’s appeal to logical machines as an argument against psychologism. It also contends that some of Peirce’s anti-psychologistic remarks on logic contain interesting premonitions arising from his perception of the asymmetry of proof complexity in monadic and relational logical calculi that were only given full formulation and explication in the early twentieth century through Church’s Theorem and Hilbert’s broad-ranging Entscheidungsproblem.

6. Seeing With the Mind’s Eye 1: The Puzzle of Mental Imagery .................................................6-1 6.1 What is the puzzle about mental imagery?..............................................................................6-1 6.2 Content, form and substance of representations ......................................................................6-6 6.3 What is responsible for the pattern of results obtained in imagery studies?.................................6-8..

On présente trois projets de théories des machines: la « mécanologie » de l’architecte Jacques Lafitte (1932), inspirée de l’évolution biologique; l’ «Analyse mécanique» de Louis Couffignal, spécialiste des machines à calculer (1938), qui préfigure l’analyse fonctionnelle; et la théorie algébrique des machines du mathématicien Jacques Riguet (début des années 1950). À cette période, les trois hommes sont membres du Cercle d’études cybernétiques. On s’intéresse au dialogue des projets, aux axes d’unification et de divergence, aux styles, aux stratégies et postulats (...) de ces trois candidats à la généralisation convergeant vers la référence constituée par la cybernétique. (shrink)

From the mid-1600s to the beginning of the eighteenth century, there were two main circles of German scholars which focused extensively on diagrammatic reasoning and representation in logic. The first circle was formed around Erhard Weigel in Jena and consists primarily of Johann Christoph Sturm and Gottfried Wilhelm Leibniz; the second circle developed around Christian Weise in Zittau, with the support of his students, particularly Samuel Grosser and Johann Christian Lange. Each of these scholars developed an original form of using (...) geometric diagrams in logic. In this paper, I will trace the historical notes of John Venn and other modern logicians back to the original works published in the Weigel and Weise circles and describe the development of using geometric figures for logical reasoning and representation in that period of time. (shrink)

The attempt to find usable diagrams fornterms of the sort devised by John Venn seems to have originated with Venn himself, who published diagrams for up to five classes (the fifth class, however, was shaped like a doughnut, and contained an area outside itself — like the hole in the doughnut). Venn then suggested that “if we wanted to use a diagram forsixterms (x, y, z, w, v, u) the best plan would probably be to taketwofive-term figures, one for theupart (...) and one for the non-upart of all the other combinations …” Such a method would, as Venn admits, be somewhat confusing to the eye, and thus fail to fulfil one of the major purposes of the diagram; nevertheless, it is a method which could be extended to covernclasses.Venn also suggests (but without illustration) another method for drawing diagrams fornterms: “… the rule of formation would be very simple. We should merely have to begin by drawing any closed figure, and then proceed to draw others subject to the one condition that each intersect once, and once only, all the existing subdivisions produced by those which had gone before.” Then, in a rather surprising footnote, he adds: “It will be found that when we adhere to continuous figures, instead of the discontinuous five-term figure given above, there is a tendency for the resultant outlines thus successively drawn to assume a comb-like shape after the first four or five. If we begin by circles or other rounded figures the teeth are curved, if by parallelograms then they are straight. (shrink)

In early modernity, one can find many spatial logic diagrams whose geometric forms share a family resemblance with religious art and symbols. The family resemblance these diagrams bear in form is often based on a vesica piscis or on a cross: Both logic diagrams and spiritual symbols focus on the intersection or conjunction of two or more entities, e.g. subject and predicate, on the one hand, or god and man, on the other. This paper deals with the development and function (...) of logic diagrams, their analogy to religious art and symbols, and their modern application in artificial intelligence. (shrink)

I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.