Kurzus kódja: FLN-300.16, FL-300.16, P/FIL/LOG-117	
Kurzus megnevezése: Logikatörténet 3. (A logika története Boole-től Churchig)	
Kurzus előadója: Máté András docens	
Kurzus helye és ideje: Sz 16:15-17:45, MUK i/226	

Kurzus előfeltétele(i): FLN-105 Logika	
A jegyszerzés módja(i): Előadás a vizsgaidőszakban valamilyen kapcsolódó témából	
Követelmények: Részvétel az órai munkában a források olvasása alapján, részvétel a többi hallgató előadásának vitájában.	

Kurzus leírása, tematikája:
1.	A matematika megalapozásának programja; matematikai és filozófiai motívumok. Cantor halmazelmélete.
2.	Boole logikai algebrája 
3.	Az algebrai logika további fejlődése: de Morgan, Venn, Schröder, Peirce.
4.	Frege I. A Begriffsschrift logikája: újdonságok és problémák.
5.	Frege II. A logicista program és Az aritmetika alapjai.
6.	Frege III. A Sinn--Bedeutung–elmélet és motívumai. 
7.	Frege IV. A Grundgesetze logikája és számkonstrukciója. A konzisztencia problémája.
8.	Számok és logika másképpen: Dedekind, Peano. 
9.	Russell I.: Jelentéselmélet, viszony Fregehez.
10.	Russell II.: A Principia, a logicizmus új alakja.
11.	Hilbert programja éd filozófiája
12.	Ramsey logicizmusa
13.	A Bécsi Kör matematika- és logikafelfogása
14.	A harmincas évek metalogikai eredményei: Gödel, Tarski, Church.
15.	Tarski: az igazság szemantikai felfogása

Kurzushoz tartozó kötelező irodalom (általában részletek):

1.	Boole: An Investigation of the Laws of Thought …
2.	Cantor: "Végtelenség a matematikában és a filozófiában" (Filozófiai Figyelő 88/4).
3.	Frege: Logika, szemantika, matematika; Az aritmetika alapjai; Logikai vizsgálódások.
4.	Russell: „A denotálásról”
5.	Russell: „A típuselméletre alapozott matematikai logika”
6.	Ramsey: Philosophical papers
7.	Hilbert: „Über das Unendliche”
8.	Carnap: „Filozófia és logikai szintaxis”, „A régi és az új logika”
9.	Tarski: Bizonyítás és igazság

Kurzushoz tartozó ajánlott irodalom:
Kneale & Kneale: A logika módszerei (Gondolat, 1984)
Máté András: „A logika története”, in: Ruzsa-Máté: Bevezetés a modern logikába (Osiris, 1997), elérhető lesz a honlapomon is (philosophy.elte.hu/mate)