노동자의 책 처음으로 | 사전 | 자유게시판 | 회원자료 | 로그인

 

       ■ 의견바로가기

[외연 논리학 ] ([外延論理學, 영 extensional logic])

어떤 언어에 속하는 임의의 명제에 관해서 그 구성 요소인 명사, 술어, 명제의 일부 또는 전부를 각각 다른 명사, 술어, 명제로 바꾸어 다른 명제를 만들 때, ⓐ명사에 관해서는 지시 대상이 동일하고, ⓑ술어에 관해서는 외연이 동일하며, ⓒ명제에 관해서는 진리치가 같다고 하면, 새로 만들어진 명제의 진리치도 변하지 않게 되는 언어를 외연적 언어라 하며, 이러한 외연적 언어의 논리학을 외연 논리학이라고 한다. 고전 논리학을 정언적 명제의 논리학이라고 생각한다면 이것은 완전한 외연 논리학이다. 그러나 '된다면', '또는' 등의 논리적 결합어를 명제의 구성요소로서 허용할 때 그 외연성은 보장되지 않는다. 기호논리학의 명제논리학이나 술어논리학은 등장하는 논리적 결합어가 진리 함수적으로 정의되어 있기 때문에 외연논리학이라 하고, 이것에 반하여 동일한 기호논리학 중에도 양상논리학이나 직관주의 논리학은 외연적이지 않으므로 이와 같은 논리학을 내포논리학이라고 한다. 외연적 언어와 외연적 논리는 외계를 간단명료하게 기술하는 까닭에 외계에 관해 말할 때에는 가능한 한 외연적 논리로서 논리를 전개하도록 노력하여야 한다는 논리학자들이 많다.

■ 인접어

왕양명
왕오천축국전
왕인
외계
외연
외연 논리학
외연 논리학
외연량
외재인
외화
외화2

뒤로
■ 의견

 



HOME - 후원방법 안내 - CMS후원신청 - 취지문 - 사용 도움말 - 회원탈퇴하기

2002 노동자 전자도서관 "노동자의 책" 만들기 모임
120-702 서울시 중구 정동 22-2 경향신문 별관 202호 44
laborsbook@gmail.com
모바일버젼 보기