La syllogistique d'Aristote dans la perspective de la logique formelle moderne

Les Premiers Analytiques sont pour Lukasiewicz un livre de logique et non de philosophie. Il dit meme que cet ouvrage de pure logique ne contient aucune contamination philosophique . Mais cela ne veut pas dire qu'il n'a rien a apprendre aux philosophes et aux metaphysiciens sur les formalismes et sur les modalites. Comme le dit Lukasiewicz: Il reste encore des philosophes en activite auxquels il ne serait peut-etre pas impossible de suggerer qu'ils devraient acquerir une bonne connaissance de la logique dite mathematique avant de traiter de la logique et de son histoire; ils eviteraient ainsi de perdre leur temps, leurs lecteurs de meme, ce qui n'est peut-etre pas denue d'importance pratique . Lukasiewicz est l'un des philosophes de l'Ecole de Lvov-Varsovie, courant philosophique majeur du XXe siecle. Son premier livre portait sur le principe de contradiction chez Aristote. Il en montrait l'importance, mais aussi la fragilite logique. Son dernier livre, consacre a la syllogistique, une partie de la logique, porte de nouveau sur Aristote. Pour peu qu'elle n'ignore pas Frege, les matrices logiques de Peirce, les Principia Mathematica de Russell et Whitehead ainsi que les apports considerables des logiciens polonais, comme Lesniewski, Sfupecki, et Lukasiewicz lui-meme, l'histoire de la logique, et en l'occurrence l'etude des Premiers Analytiques, constitue une voie d'acces privilegiee pour comprendre ce que sont les formalismes.