Displaying similar documents to “The problems of definition”

Sur les éléments de construction de la logique mathématique

M. Schönfinkel (1990)

Mathématiques et Sciences Humaines

Similarity:

Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article...

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

La no-class theory de Stanisław Leśniewski

Pierre Joray (2005)

Philosophia Scientiae

Similarity:

Insatisfait du calcul des classes et des relations de Whitehead et Russell, Leśniewski élabora en 1919-20 une théorie extensionnelle des noms qu’il nomma . Sans entrer dans une description technique du formalisme de Leśniewski, nous montrons dans cet article que l’Ontologie permet un traitement général du distributif qui ne s’appuie à aucun moment sur une notion de classe. Nous illustrons enfin cette particularité importante du système de Leśniewski en proposant une définition logiciste...

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.

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