8.9 자연 언어에서 기호 언어로의 번역

1. 절의 학술적 목표

본 절은 자연 언어의 문장을 명제 논리의 기호 언어로 번역하는 방법을 학술적으로 검토하는 것을 목표로 한다. 자연 언어에서 기호 언어로의 번역은 논리적 분석의 출발점이며, 논리적 형식을 정확히 포착하는 작업이다. 본 절은 번역의 절차, 주요 어려움, 그리고 학술적 원칙을 체계적으로 정리한다.

2. 번역의 학술적 의의

자연 언어에서 기호 언어로의 번역은 자연 언어 논증의 논리적 구조를 명시적으로 드러내는 작업이다. 번역을 통하여 논증의 형식적 분석, 타당성 평가, 진리값 계산이 가능해진다. 번역은 논리적 분석의 기초이며, 형식 논리학의 실천적 응용의 시작이다(Copi, Cohen, & McMahon, 2014).

3. 번역의 기본 절차

번역의 기본 절차는 다음과 같다. 첫째, 자연 언어 문장에서 원자 명제를 식별한다. 둘째, 각 원자 명제에 명제 변항을 할당한다. 셋째, 원자 명제들을 결합하는 논리 연결사를 식별한다. 넷째, 적절한 논리 연결사로 원자 명제들을 결합하여 복합 공식을 구성한다. 다섯째, 필요한 경우 괄호를 사용하여 구조를 명확히 한다(Copi, Cohen, & McMahon, 2014).

4. 부정의 번역

부정의 번역은 비교적 단순하다. “~이 아니다”, “~이 아닌 것은 아니다”, “~는 것은 사실이 아니다” 등의 표현은 부정(¬)으로 번역된다. 예를 들어 “비가 오지 않는다“는 “¬P“로 번역될 수 있다(단, P는 “비가 온다”). 그러나 자연 언어의 부정 표현은 종종 부분 부정과 전체 부정의 모호성을 포함하므로 주의가 필요하다(Mendelson, 2015).

5. 연언의 번역

연언은 “그리고”, “또한”, “~이면서”, “~이고” 등의 접속사로 표현된다. 예를 들어 “철수는 학생이고 영희는 교사이다“는 “P ∧ Q“로 번역된다. 그러나 자연 언어의 “그리고“는 때로 시간적 순서나 인과 관계를 함축하는데, 명제 논리의 연언은 이러한 함축을 포착하지 못한다. 예를 들어 “그녀는 결혼했고 아이를 낳았다“와 “그녀는 아이를 낳았고 결혼했다“는 연언으로는 동일하게 번역된다(Grice, 1975).

6. 선언의 번역

선언은 “또는”, “혹은”, “~이거나” 등의 표현으로 번역된다. 그러나 자연 언어의 “또는“은 포괄적 의미(inclusive)와 배타적 의미(exclusive)를 모두 가질 수 있으므로 주의가 필요하다. 포괄적 선언은 “∨“로 직접 번역되며, 배타적 선언은 “(P ∨ Q) ∧ ¬(P ∧ Q)” 또는 “P ↔ ¬Q“로 번역된다(Copi, Cohen, & McMahon, 2014).

7. 조건의 번역

조건은 “만약 ~이면 ~이다”, “~일 때 ~이다”, “~라면 ~이다” 등의 표현으로 번역된다. “P → Q“의 형태에서 P는 전건(antecedent)이고 Q는 후건(consequent)이다. 그러나 자연 언어의 조건문은 종종 인과 관계나 양상적 함의를 포함하는데, 실질 함의는 이러한 요소를 포착하지 못한다. 이러한 간극은 “실질 함의의 역설“로 알려져 있다(Bennett, 2003).

8. 쌍조건의 번역

쌍조건은 “~일 때 그리고 오직 그 때에만”, “~하면 그리고 오직 ~하면”, “~인 경우에 한하여 ~이다” 등의 표현으로 번역된다. 쌍조건은 두 명제가 동일한 진리값을 가지는 경우에만 참이다. 수학적 정의와 필요·충분 조건을 표현할 때 쌍조건이 자주 사용된다(Mendelson, 2015).

9. 복합 문장의 번역

복합 자연 언어 문장의 번역은 단순 번역보다 복잡하다. 문장의 주 연결사를 식별하고, 각 부분을 재귀적으로 번역한 후 결합해야 한다. 예를 들어 “만약 비가 오고 바람이 불면 우산이 필요하다“는 “(P ∧ Q) → R“로 번역된다. 복합 문장의 번역에서는 괄호의 적절한 사용이 중요하다(Copi, Cohen, & McMahon, 2014).

10. 번역의 한계

자연 언어에서 기호 언어로의 번역은 항상 완벽하지 않다. 첫째, 자연 언어의 뉘앙스, 함축, 맥락 의존성은 명제 논리로 완전히 포착되지 않는다. 둘째, 명제 논리는 양화, 양상, 시제 등을 다루지 않으므로 이와 관련된 표현은 번역의 대상이 되기 어렵다. 셋째, 자연 언어의 모호성과 애매성은 번역에서 해석의 여지를 남긴다(Bennett, 2003).

11. 번역의 실용적 원칙

번역의 실용적 원칙은 다음과 같다. 첫째, 원자 명제를 가능한 한 세밀하게 식별한다. 둘째, 논리 연결사의 의미를 정확히 파악한다. 셋째, 구조적 모호성은 맥락을 고려하여 해결한다. 넷째, 번역의 결과는 원래 문장의 논리적 내용을 최대한 충실히 반영해야 한다. 다섯째, 번역이 완벽하지 않을 경우 그 한계를 명시한다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

자연 언어에서 기호 언어로의 번역은 원자 명제의 식별, 명제 변항의 할당, 논리 연결사의 식별, 공식의 구성, 괄호의 사용의 절차를 따른다. 각 논리 연결사(부정, 연언, 선언, 조건, 쌍조건)는 자연 언어의 특정 표현과 대응되지만, 자연 언어의 함축과 뉘앙스는 완전히 포착되지 않을 수 있다. 번역은 논리적 분석의 기초이며, 자연 언어 논증의 형식적 평가를 가능하게 한다. 학습자는 번역의 절차와 한계를 정확히 이해하고, 실천적 분석에서 일관되게 적용할 수 있어야 한다.

13. 출처

• Grice, H. P. (1975). Logic and conversation. In P. Cole & J. L. Morgan (Eds.), Syntax and Semantics, Volume 3: Speech Acts (pp. 41–58). New York: Academic Press.
• Bennett, J. (2003). A Philosophical Guide to Conditionals. Oxford: Oxford University Press.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15