Displaying similar documents to “Le langage des mathématiques : thème et version”

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.

Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?

Philippe de Rouilhan (2005)

Philosophia Scientiae

Similarity:

La logique IF est-elle la logique élémentaire, comme le prétend Hintikka ? Mais, d’abord, est-elle véritablement , c’est-à-dire du ordre ? Il est tentant de répondre , en arguant du pouvoir extraordinaire de cette logique par rapport à la logique du premier ordre ordinaire. Mais, pour impressionnante que puisse être l’objection, elle n’atteint pas son but. Il faut une réfutation directe, fondée sur l’analyse de la notion d’ordre.

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

Bibliographie commentée

Jean-Pierre Desclés, Jean-Pierre Ginisti (1988)

Mathématiques et Sciences Humaines

Similarity:

Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique

Marion Carel (1995)

Mathématiques et Sciences Humaines

Similarity:

Il est habituel, pour enseigner la logique aux étudiants littéraires, de faire correspondre aux notions logiques (implication, disjonction...) des expressions de la langue (si...alors, ou...). Les enseignants espèrent que cette traduction linguistique aidera à comprendre les concepts formels. Fondé sur une expérience pédagogique, cet article montre qu'en fait les expressions linguistiques utilisées ne représentent les connecteurs logiques que si elles ont été elles-mêmes déjà comprises...