Logika szeminárium - FL 216b
- Szemináriumvezető: Máté András
- Kód: FL-216b
- Hely: i228
- Időpont: Csütörtök 6-7.30
- Első óra: szeptember 18-án!
- A kurzusleírás letölthető [pdf] formátumban is
Kurzusleírás:
A logika tárgya. A következtetés fogalma. Logika és nyelv. A nyelvi kifejezések logikai típusai. Alap- és funktorkategóriák. Igazságértékek, szemantikai értékek, extenzionalitás. Igazságfunktorok. Predikátumok és individuális terminusok. Változók és kvantorok. Azonosság. A következtetések ellenőrzésének módszerei.
Követelmény: Az órán bemutatott formalizálási és következtetés-ellenőrzési eljárások elsajátítása, az anyaghoz kapcsolódó gyakorló feladatok megoldása.
A számonkérés módja: Házi feladat formájában adok fel gyakorlatokat. A megoldások alapján megajánlható jegy javítására beszámoló formájában van lehetőség.
Kötelező irodalom:
Madarászné-Pólos-Ruzsa: A logika elemei. Osiris Kiadó, 1999; vagy Pólos-Ruzsa: Bevezetés a logikába, Tankönyvkiadó (bölcsészkari jegyzet); vagy Ruzsa-Máté: Bevezetés a modern logikába, Osiris Kiadó Ruzsa-Máté: Bevezetés a modern logikába, Osiris Kiadó
Ajánlott irodalom:
Ruzsa: Klasszikus, modális és intenzionális logika, Ajkadémiai, 1984 Gabbay-Guenthner: Handbook of Philosophical Logic I., Reidel, 1985
Vissza >> 
|
