Kurzus kódja: FL-350.07	
Kurzus megnevezése: Metalogika	
Kurzus előadója: Máté András docens	
Kurzus helye és ideje: Sz 16-17.30, I/226	

Kurzus előfeltétele(i): FL-215	
A jegyszerzés módja(i): Félév végén zh. a szereplő definíciókból vagy önálló dolgozat készítése kapcsolódó témából	
Követelmények: 	

Kurzus leírása, tematikája:
A metalogika a formalizált elméletek különféle tulajdonságait (negációteljesség, szemantikai teljesség, eldönthetőség, konzisztencia) vizsgálja. Keretelmélete többféle lehet; ezen a kurzuson az eldönthetőségi/effektivitási kérdések vizsgálatában a Markov-algoritmusokra, a teljesség és a konzisztencia vizsgálatában a Ruzsa Imre által kidolgozott kanonikus kalulusok elméletére fogunk támaszkodni (természetesen ezek ismerete nem előfeltétel, hanem a kurzuson belül ismertetni fogom őket). Így a két, általában különböző technikával tárgyalt kérdéskört homogén módon fogjuk tárgyalni, és elkerüljük azt, hogy a metanyelvben szükségtelenül hivatkozzunk a természetes számok ismeretére. Lesz némi kitekintés a szokásosabb technikákra (Turing-gépek, Gödel-számozás), de a metalogika nagy tételeit (Gödel-tételek, Church, Tarski)  ezen a kereten belül fogom bizonyítani.

Kurzushoz tartozó kötelező irodalom:
Ruzsa I.: Logikai szintaxis és szemantika I. Akadémiai, 1987.
I. Ruzsa: Introduction to Metalogic. Áron, 1997.

	

Kurzushoz tartozó ajánlott irodalom: