Přednášky:
1. Principy logické analýzy jazyka, Logické vyplývání jako předmět logiky.
2. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu.
3. Frege-Church schéma, princip extensionality, Denotační sémantika vs. procedurální sémantika.
4. Transparentní intensionální logika: konstrukce.
5. Rozvinutá teorie typů, epistémická báze, intenze a extenze.
6. Problémy neexistence a modality.
7. Ontologie a konceptuální analýza.
8. Reprezentace znalostí a ontologie.
9. Hyperintensionální, parciální a typovaný lambda kalkul.
10. Dynamické usuzování a temporální logiky.
11. Automatizace usuzování a komunikace.
12. Komunikace agentů v multi-agentním systému.
Cvičení (učebna s tabulí):
1. Principy logické analýzy jazyka, Logické vyplývání jako předmět logiky.
2. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu.
3. Frege-Church schéma, princip extensionality, Denotační sémantika vs. procedurální sémantika.
4. Transparentní intensionální logika: konstrukce.
5. Rozvinutá teorie typů, epistémická báze, intenze a extenze.
6. Problémy neexistence a modality.
7. Ontologie a konceptuální analýza.
8. Reprezentace znalostí a ontologie.
9. Hyperintensionální, parciální a typovaný lambda kalkul.
10. Dynamické usuzování a temporální logiky.
11. Automatizace usuzování a komunikace.
12. Komunikace agentů v multi-agentním systému.
1. Principy logické analýzy jazyka, Logické vyplývání jako předmět logiky.
2. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu.
3. Frege-Church schéma, princip extensionality, Denotační sémantika vs. procedurální sémantika.
4. Transparentní intensionální logika: konstrukce.
5. Rozvinutá teorie typů, epistémická báze, intenze a extenze.
6. Problémy neexistence a modality.
7. Ontologie a konceptuální analýza.
8. Reprezentace znalostí a ontologie.
9. Hyperintensionální, parciální a typovaný lambda kalkul.
10. Dynamické usuzování a temporální logiky.
11. Automatizace usuzování a komunikace.
12. Komunikace agentů v multi-agentním systému.
Cvičení (učebna s tabulí):
1. Principy logické analýzy jazyka, Logické vyplývání jako předmět logiky.
2. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu.
3. Frege-Church schéma, princip extensionality, Denotační sémantika vs. procedurální sémantika.
4. Transparentní intensionální logika: konstrukce.
5. Rozvinutá teorie typů, epistémická báze, intenze a extenze.
6. Problémy neexistence a modality.
7. Ontologie a konceptuální analýza.
8. Reprezentace znalostí a ontologie.
9. Hyperintensionální, parciální a typovaný lambda kalkul.
10. Dynamické usuzování a temporální logiky.
11. Automatizace usuzování a komunikace.
12. Komunikace agentů v multi-agentním systému.