Kurzus kódja:  FL 216a	
Kurzus megnevezése: Logika szeminárium	
Kurzus előadója: Madarász Tiborné ny. doc.	
Kurzus helye és ideje:  i208, hétfő 14-15:30	

Kurzus előfeltétele(i): -	
A jegyszerzés módja(i): gyakorlati jegy	
Követelmények:	

Kurzus leírása, tematikája:
A kurzus célkitűzése:
A klasszikus elsőrendű logika szemantikai rendszerének felépítése. A következtetés fogalmának és a hozzá kapcsolódó fogalmak filozófiai és logikai  analízisét elősegítő ismeretek megalapozása. Logikai technikák begyakorlása (formalizálások, következtetések, érvelések helyességének vizsgálata). 
Főbb témák: 
1. A logika tárgya. Történeti áttekintés a logika tudományának kialakulásáról, 
	fejlődéséről.										2 ó
2. A logikai grammatika alapfogalmai, alap- és funktorkategóriák				2 ó
3. Szemantikai alapfogalmak. Faktuális értékek. A jelentés fogalma. extenzionalitás
	és intenzionalitás.									2 ó
4. Extenzionális mondatfunktorok (igazságfunktorok): negáció, konjunkció, alternáció,
	kondicionális és bikondicionális. A felsorolt mondatfunktorok törvényei, 
	igazságfeltételük.  Igazságfüggvények.						4 ó
5. A következményreláció fogalom szabatos definíciója, törvényei a nulladrendű 
	logikában.										2 ó
6. A kvantifikáció elmélet alapfogalmai: egy- és többargumentumú predikátumok.
	Nevek (individuális terminusok). Változók és kvantorok.				2 ó
7. Nevek és predikátumok szemantikai értékei.  Az interpretáció fogalma, a 
	változók értékelése. A kvantifikáció alapvető törvényei.				2 ó
8. A kategorikus szillogizmusok rendszere. Venn-diagrammok.				2 ó
9. Centrális szemantikai fogalmak: kielégíthetőség, érvényesség, következmény.
	A következményreláció  törvényei az elsőrendű logikában.				2 ó
10. Az azonosság fogalma és logikai törvényei. A deskripció. Alkalmazások.		2 ó
11. A következtetés ellenőrzésének módszerei. 						2 ó
12. Az elsőrendű formalizált nyelv  szemantikai rendszere. (Összefoglalás)		2 ó
13. Kitekintés az intenzionális logikára. Modális alapfogalmak: szükségszerű,
	lehetséges, kötelező, megengedett, stb.  Lehetséges világok. A modális
	szavak közötti kapcsolatok. Alaptörvények.						4 ó
								 	Összesen	30 óra

Kurzushoz tartozó kötelező irodalom:

Madarászné-Pólos-Ruzsa: A logika elemei. OSIRIS, 1999
Ruzsa-Máté: Bevezetés a modern logikába. OSIRIS 1997

Kurzushoz tartozó ajánlott irodalom: