Kurzus kódja: FLN 104/b	
Kurzus megnevezése: Logika szeminárium	
Kurzus előadója: Cserne Katalin	
Kurzus helye és ideje: i221 szerda 11.00-12.30	

Kurzus előfeltétele(i): -	
A jegyszerzés módja(i): Házi feladatok és zárthelyi dolgozat.	
Követelmények: Az órákon bevezetett fogalmak és módszerek készség szintű ismerete.	

Kurzus leírása, tematikája:
1.	A logika tárgya. A logikai grammatika és szemantika alapkategóriái.
2.	Extenzionális mondatfunktorok.
3.	Az igazságtáblázatok módszere.
4.	A kijelentéslogika szemantikai felépítése.
5.	Analitikus táblázatok módszere a kijelentéslogikában.
6.	Predikátumok és individuumok.
7.	Arisztotelészi logika.
8.	Változók és kvantorok.
9.	Formalizálási gyakorlatok.
10.	Az azonosságpredikátum.
11.	Az analitikus táblázatok módszerének kiterjesztése.
12.	Gyakorló feladatok.
13.	Zárthelyi dolgozat.

	

Kurzushoz tartozó kötelező irodalom:
Ruzsa - Máté: Bevezetés a modern logikába, Osiris Kiadó, 1997

	

Kurzushoz tartozó ajánlott irodalom:
Copi: Introduction to Logic, Macmillan, 1986