Site programming by Marcin Junczys-Dowmunt



 
 
 

Jerzy Pogonowski - Logika Zachodu

From Zakład Logiki Stosowanej

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
  • Metamatematyka: wybrane twierdzenia
  • 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

Dodatki