Uniwersytet Warszawski Instytut Filozofii

XVIII Warsztaty Logiczne

„Logika i Poznanie” – Pamięci Marcina Mostowskiego

Jachranka, 23 – 28 września 2018 r.

• Strona GłównaStrona główna — informacje ogólne
• ProgramProgram warsztatów — plan kursów i ich programy
• KomitetKomitety Programowy i Organizacyjny warsztatów; adresy kontaktowe
• RejestracjaRejestracja na warsztaty; terminy, dealine'y
• ZakwaterowanieMiejsce warsztatów

Tematyka:

Tematyka warsztatów skupia się na zagadnieniach logicznych oraz ich zastosowaniach w naukach o poznaniu i lingwistyce.

Lista potwierdzonych wykładowców:

• Paula Quinon (University of Lund) – Numerical cognition
• Marek Czarnecki (IF UW) – Teza o wyuczalności
• Michał Wrocławski (IF UW) – Reprezentacje liczb a obliczalność funkcji
• Mateusz Łełyk (IF UW) oraz Bartosz Wcisło (MIM UW) – Aksjomatyczne teorie prawdy
• Damian Niwiński (MIM UW) – Entropia obliczeń
• Przemysła Wałęga (University of Oxford, IF UW) – Logiki interwałowe
• Michał Tomasz Godziszewski (IF UW) – Metoda forcingu i jej zastosowania
• Michał Tomasz Godziszewski (IF UW), Dariusz Kalociński (IF UW), Tomasz Steifer (IPPT PAN) – Problem Posta i metoda priorytetu
• Rafał Urbaniak (CLPS U. Gent, IFSiD UG) – Niedeterministyczna logika dowodliwości i klasycznych wartości logicznych
• Maciej Malicki (SGH) – Behawioryzm w funkcjonalnym modelu umysłu
• Wojciech Rostworowski (IF UW), Katarzyna Kuś (IF UW), Bartosz Maćkiewicz (IF UW) – Semantyka eksperymentalna i perspektywy zastosowania okulografii
• Jakub Szymanik (ILLC UvA) – Ease of learning explains linguistic universals
• Jerzy Tyszkiewicz (MIM UW) – Excel jak logika

Siatka zajęć:

Niedziela, 23 września

• 16⁰⁰ – 16⁴⁵ Paula Quinon: Numerical cognition
• 17⁰⁰ – 17⁴⁵ Paula Quinon: Numerical cognition
• 18⁰⁰ – 18⁴⁵ Marek Czarnecki: Teza o wyuczalności
• 19⁰⁰ – 19⁴⁵ Marek Czarnecki: Teza o wyuczalności

Poniedziałek, 24 września

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Michał Wrocławski: Reprezentacje liczb a obliczalność funkcji
• 11⁰⁰ – 11⁴⁵ Michał Wrocławski: Reprezentacje liczb a obliczalność funkcji
• 12⁰⁰ – 12⁴⁵ Jerzy Tyszkiewicz: Excel jak logika
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 14¹⁵ – 15⁰⁰ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 15⁰⁰ – 17⁰⁰ przerwa obiadowa
• 17⁰⁰ – 17⁴⁵ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 18⁰⁰ – 18⁴⁵ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)
• 19⁰⁰ – 19⁴⁵ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)

Wtorek, 25 września

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 11⁰⁰ – 11⁴⁵ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 12⁰⁰ – 12⁴⁵ Maciej Malicki: Behawioryzm w funkcjonalnym modelu umysłu
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ Jakub Szymanik: Ease of learning explains semantic universals
• 14⁰⁰ – 15⁰⁰ Jakub Szymanik: Ease of learning explains semantic universals
• 15⁰⁰ – 17⁰⁰ przerwa obiadowa
• 17⁰⁰ – 18⁰⁰ Sesja wspomnieniowa poświęcona Marcinowi Mostowskiemu

Środa, 26 września

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Przemysław Wałęga: Logiki interwałowe
• 11⁰⁰ – 11⁴⁵ Przemysław Wałęga: Logiki interwałowe
• 12⁰⁰ – 12⁴⁵ Damian Niwiński: Entropia obliczeń
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ Damian Niwiński: Entropia obliczeń
• 14¹⁵ – 15⁰⁰ Damian Niwiński: Entropia obliczeń
• 15⁰⁰ – 17⁰⁰ przerwa obiadowa
• 17⁰⁰ – 17⁴⁵ Damian Niwiński: Entropia obliczeń
• 18⁰⁰ – 18⁴⁵ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)
• 19⁰⁰ – 19⁴⁵ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)

Czwartek, 27 września

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Michał Tomasz Godziszewski: Metoda forcingu i jej zastosowania
• 11⁰⁰ – 11⁴⁵ Michał Tomasz Godziszewski: Metoda forcingu i jej zastosowania
• 12⁰⁰ – 12⁴⁵ Rafał Urbaniak: Niedeterministyczna logika dowodliwości i klasycznych wartości logicznych
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)
• 14¹⁵ – 15⁰⁰ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)
• 15⁰⁰ – 17⁰⁰ przerwa obiadowa
• 17⁰⁰ – 17⁴⁵ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 18⁰⁰ – 18⁴⁵ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)
• 19⁰⁰ – 19⁴⁵ Mateusz Łełyk, Bartosz Wcisło: Aksjomatyczne teorie prawdy (tutorial)

Piątek, 28 września

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Michał Tomasz Godziszewski: Metoda forcingu i jej zastosowania
• 11⁰⁰ – 11⁴⁵ Michał Tomasz Godziszewski: Metoda forcingu i jej zastosowania
• 12⁰⁰ – 12⁴⁵ Wojciech Rostworowski, Katarzyna Kuś i Bartosz Maćkiewicz: Semantyka eksperymentalna i perspektywy zastosowania okulografii
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ Michał Tomasz Godziszewski, Dariusz Kalociński, Tomasz Steifer: Problem Posta i metoda priorytetu (tutorial z teorii obliczeń)

Uniwersytet Warszawski Instytut Filozofii