Les tableaux de Beth : syntaxe ou sémantique ?
Philippe De Rouilhan (1998-1999)
Philosophia Scientiae
Similarity:
Philippe De Rouilhan (1998-1999)
Philosophia Scientiae
Similarity:
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.
Jean-Pierre Desclés, Jean-Pierre Ginisti (1988)
Mathématiques et Sciences Humaines
Similarity:
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.
M. Ronat (1971)
Mathématiques et Sciences Humaines
Similarity:
(2004)
Philosophia Scientiae
Similarity:
Miklos Santha (1982)
Mathématiques et Sciences Humaines
Similarity:
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...
Gerhard Heinzmann, Manuel Rebuschi (2005)
Philosophia Scientiae
Similarity:
J. Petitot (1982)
Mathématiques et Sciences Humaines
Similarity: