Wraszawa, 28.05 - 1.06.2001

W dniach 28 maja 1 - czerwca 2001 r. w Warszawie miało miejsce kulminacja obchodów jubileuszu setnej rocznicy urodzin wybitnego logika, matematyka i filozofa Alfreda Tarskiego. Była to już trzecia (i nie ostatnia) duża konferencja poświęcona jubileuszowi Tarskiego zorganizowana przez polskie środowisko filozoficzne (w styczniu na UW, w kwietniu w Karpaczu). Wszakże Alfred Tarski Centuary Conference przyćmiła poprzednie rozmachem organizacyjnym, liczbą referatów, oraz przede wszystkim listą znakomitości, które dosłownie z całego świata przybyły by oddać hołd A. Tarskiemu i jego myśli.
      

Program pięciodniowej konferencji obejmował przeszło osiemdziesiąt referatów wygłoszonych w czterech sekcjach i blokach plenarnych przez przedstawicieli ponad dwudziestu krajów z pięciu kontynentów.
      

Tak wielu uczonych światowego formatu rzadko kiedy udaje się zgromadzić w jednym miejscu, a w tej części Europy. Zjawisko to jest prawdziwym ewenementem.
      

Jak wspominałem program imprezy rozparcelowano na przedpołudniowe sesje plenarne i cztery bloki tematyczne odpowiadające najważniejszym obszarom aktywności badawczej znakomitego polskiego logika. 
      

Wykłady plenarne wygłosili następujący, znakomici logicy i filozofowie:
      John W. Addison Jr. (USA), Tarski's Theory of Definability: Common Themes in Descriptive Set Theory, Recursive Function Theory, Classical Pure Logic, and Finite-Universe Logic.
      Henry Hiż (USA), Reexamination of Tarski's semantics.
      Wilfrid Hodges (Holandia), What languages have a Tarski truth definition?
      Jaakko Hintikka (Finlandia), Independence-friendly logic and Axiomatic Set Theory.
      Joachim Lambek (Kanada), What is the world of mathematics?
      Ralph McKenzie (USA), How Difficult is Tarski's Finite Equational Basis Problem?
      Peter Hajek (Czechy), Tarski and fuzzy logic.
      Alex Wilkie (Anglia), 0 - Minimality.
      Anil Nerode (Izrael), Logics of Hybrid Systems.
      Joukko V¤¤n¤nen (Finlandia), Some Results in Infinitary Logic.
      Roman Duda (Polska), On the Warsaw interactions of logic and mathematics in the year 1919-1939.
      Marcin Mostowski (Polska), Henkin quantifiers in finite models. A survey. 
      

Natomiast w sekcji Truth and Semantics wygłoszono 15 referatów m.in.:
      Ilkka Niiniluoto (Finlandia), Tarski's definition and truth-makers.
      Gabriel Sandu (Finlandia), Truth as a vogue predicate.
      Peter Simons (Anglia), Nominalism, Truth and Languages that Grow.
      Jan Woleński (Polska) ,Aletheia, veritas and truth from Pre-Socratics.
      Paul Horwich (USA), A Minimalist Critique of Tarski on Truth.
      

W sekcji Foundations of mathematics wygłoszono 15 referatów m.in:
      Angus Macintayre, Quantifier elimination in geometrical situations, from real closed fields to rigid analytic spaces.
      Juliet Kennedy (USA), Some Model Theoretic Results Based on Transfer Principles.
      Leszek Pacholski, (Polska) Set contraints in the sense of Tarski.
      Alan Woods (USA), The Pigeon Principle in Bounded Aritmetic and Propositional Calculus.
      Paola D'Aquino (Włochy), Around Quadratic Reciprocity Law in Weak Fragments of Arithemtic.
      

W sekcji trzeciej Philosophical Logic wygłoszono 15 referatów m.in:
      Leo Esakia (USA), Recent Observations Concerning Tarski's Topological Interpretation of the Intuitionistic Calculus.
      M.L. Dalla Chiara (Włochy), An Unsharp Quantum Logic from Quantum Computation.
      Steven Givant (USA), How Tarski and his Students Revolutionized the Theory of Relations.
      Jerzy Perzanowski (Polska), Alfred Tarski and Modal Logic.
      Lesław W. Szczerba (Polska), Natural Geometry.
      Piotr Wojtylak (Polska), Cn-Definitions of Propositional Connectives.
      

W sekcji czwartej Algebra and Logic of Computation również wygłoszono 15 referatów m.in.:
      Andrzej Grzegorczyk (Polska) , Computability without Mathematics.
      Matt Valeriote (Kanada), Decidable Equationally Defined Classes.
      Petre Jipsen (Finlandia), The many descendants of Tarski's Relation Algebras.
      Ivo Düntsch (Irlandia), Algebraic structures for qualitative reasoning.
      Victor Marek (Rosja), Tarski and semantical considerations in Logic Program.
      

Z perspektywy czasu wypada odnotować, iż konferencja ta była miejscem bodaj ostatniego publicznego wystąpienia naszego tragicznie zmarłego kolegi Artura Rojszczaka, który w sekcji Truth and Semantics wygłosił znakomicie przyjęty referat On Philosophical Background of Semantic Definition of Truth.
      

Po raz kolejny wypada mi w podsumowaniu sprawozdania z dużej ważnej imprezy naukowej wyrazić ubolewanie z powodu niskiej frekwencji wśród studentów i młodych pracowników nauki, którzy zdają się nie być nimi zainteresowani. Studenci UW (w liczbie kilkunastu!) pojawili się jedynie przy okazji referatu legendarnego fińskiego logika i filozofa Jaakko Hintikki... podczas gdy w trakcie tej znakomicie zorganizowanej sesji, można było skorzystać z okazji zapoznania się z niemal całą fińską szkołą (Ilkka Niiniluoto, Gabriel Sandu, Joukko V¤¤n¤nen), czy tak znakomitymi logikami jak Steven Givant (m.in. uczeń, przyjaciel i wydawca pism A.Tarskiego), Leo Esakia (bodaj najwybitniejszy z żyjących logików), Paul Horwich, Peter Hayek (wspóltwórcy fuzzy-logic) czy Joachim Lambek twórca gramatyk kategorialnych.
      

Tym razem, wbrew pewnej tradycji, nie będę już ubolewał nad obojętnością mediów wobec tego rodzaju wydarzenia, mimo iż jestem głęboko przekonany, że ogromna większość uczestników tej sesji miało nieporównanie więcej uroku osobistego niż sam Enrique Iglesias i Ricky Martin razem wzięci.

Grzegorz Trela