Kurzus kódja: FL 350.18	3
Kurzus megnevezése: Tudományelmélet	
Kurzus előadója: Szécsényi Tibor	
Kurzus helye és ideje: i211 csütörtök 16.30	

Kurzus előfeltétele(i): FL 215	
A jegyszerzés módja(i): beszámoló	
Követelmények:	

Kurzus leírása, tematikája:
A kurzus tárgya:A szeminárium a Tudományfilozófia kollokvium tematikáját egészíti ki a 20. századi tudományfilozófiai vitákban leggyakrabban használt logikai fogalmak és tételek kritikai ismertetésével, a főbb elméletfelfogások bemutatásával.
Feltételezett ismeretek: Az elsőrendű logika szintaktikai és szemantikai felépítésének ismerete. A tudományfilozófia 20. századi történetének alapszintű ismerete.

1.	A metalogika elemei
	Logikai elméletek megalapozása és felépítése. A konzisztencia, negációteljesség, eldönthetőség és definiálhatóság fogalma. A vonatkozó tételek: teljességi tétel, kompaktsági tétel, Skolem – Löwenheim-tételek, Gödel inkomplettségi tételei, Church-tétel, Tarski definiálhatósági tétele, Craig-lemma, Robinson-tétel és Beth-tétel.
2.	A szintaktikai elméletfelfogás
	A demarkációs probléma. Tudomány és nem-tudomány. A tudományos elméletek szerkezete. Az elméletek nyelve. Empíria és elmélet. Fizikalizmus. 
3.	A tudományos magyarázat problémái
	Magyarázat és megértés. A teoretikus terminusok szerepe. A Craig-féle kiküszöbölési eljárás. A Ramsey-féle kiküszöbölési eljárás. Az elméletalkotó Hempel-féle paradoxona. A konfirmációs paradoxon.
4.	Példák
	A halmazelmélet, az aritmetika és a geometria axiómatikus elméletei.
5.	A szemantikai elméletfelfogás
	Beth és van Fraassen elméletfelfogása. Az elméletek modelljei és a tudományos fogalmak jelentése. A Suppes-féle halmazelméleti predikátum és alkalmazásai.
6.	Példák
	A Galilei-Newton féle tér-idő elmélet és a klasszikus pontmechanika.
7.	A strukturalista elméletfelfogás
	Az elméletrekonstrukció Sneed-féle módszere. Interteoretikus relációk. Néhány fizikai elmélet rekonstruálása.

Kurzushoz tartozó kötelező irodalom:

Kurzushoz tartozó ajánlott irodalom: