Konferencja z okazji jubileuszu 70-lecia Profesora Mieczysława Omyły

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 wielowa
rtoś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