Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b) ni (c), une définition y étant intralinguistique et créatrice ; (3) les systèmes, nommés «para-euclidiens» par l'auteur, qui peuvent obtenir des définitions métalinguistiques créatrices grâce au rejet de (a). Plusieurs manières de caractériser dans un système para-euclidien les propriétés de créativité et de non créativité d'une définition sont analysées. Plusieurs théorèmes sont formulés et prouvés.
This paper considers three kinds of propositional calculus (but chiefly the third), both from a logical point of view and from an epistemological point of view : (1) the classical systems which have the following properties : (a) every axiom is to contain only (or is to be understood as containing only) primitive terms, (b) every definition is metalinguistic, (c) every definition is non creative ; (2) Lesniewski's systems which satisfy (a) but neither (b) nor (c), a definition being there intralinguistic and creative ; (3) the systems, called “paraeuclidean” by the author, which can obtain creative metalinguistic definitions thanks to the rejection of (a). Several manners of characterizing in a paraeuclidean system the properties of creativity and of non-creativity of a definition are analysed. Several theorems are formulated and proved.
@article{MSH_1991__116__69_0,
author = {Ginisti, Jean-Pierre},
title = {La cr\'eativit\'e des d\'efinitions dans les syst\`emes para-euclidiens},
journal = {Math\'ematiques et Sciences humaines},
volume = {116},
year = {1991},
pages = {69-88},
mrnumber = {1167765},
zbl = {0794.03007},
language = {fr},
url = {http://dml.mathdoc.fr/item/MSH_1991__116__69_0}
}
Ginisti, Jean-Pierre. La créativité des définitions dans les systèmes para-euclidiens. Mathématiques et Sciences humaines, Tome 116 (1991) pp. 69-88. http://gdmltest.u-ga.fr/item/MSH_1991__116__69_0/
[1] , Models and analogies in science, University of Notre Dame Press, 1966.
[2] , "On implicational définitions", Studia Logica, VIII, 1958, 189-205. | MR 108438 | Zbl 0178.30505
[3] and E.A., "Is (p⊃q)=(∼pvq) Df a proper definition in the system of Principia Mathematica ?", Mind, april 1971, 282-283.
[4] and E.A., "On the creative role of the definition (p⊃q)=(∼pvq) Df in the system of Principia : reply to V.H. Dudman (I) and Black (II)", Mind, october 1973, 613-616. Les articles de V.H. Dudman et de R. Black sont dans le même numéro de Mind.
[5] and E.A., "On strongly creative definitions : a reply to V.F. Rickey", Logique et analyse, mars-juin 1977, 111-115. | MR 534491 | Zbl 0353.02002
[6] , recension de R.K.P. Singh and R. Shukla, " A note on Götlind's axiom system for the calculus of propositions", The Journal of Symbolic Logic", Vol. 17, 66-67.
[7] , "On creative définitions in the Principia Mathematica ", Logique et analyse, mars-juin 1975, 175-182. | MR 403912 | Zbl 0316.02003
[8] , "Créative definitions in propositional calculus", Notre Dame Journal of Formal Logic, XVI, n°2, april 1975, 273-294. | MR 379132 | Zbl 0298.02009