Jan Łukasiewicz, né le 21 décembre 1878 à Lwów, mort le 13 février 1956 (à 77 ans) à Dublin, est un philosophe et logicien polonais.

Étudiant en philosophie et en mathématiques à l’Université Jean Casimir de Lwów, il obtient le titre de docteur en 1902 (dirigé par Kazimierz Twardowski) avec les félicitations du jury, puis est habilité pour diriger les recherches en 1906. Après avoir enseigné en tant que « privatdozent », Łukasiewicz se voit nommé professeur extraordinaire à Lwów en 1911. Pendant la Première Guerre mondiale (qui a réaffirmé l’existence de la Pologne, rayée de la carte pendant plus de cent ans), l’Université de Varsovie rouvre ses portes à l’enseignement en polonais, et y accueillie les philosophes et logiciens de Lwów, dont les travaux, individuels et collectifs, forment ce qu’on a appelé par la suite École de Lvov-Varsovie.

Łukasiewicz devient ministre de l'éducation en 1919, ensuite professeur à l'Université de Varsovie (de 1920 à 1939), dont il est recteur à deux reprises.

Après la Seconde Guerre mondiale, il traverse la Belgique et s'installe à Dublin, devenant professeur de logique mathématique à l'Académie royale d'Irlande.

Travail mathématique

Il est l'inventeur en 1920 de la notation préfixée, dite « polonaise » en son honneur. Il a étudié les axiomatisations de la logique. Mais il est principalement l'initiateur des logiques à plusieurs valeurs, dans lesquelles il a donné une interprétation de la logique modale.

Travail philosophique

Dans "O zasadzie sprzecznos'ci u Arystotelesa" (Du principe de contradiction chez Aristote) (1910), il en révèle trois guises (ontologique, logique et psychologique) et défend l'idée que ce principe n'est pas un premier principe, mais demande une preuve. Cette preuve, il tente en vain de l'obtenir à partir de la définition du jugement vrai et de celle du jugement faux. Il en conclut que ce principe n'a pas de valeur logique, mais seulement éthico-pratique, en ce sens que nous devons le croire, car il permet de lutter contre les erreurs et le mensonge. Cet ouvrage précurseur, traduit intégralement en allemand en 1993 et seulement partiellement en français en 2000, indique la direction des recherches futures de son auteur, à savoir l'élaboration de la logique non aristotélicienne. Ce n'est cependant pas dans la voie de la mise en question du principe de contradiction, qu'il s'orientera, mais plutôt de celle du tiers exclu, en rapport avec le problème du déterminisme.