[ Frederick Suppe (2000), “Understanding scientific theories: An assessment of developments, 1969-1998,” Philosophy of Science, 67(3): S102-S115. ]
1. Introduction
2. Why the Received View Failed
3. Syntactical vs. Semantical Approaches
4. The Semantic Conception of Theories
5. Structuralist Analyses and Theory Dynamics
6. Models and Theories
7. Philosophical Confusion
8. Conclusions
1. Introduction
2. Why the Received View Failed
■ [p. S103]
- 수용된 견해(Received View)가 공격받는 이유
• (1) 수용된 견해의 관찰-이론 구분이 지지되기 어려움.
• (2) 대응 규칙은 이론을 구성하는 의미 관계들, 실험 설계, 측정, 인과 관계들의 이질적 혼동임.
• (3) 더 느슨한 대응규칙과 관련된 부분적 해석의 개념은 정합적이지 않음.
• (4) 이론은 공리 체계가 아님.
• (5) 기호 논리학은 부적절한 형식주의.
• (6) 이론들은 언어적 존재자가 아니므로 이론들이 정확히 개별화되기 어려움.
- 수피의 견해
• (6)과 (2)가 가장 중요한 반론
• (1)은 모든 버전에 성공적이지는 않으므로 단서조항(qualification)이 필요함.
• (3)은 틀렸음.
• (4)는 무관한 내용
• (5)는 3절에서 논의할 것
3. Syntactical vs. Semantical Approaches
■ 과학 이론에 관한 논리실증주의자들의 견해 [pp. S103-S104]
- 이론은 부분적으로 해석된 공리체계 TC
- 공리들 T는 이론 어휘 Vᴛ로 표현되는 이론적 법칙
- C는 대응 규칙
• T를 (관찰 용어 Vᴏ를 사용하여 형식화한) 시험가능한 귀결들에 연결함.
- Vᴏ 문장들만 직접적인 의미론적 해석으로 주어짐.
- 수용된 견해는 의미론적 요소를 가지며, 전체가 구문론적이지는 않다는 점에 주목할 것.
- 요약하면 과학 이론은 이론적 진술들(T)과 이 진술들의 경험적 의미를 규정하는 대응 규칙(C)와의 연언으로 규정됨.
- C가 명시적 정의들을 가지려면, 이론적 주장들은 TC의 영역에서 관찰가능한 존재자를 지시해야 함.
- 일단 환원 문장이나 해석 체계가 허용되면, Vᴛ 용어들은 관찰가능한 존재자나 관찰불가능한 존재자를 지시할 수 있음.
뢰벤하임-스콜렘 정리(Löwenheim-Skolem theorem)는 TC 모형이 의도한 모형들(intended models)과 의도하지 않은 모형들을 모두 포함해야 한다는 점을 함축함.
의도하지 않은 모형은 잠재적 반례를 제공함.
■ [p. S104]
- 수피즈는 실증주의의 “내재적 형식화”(intrinsic formulation) 구문론적 접근과 “외재적” 의미론적 접근을 대조함.(Suppes 1967)
• 형식적 의미론이 모형들의 의도한 집합을 정확하게 지시할 수 없더라도, 우리의 평범한 언어적 자원들은 그렇게 하기에 충분함.
• 실제로 우리는 의도한 모형을 고를 수 있고(의도하지 않은 모형의 문제를 피할 수 있고), 구문론적 공리화에 의지하지 않고 의도한 모형을 직접적으로 구체화할 수 있음.
- 점차 실증주의는 술어-계산 공리화를 통해 과학을 모형화하는 기술적인 문제들에 의하여 그들의 실질적인 발상의 발전으로부터 곁길로 돌게 되었음.
• 이것이 기호 논리학이 부적합한 형식주의라는 (5)의 주장의 적절한 의미임.
- 이는 형식주의가 얼마나 쓸 만한지는 과학을 모형화하고 이해하는 데 얼마나 쓸 만한지에 관한 것.
• 이는 구문론적 접근이 원리적으로 할 수 없는 것을 의미론적 접근이 할 수 있느냐와 관계없음.
• 이 쟁점은 수용된 견해나 의미론적 접근과 무관함.
4. The Semantic Conception of Theories
[p. S105]
의미론적 개념은 이론들을 추상적인 이론 구조의 특정한 종으로 봄.
이론 구조와 현상은 언어적 이론 형식의 지시체들.
[p. S105]
- 의미론적 개념은 매우 성공적이며, 수용된 견해를 좌초시킨 문제들도 피함.
• 대응 원리를 피함.
• 관찰/비-관찰 구분을 요구하지 않음.
• 형식주의를 동반하지 않음.
• 논리실증주의보다 이론들을 더 잘 개별화함.
- 이러한 문제를 피한 것은 의미론적 개념들을 발전시켰지만, 이것이 주요한 동기는 아님.
• 버코프와 폰 노이만의 작업(1936)과 폰 노이만의 증명(1955)은 같은 이론을 기술함.
• 수피즈와 수피의 중요한 동기는 실험과학자들의 개인적 실험들을 이해하는 것.
• 이는 수용된 견해와 양립할 수 없음.
[p. S105]
- 의미론적 개념이 우리에게 말해주는 것들
(1) 대응 원리를 버리는 것은 이론과 모형이 자연과 어떻게 관계맺는지(attach) 말해줌.
이론과 실험은 실험 모형, 데이터의 모형, 실험 설계 등을 포함한 모형들의 비-환원적 위계를 매개하여 연결됨.(Suppes 1962)
[pp. S105-S106]
(2) 의미론적 개념은 이론의 입증과 실험의 역할을 다시 생각하게 함.
이론은 이론의 영역에 있는 상태 공간들과 계들 사이의 적절한 사상(mapping) 관계에 대한 주장으로 구성됨.
그런데 이론은 선택된 유한한 변수들만을 다루고 그 외의 것들은 그것들과 독립적이라는 반-사실적 가정에 기초하므로, 이론 입증의 논리는 실험 제어와 필수적으로 관계하게 됨.
반 프라센(1970)의 의미론적 개념은 이론의 경험적 적합성을 입증과 관련시킨 바 있음.
[p. S106]
(3) 의미론적 개념은 이론, 그것의 공식들 사이의 의미론적 관계와 실재성에 대한 상당한 통찰을 제공함.
반 프라센은 모든 것이 이론에서 존재론을 부여받는 것이 아니라는 데에서 출발.
문제는 존재론적 언급 없이 이론 언어에 의미론적 해석을 전체적으로 주어진다는 것.
그의 해결은 반(semi)해석 언어.
언어는 이론적 언어들에 대한 완전한 의미론적 해석을 제공하는 '논리적 공간'에 대한 지칭으로써 해석됨.
[pp. S106-S107]
(4) 의미론적 개념은 실재론/반실재론 논쟁을 일으켰다.
의미론적 개념에서 실재론 논쟁은 이론 구조와 세계가 관계하는 방식의 본성에 대한 것.
실재론자들이 모든 상태 변수들이 세계와의 대응 함수를 통해 경험적으로 참이 되는 것이라고 하는 것에 반해, 반-실재론자들은 모든 상태 변수들에 대한 존재론적 언급 없이, 단지 관찰 가능한 것들에 대해 경험적으로 적합(empirically adequate)하다고 함.
W가 대응 함수를 통한 실재의 일부라고 한다면, W의 이미지 M*는 이론을 형성하는 모형들 중 하나.
[pp. S107-S108]
(5) 과학에서의 양상(modality)에 대한 더 나은 이해를 제공.
반-해석된 언어는 논리 공간의 족을 통해 양상 연산자를 해석하는데 연장될 수 있음.
[p. S108]
(6) 상태 공간과 유사 의미론적 개념의 상태-변환 이론 구조는 양상적이지 않은 것처럼 보임.
반 프라센: 자연 법칙은 본질적으로 양상이 아니다.
유사-실재론적 관점에 의하면 이론적 법칙들은 양상이 아니라 인과적 필연 연산자를 사용하여 모형화되는 세계의 반-사실적 특성들을 산출할 뿐.
5. Structuralist Analyses and Theory Dynamics
의미론적 개념은 그것이 적절하게 이론들을 개별화 할 수 없을 때 부적절하다. 이론은 발전하게 되는데 이것은 이론의 개별화를 함축한다. 의미론적 관점은 이론의 발전을 연속적인 이론의 진보로 받아들인다.
6. Models and Theories
1) 의미론과 구조주의자들의 분석에서 이론은 형식주의의 해석들이 될 수 있는 수학적 모형들을 나타낸다. 오늘날 모형들은 과학 지식의 주요한 수단(vehicle)이다.
2) 모형은 과학 실험, 관찰, 도구, 실험 설계의 핵심이다.
7. Philosophical Confusion
8. Conclusions
[p. S114]
논리실증주의의 수용된 견해(Received View)에 따르면, 과학 이론이란 ‘그 안에서 이론용어들이 대응 규칙에 의해 부분적으로 해석된 언어들의 공리적 계산체계’로 간주된다. 즉 이론이란 경험으로부터 부분적으로 의미가 해석된, 어떤 공리들과 그로부터 연역된 이론적 진술들로 구성된 언어적 존재자이다.
최근의 의미론적 관점은 1970년대에 완성되었고 이후에 그것은 다른 철학적 연구들의 도구로 사용되었다. 그러나 그것은 우리가 ‘모형’을 이해하지 못했기 때문이었다.
이론에 대한 모형과 의미론적 분석 사이의 깊은 연결은 이론, 모형, 과학의 실제 모습을 이해하는 데 도움을 줄 것이다.
(2018.08.29.)