A kurzus kódja: FL-350.32, FLN-350.32	
A kurzus megnevezése: Intuicionista logika	
	
A kurzus előadója: Csaba Ferenc	
A kurzus helye és ideje: i226, szerda 12.00-13.30	

A kurzus előfeltétele(i): logika vizsga	
A jegyszerzés módja(i): beszámoló	
Követelmények: óralátogatás, aktív részvétel	

A kurzus rövid leírása: 

Az intuicionista logika kitűntetett helyet foglal el a nemklasszikus logikák között: a logikai konstansok „használatára” vonatkozó szabályok „a lehető legközelebb” vannak a szokásosakhoz, miközben a kizárt harmadik elve – a konstruktív interpretáció kerékkötője és a platonista szemantika kulcsa – nem érvényes.
1.	Brouwer nézetei: a szomorú világról, az ember bukásáról – valamint tudományról, logikáról, matematikáról
2.	Kalkulusok: természetes levezetésen alapuló, Hilbert-Frege-stílusú, illetve szekvenskalkulus. A klasszikus és az intuicionista logika közötti választóvonal szintaktikai megrajzolása
3.	Szemantika Kripke és Beth nyomán. Helyesség és teljesség
4.	A logikai konstansok strukturalista értelmezése. A strukturalista és az intuicionista értelmezés „ekvivalenciája”
5.	Algebrai szemantika: Boole- és Heyting-algebrák
6.	Intuicionista logika és modális logika
7.	A kiválasztási axióma és a kizárt harmadik elve
8.	Kedvcsináló az intuicionista matematikához: nemklasszikus alapelvek, „megdöbbentő” tételek

Irodalom: 
Az órákra kiadott handoutok, és
Van Dalen: Intuitionist Logic

Ajánlott irodalom:
Kripke: Semantical analysis of intuitinionist logic
Dummett: Elements of Intuitionism
Brouwer: Cambridge Lectures