University of Wroclaw

XII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

7-11 maja 2007
Szklarska Poręba

Program:

Uwaga. Symbol (E) przy nazwisku referenta znaczy, że (w razie obecności zainteresowanych gości zagranicznych) referat będzie przedstawiony w języku angielskim. Symbol (P) znaczy, że referat będzie zaprezentowany wyłącznie w języku polskim.

Poniedziałek, 7 maja 2007

Od godziny 14:00 do wieczora rejestracja uczestników w ośrodku „Radość” w Szklarskiej Porębie, ul. Muzealna 2/5.

Wtorek, 8 maja 2007

8:55 – Otwarcie konferencji
Sesja przedpołudniowa
9:00 – Andrzej Indrzejczak (E), Modal hybrid logics, I.
9:45 – Wim Ruitenburg (E), Intuitionistic quantifier elimination, I.
10:30 – Przerwa
11:00 – Anna Pietryga (E), Convention T as a basis of Montague’s semantics.
11:45 – ks. Marcin Tkaczyk (E), Towards the logic of empirical time.
12:30 – Tomasz Albiński (E), An antirealistic character of D. Lewis’ conception of possible worlds.
Sesja popołudniowa
15:00 – Andrzej Indrzejczak (E), Modal hybrid logics, II.
15:45 – Piotr Kulicki (E), Remarks on AGM (Odwrócenie zasady odzyskiwania w teorii zmiany przekonań AGM).
16:30 – Przerwa
17:00 – Marek Magdziak (P), Filozoficzne zastosowania logik multimodalnych, I (Philosophical applications of multimodal logics, I).
17:45 – Marek Lechniak (P), Problemy w filozoficznej interpretacji relacji alternatywności w semantyce światów możliwych (Problems concerning philosophical interpretations of the alternativeness relation in the possible worlds semantics).
18:25 – Janusz Kaczmarek (P), Searle'owskie ujęcie sądu w strukturach CS i PTS.

Środa, 9 maja 2007

Sesja przedpołudniowa
9:00 – Andrzej Indrzejczak (E), Modal hybrid logics, III.
9:45 – Wim Ruitenburg (E), Intuitionistic quantifier elimination, II.
10:30 – Przerwa
11:00 – Katarzyna Budzyńska i Magdalena Kacprzak (E), How to change somebody’s mind? Modelling a process of convincing.
11:45 – Piotr Wilczek (E), Quantum logics with modal operators.
12:15 – Marek Magdziak (P), Filozoficzne zastosowania logik multimodalnych, II (Philosophical applications of multimodal logics, II).
Popołudnie wolne

Czwartek, 10 maja 2007

Sesja przedpołudniowa
9:00 – Andrzej Indrzejczak (E), Modal hybrid logics, IV.
9:45 – Tomasz Połacik (E), Back and forth between Kripke models.
10:30 – Przerwa
10:50 – Wojciech Dzik (E), Unification in some substructural logics related to FL_ew.
11:35 – Dariusz Surowik (E), A temporal analysis of selected data structures.
12:10 – Janusz Czelakowski (E), Logic and the commutator.
Sesja popołudniowa
15:00 – Marek Magdziak (P), Filozoficzne zastosowania logik multimodalnych, III (Philosophical applications of multimodal logics, III).
15:45 – Zbigniew Bonikowski i Urszula Wybraniec-Skardowska (P), O nieostrości i zbiorach nieostrych (On vagueness and vague sets).
16:30 – Przerwa
17:00 – Piotr Błaszczyk (P), O aksjomacie Cantora-Dedekinda (On Cantor-Dedekind’s axiom).
17:45 – Eugeniusz Wojciechowski (P), Bezkwantyfikatorowy rachumek nazw z zasada ektensjonalności (On the quantifier-free calculus of names with the principle of extensionality).
18:20 – Jakub Krysiewicz (P), Założeniowe systemy automatycznego dowodzenia twierdzeń (On suppositional systems of automated system-proving).

Piątek, 11 maja 2007

Sesja przedpołudniowa
9:00 – Zbigniew Tworak (P), O samoodniesieniu (On self- reference).
9:40 – Jerzy Pogonowski (P), Szczęściarze epistemiczni (Epistemic Wizards).
10:30 – Przerwa
11:00 – Mieczysław Omyła (P), Deskrypcje w logice niefregowskiej (Descriptions in the non-Fregean logic).
11:50 – Krzysztof Szymanek (P), Co to jest wnioskowanie? (What is inference?)
12:40 – Zamknięcie konferencji