이 연구의 목적은 직설법적 조건문(indicative conditionals)의 진리조건을 밝히는 데 있다. 2년에 걸쳐 진행될 이 연구에서 나는 다음 두 가지 논제를 주장하고자 한다.
첫째, 직설법적 조건문은 진리조건을 갖는다.
둘째, 진리함수적 해석이 직설법적 조건문의 올바 ...

이 연구의 목적은 직설법적 조건문(indicative conditionals)의 진리조건을 밝히는 데 있다. 2년에 걸쳐 진행될 이 연구에서 나는 다음 두 가지 논제를 주장하고자 한다.
첫째, 직설법적 조건문은 진리조건을 갖는다.
둘째, 진리함수적 해석이 직설법적 조건문의 올바른 진리조건이다.
첫째 논제를 확립하기 위해 나는 이 논제를 부정하는 대표적 인물인 에징톤(D. Edgington)의 견해를 비판하는 전략을 취할 것이다. 나는 그의 논증이 조건문이 진리조건을 갖지 않는다는 점을 제대로 입증하지 못했다고 주장할 것이다.
둘째 논제를 확립하기 위해 나는 진리함수적 해석의 난점이라고 생각되는 사례들은 사실 조건문의 부정(negation)을 잘못 이해한 데서 비롯되었다는 점을 보일 것이다. 나는 이 연구에서 조건문의 부정을 해석하는 새로운 방안을 제시할 것이다.

󰋯 조건문에 대한 이해 증진
- 조건문의 진리조건 규명
- 조건부 주장의 정당성 평가 기준 마련
- 조건문의 부정에 대한 올바른 이해
󰋯 조건문이 포함된 추리규칙(전건긍정규칙, 대우규칙, 가언삼단논법, 전건 강화규칙 등)의 타당성 문제에 대한 ...

󰋯 조건문에 대한 이해 증진
- 조건문의 진리조건 규명
- 조건부 주장의 정당성 평가 기준 마련
- 조건문의 부정에 대한 올바른 이해
󰋯 조건문이 포함된 추리규칙(전건긍정규칙, 대우규칙, 가언삼단논법, 전건 강화규칙 등)의 타당성 문제에 대한 실마리 제공

조건부 사고(conditional thoughts)는 인간 사고의 기본 형태 가운데 하나이다. 우리는 상황이 단순히 어떤지에 관심을 지니고 있지만, 일정한 조건하에서 어떤 상황이 벌어질지에도 커다란 관심을 지니고 있다. 우리가 나날이 하는 의사결정이나 결단은 대부분 의식적인 ...

조건부 사고(conditional thoughts)는 인간 사고의 기본 형태 가운데 하나이다. 우리는 상황이 단순히 어떤지에 관심을 지니고 있지만, 일정한 조건하에서 어떤 상황이 벌어질지에도 커다란 관심을 지니고 있다. 우리가 나날이 하는 의사결정이나 결단은 대부분 의식적인 심사 숙고의 과정을 거치기 마련이며, 이런 사고 과정에서 큰 몫을 담당하는 것이 바로 조건부 사고이다. 가령 시속 90km로 운전을 하고 있는 중에 앞에 급커브 길이 있음을 일러주는 도로 표지판을 우리가 본다고 하자. 이 경우 “만약 내가 지금 속도를 줄이지 않는다면, 교통사고가 날지도 모른다”라는 조건부 사고를 하지 못한다면, 이 정보는 우리에게 아무런 의미도 없을 것이다. 이런 점에서 어떤 위기나 재난이 일어나리라는 것을 미리 알고 대처한다는 사실은 우리 인간이 조건부 사고를 하고 있다는 점을 잘 보여준다.
인간 사고에서 조건부 사고가 지닌 비중을 반영하듯, 조건문은 논리학에서도 아주 중요한 역할을 해왔다. 그래서 우리는 일상적으로 자주 사용되는 타당한 추리방식 가운데 조건문을 구성요소로 포함하는 것들이 무척 많음을 볼 수 있다. 전건 긍정규칙(modus ponens), 후건 부정규칙(modus tollens), 가언 삼단논법(hypothetical syllogism), 대우규칙(contraposition) 등은 모두 조건문이 나오는 추리방식 가운데 우리가 특히 자주 사용하는 예들이다. 또한 과학의 일반법칙이나 인과법칙은 모두 조건문 형태로 정식화된다고 생각되며, 일반법칙과 우연적 일반화의 구분이나 성향어(dispositional terms)에 대한 적절한 분석에도 조건문이 활용되고 있다.
그러면 “만약 A라면 C”라는 형태의 조건문은 어떤 조건에서 참이 되고 어떤 조건에서 거짓이 되는가? 즉 조건부 주장의 참/거짓은 어떻게 결정되는가? 조건문의 진리조건이라는 이 연구는 이 물음에 대한 해답을 모색해 봄으로써, 조건문의 논리적 구조를 밝히는 데 목적이 있다. 이 연구를 통해 나는 조건문의 의미를 명확히 하고, 조건부 주장의 정당성을 평가하는 지침을 마련할 수 있기를 기대한다.