Displaying similar documents to “L'ordinateur : un outil au service du logicien”

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

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.

Bibliographie commentée

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

Mathématiques et Sciences Humaines

Similarity:

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.