Kurzus kódja: FL-216d	
Kurzus megnevezése: Logika szeminárium	
Kurzus előadója: Máté András	
Kurzus helye és ideje: péntek 8:15- 9:45, I/228	

Kurzus előfeltétele(i): -	
A jegyszerzés módja(i): Házi feladat formájában adok fel gyakorlatokat. A megoldások alapján megajánlható jegy javítására beszámoló formájában van lehetőség.	
Követelmények: Az órán bemutatott formalizálási és következtetés-ellenőrzési eljárások elsajátítása, az anyaghoz kapcsolódó gyakorló feladatok megoldása.	

Kurzus leírása, tematikája:
1. A logika tárgya. A következtetés fogalma. Logika és nyelv. 
2. A nyelvi kifejezések logikai típusai. Alap- és funktorkategóriák 
3. Igazságértékek, szemantikai értékek, extenzionalitás.
4. Igazságfunktorok.
5. Predikátumok és individuális terminusok. 
6. Változók és kvantorok. 
7. Azonosság. 
8. A következtetések ellenőrzésének módszerei. 

Kurzushoz tartozó kötelező irodalom:
 Madarászné-Pólos-Ruzsa: A logika elemei, Osiris Kiadó, 
vagy	Pólos-Ruzsa: Bevezetés a logikába, Tankönyvkiadó (bölcsészkari jegyzet), 
vagy 	Ruzsa-Máté: Bevezetés a modern logikába, Osiris Kiadó

Kurzushoz tartozó ajánlott irodalom:
Ruzsa: Klasszikus, modális és intenzionális logika, Akadémiai, 1984. 
              Gabbay - Guenthner: Handbook of Philosophical Logic I.. Reidel, 1985.