Alfred Tarski Logic Prize for Poland

1) The Prize is awarded every three years.

2) Contestants should submit an unpublished paper (between 10 to 30 pages) in any area of logic, written in English.

3) The jury is composed of Polish researchers representative of all areas of logic and of the geography of the country.

4) The prize, besides being an honour, will support the winner's participation (housing + registration fee) in the World Congress of Universal Logic and the publication of the paper in the Springer journal Logica Universalis.

5) There is no restriction of age, sex, race, nationality. Contestants need only to live in Poland  and be affiliated with a University (or other educational institution) in Poland.

Alfred Tarski Logic Prize 2025

i) Participation in UNILOG'2025 in Cusco, Peru: housing + registration fees will be provided to the winner and the paper will be published in the Springer journal Logica Universalis. The awarded person will present his/her work at the 3rd World Logic Prizes Contest competing with the corresponding award winners from other countries.

ii) Send your paper by August 15th, 2025 to mnasien@umk.pl

iii) Jury 2025
Tomasz Bigaj, University of Warsaw, Warsaw - Philosophy of Science
Janusz Czelakowski, University of Opole, Opole - Mathematical logic
Jacek Malinowski (President), Polish Academy of Sciences, Warsaw; Editor-in-Chief of Studia Logica - Philosophical Logic
Roman Murawski, Adam Mickiewicz University in Poznań - Logic and Computation, History of Logic
Tomasz Połacik, University of Silesia in Katowice, Katowice - Formal semantics

Organizers of the Prize:
Marek Nasieniewski and Tomasz Jarmuzek
(Nicolaus Copernicus University in Toruń)

This prize is part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.

Alfred Tarski

Alfred Tarski (1901–1983) is one of the most important figures in the history of logic. Born in Warsaw, he was a student of Leśniewski and Łukasiewicz and soon became a central member of the Lwów–Warsaw school of logic. He then moved to the USA and founded a major group of logic at the University of California, Berkeley. His contributions touch nearly all the areas of logic: set theory, model theory (he coined the expression and was the main developer of this field), many-valued logic, the theory of consequence operator (founder), the theory of truth (creator), Boolean algebra and other fields.

The 2021 Winners were:
Tomasz Jarmuzek and Mateusz Klonowski (Nicolaus Copernicus University, Torun, Poland) for their paper: “Tableaux for Logics of Content Relationship and Set-Assignment Semantics”

The 2018 Winner was:
Zalán Gyenis (Jagiellonian University, Kraków, Poland) for his paper: “On the modal logic of Jeffrey conditionalization”