논리의 의미론
Semantics of logic | 이 글은 검증을 위해 추가 인용문이 필요합니다.: 서적 (2011년 4월 (이 템플릿 및 시기 ) |
논리학에서, 논리학 또는 형식적 의미론은 보통 수반의 이론 이전의 개념을 포착하기 위해 시도되는 형식 및 (이상화의) 자연 언어의 의미론 또는 해석에 대한 연구입니다.
개요
논쟁에서 우리가 마주칠 수 있는 다양한 문장의 진실 조건은 그들의 의미에 달려있을 것이고, 그래서 논리학자들은 이 문장의 의미에 대한 약간의 처리를 제공할 필요성을 완전히 피할 수 없다.논리학의 의미론은 논리학자들이 그들이 관심 있는 의미의 일부를 이해하고 결정하기 위해 도입한 접근방식을 말한다. 논리학자는 전통적으로 말하는 대로의 문장이 아니라 논리적인 [citation needed]조작에 적합한 명제인 명제에 관심이 있다.
현대 논리가 등장하기 전까지, 아리스토텔레스의 오르가논, 특히 De Interpretatione는 논리의 중요성을 이해하기 위한 기초를 제공했다.복수 일반성의 문제를 해결하기 위해 필요한 수량화의 도입은 아리스토텔레스의 논리에 대한 새로운 관심이 있지만, 아리스토텔레스의 삼단논법의 정신에서 계산학을 찾으려고 시도했지만, 아리스토텔레스의 설명을 지배하는 주제-사전 분석의 종류를 불가능하게 만들었다.quantifier에 있습니다.
공식 언어의 의미론에 대한 주요 현대적 접근법은 다음과 같습니다.
- 모델 이론 의미론의 원형은 그의 T-schema에 기초한 알프레드 타르스키의 진실의 의미론이며 모델 이론의 기초 개념 중 하나이다.이것은 가장 널리 퍼진 접근법이며, 명제의 다양한 부분의 의미가 우리가 그것들로부터 미리 정의된 수학 영역에 재귀적으로 지정된 해석 함수의 그룹을 줄 수 있는 가능한 방법에 의해 주어진다는 생각에 기초하고 있습니다: 1차 술어 논리의 해석은 에서 매핑에 의해 주어집니다."진짜"와 "거짓"의 가치를 가진 명제에서 진리로의 매핑.모델 이론적 의미론은 도널드 데이비슨이 개척한 진실 조건부 의미론이라고 알려진 의미론에 대한 접근의 기초를 제공한다.크립케의 의미론은 혁신을 도입하지만, 대체로 타르스키의 틀에 있다.
- 증명 이론의 의미론은 명제의 의미를 추론에서 수행할 수 있는 역할과 연관짓습니다.게르하르트 겐첸, 다그 프라위츠, 미카엘 뒤메트는 일반적으로 이 접근법의 창시자로 여겨진다; 이것은 루트비히 비트겐슈타인의 후기 철학, 특히 그의 경구 "의미는 사용됨"의 영향을 많이 받았다.
- 진실-값 의미론(일반적으로 대체 수량화라고도 함)은 1960년대 초 모달 논리학을 위해 루스 바칸 마르쿠스에 의해 주장되었고 나중에 표준 1차 논리에 대해 J. Michael Dunn, Nuel Belnap, Hugues Leblanc에 의해 옹호되었다.James Garson은 그러한 의미론을 갖춘 집중 논리의 적절성 영역에서 몇 가지 결과를 내놓았다.정량화된 공식에 대한 진실 조건은 순수하게 진실의 관점에서 제공되며 도메인에는 전혀 호소력이 없다(따라서 그 이름의 진실-값 의미론).
- 게임 의미론 또는 게임 이론 의미론은 주로 헨킨 양자를 연구한 리언 헨킨에 의해 조사된 (확정한) 부분 순서 정량화의 논리에 대한 자코 힌티카 때문에 부활했다.
- 확률론적 의미론은 하트리 필드에서 유래했으며 진실-값 의미론의 자연적 일반화와 동등하다는 것을 보여주었다.진실-값 의미론처럼, 그것은 본질적으로 비참조적이다.
