Is transparent intensional logic a non-classical logic?

0438522 - FLÚ 2015 RIV PL eng J - Článek v odborném periodiku
Materna, Pavel
Is transparent intensional logic a non-classical logic?
Logic and Logical Philosophy. Roč. 23, č. 1 (2014), s. 47-55. ISSN 1425-3305
Institucionální podpora: RVO:67985955
Klíčová slova: anti-realism * bivalence * classicality * construction * expressivity * extensions * hyperintensionality * intensions * procedure * realism
Kód oboru RIV: AA - Filosofie a náboženství

TIL is classical in obeying principles of realism but it can be considered to be non-classical in transcending some principles of classical logic taught by textbooks of classical logic: e.g. it is not based on first order logic, it admits partial (non-total) functions and is a hyperintensional logic.
Trvalý link: http://hdl.handle.net/11104/0241891