From Zakład Logiki Stosowanej

Spis treści 1 Metalogika 1.1 Prezentacje 2 Tematy esejów zaliczeniowych 2.1 Eseje 2020/2021 2.2 Eseje 2018/2019

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line

---

[edytuj] Metalogika

Wykład fakultatywny, kognitywistyka UAM.

Semestr zimowy 2018-2019, Metalogika.

Wtorek, 15:00-16:30, sala 305. [W roku ak. 2020-2021 MS Teams].

Stary syllabus dostępny jest tutaj.

Nowy sylabus dostępny jest tutaj: Nowy sylabus (zawiera propozycje tematów esejów zaliczeniowych).

[edytuj] Prezentacje

• Geneza metalogiki

• Pojęcie nieskończoności

• Funkcje rekurencyjne

• Arytmetyzacja składni

• Twierdzenia metalogiczne

• Rozstrzygalność

• Logiki abstrakcyjne

• Twierdzenia Lindströma

• Uogólnione kwantyfikatory

• Uogólnione kwantyfikatory a sylogistyka

[edytuj] Tematy esejów zaliczeniowych

[edytuj] Eseje 2020/2021

• Akcja w logice, czyli logika w akcji

• Logika niefregowska

• Logika modalna - od sylogizmów Arystotelesa do teorii gier

• Test Turinga - czym jest, jakie są jego wady oraz alternatywne propozycje?

• Historia wybranych systemów logik nieklasycznych

• Intuicje filozoficzne logiki trójwartościowej Jana Łukasiewicza

• Co to znaczy rozumieć?

• Spojrzenie na semiotykę w ujęciu Kazimierza Ajdukiewicza

• Nominalizm a platonizm w sporze o istnienie bytów matematycznych

• Test Turinga - perspektywa historyczna i współczesne zastosowania

• Inteligencja wieloraka Gardnera a test Turinga

• Przegląd wybranych paradoksów matematycznych (i nie tylko)

• Luźny esej o dydaktyce matematyki ze szczyptą pojęcia rozumienia

[edytuj] Eseje 2018/2019

• Test Turinga

• Co to znaczy rozumieć

• Inner cross-relations of Curry-Howard isomorphism

• Intuicje filozoficzne związane z powstaniem logiki trójwartościowej Jana Łukasiewicza

• Paradoks Banacha-Tarskiego

• Zarys i problemy trójwartościowej logiki Łukasiewicza Ł3

• Implementacja formalizmów logicznych do programów komputerowych oraz weryfikacja poprawności działania systemów za pomocą metod logicznych

• Test Turinga – czym jest i jakie są jego wady?

• Czy test Turinga jest dobrym narzędziem do rozpoznawania silnej sztucznej inteligencji?

• Test Turinga – charakterystyka

• Zeno’s paradoxes and the birth of supertasks

• Krótkie wprowadzenie do trzech wybranych systemów logik nieklasycznych

• Czy metafora na zawsze jest metaforą? O trudności w odróżnianiu wyrażeń metaforycznych od dosłownych

• Przegląd wybranych kierunków w filozofii matematyki z przełomu XIX/XX wieku

• Metody usuwania antynomii logicznych

• Wybrane fragmenty z historii logiki temporalnej

• Test Turinga, czyli o inteligencji maszyn