Logika szeminárium - FL 216a
- Szemináriumvezető: Madarászné Zsigmond Anna
- Kód: FL-216a
- Hely: i228
- Időpont: Hétfő 14-15.30
- A kurzusleírás letölthető [rtf] formátumban is
Kurzusleírás:
A kurzus célkitűzése:
A klasszikus elsőrendű logika szemantikai rendszerének felépítése. A következtetés fogalmának és a hozzá kapcsolódó fogalmak filozófiai és logikai analízisét elősegítő ismeretek megalapozása. Logikai technikák begyakorlása (formalizálások, következtetések, érvelések helyességének vizsgálata).
Főbb témák:
A logika tárgya. Történeti áttekintés a logika tudományának kialakulásáról, fejlődéséről. - 2 óra
A logikai grammatika alapfogalmai, alap- és funktorkategóriák. - 2 óra Szemantikai alapfogalmak. Faktuális értékek. A jelentés fogalma. extenzionalitás és intenzionalitás. - 2 óra Extenzionális mondatfunktorok (igazságfunktorok): negáció, konjunkció, alternáció,
kondicionális és bikondicionális. A felsorolt mondatfunktorok törvényei, igazságfeltételük. Igazságfüggvények. - 4 óra A következményreláció fogalom szabatos definíciója, törvényei a nulladrendű logikában. - 2 óra
A kvantifikáció elmélet alapfogalmai: egy- és többargumentumú predikátumok. Nevek (individuális terminusok). Változók és kvantorok. - 2 óra
Nevek és predikátumok szemantikai értékei. Az interpretáció fogalma, a változók értékelése. A kvantifikáció alapvető törvényei. - 2 óra
A kategorikus szillogizmusok rendszere. Venn-diagrammok. - 2 óra Centrális szemantikai fogalmak: kielégíthetőség, érvényesség, következmény. A következményreláció törvényei az elsőrendű logikában. - 2 óra
Az azonosság fogalma és logikai törvényei. A deskripció. Alkalmazások. - 2 óra A következtetés ellenőrzésének módszerei. - 2 óra Az elsőrendű formalizált nyelv szemantikai rendszere. (Összefoglalás) - 2 ó Kitekintés az intenzionális logikára. Modális alapfogalmak: szükségszerű, lehetséges, kötelező, megengedett, stb. Lehetséges világok. A modális szavak közötti kapcsolatok. Alaptörvények. - 4 óra
Irodalom:
Madarászné-Pólos-Ruzsa: A logika elemei. OSIRIS, 1999 Ruzsa-Máté: Bevezetés a modern logikába. OSIRIS 1997
Jelentkezés:
A kurzusra maximum 15 fő jelentkezhet. Feliratkozás a tanszéken.
Vissza >> 
|
