komplett_syllabus_20.. - ELTE BTK Filozófia Intézet
komplett_syllabus_20.. - ELTE BTK Filozófia Intézet
komplett_syllabus_20.. - ELTE BTK Filozófia Intézet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Logika szeminárium<br />
FL–216<br />
Szécsényi Tibor adjunktus<br />
1. Következtetések és nyelvi feltételeik<br />
A következtetések kapcsolata a természetes nyelvek kommunikatív és<br />
kognitív funkciójával. Kommunikatív nyelvek és formális nyelvek. Véges módon<br />
definiálható nyelvek. Induktív definíciók, formális rendszerek, algoritmusok és<br />
automaták.<br />
A természetes nyelvek és a formális nyelvek különbségei. Cantor<br />
diagonalizációs tétele.<br />
2. Nulladrendű nyelvek.<br />
A következtetések durvaszerkezete: mondatok és logikai szavak. A formalizált<br />
nyelvek definiálásának elemei. Formalizálási gyakorlatok.<br />
3. A logikai elméletek felépítési módjai.<br />
Szintaxis és szemantika különbsége. Igazságértékek. A Tarski-féle<br />
igazságelmélet.<br />
4. A logikai szavak klasszikus szemantikája.<br />
Igazságszabályok és lebontási szabályok. Az extenzionális mondatfunktorok<br />
száma és nyelvi kifejezhetősége.<br />
5. A klasszikus nulladrendű logika szemantikai elmélete.<br />
Kielégíthetőség, érvényesség és következményreláció.<br />
6. Összefoglalás és gyakorlás.<br />
7. Analitikus táblázat és szekvenslogika<br />
Az analitikus táblázatos módszer lebontási szabályai és a szekvens logika<br />
szabályai közötti kapcsolat. Az analítikus táblázatos módszer helyessége és<br />
teljessége.<br />
8. Elsőrendű nyelvek.<br />
A következtetések finomszerkezete: mondatok és nevek. Predikátumok,<br />
névfunktorok és változók. Kvantorok, tárgyalási univerzum.<br />
9. Formalizálási gyakorlatok.<br />
10. Az elsőrendű nyelvek szemantikája.<br />
Az interpretáció fogalma. Az individuumváltozók szemantikája: értékelő<br />
függvények. A logikai konstansok jelentése: értékelési szabályok. A Tarski-féle<br />
igazságelmélet szerepe a logikában.<br />
11. A klasszikus elsőrendű logika szemantikai elmélete.<br />
Az elmélet centrális fogalmainak definiálása, és egymáshoz való viszonyuk<br />
vizsgálata. Az igazságszabályok és az analitikus táblázatos módszer kapcsolatának<br />
bemutatása.<br />
Példák az analitikus táblázatos módszer használatára.<br />
12. Gyakorlás<br />
13. Analitikus táblázat és szekvenslogika<br />
A kvantorok lebontási szabályai és a kvantifikáció szekvens logika szabályai<br />
közötti kapcsolat. Az elsőrendű analítikus táblázatos módszer helyessége és<br />
teljessége.<br />
Ajánlott irodalom:<br />
Ruzsa I. - Máté A.: Bevezetés a modern logikába Osiris, l997<br />
Ruzsa I., Klasszikus, modális és intenzionális logika, Akadémiai Kiadó, 1987.