A timetable (as of October 1)
Oct. 4 (Saturday)
11:30-12:50 Session I Discussion 50 Years of Logic in Poland (Chair: Andrzej Grzegorczyk and Wojciech Buszkowski)
Introduction: Ryszard Wójcicki;
Comments and contribiutions:
Roman Murawski and Jerzy Pogonowski, Logical Investigations at the University of Poznań in 1945-1955;
Zofia Adamowicz, 50 years of Polish logic differently. Comment to the Article by R. Wójcicki.
13:00-13:50 Session II Selected Issues (Chair and introduction: Andrzej Salwicki)
Contributed papers:
Janusz Ciuciura, Labelled Tableaux for D2;
Robert Kublikowski, Language, vagueness and definition;
Bożena Staruch and Bogdan Staruch, First order theories of partial models.
14:15 Lunch
15:30-16:30 Session III Logic of Belief (Chair: Jacek Malinowski)
Krister Segerberg, The Modal Logic of Belief Revision;
Comments and contributed papers:
Marek Lechniak, J. Łos's System and Contemporary Logics of Belief.
16:30-18:15 Session IV Intensional Logic (Chair:Andrzej Wiśniewski)
Jens Erik Fenstad, The Necessity of Meaning;
Grzegorz Malinowski, Inferential Intensionality;
Comments and contributed papers:
Urszula Wybraniec-Skardowska, Syntactic and Semantic Notions of Sense.
18:15 Coffee break
18:45-20:00 Session V Algebraic Logic (Chair and introduction: Roman Murawski)
Claudia Casadio, An Algebraic Approach to Quantification;
Janusz Czelakowski, An Algebraic Treatment of Infinitistic Definitions;
Aleksandra Kiślak-Malinowska, Free pregroups as a tool for parsing;
Siegfried Gottwald, Ways to form set theoretic universes of fuzzy sets.
20:15 Dinner
Oct. 5 (Sunday)
7:30-8:30 Breakfast
8:45 Departure by bus to Warsaw
10:15-11:30 Official opening, The Senate Hall of Warsaw University (Chair: Jerzy Pelc).
11:30-12:30 Get together
12:30-14:00 Session VI Invited lectures (Chair: Jerzy Pelc)
Joachim Lambek, Topos methods for establishing intuitionistic principles;
Dagfinn Follesdal, Themes from Twardowski.
14:30-16:00 Visiting Royal Castle
18:30 Return to Mądralin by bus
19:30 Dinner
20:15-21:30 Session VII Logic of Scientific Knowledge (Chair: Maciej Kandulski)
Vincent F. Hendricks, The Convergence of Scientific Knowledge;
Comments and contributed papers:
Andrzej Grzegorczyk, Undecidability without Arithmetisation;
Paweł Kawalec, Scientific Knowledge, Epistemology and Convergence.
A comment on Vincent Hendricks' paper The Convergence of Scientific Knowledge;
Anna Pietryga, Logical Values after Duhem.
Oct. 6 (Monday)
7:45-8:45 Breakfast
9:00-11:30 Session VIII Information Logics (Chair: Zdzisław Pawlak)
Jon Michael Dunn, The Duality Between Information and Computation;
Ewa Orłowska, Information Logics: a modal approach to incompleteness and uncertainty of information;
Comments and contributed papers:
Grażyna Mirkowska and Andrzej Salwicki, Logic as a tool for specification and verification of software;
Andrzej Wiśniewski, Socratic Proofs.
11:30 Coffee break
12:00-13:00 Session IX Categorial Grammar (Chair and introduction: Joachim Lambek)
Contributed papers:
Maria Bulińska, The Pentus Theorem for the Lambek Calculus with Nonlogical Axioms;
Maciej Farulewski, On the finite models of Lambek Calculus;
Maciej Kandulski, Derived tree languages of categorial grammars.
14:00 Closing and Lunch
last modfied 1.10.2003; designer and webmaster: Krzysztof Pszczola
