Tantárgy adatlapja
A tantárgy céljának rövid ismertetése:
A logika a helyes következtetés elmélete, és mint ilyen a tudományos gondolkodás organonja. A tárgy bevezet a klasszikus elsőrendű logikába, megismertet a predikátum- és kijelentéslogikával, valamint a modális logika alapjaival. A tárgy elsődleges céljai közé tartozik, hogy elmélyítse a hallgatókban a logikus gondolkodás képességét és készségét.
Elsajátítandó elméleti ismeretanyag:
Klasszikus elsőrendű logika: A kijelentéslogika és a predikátumlogika szintaxisa és szemantikája; az igazságfüggvények és a kvantifikáció elmélete.
Következtetéselmélet: Az érvényes következtetési formák, a logikai igazság és a logikai ellentmondás fogalma, valamint a helyesség és teljesség kritériumai.
Modális logika alapjai: A szükségszerűség és a lehetőség operátorai, valamint a lehetséges világok szemantikájának alapvető modelljei.
Logikai organon: A logika szerepe a tudományos módszertanban, az axiómarendszerek felépítése és a bizonyításelmélet alapjai.
Elsajátítandó gyakorlati ismeretanyag:
Formalizálási készség: Képesség a természetes nyelvi érvelések átírására a logika formális nyelvére a kétértelműségek kiküszöbölése érdekében.
Érvényesség-ellenőrzési technikák: Jártasság a logikai kalkulusok (pl. igazságtáblázatok, analitikus fák vagy természetes levezetés) alkalmazásában.
Érveléstechnikai elemzés: A logikai hibák (érvelési csapdák) azonosítása és kritikai elemzése mind tudományos, mind mindennapi szövegekben.
Algoritmikus gondolkodás: Problémamegoldó technikák elsajátítása a szigorú szabálykövetés és a deduktív levezetés folyamatán keresztül.
A 2-4 legfontosabb kötelező irodalom felsorolása bibliográfiai adatokkal (szerző, cím, kiadás adatai, (esetleg oldalak), ISBN):
Madarász Tiborné-Pólos László-Ruzsa Imre: A logika elemei. Budapest, Osiris, 2006.
Ruzsa Imre-Máté András: Bevezetés a modern logikába. Budapest, Osiris, 1997.
Margitay Tihamér: Az érvelés mestersége. 2. javított kiadás. Budapest, Typotex, 2007.
A 2-4 legfontosabb ajánlott irodalom felsorolása bibliográfiai adatokkal (szerző, cím, kiadás adatai, (esetleg oldalak), ISBN):
Kneale, W. -Kneale, M.: A logika fejlődése. Budapest, Gondolat, 1987.
Read, S.: Bevezetés a logika filozófiájába. Budapest, Kossuth, 2001.
Miként járul hozzá a tantárgy a KKK-ban megjelölt kompetenciaelemek megszerzéséhez. Mutassa be a tantárgyleírásban, hogy a KKK-ban megjelölt kompetenciaelemek miként teljesülnek/teljesíthetők:
a) tudás
A tantárgy a tudományos gondolkodás alapvető módszereinek és a helyes következtetés elméletének átadásával közvetlenül megalapozza a hallgató szakmai műveltségét. A hallgató megismeri az elméleti problémafelvetés és problémamegoldás legszigorúbb formális változatait (kijelentés- és predikátumlogika), ami elengedhetetlen a filozófiai és egyéb tudományos diskurzusok szakszerű kezeléséhez.
b) képesség
A logika tanulása közvetlenül fejleszti az argumentumok azonosításának, precíz átgondolásának és bemutatásának képességét. A hallgató alkalmassá válik arra, hogy bonyolult érvelési láncolatokat vázlatosan vagy részletesen prezentáljon, és képessé válik a szövegelemzés és kritikai elsajátítás technikáinak magas szintű alkalmazására. A kurzus emellett fejleszti az informatikai szemléletmódot is a formális rendszerek kezelésén keresztül.
c) attitűd
A logikai szabályok szigora fegyelmezett gondolkodásra és problémaérzékenységre nevel. A hallgató képessé válik arra, hogy elfogulatlanul mérlegelje az előadott vélemények logikai szerkezetét, és saját álláspontját ne érzelmi, hanem argumentált módon fejtse ki. A tantárgy elősegíti a párbeszédre való nyitottságot azáltal, hogy közös, racionális alapot teremt az eltérő vélemények ütköztetéséhez.
d) autonómia és felelősség
A helyes következtetés készsége képessé teszi a hallgatót arra, hogy véleményét körültekintően, logikai bizonyítékokra alapozva alakítsa ki. A hallgató felelősséget vállal saját következtetéseiért, és képessé válik mások érzelmi vagy ideológiai alapú manipulációjának felismerésére és elutasítására. Az etikailag és szellemileg alapos érvelés elkötelezett hívévé válik a logikai érvényesség tisztelete révén.
