At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant logic”. Now he calls this same system “Core logic.” In Section 1, by reference to the rules of natural deduction for $\mathbf{IR}$, I explain why $\mathbf{IR}$ is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that $\mathbf{IR}$ cannot be a core logic.

Ce livre developpe une theorie de la negation qui rend compte de maniere complete des trois significations naturelles et fondamentales de la negation: rejet, absence et denegation. L'auteur adopte une theorie intuitionniste de la negation, parce qu'il considere que celle-ci offre une comprehension a la fois plus riche et plus fine de la negation que celle qui est donnee par la logique classique. La premiere partie de l'ouvrage commence avec des remarques qui relevent de la psychologie, la seconde traite de (...) la negation d'un point de vue logique, et la troisieme donne un apercu critique sur quelques metaphysiques de la negation, c'est-a-dire sur certains systemes philosophiques (ceux de Platon, de Spinoza et de Hegel) qui ont tire des consequences ontologiques a partir d'une definition specifique de la negation. Cette troisieme partie trouve une suite naturelle dans le commentaire des reflexions sur la question de la negation developpees par Spinoza (proposition 49 de la seconde partie de l'Ethique) et par Kant (Essai pour introduire en philosophie le concept de grandeur negative). Ces deux commentaires sont respectivement prolonges par une critique de l'analyse spinoziste de la negation et par l'explication de l'interet que presente la logique intuitionniste a la fois pour la comprehension de l'analyse kantienne et pour les lecons que l'on peut tirer du celebre carre des oppositions logiques, ou la negation joue un role crucial. (shrink)

Ce numéro spécial, édité à l’occasion du centenaire de la naissance d’Alan Turing, est le fruit d’une double collaboration : d’une part une collaboration internationale qui exprime via internet l’importance de l’année Turing, d’autre part une collaboration locale régulière entre des chercheurs de l’équipe TYPES du Laboratoire Lorrain de Recherche en Informatique (LORIA) qui s’intéressent à la logique, la théorie de la preuve et la programmation, et des philosophes et logiciens du Laboratoire...

En 2004, la famille de Jules Vuillemin lègue aux Archives Henri-Poincaré (Université de Lorraine) un fonds constitué par les ouvrages, les tirés à part et les manuscrits du célèbre philosophe français, décédé aux Fourgs (Doubs) le 16 janvier 2001. Dans le cadre de la conservation et de la valorisation de ce fonds très riche, les Archives Henri-Poincaré organisent chaque année, au mois de décembre, une journée d’études autour d’un texte ou d’un aspect de la pensée de Jules Vuillemin, afin de (...) d... (shrink)

Etudie la notion de paradoxe en philosophie en s'intéressant notamment aux paradoxes logiques (paradoxes, solutions ensemblistes et sémantiques). En deuxième partie, deux textes (de B. Russell et W.V.O. Quine) sont commentés.

Vuillemin a écrit un article concis sur la Théorie de la justice de Rawls où son propos se concentre uniquement sur la justice comme convention, c’est-à-dire sur le contrat qui définit une société juste selon Rawls. Après avoir analysé la nature du « contrat explicite » puis celle du « contrat implicite » dans cette théorie, Vuillemin critique la définition de la justice que donne Rawls et soutient que celui-ci«s’est trompé d’ancêtres » en considérant que sa philosophie politique est dans (...) la filiation de la morale kantienne alors qu’elle est, selon Vuillemin, l’expression d’un scepticisme comparable à celui de Carnéade. On réfute dans cet article l’interprétation que Vuillemin donne de la théorie de Rawls en montrant que celle-ci est fondée sur une lecture à la fois partielle et partiale de la Théorie de la Justice. (shrink)

Vuillemin a écrit un article concis sur la Théorie de la justice de Rawls où son propos se concentre uniquement sur la justice comme convention, c’est-à-dire sur le contrat qui définit une société juste selon Rawls. Après avoir analysé la nature du « contrat explicite » puis celle du « contrat implicite » dans cette théorie, Vuillemin critique la définition de la justice que donne Rawls et soutient que celui-ci«s’est trompé d’ancêtres » en considérant que sa philosophie politique est dans (...) la filiation de la morale kantienne alors qu’elle est, selon Vuillemin, l’expression d’un scepticisme comparable à celui de Carnéade. On réfute dans cet article l’interprétation que Vuillemin donne de la théorie de Rawls en montrant que celle-ci est fondée sur une lecture à la fois partielle et partiale de la Théorie de la Justice. (shrink)