투명강화논리
Transparent intensional logic |
투명강화논리(THIL로 자주 약칭)는 파벨 티히에 의해 만들어진 논리 체계다.풍부한 절차적 의미론 때문에 TIL은 특히 자연어의 논리적 분석에 적합하다.형식적인 관점에서 보면 TIL은 초선형의 부분적인 타입의 람다 미적분학이다.
TIL 어플리케이션은 형식적인 의미론, 언어 철학, 인식론적 논리학, 철학적 논리학, 형식적 논리학으로부터 광범위한 주제를 다룬다.TIL은 구어적, 과학적, 수학적, 논리적 등 모든 종류의 담론에 대해 중요한 의미 체계를 제공한다.의미론적 이론은 절차론적 이론이며, 그 의미론적 이론은 절차의 제품(있는 경우)에 도달해야 할 절차적 구성요소에 어떤 연산을 적용해야 하는지를 상세히 기술하는 추상적이고 언어론적 사전 절차론적 절차론이다.
시공으로 알려진 TIL 절차는 고압적으로 개별화된다.건설은 투명한 강도 논리의 가장 중요한 단일 개념으로, 철학적으로 잘 동기가 부여되고 공식적으로 잘 다듬어진 프리지의 표현 방식 개념이다.구조, 그리고 그들이 구성하는 실체들은 단순한 유형 이론을 통합한 래미티드 타입 이론으로 구성된다.의미론은 초지향적 문맥에 의해 구성되는 것처럼 가장 어려운 경우에 맞춤화되며, 거기서부터 강도적이고 확장적인 문맥에 이르기까지 일반화된다.기본 논리는 프레게식 함수/주장 1로, 관계나 집합보다는 기능을 원시적인 것으로 취급하며, 교회식 논리와 함께 기능 추상화와 적용의 운용에 중점을 둔다.
의미분석에 대한 TIL 접근방식을 알려주는 주요 제약조건은 구성성과 반-일문주의다.표현에 대한 구성을 의미로서 할당하는 것은 상황에 따라 다르다.구성이 일어나는 논리적인 맥락의 종류에 따라, 문맥에 의존하는 것은 의미 할당보다는 각각의 의미 자체의 논리적 조작이다.
참고 항목
참고 문헌 목록
- P. Tichý(1988):프레지 논리의 기초.드 그루터, 베를린, 뉴욕 1988, 333 페이지.
- M. 듀지, B. 제스페르센, P.Materna: 하이퍼멘텀 로직을 위한 절차적 의미론. TIL의 기초 및 적용.2010년 스프링거
