The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Taxonomie et sémantique : un projet de recherches”

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.

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

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