ŁUKASIEWICZ, Jan
Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, all'Accademia di Dublino.
Le principali ricerche del Ł. concernono: a) la logica delle proposizioni elementari; b) le logiche polivalenti; c) la storia della logica. Relativamente al primo tema il Ł. recn̄ un contributo fondamentale nel senso dell'assiomatizzazione, perfezionando i risultati giމ attinti da G. Frege e da B. Russell, con particolare riguardo alla selezione e semplificazione delle nozioni e dei principî primitivi, nonché alla coerenza e completezza dell'intero sistema. Introdusse un nuovo simbolismo ritenuto più semplice di quello di G. Peano e B. Russell. Sempre al livello delle proposizioni elementari, il Ł. elaborò per primo, accanto alle tavole di verità a due valori concepite da Frege, C. S. Peirce, E. L. Post e L. Wittgenstein, tavole di verità a tre valori (verità, falsità, contingenza) come metodo di prova e di decisione. Furono cosị poste le basi di una logica trivalente e, con la generalizzazione della procedura, delle logiche polivalenti, rilevanti per lo sviluppo della logica modale e delle probabilità. Nel campo della storia della logica il Ł. si distinse soprattutto per gli studî sulle dottrine aristotelica e megaricostoica. Della sillogistica di Aristotele fornì l'interpretazione più moderna utilizzando le tecniche assiomatiche contemporanee, mentre delle geniali anticipazioni di Filone Megarico, Crisippo, ecc., inerenti ai concetti di negazione, disgiunzione e implicazione, nonché alla sistematizzazione della logica proposizionale in genere, egli addirittura determinò in gran parte la riscoperta.
Opere principali: Die logischen Grundlagen der Wahrscheinlichkeitsrechnung, Cracovia 1913; O logice trójwartościowej, in Ruch Filozoficzny, V (1920), pp. 169-171; Elementy logiki matematycznej, Varsavia 1929; Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls, in Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, cl. III (1930), vol. 23; Untersuchungen über den Aussagenkalkül (in collab. con A. Tarski), ibid.; Zur Geschichte der Aussagenlogik, in Erkenntnis, V (1935) pp. 111-131; Aristotle's syllogistic from the standpoint of modern formal logic, Londra 1951, 2ª ed. 1957; A system of modal logic, in Journal of Computing Systems, I (1953).
Bibl.: K. Ajdukiewicz, Der logistische Antiirrationalismus in Polen, in Erkenntnis, 1935; Z. Jordan, The development of mathematical logic and logical Positivism in Poland between the two wars, New York 1945; A. N. Prior, L's. contributions to logic, in Philosophy in the Mid Century (a cura di R. Klibanski), Firenze 1958, pp. 53-55.