Displaying similar documents to “Sur les éléments de construction de la logique mathématique”

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.

Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle

Grzegorz Malinowski (1991)

Mathématiques et Sciences Humaines

Similarity:

Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.

Premières réflexions sur les rapports entre la logique symbolique et l’informatique

R. Bozzi (2006)

Philosophia Scientiae

Similarity:

Georges Kalinowski, dans «Raison, entendement et philosophie»   [Kalinowski 1974, 125-127], isolait quatre fonctions d’une même faculté : comme fonction de la connaissance intuitive, la (des anciens) comme fonction de la connaissance médiate, fonction d’élaboration des sciences (au sens moderne) et la (des modernes) fonction d’élaboration de la philosophie ou au moins d’une partie de la philosophie. Kalinowski reconnaissait ainsi à la pensée ancienne et à la pensée moderne des contributions...