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

 

       ■ 의견바로가기

[명제 논리학] ([영 propositional logic])

기호 논리학의 기초적인 부분, 임의의 명제를 표시하는 문자 기호와 논리적 결합어 및 이러한 것들을 결합하여, 새로 명제를 만드는 방식으로 구성된 명제에 어떠한 논리적 성질이 있는가를 고찰한다. 이와 같이 형식화된 명제를 논리식 또는 정식(整式)이라 한다면, 성립된 명제는 공리나 추론 규칙 하에서 이것으로부터 도출되는 것이거나 진리표로 해석하여 언제라도 참이 되는 것이라고 할 수 있다. 논리식이 무정의(無定義)적인 대상이 아니라, 문자 기호를 구체적인 일상적 언명의 소재로 밝히는 것으로 보아, 식 전체를 그와 같은 일상적 언명의 결합 구조를 나타내는 도식이라고 보는 것도 가능하다. 명제 논리학은 기본적으로 명사 논리학이었던 전통적인 논리학의 결점을 보완하면서 더 나아가 술어 논리학의 기초가 되었다. 그러나 명제 논리학은 각 명제의 진리치를 부분 명제의 진리치에 의해서 결정되는 것이라고 생각하는 외연 논리학의 입장에 서 있기 때문에 일상적 명제의 논리적 성질을 완전하게 반영하고 있지는 않다는 비판도 있다.


■ 인접어

명령
명사
명석ㆍ판명
명예
명제
명제 논리학
명제 논리학
명제 함수
명증
모간
모간

뒤로
■ 의견

 



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

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