Site programming by Marcin Junczys-Dowmunt



 
 
 

Jerzy Pogonowski - Logika Zachodu

From Zakład Logiki Stosowanej

Wersja z dnia 08:07, 21 sty 2012; Pogonowski (Dyskusja | wkład)
(różn) ← Poprzednia wersja | Aktualna wersja (różn) | Następna wersja → (różn)

Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 323B.

Plan wykładów

  • Antynomie, paradoksy, sofizmaty
  • Historia logiki Zachodu do wieku XIX
  • Historia logiki Zachodu: wiek XIX i XX
  • Czym jest współczesny Elementarz Logiczny?
  • Wybrane metody dowodowe
  • Logiki nieklasyczne
  • Metalogika: ujęcie algebraiczne
  • Metalogika: ujęcie semantyczne
  • Teoria modeli
  • Teoria mnogości
  • Teoria rekursji
  • Teoria dowodu
  • Pragmatyka logiczna
  • Ogólna metodologia nauk
  • Logika w informatyce