성실한 과학철학 연구자

최소주의에서의 의미론, 화용론, 형이상학 1. 여는 말 : 언어철학의 삼중주- 의미론, 화용론, 형이상학 언어는 세계에 대한 창이기도 하지만 인간에 대한 창이기도 하다. 세계에 대한 창으로서의 언어는 주로 수학과 물리학, 즉 자연과학에서 주로 사용되며, 이러한 언어를 우리는 이른바 ‘형식언어’라고 부른다. “같은 것에 같은 것을 더하면 서로 같다”, “질량을 가진 모든 물체는 상호간의 거리의 제곱에 반비례하는 힘으로 서로를 끌어당긴다”, “정지 질량이 인 물체는 의 에너지를 가진다” 등의 문장들은, 비록 인간이 가진 언어의 형식을 빌리고 있다 하더라도, 세계에 존재하는 현상 일반(수 및 물리적 대상)에 대해서 서술하고 있다. 세계에 대한 이러한 진술들의 참과 거짓은 인간과 무관하게 객관적인 성질을 갖지 ..

카플란(Kaplan)의 지표사 이론 ◎ 가능세계 의미론과 직접지칭이론 ① 가능세계 의미론의 중심 아이디어 : 프레게가 말하는 뜻(sense, 내포)은 가능세계로부터 지시체(reference, 외연)로의 함수로 간주될 수 있다. 종 류 뜻(내포) 지시체(외연) 고유명사 f : 가능세계 → 대상 대상 한정기술구 f : 가능세계 → 대상 대상 술 어 f : 가능세계 → f* : 대상 → 진리치 문 장 f : 가능세계 → 진리치 진리치 진리함수연결사 f : 가능세계 → f* : 진리치 → 진리치 양 화 사 f : 가능세계 → f* : 함수 → 진리치 양상연산자 f : 가능세계 → f..

그라이스(Grice)의 함축 이론 ◎ 지시적(indicative) 조건문과 가정법적(subjunctive) 조건문의 차이? 예) 만약 태양이 x분 후에 사라진다면, 지구는 y분 후에 캄캄해질 것이다. ◎ 강한 이론가들의 상이성 논제(divergence thesis) 예) 만약 철수가 미국에 있으면, 철수는 박사과정을 계속 하고 있다. (나의 발화) p : 철수가 미국에 있다. q : 철수가 박사과정을 계속 하고 있다. 나 : 철수가 유학간 것을 알고, 철수는 학위를 마치면 한국으로 돌아오겠다고 약속했다. 철수의 약속 : 조건문을 주장하는 근거, 비진리함수적 근거, 간접조건 ☞ 그라이스의 비판 : 간접조건은 p와 분리 불가능하며 취소 가능하다. “if p then q”를 동일한 논리적 의미를 가진 “not..

그라이스(Grice)의 함축 이론 ◎ 썰의 언화행위론(계속) ※ 썰(Searle) : 발화수반행위의 본성 규명 → 발화수반행위는 규칙의 지배를 받는 관습(convention)이다! → 가장 대표적인 경우가 바로 약속(promise)임 ※ 발화수반행위의 조건 9가지(핸드아웃 참조) ① input-output condition ② ③ ‘다음 주까지 은행을 털어서라도 돈을 값겠다’와 같은 예를 배제하기 위한 조건 ④ preparatory rules condition 1 ⑤ preparatory rules condition 2 ⑥ sincerity condition ⑦ essential condition / "obligation" : 기타 발화수반행위들과 약속을 변별하는 요소 ⑧ (언어적 특징) 화자와 청자가 ..

오스틴(Austin)과 썰(Searle)의 언화행위론 ◎ 프레게의 형식 의미론(계속) ※ 프레게의 추측: 모든 의미론적 조합성이 합수적 적용에 의해 설명될 수 있다. All semantic compositionality can be explained as functional application. 이후, 형식 의미론을 과학언어가 아니라 자연언어에 적용하려는 시도. ○ 데이빗슨(Davidson)의 전통 : 형식 의미론은 타르스키의 진리 이론에 의해서 가능하다. → 타르스키 진리 이론 : 문장의 고유명사에는 지시체가 있지만 열린 문장 및 술어, 함수에 대응하는 지시체(reference)는 없다. 다만 이 경우에는 대상이 술어를 ‘만족시킨다’, ‘만족시키지 않는다’만 적용된다(satisfaction). → 이..

형식 의미론 서설 1 고틀로프 프레게(Gottlob Frege, 1848~1925)는 세 가지의 학문 분야를 창시한 것으로 알려져 있다. 수학자였던 프레게는 기존의 아리스토텔레스 논리학과 대비되는 수리논리학을 창시했다. 또한 그는 언어철학, 특히 현대 형식 의미론의 창시자로 알려져 있다. 저서『산술의 근본 법칙』에서 프레게는 최초로 의미의 본성에 대한 중요한 질문들을 형식화했다. 마지막으로 그는 분석철학의 창시자로, 그의 작업이 없었다면 이른바 현대 철학의 언어적 전회도 불가능했을 것이다. 수학자로서의 프레게는 이른바 논리주의 프로젝트를 시도하는데, 이는 수학 특히 대수학(algebra)을 논리학으로 환원시키려는 시도였다. 프레게가 논리주의 프로젝트를 시도하게 된 데에는 두 가지의 이유가 있었다고 생각된..

언어철학이란? / 형식 의미론의 간략한 역사 언어철학이란? 기존에는 대륙철학과 분석철학적 전통이 분명히 구분되는 것으로 여겨졌다. 하지만 최근 그 둘 사이의 경계가 희미해지고 있다. 일례로 기존의 과학철학과는 상당히 다른 성격을 띤 토머스 쿤(Thomas Kuhn)의 철학은 대륙철학에서의 구조주의 혹은 후기 구조주의와 유사한 성격을 보인다. 쿤이 프랑스의 과학사학자 코이레(A. Koyré)의 영향을 받았다는 것 또한 참고하자. 그리고 과학철학과 밀접히 연관된 언어철학적 전통에서도 언어적 진술의 참과 거짓이 논리적 성격이 아닌 맥락적(contextual) 성격에 의해 좌우된다는 논의가 활발하다. 얼핏 보면 영미철학이 대륙철학의 요소들을 상당부분 포섭하려고 하는 것 같다. 이런 현상이 포섭(inclusion..

카트라이트는 이 논문에서 물리학 법칙들은 사실들을 기술하는 것이 아니며(그런 의미에서 물리학 법칙들은 참이 아니다), 만약 우리가 ‘다른 조건이 같다면(ceteris paribus)’이라는 변경자(modifier, 혹은 제한조건)를 사용하여 물리학 법칙들이 사실들을 기술하게끔 만들면, 물리학 법칙들은 그 특유의 설명력(explanatory power)을 잃어버린다고 주장한다. 그녀에 의하면 법칙의 참됨(truth)(혹은 사실성(facticity), 사실적 내용(factual content))과 설명력 사이에는 상호 배타적인 교환 관계(trade-off)가 성립한다. 사실들을 기술하지 못하기 때문에 법칙 그 자체가 설명력을 갖지 못한다면, 설명에 있어서의 설명력은 법칙이 아닌 다른 무엇인가에 의존할 것이라..

인과-기제적 모형(Causal-Mechanical Model) ◎ 과학적 설명에서의 인과의 문제 → 새먼 : 라이헨바흐의 프로그램을 이어 받아 인과를 확률적 관계로 규명 가능하다고 생각. ※ 하지만 과학적 설명에서 인과의 사용을 전적으로 배제할 수 있는가? ○ 1970년 경 레만(Lehman)이 반프라센의 반례 2를 사용하여 다음과 같은 논증을 폈다. p(B/A.p) = 0.3, p(B/A.q) = 0.3, p(B/A.~p.~q) = 0인 경우 새먼적 의미에서의 설명 조건이 충족되지 않았기 때문에(부분집합으로 분할 한 확률 값이 같으므로) 설명이 이루어지지 않았다고 생각해야 하는데, 직관적으로는 설명이 일어난 것 같다. ○ 새먼의 두 가지 난점(1989) ① 상이한 원인들이 동일한 통계적 유관 관계를 산..

화용적 모형(Pragmatic Model) ◎ 통계적 유관성 모형에 대한 문제제기 ① 제시된 조건들이 충분하지 않다. 예1) 90% 효율의 고엽제를 덩굴 옻나무에 뿌린다. 질문) 이 덩굴 옻나무는 왜 죽었는가? 답) 고엽제를 뿌렸기 때문이다. A : 덩굴 옻나무, B : 죽은 상태, C : 고엽제가 뿌려진, P(B/A) P(B'/A&C) ⇒ 이 경우에도 S-R 모형의 조건을 만족한다. 과연 설명이 이루어졌는가? 암암리에 배경정보가 작용해서 설명의 달성 여부가 판단되는 것 아닌가? ② 제시된 조건들이 필요하지 않다. 예3) 의학적 허구(medical fictio..