기호논리학과 그 응용

머리말

제1장 기호론과 언어
1. 기호론의 구성
1.1. 구문론
1.2. 의미론
1.3. 화용론

2. 언어의 구분
2.1. 대상언어와 고차언어
2.2. 자연언어 - 의미와의 관련을 중심으로
2.3. 인공언어

연습문제

제2장 논리개념과 그 검증방법
1. 논리개념

2. 인공언어로의 번역
2.1. 결합사
2.2. 기호화
2.3. 기호화의 다양성

3. 검증방법
3.1. 진리표에 의한 방법
3.2. 약식진리표에 의한 방법
3.3. 진리수에 의한 방법
3.4. 대입에 의한 추론방법

연습문제

제3장 명제논리와 스위치회로
1. 논리망과 회로망
1.1. 대수적 표현과 회로
1.2. 매트릭스의 작성
1.3. 회로의 단순화

2. 선언표준형과 연언표준형
2.1. 선언표준형
2.2. 연언표준형
2.3. 표준형 사이의 교환

연습문제

제4장 진리표의 응용
1. 투표, 내기, 대진표
1.1. 투표
1.2. 내기와 기대치
1.3. 대진표작성
1.4. 귀납논리학의 응용

2. 전자계산기의 원리
2.1. 2진법체계와 전자계산기
2.2. 논리대수와 전자계산기
2.3. 컴퓨터에서 프로그래밍언어와 순서도

연습문제

제5장 이론, 공리체계 및 그 검증방법
1. 이론의 특징

2. 공리들의 논리체계
2.1. 무모순성
2.2. 완전성
2.3. 독립성
2.4. 공리화가능성

3. 이론의 확대와 정의문제
3.1. 이론의 확대
3.2. 정의문제

연습문제

연습문제해답
참고문헌
찾아보기