12.12. PONIEDZIAŁEK
MIEJSCE: Krakowskie Przedmieście 26/28, Stary BUW, sala 205
11.30 - 12.00 Uroczyste rozpoczęcie Konferencji 12.00 – 12.30 Bogusław Wolniewicz
O sensie i znaczeniu zdań
12.30 – 13.00 Adam Nowaczyk
Czy semantyka potrzebuje sytuacji
13.00 – 13.30 Andrzej Biłat
Język jako układ semantyczny
13.30 – 14.00 Piotr Łukowski
Czy logiki niefregowskie to filozofia, czy technologia?
14.00 – 14.30 Przerwa kawowa 14.30 – 15.00 Jan Woleński
Polscy logicy o równoważności i identyczności rozumianych klasycznie
15.00 – 15.30 Edward Nieznański
Identyczność w Ontologii Leśniewskiego i w ontologii Arystotelesa.
15.30 – 16.00 Urszula Wybraniec-Skardowska Znaki identyczności i ich korelaty
16.00 – 16.15 Przerwa kawowa 16.15 - 16.45 Grzegorz Malinowski
Identyczność i wielowartościowość
16.45 – 17.15 Andrzej Wroński
Zasada Fregego i wewnętrzna logika struktur algebraicznych
17.15 – 17.45 Wojciech Dzik
Rozmaitość typów unifikacji logik niefregowskich.
18.00 - … Uroczysta kolacja w Pałacu Staszica
13.12 WTOREK
MIEJSCE: Krakowskie Przedmieście 26/28, PAŁAC KAZIMIERZOWSKI, sala im.
Brudzińskiego
9.00 - 9.30 Jerzy Pogonowski Intuicja matematyczna 9.30 – 10.00 Kazimierz Trzęsicki
Filozofia matematyki a informatyka
10.00 – 10.30 Andrzej Trybulec
Oczywistość, dedukcja naturalna i korelaty semantyczne
10.30 – 11.00 Jan Zygmunt
Otwarte problemy Tarskiego i ich wpływ na rozwój dwudziestowiecznej logiki
11.00 – 11.15 Przerwa kawowa 11.15 – 11.45 Ryszard Wójcicki
Spory pseudo-werbalne
11.45 – 12.15 Andrzej Pietruszczak
Ogólna koncepcja bycia częścią całości. Mereologia a nieprzechodnia relacja bycia częścią.
12.15 – 12.45 Witold Marciszewski
Fizykalizacja języka przez kodowanie arytmetyczne w notacji binarnej
12.45 - 13.15 Przerwa kawowa 13.15 – 13.45 Kordula Świętorzecka
Jedyność i tożsamość Absolutu w Kurta Gödla teorii summum bonum
13.45 -14.15 Piotr Wojtylak
Strukturalna zupełność logik modalnych
14.15 -14.45 Jacek Malinowski
Logika wnioskowań statystycznych 14.45 -15.00 Zakończenie
