Pécsi Tudományegyetem

Bölcsészettudományi Kar
Filozófia és Művészetelméleti Intézet
Filozófia Tanszék

 

Logika [BA]

Nyomtatóbarát változatPDF változat

 

adatok:  Szerda: 12.00 - 13.30  
       
annotáció: A kurzus egy alapszintű bevezető kíván lenni a formális logika egyszerűbb 
  rendszereinek világába, kiindulva az érvekkel és ellenőrzésükkel kapcsolatos alapfogalmakból, a kijelentéslogikán át a klasszikus elsőrendű logikáig, azaz a predikátumlogikáig. Külön hangsúlyt fektetünk az állítások / kijelentések formalizálására és a következtetések ellenőrzésének különböző módszereire.
       
Olvasmány: Margitay, T. 2007. Az érvelés mestersége. Budapest: Typotex ÉM
     
tematika:    
       
1. febr. 06. Bevezetés. Adminisztráció  
     
2. febr. 13. Logikai alapfogalmak ÉM: 91-119.
    5.1. - 5.8.
3. febr. 20. A kijelentéslogika alapfogalmai I. ÉM: 129-155.
    6.1. -  6.9.
4. febr. 27. A kijelentéslogika alapfogalmai II. ÉM: 155-177.
    6.10. -  6.16.
5. márc. 06. Következtetések a kijelentéslogikában I. ÉM: 183-209.
    7.1. -  7.4.
6. márc. 13. Következtetések a kijelentéslogikában II. ÉM: 209-228.
    7.5. -  7.6.
7. márc. 20. A predikátumlogika alapjai I. ÉM: 235-259.
    8.1. -  8.3.
8. márc. 27. A predikátumlogika alapjai II. ÉM: 259-282.
    8.4.
9. ápr. 03. A predikátumlogika alapjai III. ÉM: 282-298.
    8.5. -  8.6.
10. ápr. 17. Következtetések a predikátumlogikában I. ÉM: 303-326.
    9.1. -  9.2.
11. máj. 08. Következtetések a predikátumlogikában II. ÉM: 326-349.
    9.3. -  9.4.
       
teljesítés:    
   - órai részvétel és aktivitás (15%)
   - vizsgaidőszakban otthon megoldandó feladatlap (85%)