상급 - 상태 좋으나 본문 간단한 연필 밑줄 7-8곳 있음

컴퓨터의 원리를 제공하는 데 많은 역할을 하였던 기호논리학을 소개하는 책이다. 논리개념을 지닌 문장이나 논증들을 검증하는 방법들을 상세히 알려줌으로써, 지적 호기심을 자극한다. 철학의 핵심 부분이지만 우리 나라에서 중요성의 희석되고 있는 논리학의 중요성을 강조한다.

우리가 다루는 명제논리와 한량논리가 우리의 실제생활 특히 과학기술 분야에 어떻게 응용되는지를 몇 가지 영역을 들어 정리했다. 1장에서는 기호론의 구성과 언어의 구분을, 2장에서는 인공언어로의 번역과 그 검증방법을 다룬다.

3장에서는 명제논리와 스위치 회로와의 관계를, 4장에서는 진리표의 응용을 투표, 내기, 대진표작성 등 사회생활이나 전자계산기와 같은 과학기술 분야와 관련시키면서 각각 다루고 있다. 마지막 장인 5장에서는 이론의 특징 및 공리들의 논리체계를 기호논리학과 관련시키면서 다루고 있다.