실질 조건문

실질 조건문(material conditional) 또는 실질적 함의(material implication)는 논리학에서 흔히 사용되는 이항 연산이다. 조건 기호 가 실질적 함의로 해석될 때, 라는 공식은 가 참이고 가 거짓인 경우를 제외하고는 참이다.

실질적 함의는 고전 논리의 모든 기본 시스템과 일부 비고전 논리에서 사용된다. 이는 수학 내에서 정확한 조건부 추론의 모델로 가정되며, 많은 프로그래밍 언어의 명령문에서 기본 역할을 한다. 그러나 많은 논리에서는 실질적 함의를 엄격한 조건문 및 가변적 엄격 조건문과 같은 다른 연산자로 대체한다. 실질적 함의의 역설 및 관련 문제로 인해, 실질적 함의는 일반적으로 자연어에서의 조건문에 대한 타당한 분석으로 간주되지 않는다.

 표기법 
논리학 및 관련 분야에서 실질 조건문은 일반적으로 중위 연산자 로 표기된다. 실질 조건문은 또한 중위  및 를 사용하여 표기된다. 접두사 폴란드 표기법에서는 조건문이 로 표기된다. 조건문 공식 에서 하위 공식 는 전건이라고 불리고 는 조건문의 후건이라고 불린다. 조건문은  공식에서처럼 전건이나 후건 자체가 조건문일 수 있도록 중첩될 수 있다.

 역사 
Arithmetices Principia: Nova Methodo Exposita (1889)에서 페아노는 "만약 이면, 이다"라는 명제를 C의 반대 기호인 Ɔ로  Ɔ 로 표현했다. 그는 또한 라는 명제를  Ɔ 로 표현했다.말발굽 기호 Ɔ는 부분집합 기호 ⊂로 뒤집혔음에 유의하라. 힐베르트는 1918년에 "만약 A이면, B이다"라는 명제를 로 표현했다. 러셀은 그의 수학 원리 (1910–1913)에서 페아노를 따라 "만약 A이면, B이다"라는 명제를 로 표현했다. 러셀을 따라 겐첸은 "만약 A이면, B이다"라는 명제를 로 표현했다. 헤이팅은 처음에 "만약 A이면, B이다"라는 명제를 로 표현했지만, 나중에는 오른쪽을 가리키는 화살표인 로 표현하게 되었다. 부르바키는 1954년에 "만약 A이면, B이다"라는 명제를 로 표현했다.

 의미론 
 진리표 
고전 논리의 의미론적 관점에서 실질적 함의는 첫 번째 인수가 참이고 두 번째 인수가 거짓인 경우를 제외하고는 "참"을 반환하는 이항 진리 함수 연산자이다. 이 의미론은 다음 진리표에 그래픽으로 표시될 수 있다.

동치 를 고려할 수도 있다.

전건 가 거짓인 조건문 은 "공허한 참"이라고 불린다.
예시는 다음과 같다...
 ... 가 거짓인 경우: "마리 퀴리가 갈릴레오 갈릴레이의 여동생이라면, 갈릴레오 갈릴레이는 마리 퀴리의 오빠이다."
 ... 가 참인 경우: "마리 퀴리가 갈릴레오 갈릴레이의 여동생이라면, 마리 퀴리는 형제자매가 있다."

 분석적 타블로 

연결사 집합 논리식은 다음과 같다.
 각 명제 변수는 논리식이다.
 ""은 논리식이다.
 만약 와 가 논리식이라면, 도 논리식이다.
 그 외에는 논리식이 아니다.에 대한 공식은 f-함의적이라고 불린다. 고전 논리에서  (부정),  (논리곱),  (논리합) 및  (동치)와 같은 다른 연결사는 와  (거짓)으로 정의될 수 있다.f-함의 공식은 최소 논리 (MPC) 또는 직관 논리 (IPC) 명제 논리의 모든 유효한 공식을 표현할 수 없다. 특히,  (논리합)은 그 안에서 정의될 수 없다. 반대로, 는 MPC / IPC의 완전한 기초이다. 이로부터 다른 모든 연결사 (예: )가 정의될 수 있다.

f-함의 공식의 타당성은 분석적 타블로 방법에 의해 의미론적으로 확립될 수 있다. 논리 규칙은 다음과 같다.
{| style="border: none; border-spacing: 1px; border-collapse: separate;"
|-
| style="vertical-align: top;" |  || valign="top" | 
|-
|colspan="2" |  : 분기 닫기 (모순) : 아무것도 하지 않기 (모순이 없음을 주장할 뿐이므로)
|}

         F[p → ((p → ⊥) → ⊥)]
          |
         T[p]
         F[(p → ⊥) → ⊥]
          |
         T[p → ⊥]
         F[⊥]
 ┌────────┴────────┐
F[p]              T[⊥]
 |                 |
CONTRADICTION     CONTRADICTION
(T[p], F[p])      (⊥ is true)

         F[((p → ⊥) → ⊥) → p]
          |
         T[(p → ⊥) → ⊥]
         F[p]
 ┌────────┴────────┐
F[p → ⊥]          T[⊥]
 |                 |
T[p]            CONTRADICTION (⊥ is true)
F[⊥]
 |
CONTRADICTION (T[p], F[p])
힐베르트식 증명은 여기 또는 여기에서 찾을 수 있다.
 1. F[(p → q) → ((q → r) → (p → r))]
              |                       // from 1
          2. T[p → q]
          3. F[(q → r) → (p → r)]
              |                       // from 3
          4. T[q → r]
          5. F[p → r]
              |                       // from 5
          6. T[p]
          7. F[r]
     ┌────────┴────────┐              // from 2
8a. F[p]          8b. T[q]
     X        ┌────────┴────────┐     // from 4
         9a. F[q]          9b. T[r]
              X                 X
힐베르트식 증명은 여기에서 찾을 수 있다.

 구문론적 속성 

진리표에 의한 의미론적 정의는 다양한 논리 시스템에서 구조적으로 동일한 명제 형태를 조사하는 것을 허용하지 않으며, 여기서 다른 속성이 입증될 수 있다. 여기서 고려되는 언어는 f-함의 공식에 한정된다.

다음 (후보) 자연 연역 규칙을 고려해보자.

 함의 도입 (I)

를 가정하여 를 도출할 수 있다면, 를 결론내릴 수 있다.

 (I)

는 규칙을 적용할 때 해제되는 가정이다. 함의 제거 (E)

이 규칙은 전건 긍정에 해당한다.

 (E)

 (E) 이중 부정 제거 (E)

 (E) 거짓 제거 (E)

거짓 ()으로부터 어떤 공식도 도출할 수 있다.(ex falso quodlibet)

 (E)

 최소 논리: 자연 연역 규칙을 함의 도입 (I)과 함의 제거 (E)로 제한함으로써 (함의 단편의) 최소 논리 (요한손이 정의한 대로)를 얻는다.
1.[ P ]// 가정2.[ P → ⊥ ]// 가정3.⊥// E (1, 2)4.(P → ⊥) → ⊥)// I (2, 3), 2 해제5.P → ((P → ⊥) → ⊥)// I (1, 4), 1 해제
 직관 논리: 거짓 제거 (E)를 규칙으로 추가함으로써 (함의 단편의) 직관 논리를 얻는다.
는 (이미 최소 논리에서) 유효하지만, 역함의는 배중률을 수반한다.

 고전 논리: 이중 부정 제거 (E)도 허용된다면, 이 시스템은 (완전한!) 고전 논리를 정의한다.

 엄선된 정리 (고전 논리) 
고전 논리에서 실질적 함의는 다음을 검증한다.
1.[ (Q → ⊥) → (P → ⊥) ]// 가정 (9에서 해제)2.[ P ]// 가정 (8에서 해제)3.[ Q → ⊥ ]// 가정 (6에서 해제)4.P → ⊥// E (1, 3)5.⊥// E (2, 4)6.(Q → ⊥) → ⊥// I (3, 5) (3 해제)7.Q// E (6)8.P → Q// I (2, 7) (2 해제)9.((Q → ⊥) → (P → ⊥)) → (P → Q)// I (1, 8) (1 해제)
1.[ (P → Q) → P ]// 가정 (11에서 해제)2.[ P → ⊥ ]// 가정 (9에서 해제)3.[ P ]// 가정 (6에서 해제)4.⊥// E (2, 3)5.Q// E (4)6.P → Q// I (3, 5) (3 해제)7.P// E (1, 6)8.⊥// E (2, 7)9.(P → ⊥) → ⊥// I (2, 8) (2 해제)10.P// E (9)11.((P → Q) → P) → P// I (1, 10) (1 해제)
1.// 가정2.// 가정3. // E (1, 2)4.// E (3)5.// I (2, 4) (2 해제)6.// I (1, 5) (1 해제)
 가져오기-내보내기: 
 부정 조건문: 
 또는-그리고-이면: 
 전건의 교환성: 
 좌분배성: 

마찬가지로, 다른 연결사에 대한 고전적 해석에서 실질적 함의는 다음 귀결을 검증한다.
 전건 강화: 
 추이성: 
 분리 전건의 단순화: 

실질적 함의를 포함하는 항진식은 다음과 같다.
 반사성: 
 전체성: 
 조건부 배중률: 

 자연어와의 불일치 

실질적 함의는 자연어의 조건문 사용과 밀접하게 일치하지 않는다. 예를 들어, 거짓 전건을 가진 실질 조건문은 공허하게 참이지만, 자연어 문장 "8이 홀수라면, 3은 소수이다"는 일반적으로 거짓으로 판단된다. 마찬가지로, 참 후건을 가진 어떤 실질 조건문도 그 자체로 참이지만, 화자들은 일반적으로 "내 주머니에 1페니가 있다면, 파리는 프랑스에 있다"와 같은 문장을 거부한다. 이러한 고전적인 문제들은 실질적 함의의 역설이라고 불렸다. 역설 외에도, 실질적 함의 분석에 반대하는 다양한 다른 주장이 제기되었다. 예를 들어, 반사실적 조건문은 그러한 설명에서는 모두 공허하게 참이 될 것이지만, 실제로는 일부는 거짓이다.

20세기 중반, H. P. 그라이스와 프랭크 잭슨을 포함한 여러 연구자들은 화용론적 원리가 자연어 조건문과 실질 조건문 사이의 불일치를 설명할 수 있다고 제안했다. 그들의 설명에 따르면, 조건문은 실질적 함의를 지시하지만, 그라이스의 격률과 같은 대화적 규범과 상호작용할 때 추가 정보를 전달하게 된다. 형식 의미론 및 언어철학의 최근 연구는 일반적으로 자연어 조건문에 대한 분석으로서 실질적 함의를 피하고 있다. 특히, 이러한 연구는 자연어 조건문이 "P라면 Q"의 진리값이 오직 P와 Q의 진리값에 의해서만 결정된다는 의미에서 진리 함수적이라는 가정을 종종 거부했다. 따라서 조건문의 의미론적 분석은 일반적으로 양상 논리, 연관 논리, 확률론 및 인과 모델과 같은 기초 위에 구축된 대안적 해석을 제안한다.

조건부 추론을 연구하는 심리학자들에 의해 유사한 불일치가 관찰되었는데, 예를 들어 악명 높은 웨이슨 선택 과제 연구에서 참가자의 10% 미만이 실질 조건문에 따라 추론했다. 일부 연구자들은 이 결과를 참가자들이 규범적인 추론 법칙을 따르지 못한 실패로 해석한 반면, 다른 연구자들은 참가자들이 비고전적 법칙에 따라 규범적으로 추론한다고 해석한다.

 같이 보기 

 부울 도메인
 불 함수
 불 논리
 조건부 한정사
 함의 명제 계산
 형식의 법칙들
 논리 그래프
 동치
 실질적 함의 (추론 규칙)
 피어스의 법칙
 명제 계산
 유일한 충분 연산자

 조건문 
 해당 조건문
 반사실적 조건문
 직설적 조건문
 엄격한 조건문

 내용주 

 참고 문헌 



 추가 문헌 
 Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations, 1st edition, 클루어 아카데미 출판사, 노웰, MA. 2nd edition, 도버 출판사, 미니올라, NY, 2003.
 에징턴, 도로시 (2001), "Conditionals", Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, 블랙웰.
 콰인, W.V. (1982), Methods of Logic, (1판 1950), (2판 1959), (3판 1972), 4판, 하버드 대학교 출판부, 케임브리지, MA.
 스탈네이커, 로버트, "Indicative Conditionals", 필로소피아, 5 (1975): 269–286.

 외부 링크 

분류:의미론 (언어학)
분류:조건부
분류:논리 연결자
분류:논리적 귀결