Amirouche Moktefi - Profile on Academia.edu (original) (raw)
Papers by Amirouche Moktefi
ICON: Journal of the International Committee for the History of Technology, 2024
It is well known that John Venn introduced an ingenious diagrammatic scheme in his 1880 paper: "O... more It is well known that John Venn introduced an ingenious diagrammatic scheme in his 1880 paper: "On the diagrammatic and mechanical representation of propositions and reasonings". It is less known that Venn also described there two plans for logical machines, inspired by his diagrams. These machines were said to be analogous to the machine that William S. Jevons constructed few years earlier. However, Venn had "no high estimate […] of the interest or importance" of such machines. He argued that such devices perform only a small part of the process required to solve logical problems. Consequently, the help that is offered is very slight. Given that Venn's machine is founded on his diagrams, one may wonder what Venn's discussion of logic machines teaches us about his diagrams. We argue that Venn failed to notice that his diagrams are vulnerable to the same criticisms that he raised against logic machines.
L’élimination diagrammatique
Cahiers philosophiques, Sep 2, 2021
L’usage des diagrammes en logique est ancien. Aux débuts de la logique mathématique, ils servent ... more L’usage des diagrammes en logique est ancien. Aux débuts de la logique mathématique, ils servent notamment à résoudre le problème de l’élimination. Cela consiste à extraire la conclusion qui découle d’un ensemble de prémisses en éliminant les termes et les propositions indésirables ou superflus. À cette fin, les logiciens inventent une multitude de notations. Il convient dès lors de s’interroger sur la place des méthodes diagrammatiques dans ce programme de recherche ainsi que leurs interactions avec les autres méthodes de résolution, symboliques et mécaniques. Les diagrammes éliminent-ils vraiment ?
De l’imagination nécessaire pour encercler un concept
HAL (Le Centre pour la Communication Scientifique Directe), Mar 1, 2018
The productive ambiguity of Venn’s three circles
Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
A mathematical life
Oxford University Press eBooks, Feb 21, 2019
This chapter sets the scene for the rest of the book by outlining the main aspects of Dodgson’s m... more This chapter sets the scene for the rest of the book by outlining the main aspects of Dodgson’s mathematical life and activities. It is divided into his early years as the son of an Anglican clergyman, his time as an undergraduate studying Classics and mathematics at Oxford, his life as an Oxford lecturer at Christ Church, his life outside mathematics (including his interest in photography and his writing of children’s books), his mathematical writings and college life, and his final years. It concludes with a brief discussion of Dodgson as a mathematician in the context of Victorian mathematics in England at the time.
History and Philosophy of Logical Notations
What is a logical notation? Intuitively, a notation is a sort of language, and a logical notation... more What is a logical notation? Intuitively, a notation is a sort of language, and a logical notation is a language for the representation of logic. Since at least the seventeenth century, methods of representing logical expressions have made use of symbols, diagrams, charts and graphs, rather than items of historical or natural languages alone. The phrase \u2018philosophy of notation\u2019 was coined by the American logician Charles S. Peirce in 1885 to mean \u2018the illustration of principles which underlie all algebraic notation\u2019 (Peirce 1885). The papers in this special issue discuss logical notations from historical and philosophical perspectives, and thus contribute to the identification of this exciting emerging realm of philosophy of notation
REVIEWS-Logical lyrics: From philosophy to poetics
Oxford University Press eBooks, Feb 21, 2019
Visible
L'usage des diagrammes pour raisonner est ancien 1 . L'une des méthodes les plus populaires consi... more L'usage des diagrammes pour raisonner est ancien 1 . L'une des méthodes les plus populaires consiste à représenter les énoncés logiques à l'aide de cercles. Cette méthode a été généralisée et popularisée par le mathématicien Leonhard Euler (1707-1783) dans ses Lettres à une Princesse d'Allemagne 2 . Le succès de la méthode d'Euler tient à l'aide visuelle qu'elle offre lors de la résolution des problèmes logiques. Une attention particulière montre cependant que cette aide n'est obtenue que grâce à une économie graphique, qui sacrifie la rigueur de la méthode à sa clarté. Euler présente ses diagrammes pour la première fois dans la lettre CII datée du 14 février 1761, après avoir définit les différents types de propositions : 1 Certains commentateurs vont jusqu'à postuler qu'Aristote lui-même utilisait de tels diagrammes mais que ceux-ci se seraient perdus ensuite par la faute des copistes. Sur l'histoire des diagrammes logiques, voir: Ernest Coumet, « Sur l'histoire des diagrammes logiques, "figures géométriques" »,
Lewis Carroll’s Almost Diagrammatic Logic Notation
Studies in universal logic, 2022
A study of Lewis Carroll's attempt to devise a logic notation that is almost diagrammatic... more A study of Lewis Carroll's attempt to devise a logic notation that is almost diagrammatic in form.
The Representation of Negative Terms with Euler Diagrams
Studies in Universal Logic
In the common use of logic diagrams, the positive term is conveniently located inside the circle ... more In the common use of logic diagrams, the positive term is conveniently located inside the circle while its negative counterpart is left outside. This practice, already found in Euler's original scheme, leads to trouble when one wishes to express the non-existence of the outer region or to tackle logic problems involving negative terms. In this chapter, we discuss various techniques introduced by Euler's followers to overcome this difficulty: some logicians modified the data of the problem at hand, others amended the diagrams, and another group changed the mode of representation. We also consider how modern diagrammatic systems represent negation.
Peirce’s Complex Diagrams
Lecture Notes in Computer Science, 2022
From logic diagrams to diagrammatic logics
HAL (Le Centre pour la Communication Scientifique Directe), Dec 14, 2018
“What the Tortoise Said to Achilles”: Lewis Carroll's Paradox of Inference, special issue of: The Carrollian: The Lewis Carroll Journal, edited by Amirouche Moktefi and Francine F Abeles
BSHM Bulletin: Journal of the British Society for the History of Mathematics, 2018
Review of “What the Tortoise Said to Achilles”: Lewis Carroll's Paradox of Inference, special... more Review of “What the Tortoise Said to Achilles”: Lewis Carroll's Paradox of Inference, special issue of: The Carrollian: The Lewis Carroll Journal, edited by Amirouche Moktefi and Francine F Abeles. No. 28 (double issue), November 2016, 136 pp, £1
Making Sense of Schopenhauer’s Diagram of Good and Evil
Diagrammatic Representation and Inference, 2018
It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works... more It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works. One specific diagram depicts a high number of concepts in relation to Good and Evil. It is, hence, uncharacteristic as logicians of that time seldom used diagrams for more than three terms (the number demanded by syllogisms). The objective of this paper is to make sense of this diagram by explaining its function and inquiring whether it could be viewed as an early serious attempt to construct complex diagrams.
REVIEWS-Logical lyrics: From philosophy to poetics
Euclid and his modern rivals, by Charles L. Dodgson (Lewis Carroll). Pp. 275. £28.67. 2004. ISBN 0 486 49566 3. (Dover Phoenix Editions)
The Mathematical Gazette, 2005
Les ouvrages de mathématiques dans l’histoire. Entre recherche, enseignement et culture
Llull Revista De La Sociedad Espanola De Historia De Las Ciencias Y De Las Tecnicas, 2014
Evelyne Barbin & Marc Moyon (Coords.) Collection «Savoirs scientifiques et Pratiques d’enseig... more Evelyne Barbin & Marc Moyon (Coords.) Collection «Savoirs scientifiques et Pratiques d’enseignement» Presses Universitaires de Limoges (PULIM), Limoges, 2013, 337 pp. ISBN: 2-84287-563-X, EAN: 9782842875633
Axiomathes
In this paper we argue that there were several currents, ideas and problems in 19th-century logic... more In this paper we argue that there were several currents, ideas and problems in 19th-century logic that motivated John Venn to develop his famous logic diagrams. To this end, we first examine the problem of uncertainty or over-specification in syllogistic that became obvious in Euler diagrams. In the 19th century, numerous logicians tried to solve this problem. The most famous was the attempt to introduce dashed circles into Euler diagrams. The solution that John Venn developed for this problem, however, came from a completely different area of logic: instead of orienting to syllogistic like Euler diagrams, Venn applied Boolean algebra to improve visual reasoning. Venn’s contribution to solving the problem of elimination also played an important role. The result of this development is still known today as the ‘Venn Diagram’.
ICON: Journal of the International Committee for the History of Technology, 2024
It is well known that John Venn introduced an ingenious diagrammatic scheme in his 1880 paper: "O... more It is well known that John Venn introduced an ingenious diagrammatic scheme in his 1880 paper: "On the diagrammatic and mechanical representation of propositions and reasonings". It is less known that Venn also described there two plans for logical machines, inspired by his diagrams. These machines were said to be analogous to the machine that William S. Jevons constructed few years earlier. However, Venn had "no high estimate […] of the interest or importance" of such machines. He argued that such devices perform only a small part of the process required to solve logical problems. Consequently, the help that is offered is very slight. Given that Venn's machine is founded on his diagrams, one may wonder what Venn's discussion of logic machines teaches us about his diagrams. We argue that Venn failed to notice that his diagrams are vulnerable to the same criticisms that he raised against logic machines.
L’élimination diagrammatique
Cahiers philosophiques, Sep 2, 2021
L’usage des diagrammes en logique est ancien. Aux débuts de la logique mathématique, ils servent ... more L’usage des diagrammes en logique est ancien. Aux débuts de la logique mathématique, ils servent notamment à résoudre le problème de l’élimination. Cela consiste à extraire la conclusion qui découle d’un ensemble de prémisses en éliminant les termes et les propositions indésirables ou superflus. À cette fin, les logiciens inventent une multitude de notations. Il convient dès lors de s’interroger sur la place des méthodes diagrammatiques dans ce programme de recherche ainsi que leurs interactions avec les autres méthodes de résolution, symboliques et mécaniques. Les diagrammes éliminent-ils vraiment ?
De l’imagination nécessaire pour encercler un concept
HAL (Le Centre pour la Communication Scientifique Directe), Mar 1, 2018
The productive ambiguity of Venn’s three circles
Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
A mathematical life
Oxford University Press eBooks, Feb 21, 2019
This chapter sets the scene for the rest of the book by outlining the main aspects of Dodgson’s m... more This chapter sets the scene for the rest of the book by outlining the main aspects of Dodgson’s mathematical life and activities. It is divided into his early years as the son of an Anglican clergyman, his time as an undergraduate studying Classics and mathematics at Oxford, his life as an Oxford lecturer at Christ Church, his life outside mathematics (including his interest in photography and his writing of children’s books), his mathematical writings and college life, and his final years. It concludes with a brief discussion of Dodgson as a mathematician in the context of Victorian mathematics in England at the time.
History and Philosophy of Logical Notations
What is a logical notation? Intuitively, a notation is a sort of language, and a logical notation... more What is a logical notation? Intuitively, a notation is a sort of language, and a logical notation is a language for the representation of logic. Since at least the seventeenth century, methods of representing logical expressions have made use of symbols, diagrams, charts and graphs, rather than items of historical or natural languages alone. The phrase \u2018philosophy of notation\u2019 was coined by the American logician Charles S. Peirce in 1885 to mean \u2018the illustration of principles which underlie all algebraic notation\u2019 (Peirce 1885). The papers in this special issue discuss logical notations from historical and philosophical perspectives, and thus contribute to the identification of this exciting emerging realm of philosophy of notation
REVIEWS-Logical lyrics: From philosophy to poetics
Oxford University Press eBooks, Feb 21, 2019
Visible
L'usage des diagrammes pour raisonner est ancien 1 . L'une des méthodes les plus populaires consi... more L'usage des diagrammes pour raisonner est ancien 1 . L'une des méthodes les plus populaires consiste à représenter les énoncés logiques à l'aide de cercles. Cette méthode a été généralisée et popularisée par le mathématicien Leonhard Euler (1707-1783) dans ses Lettres à une Princesse d'Allemagne 2 . Le succès de la méthode d'Euler tient à l'aide visuelle qu'elle offre lors de la résolution des problèmes logiques. Une attention particulière montre cependant que cette aide n'est obtenue que grâce à une économie graphique, qui sacrifie la rigueur de la méthode à sa clarté. Euler présente ses diagrammes pour la première fois dans la lettre CII datée du 14 février 1761, après avoir définit les différents types de propositions : 1 Certains commentateurs vont jusqu'à postuler qu'Aristote lui-même utilisait de tels diagrammes mais que ceux-ci se seraient perdus ensuite par la faute des copistes. Sur l'histoire des diagrammes logiques, voir: Ernest Coumet, « Sur l'histoire des diagrammes logiques, "figures géométriques" »,
Lewis Carroll’s Almost Diagrammatic Logic Notation
Studies in universal logic, 2022
A study of Lewis Carroll's attempt to devise a logic notation that is almost diagrammatic... more A study of Lewis Carroll's attempt to devise a logic notation that is almost diagrammatic in form.
The Representation of Negative Terms with Euler Diagrams
Studies in Universal Logic
In the common use of logic diagrams, the positive term is conveniently located inside the circle ... more In the common use of logic diagrams, the positive term is conveniently located inside the circle while its negative counterpart is left outside. This practice, already found in Euler's original scheme, leads to trouble when one wishes to express the non-existence of the outer region or to tackle logic problems involving negative terms. In this chapter, we discuss various techniques introduced by Euler's followers to overcome this difficulty: some logicians modified the data of the problem at hand, others amended the diagrams, and another group changed the mode of representation. We also consider how modern diagrammatic systems represent negation.
Peirce’s Complex Diagrams
Lecture Notes in Computer Science, 2022
From logic diagrams to diagrammatic logics
HAL (Le Centre pour la Communication Scientifique Directe), Dec 14, 2018
“What the Tortoise Said to Achilles”: Lewis Carroll's Paradox of Inference, special issue of: The Carrollian: The Lewis Carroll Journal, edited by Amirouche Moktefi and Francine F Abeles
BSHM Bulletin: Journal of the British Society for the History of Mathematics, 2018
Review of “What the Tortoise Said to Achilles”: Lewis Carroll's Paradox of Inference, special... more Review of “What the Tortoise Said to Achilles”: Lewis Carroll's Paradox of Inference, special issue of: The Carrollian: The Lewis Carroll Journal, edited by Amirouche Moktefi and Francine F Abeles. No. 28 (double issue), November 2016, 136 pp, £1
Making Sense of Schopenhauer’s Diagram of Good and Evil
Diagrammatic Representation and Inference, 2018
It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works... more It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works. One specific diagram depicts a high number of concepts in relation to Good and Evil. It is, hence, uncharacteristic as logicians of that time seldom used diagrams for more than three terms (the number demanded by syllogisms). The objective of this paper is to make sense of this diagram by explaining its function and inquiring whether it could be viewed as an early serious attempt to construct complex diagrams.
REVIEWS-Logical lyrics: From philosophy to poetics
Euclid and his modern rivals, by Charles L. Dodgson (Lewis Carroll). Pp. 275. £28.67. 2004. ISBN 0 486 49566 3. (Dover Phoenix Editions)
The Mathematical Gazette, 2005
Les ouvrages de mathématiques dans l’histoire. Entre recherche, enseignement et culture
Llull Revista De La Sociedad Espanola De Historia De Las Ciencias Y De Las Tecnicas, 2014
Evelyne Barbin & Marc Moyon (Coords.) Collection «Savoirs scientifiques et Pratiques d’enseig... more Evelyne Barbin & Marc Moyon (Coords.) Collection «Savoirs scientifiques et Pratiques d’enseignement» Presses Universitaires de Limoges (PULIM), Limoges, 2013, 337 pp. ISBN: 2-84287-563-X, EAN: 9782842875633
Axiomathes
In this paper we argue that there were several currents, ideas and problems in 19th-century logic... more In this paper we argue that there were several currents, ideas and problems in 19th-century logic that motivated John Venn to develop his famous logic diagrams. To this end, we first examine the problem of uncertainty or over-specification in syllogistic that became obvious in Euler diagrams. In the 19th century, numerous logicians tried to solve this problem. The most famous was the attempt to introduce dashed circles into Euler diagrams. The solution that John Venn developed for this problem, however, came from a completely different area of logic: instead of orienting to syllogistic like Euler diagrams, Venn applied Boolean algebra to improve visual reasoning. Venn’s contribution to solving the problem of elimination also played an important role. The result of this development is still known today as the ‘Venn Diagram’.
Hugh MacColl after one hundred years
Amirouche Moktefi & Stephen Read Preface, 1-5 Michael Astroh, Ivor Grattan-Guinness & Stephen Rea... more Amirouche Moktefi & Stephen Read
Preface, 1-5
Michael Astroh, Ivor Grattan-Guinness & Stephen Read
A survey of the life of Hugh MacColl (1837-1909), 7-30
Stein Haugom Olsen
Outside the intellectual mainstream? The successes and failures of Hugh MacColl, 31-54
Francine F. Abeles & Amirouche Moktefi
Hugh MacColl and Lewis Carroll: Crosscurrents in geometry and logic, 55-76
James J. Tattersall
Hugh MacColl’s contributions to The Educational Times, 77-96
Irving H. Anellis
MacColl’s influences on Peirce and Schröder, 97-128
Jean-Marie C.Chevalier
Some arguments for propositional logic: MacColl as a philosopher, 129-148
Shahid Rahman
Some remarks on Hugh MacColl’s notion of symbolic existence, 149-162
Fabien Schang
MacColl’s modes of modalities, 163-188
Ivor Grattan-Guinness
Was Hugh MacColl a logical pluralist or a logical monist? A case study in the slow emergence of metatheorising, 189-204
John Woods
MacColl’s elusive pluralism, 205-234
Hugh MacColl
On the growth and use of a symbolical language, 235-249
“What the Tortoise said to Achilles” (WTSA), sometimes known as Carroll’s paradox of inference, a... more “What the Tortoise said to Achilles” (WTSA), sometimes known as Carroll’s paradox of inference, appeared in the leading British journal "Mind" in 1895. Unlike Carroll’s earlier publication, “A logical paradox” (1894), commonly known as the barbershop paradox, which immediately attracted responses from serious logicians, none for WTSA was received in Carroll’s lifetime. However, WTSA has since been widely discussed among philosophers and is currently considered as a classic text in the philosophy of logic. What is more remarkable is that in the articles that have appeared in journals and books for over 120 years, there has been no accepted resolution to the problem Carroll posed in WTSA. Many scholars even believe that Carroll did not write his paper with a specific purpose in mind. It is true that little is known on the genesis and the writing of this fascinating article. Hence, confusion and mystery have long surrounded the reception of Carroll’s WTSA. Mystery might never vanish, but it is the aim of this volume to lessen confusion. Here we offer a set of papers providing key elements to the history and purpose of this enigmatic piece that will contribute to Carrollian studies and more generally, to philosophy.
Hugh MacColl after One Hundred Years
"Amirouche Moktefi & Stephen Read Preface, 1-5 Michael Astroh, Ivor Grattan-Guinness &am... more "Amirouche Moktefi & Stephen Read Preface, 1-5 Michael Astroh, Ivor Grattan-Guinness & Stephen Read A survey of the life of Hugh MacColl (1837-1909), 7-30 Stein Haugom Olsen Outside the intellectual mainstream? The successes and failures of Hugh MacColl, 31-54 Francine F. Abeles & Amirouche Moktefi Hugh MacColl and Lewis Carroll: Crosscurrents in geometry and logic, 55-76 James J. Tattersall Hugh MacColl’s contributions to The Educational Times, 77-96 Irving H. Anellis MacColl’s influences on Peirce and Schröder, 97-128 Jean-Marie C.Chevalier Some arguments for propositional logic: MacColl as a philosopher, 129-148 Shahid Rahman Some remarks on Hugh MacColl’s notion of symbolic existence, 149-162 Fabien Schang MacColl’s modes of modalities, 163-188 Ivor Grattan-Guinness Was Hugh MacColl a logical pluralist or a logical monist? A case study in the slow emergence of metatheorising, 189-204 John Woods MacColl’s elusive pluralism, 205-234 Hugh MacColl On the growth and use of a symbolical language, 235-249"
Penser la prévention : discours, acteurs et dispositifs
Direction d'un numéro de revue (Communication & Langages)
Définir l’Image Scientifique
Cahiers 22 Cahiers « Soyons logiques » est une invitation à double sens. Bien que la logique dési... more Cahiers 22 Cahiers « Soyons logiques » est une invitation à double sens. Bien que la logique désigne couramment une disposition d'esprit partagée par tout un chacun, cette disposition prête à confusion dès lors que l'on s'interroge sur ses sources théoriques. Le présent volume propose treize articles de logique portant sur plusieurs aspects de la discipline logique et de ses méthodes, notamment le formalisme, la théorie des oppositions, la vérité mathématique et l'histoire de la logique. Ce volume a été préparé avec le souci pédagogique de parler au plus grand nombre des lecteurs de logique et de philosophie. " Let´s be Logical " is a double invitation. Although logic often refers to a disposition of mind that we all share, this disposition might be confused once its theoretical sources are questioned. The present volume offers thirteen articles that address various aspects of the discipline of logic and its methods, notably formalism, the theory of opposition, mathematical truth, and history of logic. This volume has been prepared with the pedagogical concern of making it accessible to a wide audience of logic and philosophy readers.
Logic, the discipline that explores valid reasoning, does not need to be limited to a specific fo... more Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning.
![Both diagrammatic and symbolic methods have been widely used at the time to solve logical problems. Broadly speaking, a syllogistic problem was understood as checking the validity of an inference where premises and conclusions were given. In the mid-nineteenth century, symbolic logicians working under the influence of mathematical practices, tended rather to offer a set of premises and look for what conclusion(s) is/are to be drawn. In both situations, logicians invented tools and methods to solve those problems with the appeal of A look at historical literature shows that diagrams seem to have always been used by logicians. However, uses vary. Of course, visual devices have long and often been used in educational contexts as heuristic and mnemonic tools. For instance, logic students have for centuries been familiar with squares of opposition and logic trees. These and similar structures offer in a glance a survey of the relations between propositions [Fig. 1] or illustrate the working of a logic process such as dichotomy division [Fig. 2]. As such, they do usually accompany logical arguments developed in words or with the appeal to symbolic notations. However, the widespread use of such devices should not make us forget that other schemes have also been designed to carry out logical reasoning independently. Such diagrams, known to John Venn as analytical diagrams, have been particularly appreciated in the 18” and 19" centuries, a period which could fairly be considered as the golden age of logic diagrams. Interestingly, this period has also witnessed a growing interest in symbolic notations.](https://figures.academia-assets.com/48274508/figure_001.jpg)
](
Contours of the Future: Technology and Innovation in Cultural Context, 2017
Works of fiction greatly contribute to the public (misunderstanding g of technology. As fictions,... more Works of fiction greatly contribute to the public (misunderstanding g of technology. As fictions, they create a universe where the statements they enunciate hold. Hence, they need not be subject to scepticism. It might thus be said that there is no true technological knowledge in fiction. Still, one cannot but observe that works of fiction often demonstrate a true technological creativity. This dilemma invites to a careful examination of how technology is depicted in fiction and what they do for each other. It will be argued that each produces possibilities that facilitate the acceptance of the other in a manner similar to jam facilitating the consumption of medicine. In particular, fictions instil the plausibility, but not necessarily the intelligibility, of technological possibilities into the public.
in Laurent Angard (ed.), Le Temps (In) Saisissable ?, pp. 114-117, 2006
Lewis Carroll, le mathématicien anglais plus connu pour ses contes pour enfants, publia en 1895 u... more Lewis Carroll, le mathématicien anglais plus connu pour ses contes pour enfants, publia en 1895 un dialogue intitulé « Ce que se dirent Achille et la Tortue » dans lequel il reprend les personnages de Zénon. Le texte ne discute cependant pas le problème original de Zénon sur l’indivisibilité du temps et de l’espace, mais plutôt la question des hypothétiques en logique. Par contre, d’autres écrits de Lewis Carroll, manuscrits ou publiés, abordent le problème de Zénon, et permettent d’en reconstituer une lecture Carrollienne. En effet, celui-ci réfute la vision indivisibiliste du temps dans un manuscrit datant de 1874. Dans des textes ultérieurs, notamment une lettre à un des ses amis et dans la seconde partie de sa logique symbolique, il s’efforce d’établir le paradoxe comme un simple sophisme mathématique, basé sur la fausse présomption qu’une infinité de sommes a l’infini pour somme.
Perception et impact des campagnes de prévention dans l'espace publique: le cas de l’alimentation et du risque cardio-vasculaire
Evelyne Barbin & Marc Moyon (eds.), Les Ouvrages de Mathématiques dans l’Histoire : Entre Recherche, Enseignement et Culture, pp. 57-70, 2013
Catherine Allamel-Raffin, Elsa Poupardin & Françoise Willmann (eds.), Informaticiens et Médecins dans la Fiction Contemporaine : Exploration 2, pp. 15-32, 2016
Dans L’ordinatueur (1997), Christian Grenier plonge le lecteur dans l’univers informatique. Une i... more Dans L’ordinatueur (1997), Christian Grenier plonge le lecteur dans l’univers informatique. Une informaticienne, Logicielle, y enquête sur une série de meurtres dont l’arme serait un ordinateur, l’OMNIA3. Ce roman donne à voir différentes facettes de l’informatique selon les compétences des protagonistes et les usages qu’ils en font. L’informatique est à la fois décor de l’histoire, arme du crime, moteur de l’enquête et surtout objet de fascination et d’adoration. L’analyse du roman permet de mettre en évidence quelques-unes des représentations de l’informatique et des informaticiens dans la littérature contemporaine, notamment le profil des informaticiens, les rapports entre experts et profanes, la place de l’informatique dans la société et enfin la contribution de l’informatique au travail narratif de l’auteur même.
Proceedings of The Canadian Society for the History and Philosophy of Mathematics, vol. 20, pp. 189-199, 2007
Lewis Carroll’s fame today as a logician is partly due to his “Achilles and the Tortoise” dialogu... more Lewis Carroll’s fame today as a logician is partly due to his “Achilles and the Tortoise” dialogue, published in the journal of philosophy Mind (April 1895). This text has been widely reprinted, cited and discussed by the twentieth century’s leading logicians and philosophers. However, it is another much less well-known Mind paper which made Carroll known among his contemporary logicians. When the Barbershop problem appeared in July 1894, it was already the subject of dispute among British logicians. In effect Lewis Carroll wrote numerous versions of the problem, sent copies of them to the main logicians of the time and compared their solutions. The debate that was aroused knew the involvement of Britain’s main logicians, such as J. Venn, J. C. Wilson, H. McColl, J. N. Keynes, W. E. Johnson, F. H. Bradley, B. Russell, and many others.
Here are considered the conditions under which the method of diagrams is liable to include non-cl... more Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.
Proceedings of the International Workshop on Diagram Logic and Cognition , Calcutta, 28-29 ottobre 2013, a cura di J. Burton & L. Choudhury, CEUR Workshop Proceedings 1132, pp. 23-30 . ISSN: 1613-0073
This paper explores the notion of autarchy of diagrammatic notations for logic debated in the Ger... more This paper explores the notion of autarchy of diagrammatic notations for logic debated in the German- speaking world of the 18th-century, especially as applied to linear diagrams invented by G. W. Leibniz and J. H. Lambert.
Jim Burton & Lopamudra Choudhury (eds.), DLAC 2013: Diagrams, Logic and Cognition. Proceedings of the First International Workshop on Diagrams, Logic and Cognition (Kolkata, India, October 28-19, 2013), series CEUR Workshop Proceedings, vol. 1132, 2014, pp. 31-35. http://ceur-ws.org/Vol-1132/, 2014
This paper discusses the role of continuity, connectivity and regularity in the design of spatial... more This paper discusses the role of continuity, connectivity and regularity in the design of spatial logic diagrams for N terms. Three specific diagrammatic schemes are discussed: Venn diagrams, Marquand tables and Karnaugh maps.
As a matter of counterfact
Proceedings of The Canadian Society for the History and Philosophy of Mathematics, vol. 18, pp. 136-144, 2005
Many generally accepted ideas harm an objective appreciation of Carroll’s contributions in logic.... more Many generally accepted ideas harm an objective appreciation of Carroll’s contributions in logic. To correct these prejudices and misunderstandings, we will essentially discuss the genesis and the reception of Lewis Carroll’s logical work. By focusing on the connections between logic and Carroll’s other literary and mathematical works, we will answer some questions related to the use which Carroll made of his pseudonym, the growing interest which he had in logic, and the status he gave it.
We commonly represent a class with a curve enclosing individuals that share an attribute. Individ... more We commonly represent a class with a curve enclosing individuals that share an attribute. Individuals that are not predicated with that attribute are left outside. The status of this outer class has long been a matter of dispute in logic. In modern notations, negative terms are simply expressed by labeling the spaces that they cover. In this note, we discuss an unusual (and previously unpublished) method designed by Peirce in 1896 to handle negative terms: to indicate the position of the terms by the shape of the curve rather than by labeling the spaces.
Review of Robin Wilson’s Lewis Carroll in Numberland (Allen Lane, 2008)
BSHM Bulletin Journal of the British Society for the History of Mathematics