Transparentní Intensionální Logika

Typ studia	doktorské
Jazyk výuky	angličtina
Kód	460-6014/02
Zkratka	TIL
Název předmětu česky	Transparentní Intensionální Logika
Název předmětu anglicky	Transparent Intensional Logic
Kreditů	10
Garantující katedra	Katedra informatiky
Garant předmětu	prof. RNDr. Marie Duží, CSc.

Osnova předmětu

- Sémantické schéma TIL a procedury
- Definice: Rozvětvená teorie typů, konstrukce
- Metoda analýzy, Parmenidův princip
- Definice kvantifikátorů včetně omezených, singularizátory
- Empirické a analytické výrazy
- Práce s parcialitou, kompozicionalita, rekvizity a prerekvizity
- Pravidla odvozování, Beta-redukce
- Tři druhy kontextu, substituční metoda
- Procedurální isomorfismus
- Logika postojů
- Logika intensí, intensionální esencialismus
- Teorie pojmů a modality

Povinná literatura

Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter.
Duží, M., Materna P.: Constructions. http://til.phil.muni.cz/text/constructions_duzi_materna.pdf

Doporučená literatura

Materna, P., Pala, K., Zlatuška, J.: Logická analýza přirozeného jazyka. Praha 1989.
Šefránek, J.: Inteligencia ako výpočet. IRIS Bratislava, 2000.
Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998.
Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.

zpět na vyhledávání