Michał Lipnicki - Dydaktyka

From Zakład Logiki Stosowanej

CV | Badania | Dydaktyka | Publikacje | Teksty on line

Spis treści 1 Logika (I rok Koreanistyki) 2 Logika 3 Wprowadzenie do buddyzmu 4 Naukoznawstwo 5 Refleksja logiczna Orientu i logika Zachodu

Logika (I rok Koreanistyki)

• Sylabus

• 1. Wprowadzenie
• 2. Klasyczny Rachunek Zdań
  • Zadanie domowe na 5.11
• 3. Wnioskowania
• 4. Wprowadzenie do KRP (zadanie domowe na slajdach 8 i 9)
  • 5 Pierwotne reguły wnioskowania w KRP
• 4. Wynikanie logiczne w KRP (zadanie domowe na 7.01 na slajdzie 24)
• 5. Ćwiczenia

---

Archiwum

Logika

Klasyczny Rachunek Zdań

• Wprowadzenie
• Język KRZ
• System założeniowy

Klasyczny Rachunek Predykatów

• Wprowadzenie do KRP

Wprowadzenie do buddyzmu

Naukoznawstwo

• Sylabus - opis kursu

• Wprowadzenie
• Metody naukowe
• Klasyfikacja nauk; postęp w nauce
• Logiczna teoria języka
• Twierdzenia, prawa i teorie naukowe
• Wnioskowanie
• Uzasadnianie twierdzeń w naukach formalnych i empirycznych
• Własności systemów dedukcyjnych
• Rodzaje oraz warunki poprawności definicji; klasyfikacja
• Eksperyment, pomiar, idealizacja
• Wyjaśnianie praw i faktów szczegółowych; interpretacja humanistyczna
• Pytania; granice nauki

Refleksja logiczna Orientu i logika Zachodu

• Sylabus

• Wprowadzenie historyczne: Wedy, Brahmany i Upaniszady; wczesnoindyjskie poglądy na język
• Początki refleksji logicznej w Indiach
• Filozofia realistycznej szkoły njaja