W dniach 12-13 grudnia odbyła się konferencja z okazji jubileuszu 70-lecia profesora Mieczysława Omyły. Jubilatowi gratulujemy i składamy życzenia wszystkiego najlepszego.
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 |