참고문헌
- Anderson, A. R. and Belnap, N. D. (1975), Entailment, Princeton New Jersey: Princeton University Press.
- Beall, J., Foster, T., and Seligman, J. (2012), "A Note on Freedom from Detachment in the Logic of Paradox", Notre Dame Journal of Formal Logic, 54 (1), pp. 15-20. https://doi.org/10.1215/00294527-1731353
- Chihara, C. S. (1984), "Priest, The Liar, and Godel", Journal of Philosophical Logic, 13, pp. 117-124. https://doi.org/10.1007/BF00453016
- Dummett, M. (1963), "The Philosophical Significance of Godel's Theorem", in M. Dummett, (ed.), Truth and Other Enigmas, Cambridge: Harvard University Press, pp. 186-201.
- Godel, K. (1931), "On formally undecidable propositions of Principia Mathematica and related system I", in S. Feferman, J.W. Dawson, S.C. Kleene, G. H. Moore, R.M. Solovay, J. Heijenoort, (eds.), Kurt Godel: Collected Works, Volume I, Oxford: Oxford University Press, pp. 144-195.
- Hellman, G. and Bell, J. (2006), "Pluralism and the Foundations of Mathematics", in C.K. Waters et all. (eds.), Scientific Pluralism, Minnesota Studies in the Philosophy of Science, Vol. XIX, Minneapolis: University of Minnesota Press, pp. 64-79.
- Meyer, R. K. (1976), "Relevant Arithmetic", Bulletin of the Section of Logic of the Polish Academy of Sciences, 5, pp. 133-137.
- Meyer, R. K. (1996), "Kurt Godel and the Consistency of R#", in P. Hajek, ed., Logical Foundations of Mathematics, Computer Science and Physics: Kurt Godel's Legacy, Springer, pp. 247-256.
- Meyer, R. K. and Mortensen, C. (1984), "Inconsistent Models for Relevant Arithmetics", The Journal of Symbolic Logic, 49, pp. 917-929. https://doi.org/10.2307/2274145
- Paris, J. B. and Pathmanathan, N. (2006), "A Note on Priest's Finite Inconsistent Arithmetics", Journal of Philosophical Logic, 35, pp. 529-537. https://doi.org/10.1007/s10992-006-9031-1
- Paris, J.B. and Sirokofskich, A. (2008), "On LP-models of Arithmetic", The Journal of Symbolic Logic, 73 (1), pp. 212-226. https://doi.org/10.2178/jsl/1208358750
- Priest, G. (1979), "The Logic of Paradox", Journal of Philosophical Logic, 8 (1), pp. 219-241. https://doi.org/10.1007/BF00258428
- Priest, G. (1984), "Logic of Paradox Revisited", Journal of Philosophical Logic, 13, pp. 153-179. https://doi.org/10.1007/BF00453020
- Priest, G. (1991), "Minimally inconsistent LP", Studia Logica, 50, pp. 321-331. https://doi.org/10.1007/BF00370190
- Priest, G. (1997), "Inconsistent Models for Arithmetic: I, Finite Models", The Journal of Philosophical Logic, 26, pp. 223-235. https://doi.org/10.1023/A:1004251506208
- Priest, G. (2000), "Inconsistent Models for Arithmetic: II, The General Case", The Journal of Symbolic Logic, 65, pp. 1519-1529. https://doi.org/10.2307/2695062
- Priest, G. (2005), Towards Non-Being, Oxford University Press.
- Priest, G. (2006a), In Contradiction: A Study of the Transconsistent (expanded ed.), Clarendon: Oxford University Press.
- Priest, G. (2006b), Doubt Truth to be a Liar, Clarendon: Oxford University Press.
- Priest, G. (2013), "Mathematical Pluralism", Logic Journal of IGPL, 21(1), pp. 4-13. https://doi.org/10.1093/jigpal/jzs018
- Shapiro, S. (2002), "Incompleteness and Inconsistency", Mind, 111, pp. 817-832. https://doi.org/10.1093/mind/111.444.817
- Rosser, R. (1936), "Extensions of Some Theorems of Godel and Church", The Journal of Symbolic Logic, 1, pp. 87-91. https://doi.org/10.2307/2269028
-
Tarski, A. (1933), "Some Observations on the Concepts of
${\omega}$ -consistency and${\omega}$ -completeness", in J. Corcoran, Logic, Semantics, Metamathematics: Papers from 1922 to 1938, 2nd ed., Hackett Publishing Company, pp. 279-295. - Tennant, N. (2004), "Anti-Realist Critique of Dialetheism", in G. Priest, JC Beall, and B.A. Garb, Eds., The Law of Non-Contradiction, Clarendon: Oxford University Press, pp. 355-384.