Tantárgy adatlapja
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.
A 2–5 legfontosabb kötelező, illetve ajánlott irodalom (jegyzet, tankönyv) 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.
Azoknak az előírt szakmai kompetenciáknak, kompetenciaelemeknek (tudás, képesség stb., KKK 7. pont) a felsorolása, amelyek kialakításához a tantárgy jellemzően, érdemben hozzájárul:
a) tudás
Ismeri az alapvető nyelvtechnológiai eszközöket, illetve matematikai logikai alapokat a komplex nyelvi modellek megértéséhez.
b) képesség
c) attitűd
Nyitott és elkötelezett önművelésre, önfejlesztésre az egyéni tudás és ismeret elmélyítésére és bővítésére szakterületén.
d) autonómia és felelősség
Alkalmas csoportban, egy-egy részprobléma megoldására, vagy részterület szakértőjeként a csoport munkájában részt venni.
