IS TRANSPARENT INTENSIONAL LOGIC A NON-CLASSICAL LOGIC?

被引：0
|
作者：
Materna, Pavel [1 ]
机构：
[1] Acad Sci Czech Republ, Inst Philosophy, Prague, Czech Republic
来源：
LOGIC AND LOGICAL PHILOSOPHY | 2014年 / 23卷 / 01期
关键词：
TIL; bivalence; classicality; construction; expressivity; extensions; intensions; hyperintensionality; procedure; realism; anti-realism;
D O I：
10.12775/LLP.2013.032
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
It is shown that: (a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; (b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with nonclassical logics; (c) TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.
引用
收藏
页码：47 / 55
页数：9
相关论文
共 50 条
  • [1] Linear Logic Operators in Transparent Intensional Logic
    Vokorokos, Liberios
    Bilanova, Zuzana
    Mihalyi, Daniel
    [J]. 2017 IEEE 14TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS, 2017, : 420 - 424
  • [2] An introduction to non-classical logic
    Shapiro, S
    [J]. REVIEW OF METAPHYSICS, 2003, 56 (03): : 670 - 672
  • [3] Non-classical logic and semantics
    Voizard, A
    [J]. DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 1997, 36 (01) : 3 - 13
  • [4] An introduction to non-classical logic
    Leeb, HP
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 2003, 24 (01) : 65 - 66
  • [5] INTRODUCTION TO NON-CLASSICAL LOGIC
    Fuhrmann, Andre
    [J]. DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 2012, 60 (01): : 135 - 144
  • [6] Transparent Intensional Logic A Challenge
    Materna, Pavel
    [J]. LOGICA YEARBOOK 2011, 2012, : 153 - 179
  • [7] Quantum Immortality and Non-Classical Logic
    Wilson, Phillip L.
    [J]. Journal of Applied Logics, 2022, 9 (02): : 635 - 650
  • [8] QUANTUM IMMORTALITY AND NON-CLASSICAL LOGIC
    Wilson, Phillip L.
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2022, 9 (02): : 635 - 650
  • [9] Transparent intensional logic and multiagent systems
    Muller, Jaroslav
    [J]. IMECS 2006: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, 2006, : 264 - 269
  • [10] ON THE PHILOSOPHICAL INTERPRETATION OF TRANSPARENT INTENSIONAL LOGIC
    BERKA, K
    [J]. FILOSOFICKY CASOPIS, 1992, 40 (02): : 313 - 321
12345