12.12. PONIEDZIAŁEK MIEJSCE: Krakowskie Przedmieście 26/28

12.12. PONIEDZIAŁEK
MIEJSCE: Krakowskie Przedmieście 26/28, Stary BUW, sala 205
11.30 - 12.00
12.00 – 12.30
Uroczyste rozpoczęcie Konferencji
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
14.30 – 15.00
Przerwa kawowa
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
16.15 - 16.45
Przerwa kawowa
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
11.15 – 11.45
Przerwa kawowa
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
13.15 – 13.45
Przerwa kawowa
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