Proof-Theoretic Justification for Deduction and the Fundamental Assumption
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Proof-theoretic semantics is a semantic framework that explains the meaning of sentences through the notion of proof. In proof-theoretic semantics, the validity of an argument is defined in such a way that, if the premises can be correctly asserted, then the conclusion can also be correctly asserted. This paper examines Dummett's definition of validity and elucidates its meaning by exploring the relationship between validity and the fundamental assumption. In addition, I clarify the relationship between the fundamental assumption and the thesis that self-justifying introduction rules fix the meaning of logical constants. In particular, by refuting Kürbis's criticism, I reaffirm the necessity of the fundamental assumption for the proof-theoretic definition of validity in formal language. On this basis, I claim that the fundamental assumption is a fundamental assumption.
Abstract
Proof-theoretic semantics is a semantic framework that explains the meaning of sentences through the notion of proof. In proof-theoretic semantics, the validity of an argument is defined in such a way that, if the premises can be correctly asserted, then the conclusion can also be correctly asserted. This paper examines Dummett's definition of validity and elucidates its meaning by exploring the relationship between validity and the fundamental assumption. In addition, I clarify the relationship between the fundamental assumption and the thesis that self-justifying introduction rules fix the meaning of logical constants. In particular, by refuting Kürbis's criticism, I reaffirm the necessity of the fundamental assumption for the proof-theoretic definition of validity in formal language. On this basis, I claim that the fundamental assumption is a fundamental assumption.
참고문헌 (19)
- Chung, I., "Self-Justifying Rules and the Meanings of Logical Constants", Korean Journal of Logic, 6(2), pp.1~22 (2003)
- Chung, I., "Dummett's Proof-Theoretic Justification of Logical Inference", Philosophical Analysis, 16, pp.21~48 (2007)
- Dummett, M., "The Philosophical Basis of Intuitionistic Logic", Proceedings of the Logic Colloquium’73, Studies in Logic and the Foundations of Mathematics, 80, pp.5~40 (1975)
- Dummett, M., "The Logical Basis of Metaphysics" (1991), Harvard University Press
- Dummett, M., "The Philosophy of Michael Dummett", pp.482~489 (2007), Open Court
- Francez, N., "Proof-Theoretic Semantics" (2015), College Publications
- Gentzen, G., "The Collected Papers of Gerhard Gentzen" (1969), Amsterdam
- Goldfarb, W., "On Dummett's “Proof-Theoretic Justifications of Logical Laws”, Advances in Proof-Theoretic Semantics", pp.195~210 (2016), Springer
- Kürbis, N., "How Fundamental is the Fundamental Assumption?", Teorema : International Journal of Philosophy, 2(2), pp.5~19 (2012)
- Prawitz, D., "Natural Deduction: A Proof-Theoretical Study, Stockholm: Almqvist & Wicksell; reprinted Mineola" (2006), Dover Publications
- Prawitz, D, "Ideas and Results in Proof Theory", Proceedings of the Second Scandinavian Logic Symposium, pp.235~308 (1971)
- Prawitz, D., "Logic, Methodology and Philosophy of Science IV", pp.225~250 (1973), North-Holland
- Prawitz, D., "On the Idea of a General Proof Theory", Synthese, 27, pp.63~77 (1974)
- Prawitz, D., "Meaning Approached via Proofs", Synthese, 148(3), pp.507~524 (2006)
- Prawitz, D., "The Philosophy of Michael Dummett", pp.455~481 (2007), Open Court
- Prior, A. N., "The Runabout Inference Ticket", Analysis, 21(2), pp.38~39 (1967)
- Schroeder-Heister, P, "The Logica Yearbook 2007", pp.187~200 (2007), Prague
- "Proof-Theoretic Semantics" (2012)[URL]
- Wansing, H., "The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations", Studia Logica, 64(1), pp.3~20 (2000)