Displaying similar documents to “The theory of definitions in the polish logical literature”

Un point de logique aristotélicienne : le «définitionnel»

Claude Gaudin (1991)

Mathématiques et Sciences Humaines

Similarity:

Ni description, ni démonstration mais recherche de l'élément qui différencie un concept de ceux qui lui sont le plus proches, telle est la définition classique. On a choisi d'analyser ici 1) ce qui fait de la définition une forme de prédication «réflexive», 2) la liaison établie par Aristote entre la définition-formule qui permet d'identifier la chose, d'abord par rapport à elle-même, et la théorie des prédicables ! Celle-ci est une amorce systématique de ce qui est aujourd'hui la théorie...

The problems of definition

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.

Remarques sur le discours scientifique

D. Hérault (1971)

Mathématiques et Sciences Humaines

Similarity:

Après une brève définition de ce qu'on entend par discours scientifique (mathématique) et un bref aperçu de quelques-unes de ses propriétés caractéristiques, on indique comment on pourrait en concevoir l'analyse du contenu sémantique. On se limite ensuite à l'examen rapide des méthodes de détermination des objets que contiennent, en les mettant en relation, les énoncés d'un discours donné. On constate alors qu'une notion d'aspect joue un rôle essentiel, et qu'elle correspond en fait...

Le replacement du référent dans les pratiques de l’analyse issues de E. Nelson et de G. Reeb

Yves Péraire (2005)

Philosophia Scientiae

Similarity:

L’histoire récente des mathématique non standard est mise en perspective de manière à faire apparaître une modification dans le langage utilisé et dans la pratique de la référentiation des énoncés qui pourrait conduire, si on le souhaitait à rapprocher la langue mathématique d’une langue de communication. La profusion des constructions ensemblistes peut être limitée grâce à un vocabulaire un peu plus riche permettant de «dire l’indétermination», l’indiscernabilité, l’inaccessibilité......