In his 1910 book On the principle of contradiction in Aristotle, Jan Łukasiewicz claims that syllogistic is independent of the principle of contradiction . He also argues that Aristotle would have defended such a thesis in the Posterior Analytics. In this paper, we first show that Łukasiewicz's arguments for these two claims have to be rejected. Then, we show that the thesis of the independence of assertoric syllogistic vis-à-vis PC is nevertheless true. For that purpose, we first establish that there (...) is no possibility to account for Aristotle's original views on syllogistic without using per impossibile deductions. At last, following an idea due to Smith 1983, we prove that there is a complete reconstruction of assertoric syllogistic using ecthesis instead of reductio ad absurdum. Contrary to what is claimed in Smith 1983, we show that Smith's system SE has to be improved for such a reconstruction. This results in an ecthetic system which is complete with respect to syllogistic arguments, not explosi.. (shrink)

In this paper we first show that Robin Smith’s ecthetic system SE for Aristotle’s assertoric syllogistic is not complete, despite what is claimed by Smith. SE is then not adequate to establish that ecthesis allows one to dispense with indirect or per impossibile deductions in Aristotle’s assertoric logic. As an alternative to SE, we then present a stronger system EC which is adequate for this purpose. EC is a nonexplosive ecthetic system which is shown to be sound and complete with (...) respect to all valid syllogistic arguments with a consistent set of premises. (shrink)

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 Ontologie. 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 de la notion de cardinalité qui répond d’une (...) manière radicale aux impératifs d’une no-class theory. (shrink)

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 Ontologie. 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 de la notion de cardinalité qui répond d’une (...) manière radicale aux impératifs d’une no-class theory. (shrink)