Amirouche Moktefi
Biographic Data
| ID | 1369438 |
|---|---|
| NAME | Amirouche Moktefi |
| GIVEN NAMES | Amirouche |
| FAMILY NAME | Moktefi |
| SIGNATURE | MOKTEFI A |
| AFFILIATIONS | Tallinn University of Technology |
| ORCID | 0000-0003-1876-5274 |
| VERIFIED | Yes |
| TOTAL WORKS | 13 |
| TOTAL CITATIONS | 2 |
| AUTHOR COUNT | 12 |
| EDITOR COUNT | 1 |
| FIRST PUBLICATION YEAR | 2010 |
| LATEST PUBLICATION YEAR | 2026 |
| H-INDEX | 1 |
Léon Foucou and the Beginnings of Mathematical Logic in France
It is commonly held that mathematical logic did not find supporters in France in its early years of development prior to Louis Couturat, who mainly exposed the ideas of others. However, in 1879 – the very year of Frege’s Begriffsschrift –, Léon Foucou produced a fascinating logic work, relevantly titled Aperçu d’une Nouvelle Logique (Overview of a New Logic). Our paper introduces to the man, and to his original system of logic, focusing on the re…
On the Scaffolding Metaphor in Mathematical Education and Cognition
The scaffolding metaphor is used in education sciences to express a temporary support for a learner to complete a task which, otherwise, could not be achieved. This metaphor travelled to cognitive sciences, where it refers to external supports that allow us to reach goals that are beyond us. Mathematical representations are often viewed as scaffolds of this sort, enabling us to conduct reasonings which, otherwise, could hardly be conducted. This …
Another Side of Categorical Propositions: The Keynes–Johnson Octagon of Oppositions
The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra
On the Origin of Venn Diagrams
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 so…
L'élimination diagrammatique
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 p…
The Mathematical World of Charles L. Dodgson (Lewis Carroll)
Charles Lutwidge Dodgson is best known for his ‘Alice’ books, Alice’s Adventures in Wonderland and Through the Looking-Glass, written under his pen-name of Lewis Carroll. He is also remembered as a pioneer of Victorian photography. But his everyday job was a lecturer in Mathematics at Christ Church, Oxford University. What mathematics did he do? How good a mathematician was he? And how influential was his work, both at the time and since? This bo…
The Mathematical World of Charles L. Dodgson
Are Other People’s Books Difficult to Read? The Logic Books in Lewis Carroll’s Private Library
it is well known that charles l. Dodgson (alias lewis carroll, 1832-1898) worked on a logic treatise that would popularise the subject of symbolic logic. The first part appeared in 1896 but the next parts never appeared. It has been claimed that carroll worked in isolation and did not read the main works of his time. the object of this paper is to inquire what carroll's private library teaches us on his readings. the content of this library is kn…
Is Euler’s circle a symbol or an icon
The most familiar scheme of diagrams used in logic is known as Euler’s circles. It is named after the mathematician Leonhard Euler who popularized it in his Letters to a German Princess (1768). The idea is to use spaces to represent classes of individuals. Charles S. Peirce, who made significant contributions to the theory of diagrams, praised Euler’s circles for their ‘beauty’ which springs from their true iconicity. More than a century later, i…
La logique symbolique en débat à Oxford à la fin du dix-neuvième siècle: Les disputes logiques de Lewis Carroll et John Cook Wilson
Le développement de la logique symbolique est souvent présenté comme le récit cumulatif d’innovations successives pour mener à ce qu’il est commun d’appeler la logique moderne. Ce récit cache les obstacles qui se dressent sur le chemin de cette logique et qui contribuent ainsi à façonner son histoire. Les réactions négatives à l’émergence de la nouvelle logique dans la seconde moitié du xix e siècle sont nombreuses, et nous étudions dans ce texte…
Pour une approche interdisciplinaire de la prévention
Introduction: From Practice to Results in Mathematics and Logic
1 Mathematical practice: a short overview This volume is a collection of essays that discuss the relationships between the practices deployed by logicians and mathematicians, either as individuals or as members of research communities, and the results from their research. We are interested in exploring the concept of 'practices' in the formal sciences. Though common in the history, philosophy and sociology of science, this concept has surprisingl…
La théorie syllogistique de Lewis Carroll
Le syllogisme est la forme classique d'un argument logique tel qu'on le retrouve dans la logique traditionnelle issue d'aristote. objet de nombreux travaux en deux millnaires, la syllogistique reste la doctrine dominante en logique jusqu'au XiX e sicle. Les syllogismes y sont prsents sous une forme simple et lmentaire : trois propositions sous forme normale (a, e, i, o), construites de sorte que la troisime (dite conclusion du syllogisme) dcoule …
Is Euler’s circle a symbol or an icon
The most familiar scheme of diagrams used in logic is known as Euler’s circles. It is named after the mathematician Leonhard Euler who popularized it in his Letters to a German Princess (1768). The idea is to use spaces to represent classes of individuals. Charles S. Peirce, who made significant contributions to the theory of diagrams, praised Euler’s circles for their ‘beauty’ which springs from their true iconicity. More than a century later, i…
La théorie syllogistique de Lewis Carroll
Le syllogisme est la forme classique d'un argument logique tel qu'on le retrouve dans la logique traditionnelle issue d'aristote. objet de nombreux travaux en deux millnaires, la syllogistique reste la doctrine dominante en logique jusqu'au XiX e sicle. Les syllogismes y sont prsents sous une forme simple et lmentaire : trois propositions sous forme normale (a, e, i, o), construites de sorte que la troisime (dite conclusion du syllogisme) dcoule …
Introduction: From Practice to Results in Mathematics and Logic
1 Mathematical practice: a short overview This volume is a collection of essays that discuss the relationships between the practices deployed by logicians and mathematicians, either as individuals or as members of research communities, and the results from their research. We are interested in exploring the concept of 'practices' in the formal sciences. Though common in the history, philosophy and sociology of science, this concept has surprisingl…
Pour une approche interdisciplinaire de la prévention
La logique symbolique en débat à Oxford à la fin du dix-neuvième siècle: Les disputes logiques de Lewis Carroll et John Cook Wilson
Le développement de la logique symbolique est souvent présenté comme le récit cumulatif d’innovations successives pour mener à ce qu’il est commun d’appeler la logique moderne. Ce récit cache les obstacles qui se dressent sur le chemin de cette logique et qui contribuent ainsi à façonner son histoire. Les réactions négatives à l’émergence de la nouvelle logique dans la seconde moitié du xix e siècle sont nombreuses, et nous étudions dans ce texte…
Is Euler’s circle a symbol or an icon
The most familiar scheme of diagrams used in logic is known as Euler’s circles. It is named after the mathematician Leonhard Euler who popularized it in his Letters to a German Princess (1768). The idea is to use spaces to represent classes of individuals. Charles S. Peirce, who made significant contributions to the theory of diagrams, praised Euler’s circles for their ‘beauty’ which springs from their true iconicity. More than a century later, i…
Are Other People’s Books Difficult to Read? The Logic Books in Lewis Carroll’s Private Library
it is well known that charles l. Dodgson (alias lewis carroll, 1832-1898) worked on a logic treatise that would popularise the subject of symbolic logic. The first part appeared in 1896 but the next parts never appeared. It has been claimed that carroll worked in isolation and did not read the main works of his time. the object of this paper is to inquire what carroll's private library teaches us on his readings. the content of this library is kn…
The Mathematical World of Charles L. Dodgson (Lewis Carroll)
Charles Lutwidge Dodgson is best known for his ‘Alice’ books, Alice’s Adventures in Wonderland and Through the Looking-Glass, written under his pen-name of Lewis Carroll. He is also remembered as a pioneer of Victorian photography. But his everyday job was a lecturer in Mathematics at Christ Church, Oxford University. What mathematics did he do? How good a mathematician was he? And how influential was his work, both at the time and since? This bo…
The Mathematical World of Charles L. Dodgson
L'élimination diagrammatique
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 p…
On the Origin of Venn Diagrams
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 so…
Another Side of Categorical Propositions: The Keynes–Johnson Octagon of Oppositions
The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra
On the Scaffolding Metaphor in Mathematical Education and Cognition
The scaffolding metaphor is used in education sciences to express a temporary support for a learner to complete a task which, otherwise, could not be achieved. This metaphor travelled to cognitive sciences, where it refers to external supports that allow us to reach goals that are beyond us. Mathematical representations are often viewed as scaffolds of this sort, enabling us to conduct reasonings which, otherwise, could hardly be conducted. This …
Léon Foucou and the Beginnings of Mathematical Logic in France
It is commonly held that mathematical logic did not find supporters in France in its early years of development prior to Louis Couturat, who mainly exposed the ideas of others. However, in 1879 – the very year of Frege’s Begriffsschrift –, Léon Foucou produced a fascinating logic work, relevantly titled Aperçu d’une Nouvelle Logique (Overview of a New Logic). Our paper introduces to the man, and to his original system of logic, focusing on the re…
Philosophy (10 works) · Mathematics (7 works) · Computer Science (6 works) · Epistemology (6 works) · Historical and Literary Studies (4 works) · Philosophy (4 works) · History and Theory of Mathematics (3 works) · Humanities (3 works) · Programming language (3 works) · Pure mathematics (3 works)