Modális és intenzionális logika

FL-350.68, FLN-350.68, BBN-FIL-402.18, BBN-ENY-458sz.06,ENN-328.29, P/NY/ENY-10/fj


Máté András

2009 tavasz
P 14:00-15:30
Első óra: február 13.
Múzeum krt. 4/i, 221.

A kurzus a modális és az intenzionális logikát döntően szemantikai tárgyalásban, a szemantikai értékrés koncepciójának alkalmazásával mutatja be

Tematika: 

  1. Modális szavak és értelmezéseik, a modalitás alapvető törvényei
  2. Modális kijelentéslogika, kalkulusok, lehetséges világok
  3. Értékréses elsőrendű logika
  4. Elsőrendű modális logika – változatok a szemantikára
  5. Extenzionális típuselméleti logika
  6. Intenzionális típuselméleti logika 

Kötelező olvasmány:

  • Ruzsa(--Máté): Bevezetés a modern logikába. Osiris (a megfelelő fejezetek)

Ajánlott olvasmányok:

  • Ruzsa: Klasszikus, modális és intenzionális logika. Akadémiai, 1984.
  • Ruzsa: Logikai szintaxis és szemantika II. Akadémiai, 1989.
  • Dowty- Wall-Peters: Introduction to Montague Semantics. Springer.
E-mail:
mate-at-ludens.elte.hu
 
2008