Ethique et mathmatiques

Anne-Franoise Schmid

(INSA de Lyon, UMR du CNRS 5600, Chaire de Thorie et Mthodes de la Conception
Innovante, MinesParisTech, associe aux Archives Poincar, UMR du CNRS 7117)

Rsum Dans cet article, nous montrerons que les relations entre thique et mathmatiques sont
effectives, mais indirectes, et mobilisent dautres disciplines pour pouvoir tre mises en vidence.
Lthique, en tant quelle concerne les sciences, sera vue comme un moyen dquilibrer les
relations entre les grands domaines dabord, puis les combinaisons de disciplines dans la
rsolution de problmes considrs dans leur identit. On en tirera des consquences quant la
place de lthique dans les divers rgimes de pratique des mathmatiques. Nous verrons que
lthique nest pas une norme partir de laquelle dcrter ce quil faut faire ou ne pas faire, mais
une sorte de savoir implicite des frontires que lon pose dans le travail pour pouvoir traiter un
problme. Ce savoir nous est donn en bonne partie par lide de fiction , qui chappe
lalternative entre dcouverte et invention. Avec linterdisciplinarit, il devient plus explicite, et
permet de mieux comprendre les frontires entre les disciplines. Lthique est comme la
partition de musique faite partir de ces frontires prises comme paramtres.

Mots-clefs : Mathmatiques, thique, pistmologie, nominalisme, fiction.

. .

.
.

- :

.

Abstract The relations between ethics and mathematics are effective, but indirect, and mobilize
other disciplines to be highlighted. The ethics, as it concerns the sciences, will be seen as a way to
balance the relations between the big domains at first, then the combinations of disciplines in the
resolution of problems considered in their identity. We shall draw the place of the ethics in the
diverse regimes of practice of the mathematics. Ethics is not a standard from which to decree what
to do or not to make, but an implicit knowledge of the boundaries which we put in the work to be
able to handle a problem. This knowledge is given to us by the idea of "fiction", which escapes the
alternative between discovery and invention. With the interdisciplinary practice, it becomes more
explicit, and allows to understand better the "boundaries" between the disciplines. The ethics is as
a partition of music made from these boundaries taken as parameters.

Keywords: Mathematics, ethics, epistemology, nominalism, fiction.


2014 AL-Mukhatabat, N 11/Juillet 2014
Anne-Franoise Schmid : Ethique et mathmatiques, p. 10-23.



:

Baqir Jasim Mohammed
(University of Babylon, Iraq)

Rsum Lorsque nous nous focalisons sur le dveloppement des tudes linguistiques et sur leur extension aux
manifestations varies du phnomne du langage et de ses usages, nous trouvons qu'elles ont contribu dans
l'largissement et l'approfondissement des aspects structuraux et humains d'un tel phnomne. Or, ces
avances n'ont pas conduit un dveloppement similaire dans l'habilit des hommes atteindre compltement
un type de comprhension russie entre les agents qui mettent et ceux qui reoivent un langage donn, d'o
les multiples formes de malentendus. Cet article vise examiner les diffrentes tudes de l'hypothse de base
selon laquelle le langage est un moyen de communication, dans le but de montrer qu'en cela il exprime une
sorte de rve et d'ambition plutt qu'une ralit. Nous concluons sur l'ide que les enjeux importants propres
la fonction performative du langage restent sans rsolution car la comprhension est influence par
diffrentes sortes de facteurs qui relvent autant du langage que du contexte extra-langagier.

Mots-Clefs : Linguistique, comprhension, malentendu, communication, performativit, contexte.



.
.
.

.
- : .
Abstract When we focus on the development of linguistic studies and the extended surveys in the various
manifestations of the phenomenon of language and its uses, we find that they have contributed to expand and
deepen our understanding of the structural and human aspects of this phenomenon. Yet, these developments
have not led to a similar ones in man's ability to achieve a completely successful type of understanding
among the senders and receivers of language. Therefore, there would be devoid of weakness which led to
multiple forms of misunderstanding. This paper tends to examine various studies of the basic premise that
language is a means of communication in order to show that it expresses a type of an ambition or hope
rather than reality. In fact, this ambition has not been successfully fulfilled yet. After a critical analytical
survey of views concerning human language in general, the paper is rounded off with the conclusion that the
key issues in the performance of language function is still without a proper solution because the
understanding is influenced by a variety of linguistic factors as well as different contextual factors: social,
psychological and historical. Therefore, it is drastically needed to radically reconsider the validity of the
argument that language is our way of understanding each others.

Keywords: Linguistics, comprehension, incomprehension, communication, performativity, context.

2014 AL-Mukhatabat N 11/Juillet 2014
Baqir Jasim Mohammed :

: , p. 24-51.




Some objections to structuralism

Charles Parsons
(Universit de Harvard)

Rsum Cet article traitera de quelques objections faites la conception structuraliste des
objets mathmatiques, avec une attention spciale pour la question de savoir si elles
affectent la version particulire de cette conception telle qu'elle est prsente au chapitre 18
du livre publi chez les Presses Universitaires de Cambridge en 2008, La pense
mathmatique et ses objets, et dans l'article publi en 2004 dans la revue Philosophical
Quarterly (54, pp. 56-77) intitul : "Structuralime et Mtaphysique". Parmi les auteurs
concerns (dont certains de toute vidence ne pouvaient pas avoir l'intention de s'opposer
cette formulation particulire), nous trouvons Paul Bernays, John Burgess, Michael
Dummett, Jukka Kernen, and W. V. Quine.

Mots-clefs : Structuralisme, objets mathmatiques.

18 (
2008 ) " : " 54 2004 . ( 56 - 77 ) .

)
.
- : .

Abstract The paper will deal with objections to the structuralist view of mathematical
objects, with special attention to the question whether they affect the particular version of
that view presented in 18 of Mathematical Thought and its Objects, Cambridge
University Press, 2008 and in "Structuralism and Metaphysics", , pp. 56-77. Among the
relevant authors (some of whom obviously could not have intended to object to this
particular formulation) are Paul Bernays, John Burgess, Michael Dummett, Jukka Kernen,
and W. V. Quine.

Keywords: Structuralism, mathematical objects.






2014 AL-Mukhatabat Journal N 11, July 2014
Charles Parsons : Some Objections to Structuralism, pp. 52-64.






The Unified Equation of Gravity and QM:
The Case of Non-Relativistic Motion

Samir Abuzaid
(Engineering Consultant, Cairo)

Rsum Nous proposons de simplifier le problme de la thorie Quantum-Gravity unifie en
traitant en premier lieu le cas simple des quations non-relativistes de la gravit et de la Mcanique
quantique. Nous montrons comment cette unification des deux formalismes non-relativistes peut
tre ralise travers le postulat reli la mcanique classique et quantique selon lequel chaque
corps naturel est compos de particules finales identiques. Cela inclut les particules lmentaires
existant dans le modle standard comme les quarks, les photons, les gluons, etc. En outre, nous
montrons que ce rsulat ouvre une nouvelle voie vers une quation gnralise du Quantum-
Gravit qui prend en compte les effets la fois de la vitesse et de l'acclration.
Mots-clefs : Thorie Quantum-Gravity, quation non-relativiste, unifcation, quation gnralise
du Quantum-Gravity.

. /
. " " .
.
- :

.
Abstract We propose to simplify the problem of the unified theory of Quantum-Gravity through
dealing first with the simple case of non-relativistic equations of Gravity and Quantum Mechanics.
We show that unification of the two non-relativistic formalisms can be achieved through the joined
classical and Quantum postulate that every natural body is composed of identical final particles.
This includes the current 'elementary' particles of the standard model such as quarks, photons,
gluons, etc. Furthermore, we show that this opens a new route toward a Generalized Equation of
Quantum-Gravity that takes the effects of both of velocity and acceleration into account.
Keywords: Unified theory of quantum-Gravity, non-relativistic equation, unification, Generalized
Equation of Quantum-Gravity,

2014 AL-Mukhatabat N 11/Juillet 2014
Samir Abuzaid : The Unified Equation of Gravity and QM: The case of Non-relativistic Motion. pp. 65-81.







La langue arabe, berceau de lalgbre *


Franois Nicolas
(ENS, Paris)
Mohammed Aouaz
(Institut Ghazl, La Grande Mosque de Paris)



Abstract Algebra was born in Baghdad in the early nineth century, exposed in a young Arabic
practiced by many people, before being universal in all languages (as axiomatic Geometry, born in
Greek language, is then universalized by passing into arabic language).
How can we understand that Arabic could be the fertile cradle for such a distinguished birth? Is
this a purely fortuitous event or is it here a special feature of this language? We explore the
hypothesis that singularity of this language is at stake: singularity that Louis Massignon designated
as a specific ability to "shorting and abstract formation of ideas (algbrisant)."

Keywords: Arabic language, fertile cradle, birth of Algebra, universal.

( ) .

"

."

- : .

Rsum Lalgbre est ne Bagdad au dbut du IX sicle, expose en une jeune langue arabe
pratique par de trs nombreux peuples, avant de suniversaliser dans toutes les langues (tout
comme la gomtrie axiomatise, ne dans la langue grecque, sest ensuite universalise en
passant dans la langue arabe). Comment comprendre que cette langue arabe ait pu constituer le
berceau fcond dune telle naissance ? Est-ce l une circonstance purement fortuite et relevant a
posteriori de lanecdote ou en va-t-il ici dune caractristique propre cette langue ? On explorera
lhypothse quune singularit de cette langue est bien ici en jeu : celle-l mme que Louis
Massignon dsignait comme une aptitude spcifique la formation abrge et abstraite,
algbrisante, des ides .


Mots-Clefs : La langue arabe, berceau fertile, la naissance de l'algbre, universel.







2014 AL-Mukhatabat N 11/Juillet 2014,
Mohamed Aouaz et Franois Nicolas : La langue arabe, berceau de l'Algbre, pp. 82-116.


:

Ibrahim Machrouh
(Institut Dar El-Hadith El-Housseynyia, Rabat)


Rsum Nous tenterons de montrer comment ce que nous dsignons comme tant
l'empirisme modr de Quine se dvoile dans la faon avec laquelle ce philosophe attribue
au cadre ou schme conceptuel un certain caractre relatif sans qu'il soit contraint
d'abandonner son naturalisme qui atteste que la science naturelle (ou la physique) est la
totalit d la science et sans aboutir une forme de scepticisme. Nous abordons ces
questions via la philosophie quinenne de la science en se focalisant sur les aspects
naturalistes et holistiques de la connaissance et de la vrit.

Mots-clefs : L'empirisme modr, Quine, relativit, naturalisme, philosophie de la science,
holisme.

.

- : .

Abstract We will try to show how what we call Quine's moderate empiricism is revealed in
the way in which this philosopher assigns to the frame or conceptual scheme a certain
character without being forced to abandon his naturalism certifying that natural science (or
physics) is all science without being lead to a form of skepticism. We address these
questions through Quine's philosophy of science focusing on naturalistic and holistic
aspects of knowledge and truth.

Keywords: Moderate empiricism, Quine, relativity, naturalism, philosophy of science,
holism.




2014 AL-Mukhatabat N 11/Juillet 2014, Ibrahim Machrouh :
: pp. 117-133.



Le mysticisme chez Russell et Wittgenstein
1


Denis Vernant
(Universit de Grenoble)

Pour Ion, Rmi et Guillaume,
en souvenir de nos annes grenobloises.


Abstract Great analytical philosophers, Russell and Wittgenstein nevertheless allow an
important role to mysticism. Russell characterizes it as an intuitive experience of the unity
of the world perceived sub specie ternitatis and beyond Good and Evil. These characters
also apply to what Wittgenstein names Das Mystische. However, we shall show that Russell
and Wittgenstein do not assign the same function to the mysticism in their respective
philosophies.
Keywords: Mysticism, Russell, Wittgenstein.

.

- :

.

Rsum Grands philosophes analytiques, Russell et Wittgenstein font nanmoins une
place au mysticisme. Russell le caractrise comme une exprience intuitive de lunit du
monde apprhende sub specie ternitatis et par-del le Bien et le Mal. Ces caractres
valent aussi pour ce que Wittgenstein nomme Das Mystische. Toutefois, nous montrerons
que Russell et Wittgenstein nassignent pas le mme rle au mysticisme dans leurs
philosophies respectives.

Mots-Clefs : Mysticisme, Russell, Wittgenstein.


2014 AL-Mukhatabt, N11/Juillet 2014
Denis Vernant : Le mysticism chez Russell et Wittgenstein, p. 134-148.




1
Ce qui suit est le texte dune communication faite le 24 avril 2014 dans le Sminaire international
Quine/Wittgenstein organis Kairouan par Hamdi Mlika. Nous tenons le remercier vivement pour son
aimable invitation.

Strawson, le Carr et la logique arabe
2



Hamdi Mlika
(Universit de Kairouan)



Astract -- Through his defense of traditional logic and the interpretation it offers
of the square which is its pivot, Strawson puts us on an interesting path of thought.
His analysis of the structure of the traditional logical reasoning is nevertheless
limited, because it leaps over the historical dynamics of logic, and goes directly
from the old logic to modern logic, without mentioning the Arab contribution in
this area.

Keywords: Traditionnal logic, logical square, Strawson, arabic logic, modern
logic.

--

.

- :

.

Rsum -- Par le biais de sa dfense de la logique traditionnelle et l'interprtation
qu'il propose du carr qui constitue son pivot, Strawson nous met sur un sentier de
pense intressant. Toutefois, son analyse de la structure du raisonnement logique
traditionnel reste limite car elle fait un saut dans la dynamique historique de la
logique, et passe directement de la logique ancienne la logique moderne sans
parler de l'apport arabe dans ce domaine.

Mots-clefs : Logique traditionnelle, carr logique, Strawson, logique arabe, logique
moderne.



2014 AL-Mukhatabat N 11/Juillet 2014,
Hamdi Mlika : Strawson, le Carr et la logique arabe, pp. 149-161.




2
Il s'agit d'une communication que j'ai prononce le 29 Novembre 2013 au colloque international sur le Carr
logique organise par Mme Saloua Chatti la Facult des sciences humaines et sociales de Tunis. Je voudrais
remercier tout particulirement Denis Vernant, Jacques Riche, Shahid Rahman, Saloua Chatti, Hassan Tahiri qui
ont eu la gentillesse de lire une premire version de ce texte et de m'avoir fait part de leurs remarques et
corrections.

Ahmed Abdel Fettah

(University of Tanta)

Abstract How do we know that the sun will rise tomorrow, that water is composed of H
2
O and fire causes
heat? Is it reasonable to expect that the future resembles the past and that there are regularities in nature? Can
we justify inductive reasoning ? The classic central problem of induction consists in finding a solution to all
these questions. We know how was Hume's answer: inductive reasoning can not be justified and the problem
remains unresolved. However, in contemprary philosophy, Goodman, in his book entitled: The New riddle of
induction, reformulated the problem of induction moving away from the traditional framework in which it is
placed. It becomes a question of describing and explaining our inductive practices rather than one of justifying
them, and, more specifically, of answering the following questions: How do we produce inductive reasoning?
What is the difference between valid inductive reasoning and invalid ones? and finally, why do we produce this
type of reasoning more than others? We will address all these problems leaving aside the question of
justification.
Keywords: Raisonnement inductif, justification, nigme de l'induction, description, explication, pratique
inductive.

H
2
O

: . :
.
:

.
- : .

Rsum Comment connaissons-nous que le soleil se lvera demain, que tous les chantillons d'eau se
composent de H
2
O et que le feu est la cause de la chaleur ? Est-il raisonnable de prvoir que l'avenir ressemble
au pass et qu'il y a des rgularit dans la nature ? Pouvons-nous justifier les raisonnements inductifs? Le
problme classique central de l'induction consiste dans le fait de chercher une solution toutes ces questions.
Nous savons qu'elle tait la rponse de Hume : les raisonnements inductifs n'ont aucune justification et le
problme reste non rsolu. Or, dans la philosophie contempraine, Goodman, dans son livre intitul : La
nouvelle nigme de l'induction, a reformul le problme de l'induction en se dmarquant du cadre classique
dans lequel il a vu le jour. Avec lui, il devient question de dcrire et d'expliquer nos pratiques inductives plutt
que de les justifier, et plus prcisment, de rpondre aux questions suivantes: Comment produisons-nous des
raisonnements inductifs? Quelle est la diffrence entre les raisonnements inductifs valides et ceux qui sont
invalides? et enfin, pourquoi produisons-nous ce type de raisonnements plus que d'autres ? Nous allons donc
aborder tous ces problme laissant de ct la question de la justification.
Mots -clefs : raisonnement inductif, justification, nigme de l'induction, description, explication, pratique
inductive.



AL-Mukhatabat N 11/Juillet 2014
Ahmed Abdel Fattah : p. 162-176.



Pluralisme philosophique
versus Logique intuitionniste


Joseph Vidal-Rosset
(Universit de Lorraine, Archives Poincar, Nancy)

Pour Jacques Bouveresse



Abstract In a first time, this paper shows why the classification of philosophical systems defined
by Vuillemin improves our understanding of the history of philosophy. I reply in a second time to
embarrassments expressed by Bouveresse and Engel about the philosophical pluralism which is,
according to Vuillemin, a consequence of the principles and definitions of his classification of
philosophical systems. The main thesis of this paper is a conjecture: the philosophical pluralism is
not a position that one is forced to admit if one adopts Vuillemins classification. Elements that
should allow a proof of this conjecture are given in conclusion.

Keywords : Philosophy of logic, classical logic, intuitionnistic logic.

.

- : .

Rsum Cet article montre dans un premier temps pourquoi la classification que Vuillemin donne
des systmes philosophiques est un progrs dans lhistoire de la philosophie de la connaissance, et
il rpond dans un second temps aux embarras exprims par Bouveresse et Engel au sujet du
pluralisme philosophique qui est une consquence que Vuillemin tire des principes et dfinitions
de sa classification des systmes philosophiques. La thse principale de cet article est une
conjecture : le pluralisme philosophique nest pas une position que lon est contraint dadmettre si
lon adopte la classification de Vuillemin. On donne pour conclure les lments qui devraient
permettre la dmonstration de cette conjecture.

Mots-clefs : Philosophie de la logique, logique classique, logique intuitionniste.


2014 AL-Mukhatabat, N 11/ Juillet 2014
Joseph Vidal-Rosset : Pluralisme philosophique versus logique intuitionniste, p. 177-197.

Ali Melki
(Universit de Tunis)

Abstract The discovery of relativity theory marked a turning point in the history of
scientific thought and modern philosophy. This discovery has led to new questions that can
be stated as follows: Through what means scientists uncover the causes and effects of
different phenomena, pure reason or experience? What is the role of logic in scientific
discoveries? And why logic and mathematics are increasingly playing an important role in
the development of scientific theories, while the role of experiment has become less
important than before? We try to answer all these questions in the context of Einstein's
scientific discoveries of and philosophical view of the universe. This will allow us to
understand how the features of such a vision are connected under a specific mode to the
rational device with which scientific knowledge is itself provided.

Keywords : relativity theory, logic, mathematics, experience, Einstein, philosophical vision.

.

- : .

Rsum La dcouverte de la thorie de la relativit a marqu un tournant dcisif dans
l'histoire de la pense scientifique et philosophique moderne. Une telle dcouverte a eu
pour consquence de poser nouveau la question centrale que nous pouvons noncer dans
les termes suivants : par quel biais pouvons-nous dcouvrir la faon avec laquelle les
savants aboutissent aux causes et aux rsultats scientifiques, est-ce par le biais de la raison
pure ou bien de l'exprience? Pourquoi le rle de la logique et des mathmatiques devient-il
prpondrant dans le dveloppement des thories scientifiques alors que celui de
l'exprience a tendance reculer? Nous tenterons de rpondre toutes ces questions dans le
contexte des dcouvertes scientifiques d'Einstein et de sa vision philosophique de l'univers.
Ceci nous permettra de comprendre quel point les traits d'une telle vision se relient-ils,
sous un mode prcis, au dispositif rationnel avec lequel la connaissance scientifique s'est
elle-mme dot.

Mots-clefs : Thorie de la relativit, logique, mathmatiques, exprience, Einstein, vision
philosophique.



2014 AL-Mukhatabat, N 11/ Juillet 2014
Ali Melki : p. 198-213.




Systmes formels et Systmes formaliss
Le platonisme mathmatique en tant que dispositif
de conceptualisation non-mtaphysique (Premire partie)

Peter Punin
(I.S.T.H, Paris)

Abstract In this paper, we try to show 1 that in the field of mathematical foundations the
Platonic model can function as a conceptualization scheme without any metaphysical
connotations, and 2 that this Platonic conceptualization scheme is essential in both pre-
Gdelian and post-Gdelian contexts. Investigating the notions of formal system and
formalized system from the hilbertian perspective reconsidered in terms of model theory,
we will recognize a grey area spreads between these two notions. Any attempt to control
this gray zone must do epistemological choices to be assumed as such.

Keywords : Foundations of mathematics, Platonic model, metaphysics, formal system,
formalized system, model theory.


:

- .

.
- : .

Rsum Dans ce papier, nous cherchons montrer 1 que dans le domaine des fondements
mathmatiques, le modle platonicien peut faire fonction de dispositif de conceptualisation
dpouill de toute connotation mtaphysique, et 2 que cette fonction s'avre indispensable
dans les deux contextes pr-gdlien et post-gdlien. tudiant les notions de systme
formel et de systme formalis dans l'optique hilbertienne revisite sous l'angle de la
thorie des modles, nous verrons qu'une zone de flou s'tale entre ces deux notions. Toute
dmarche visant la matrise de cette zone de flou doit faire des choix pistmologiques qu'il
s'agit d'assumer en tant que tels.

Mots-Clefs : Fondements des mathmatiques, modle platonicien, mtaphysique, systme
formel, systme formalis, thorie des modles.

2014 AL-Mukhatabat, N 11 / Juillet 2014
Peter Punin : Systmes formels et Systmes formalissp. 214-252.