From Zakład Logiki Stosowanej

Spis treści 1 Logika Matematyczna 1.1 Semestr zimowy 2014-2015 (Klasyczny Rachunek Zdań) 1.1.1 Prezentacje 1.1.2 Dodatki 1.2 Semestr letni 2014-2015 (Klasyczny Rachunek Predykatów) 1.2.1 Prezentacje 1.2.2 Dodatki 1.3 Sprawdziany 2014-2015 1.4 Rok akademicki 2013-2014 1.4.1 Zadania domowe 2013-2014 1.4.2 Sprawdziany 2013-2014 1.5 Przykładowe zadania egzaminacyjne (z rozwiązaniami) 1.6 Stare zadania egzaminacyjne 1.7 Syllabus 2 Logika współczesna (5 wykładów dla WSD) 3 Funkcje rekurencyjne 4 Semiotyka logiczna 4.1 Pragmatyka logiczna 4.2 Dodatki 5 Logika (kurs dla japonistek UAM) 6 Metodologia nauk (kurs dla etnolingwistek UAM)

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

---

Logika Matematyczna

Semestr zimowy 2014-2015 (Klasyczny Rachunek Zdań)

Prezentacje

• Wprowadzenie.
• Semantyka KRZ.
• Aksjomatyczne ujęcie KRZ.
• Dowody założeniowe w KRZ.
• Dowody rezolucyjne w KRZ.
• Tablice analityczne dla KRZ.

Dodatki

• Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ.
• Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ.
• Dodatek 3. Twierdzenia o operacjach konsekwencji.
• Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ.
• Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9.
• Dodatek 6. Trafność i pełność metody rezolucji w KRZ.
• Dodatek 7. Trafność i pełność metody TA w KRZ. Przykłady. Zadania.

Semestr letni 2014-2015 (Klasyczny Rachunek Predykatów)

Prezentacje

• Semantyka KRP (1).
• Semantyka KRP (2).
• Semantyka KRP (3). Zadania.
• Monadyczny KRP.
• Krótko o relacjach.
• Tablice analityczne dla KRP (1).
• Tablice analityczne dla KRP (2).
• Aksjomatyczne ujęcie KRP.
• Dowody założeniowe w KRP.
• Unifikacja i rezolucja w KRP.

Dodatki

• Dodatek 8. Dowody twierdzeń dotyczących semantyki KRP.
• Dodatek 9. Rozwiązania zadań z semantyki KRP.
• Dodatek 10. Trafność i pełność metody TA w KRP. Przykłady. Zadania.
• Dodatek 11. Zbiory, relacje, funkcje. Pojęcie nieskończoności.
• Dodatek 12. Własności relacji.
• Dodatek 13. Ważne typy relacji.
• Dodatek 14. Liczby kardynalne.
• Dodatek 15. Aksjomaty teorii mnogości Zermelo-Fraenkla.
• Dodatek 16. Wybrane prawa rachunku zbiorów.
• Dodatek 17. Wybrane prawa rachunku relacji.
• Dodatek 18. Ćwiczenia lingwistyczne dot. rachunku relacji.

Sprawdziany 2014-2015

• 7 stycznia 2015.
• 14 stycznia 2015.
• 21 stycznia 2015.

Rok akademicki 2013-2014

Zadania domowe 2013-2014

• 2 października 2013.
• 9 października 2013.
• 16 października 2013.
• 30 października 2013.
• Dwa przykłady.
• 27 listopada 2013.
• 18 grudnia 2013.
• 8 stycznia 2014.
• 15 stycznia 2014.
• 22 stycznia 2014.
• 23 kwietnia 2014.
• 21 maja 2014.
• 28 maja 2014.

Sprawdziany 2013-2014

• 20 listopada 2013.
• 8 stycznia 2014.
• 16 kwietnia 2014.
• 21 maja 2014.

Przykładowe zadania egzaminacyjne (z rozwiązaniami)

• Językoznawstwo i nauki o informacji (2014).
• Językoznawstwo i nauki o informacji (2013).
• Językoznawstwo i nauki o informacji (2012).
• Językoznawstwo i nauki o informacji (2008).
• Językoznawstwo i informacja naukowa (2007).
• Językoznawstwo i informacja naukowa (2005).
• Językoznawstwo i informacja naukowa (2004).

Stare zadania egzaminacyjne

• Etnolingwistyka (2008).
• Logika Jamesa Bonda. Co wynika logicznie z tego, że drink jest wstrząśnięty, ale nie zmieszany?
• Językoznawstwo i informacja naukowa (2007): zestawy z zajęć przygotowujących do egzaminu.
• Koreanistyka (poprawkowy, 2004).
• Zadania egzaminacyjne z Logiki Matematycznej, 2002.
• Zadania egzaminacyjne z Logiki, 2002.
• Zadania semestru zimowego 2000-2001 i zadania egzaminacyjne 2001.

Syllabus

• Syllabus

Logika współczesna (5 wykładów dla WSD)

Funkcje rekurencyjne

• Intuicje dotyczące obliczania.
• Pojęcie nieskończoności - różne definicje.
• Nieskończona złożoność strukturalna - fraktale.
• Funkcje rekurencyjne i maszyny Turinga.
• Reprezentowalność w PA. Arytmetyzacja składni.
• Twierdzenia: Gödla, Rossera, Löba, Tarskiego.
• Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha.
• Dodatek 1. Maszyny logiczne Smullyana.
• Dodatek 2. O rachunku kombinatorów.
• Dodatek 3. Konsekwencje Bereszit 2:16.

Semiotyka logiczna

Pragmatyka logiczna

• Wprowadzenie.
• Wspominki z kursu logiki.
• Antynomie, paradoksy, sofizmaty.
• Argumentacja.
• Wnioskowania indukcyjne.
• Uczciwe chwyty w argumentacji.
• Nieuczciwe chwyty w argumentacji.
• Perswazja.
• Manipulacja.
• O logice epistemicznej.
• Systemy przekonań.

Dodatki

• Dodatek 1. Zalecenia Subtelnego Gdańszczanina.
• Dodatek 2. Uogólnione kwantyfikatory.
• Dodatek 3. Uogólnione kwantyfikatory a sylogistyka.
• Dodatek 4. Dowodliwość a prawdziwość. Minijęzyk Smullyana.
• Dodatek 5. Semiotyczne aspekty genetyki molekularnej.
• Dodatek 6. Dialog czy sprzeczka?
• Dodatek 7. Po co metalogika lingwistom?
• Dodatek 8. W sprawie programu badawczego lingwistyki formalnej.
• Dodatek 9. Ile jest języków?
• Dodatek 10. Uwagi o metajęzyku.
• Dodatek 11. O pojęciu relacji językowej.
• Dodatek 12. Logiczna rekonstrukcja typologii strukturalnej.
• Dodatek 13. O aksjomatycznych opisach języka naturalnego.
• Dodatek 14. Tajemniczy język ningueno.
• Dodatek 15.1. Triada hipotaktyczna 1. An axiom system for hypotaxis (1)
• Dodatek 15.2. Triada hipotaktyczna 1. An axiom system for hypotaxis (2)
• Dodatek 16. Triada hipotaktyczna 2. Grundideen der kombinatorischen Semantik.
• Dodatek 17.1. Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (1)
• Dodatek 17.2. Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (2)
• Dodatek 18. Set-theoretical approach to general systems theory.
• Dodatek 19. Semantic engineering.
• Dodatek 20. Reguła rezolucji i tablice analityczne u Lewisa Carrolla.
• Dodatek 21. Linki do stron o: critical thinking, fallacies, informal logic.

Logika (kurs dla japonistek UAM)

• Semantyka KRZ.
• Semantyka KRZ. Analiza przykładów.
• Dowody założeniowe w KRZ.
• Tablice analityczne dla KRZ.
• Semantyka KRP.
• Tablice analityczne dla KRP.
• Argumentacja.

Metodologia nauk (kurs dla etnolingwistek UAM)

• Wykład 20 X 2007. Wprowadzenie do problematyki naukoznawstwa.
• Wykład 20 X 2007. Procedury poznawcze I:
  algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe,
  struktury relacyjne i izomorfizmy.
• Wykład 20 X 2007. Zadania. Samodzielna praca studentów.
• Wykład 3 XI 2007. Procedury poznawcze II:
  definicje, pytania i odpowiedzi, wnioskowania erotetyczne.
• Wykład 3 XI 2007. Procedury poznawcze III:
  uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne,
  prawa nauk empirycznych, argumentacja, spór, dyskusja.
• Wykład 3 XI 2007. Zadania. Samodzielna praca studentów.
• Wykład 17 XI 2007. Procedury poznawcze IV:
  refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni,
  systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne.
• Wykład 17 XI 2007. Procedury poznawcze V:
  granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej,
  ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka.