논리적 귀결과 논리 상항의 의미
Logical Cosequence and the Meaning of the Logical Constants
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
정인교는 그의 최근 논문에서 논리적 귀결 관계에 의해 논리 상항의 의미를 정의함에 있어 통상적인 도입 규칙과 제거 규칙에 의거하는 포퍼의 접근법과, 도입 규칙에만 의존하는 정당화주의적 접근법, 그리고 제거 규칙에만 의존하는 실용주의적 접근법을 구분한 바 있다. 이 글에서는 연언과 선언의 연결어의 경우에는 그 세 가지가 동등하다는 것을, 그리고 조건과 부정의 연결어의 경우에는 제거 규칙에 의거하는 실용주의적 접근법과 포퍼의 접근법이 대등하다는 것을, 타르스키가 처음 확립한 논리적 귀결에 관한 공리적 체계에 의존하여 보일 것이다.
Abstract
Chung In-Kyo, discussing how the logical constants can be defined in terms of logical consequence in one his recent articles, distinguished three definitions. One is Popper's approach which utilizes both introduction rules and elimination rules, the second the justificationists' definition which uses only introduction rules; and lastly, the pragmatists' approach which involves only elimination rules. In this essay, by making use of an axiomatic system for logical consequence first formulated by Tarski, I will show that in cases of conjunction and disjunction the three definitions are equivalent, and that in cases of connectives for conditional and negation, the pragmatists' definition is equivalent to Popper's one.
참고문헌 (17)
- 정인교, "“자체적으로 정당한 규칙과 논리상항의 의미”", 논리연구, 6(2), pp.1~22 (2003), 한국논리학회
- Belnap, N, "Tonk, Plonk and Plink", Analysis, 22, pp.130~134 (1962)
- Dosen, K, "Logical Consequence: A Turn in Style (Logic and Scientific Methods)", pp.289~311 (1997)
- Gentzen, G, "Investigations into Logical Deduction (The Collected Papers of Gerhard Gentzen)" (1969), North-Holland Pub. Co.
- Jacquette, D, "A Companion to Philosophical Logic" (2002), Blackwell Publishers
- Pogorzelski, W. A, "Cn-Definitions of Propositional Connectives", Studia Logica, 67, pp.1~26 (2000), Studia Logica
- Pollock, J. L, "Technical Method in Philosophy" (1990), Westview Press
- Schroeder-Heister, P, "Popper's Theory of Deductive Inference and the Concept of Logical Constant", History and Philosophy of Logic, 5, pp.79~110 (1984)
- Sundholm, B. G, "Varieties of Consequence (Jacquette)", pp.241~255 (2002)
- Tarski, A, "Logic, Semantics, Meta-mathematics" (1956), Hackett Publishing Co.
- Tarski, A, "On Some Fundamental Concepts of Metamathematics", pp.30~37 (1956)
- Tarski, A, "Fundamental Concepts of of the Methodology of the Deductive Sciences", pp.60~109 (1956)
- Tarski, A, "On the Concept of Logical Consequence", pp.409~420 (1956)
- Wójcicski, R, "Theory of Logical Calculi" (1988), Kluwer Academic Publishers
- Wólenski, J, "Logic and Mathematics (The Foundational Debate: Complexity and Constructivity in Mathematics and Physics)", pp.197~210 (1995), Kluwer Academic Publishers
- Wólenski, J, "Metatheory of Logics and the Characterization Problem (Jacquette)", pp.307~318 (2002)
- Zucker, J. I, "The Adequacy Problem for Inferential Logic", Journal of Philosophical Logic, 7, pp.501~516 (1978)