1. 논리(학)의 접근 방식 구분
ㅇ 형식 논리(학) (Formal Logic)
- 논리,논증의 형식화
. 논리적 사고의 구조와 형식적인 규칙, 기호 체계를 통해 엄밀하게 다룸
ㅇ 수리 논리(학) (Mathematical Logic)
- 논리의 수학적 취급
. 논리의 엄격한 수학화를 통해, (논리의 수학적 표현, 논리의 계산 등에 의해)
. 결론에 이르는 추론 논리의 과학화 영역
※ 형식 논리는, 논리 체계를 연구하는 틀을 제공하고,
수리 논리는, 그 틀을 활용하여 논리를 수학적으로 더욱 깊게 분석함
ㅇ 기호 논리(학) (Symbolic Logic)
- 기호를 사용하여 형식화시켜, 논증의 구조 그 자체를 대상으로 함
- 일반적인 복합명제를 수학적 기호로 취급 분석 ☞ 논리 기호 참조
. 기호를 사용하는 논리학의 한 분야로써,
. 특히, 자연어에서 발생 가능한 모호성을 제거하고,
. 논리적 관계를 정확하게 표현하는 데 중요한 역할을 함
2. 논리의 명확한 취급(형식화)을 위한 3가지 필요(요구) 사항
ㅇ 명제의 표현 형식
ㅇ 명제 사이의 관계의 표현 형식
ㅇ 다른 명제로부터 새로운 명제를 추론하는 방법의 기술/서술 형식
3. 논리(학)의 연구 대상 : 논리 대수학 (Logic Algebra)
ㅇ 명제 논리학 (Propositional Calculus)
- 명제의 논리적 대수이론 (형식화 이론)
. 명제가 참 또는 거짓인가 알 수 있도록 형식화시킴
ㅇ 술어 논리학 (Predicate Calculus)
- 변수가 포함된 명제(문장)를 다룸