Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity. The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to absurdity. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity to the intuitionistic system. We shall show that in the system, the inference to absurdity is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to absurdity.
Abstract
It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity. The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to absurdity. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity to the intuitionistic system. We shall show that in the system, the inference to absurdity is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to absurdity.
참고문헌 (20)
- Brady, R. T., "Reply to Priest on Berry’s Paradox", The Philosophical Quarterly, 34(135), pp.157~163 (1984)
- 최승락, "Can Gödel’s Incompleteness Theorem be a Ground for Dialetheism?", 논리연구, 20(2), pp.241~271 (2017), 한국논리학회[DOI]
- Dummett, M., "Truth and Other Enigmas", pp.215~247 (1973), Harvard University Press
- Dummett, M., "Logical Basis of Metaphysics" (1991), Havard University Press
- Dummett, M., "The Seas of Language" (1993), Clarendon Press
- Field, H., "Saving Truth from Paradox" (2008), Oxford University Press
- Gentzen, G., "The Collected Papers of Gerhard Gentzen", pp.68~131 (1935), North-Holland
- Prawitz, D., "Natural Deduction: A Proof-Theoretical Study" (1965), Dover Publications
- Prawitz, D., "The Philosophy of Michael Dummett", pp.455~481 (2007), Open Court
- Prawitz, D., "Advances in Proof-Theoretic Semantics", pp.5~25 (2016), Springer International Publishing
- Priest, G., "The logical paradoxes and the law of excluded middle", The Philosophical Quarterly, 33(131), pp.160~165 (1983)
- Priest, G., "In Contradiction: A Study of the Transconsistent" (2006), Oxford University Press
- Sainsbury, R. M., "Paradoxes" (2009), Cambridge University Press
- Stålmarck, G., "Normalization Theorems for Full First Order Classical Natural Deduction", The Journal of Symbolic Logic, 56(1), pp.129~149 (1991)
- Tennant, N., "Proof and Paradox", Dialectica, 36, pp.265~296 (1982)
- Tennant, N., "What is Negation?", pp.199~222 (1999), Kluwer Academic Press
- Tennant, N., "On Paradox without Self-Reference", Analysis, 55, pp.199~207 (1995)
- Tennant, N., "The Taming of the True" (1997), Oxford University Press
- Tennant, N., "Core Logic" (2017), Oxford University Press
- Williamson, T., "Indefinitely Extensible", Grazer Philosophische Studien, 55, pp.1~24 (1998)