Axé sur le thème de la logique du polonais Jan Łukasiewicz (1878-1956), ce Cahier thématique de Philosophia Scientiae se divise en deux sections. La première inclut un liminaire suivi de quatre articles thématiques (Section 1 : « La syllogistique de Łukasiewicz : entre tradition et modernité ») ; la seconde, trois articles hors thème, la présentation de la traduction d'un compte rendu de Paul Ehrenfest sur L'Algèbre de la logique de Louis Couturat, et enfin cette traduction elle-même (Section 2 : « Varia »).

L’article explore les raisons pour lesquelles Łukasiewicz dans son exposé refuse de prendre en compte le dictum de omni et de nullo en qualité d’axiome de la syllogistique aristotélicienne. Après avoir établi la faiblesse de l’argumentation textuelle de Łukasiewicz, il est montré que les réserves de Łukasiewicz à l’égard du dictum doivent être recherchées dans un anti-essentialisme qui lui interdit de suivre Aristote jusqu’au bout de sa logique. (Auteur)

This paper explores the reasons why Łukasiewicz in his explanation of Aristotelian syllogistic does not accept the dictum de omni et de nullo as an axiom. After having established the fragility of the textual argumentation of Łukasiewicz, it is shown that his reasons for being reserved about the dictum must be found in a anti-essentialism which forbids Łukasiewicz to follow Aristotle all the way to the ontological foundation of his logic.

La Syllogistique d’Aristote de Łukasiewicz est écrite pour corriger les interprétations traditionnelles de la syllogistique d’Aristote en se plaçant « du point de vue de la logique formelle moderne ». Son interprétation contient plusieurs paradoxes forts : la description de la syllogistique comme une axiomatique qui utilise intuitivement les règles du calcul propositionnel, l’absence de quantificateurs et l’interprétation de la « nécessité syllogistique » comme un quantificateur universel, l’interprétation quadrivalente de la logique modale tout en admettant que la logique d’Aristote est bivalente. Tous ces paradoxes se comprennent mieux si l’on voit que Łukasiewicz veut construire un système logique cohérent conforme aux intentions d’Aristote en utilisant la logique moderne comme un outil, tout en réagissant contre les critiques de la logique moderne à l’encontre de la syllogistique d’Aristote. (Auteur)

Łukasiewicz’s Aristotle’s Syllogistic was written “from the standpoint of modern formal logic” as a correction of the traditional interpretations of Aristotle’s syllogistic. His interpretation includes many paradoxical views, such as the description of the syllogistic as an axiomatic system intuitively using the rules of propositional calculus, the absence of quantifiers alongside the interpretation of “logical necessity” as equivalent to a universal quantifier, and the four-valued interpretation of modal logic alongside the thesis that Aristotle’s logic is two-valued. All these paradoxes are better understood once one admits that Łukasiewicz wants to build up a coherent logical system upon Aristotle’s intentions with the help of modern logic as a tool, but also tries to react against the criticisms of Aristotle’s syllogistic from the standpoint of modern logic.