La créativité des définitions dans les systèmes para-euclidiens

Jean-Pierre Ginisti

Mathématiques et Sciences Humaines (1991)

  • Volume: 116, page 69-88
  • ISSN: 0987-6936

Abstract

top
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.

How to cite

top

Ginisti, Jean-Pierre. "La créativité des définitions dans les systèmes para-euclidiens." Mathématiques et Sciences Humaines 116 (1991): 69-88. <http://eudml.org/doc/94421>.

@article{Ginisti1991,
abstract = {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.},
author = {Ginisti, Jean-Pierre},
journal = {Mathématiques et Sciences Humaines},
keywords = {creativity of a definition; propositional calculi; classical systems; Leśniewski’s systems; paraeuclidean system},
language = {fre},
pages = {69-88},
publisher = {Ecole des hautes-études en sciences sociales},
title = {La créativité des définitions dans les systèmes para-euclidiens},
url = {http://eudml.org/doc/94421},
volume = {116},
year = {1991},
}

TY - JOUR
AU - Ginisti, Jean-Pierre
TI - La créativité des définitions dans les systèmes para-euclidiens
JO - Mathématiques et Sciences Humaines
PY - 1991
PB - Ecole des hautes-études en sciences sociales
VL - 116
SP - 69
EP - 88
AB - 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.
LA - fre
KW - creativity of a definition; propositional calculi; classical systems; Leśniewski’s systems; paraeuclidean system
UR - http://eudml.org/doc/94421
ER -

References

top
  1. [1] Hesse, M.B., Models and analogies in science, University of Notre Dame Press, 1966. 
  2. [2] Lejewski, C., "On implicational définitions", Studia Logica, VIII, 1958, 189-205. Zbl0178.30505MR108438
  3. [3] Nemesszeghy, E.Z. and E.A., "Is (p⊃q)=(∼pvq) Df a proper definition in the system of Principia Mathematica ?", Mind, april 1971, 282-283. 
  4. [4] Nemesszeghy, E.Z. 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. [5] Nemesszeghy, E.Z. and E.A., "On strongly creative definitions : a reply to V.F. Rickey", Logique et analyse, mars-juin 1977, 111-115. Zbl0353.02002MR534491
  6. [6] Rescher, N., 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. [7] Rickey, V.F., "On creative définitions in the Principia Mathematica ", Logique et analyse, mars-juin 1975, 175-182. Zbl0316.02003MR403912
  8. [8] Rickey, V.F., "Créative definitions in propositional calculus", Notre Dame Journal of Formal Logic, XVI, n°2, april 1975, 273-294. Zbl0298.02009MR379132

NotesEmbed ?

top

You must be logged in to post comments.