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

• 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