수리논리학

1 개요

mathematical logic

數理論理學

수리논리학

• 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문
• 수학적 연산을 할 수 있도록 논리 형식을 기호화하여 다루는 논리학
• 논리학을 수학의 기호 및 기법을 통하여 연구하는 논리학과 수학의 하위 학문 혹은 방법론
• 추리나 증명의 엄밀함을 기하기 위해 일상 언어의 표현 대신 논리 기호를 사용하는 논리학
• 언어 대신 기호를 활용하여 언어의 모호성이나 제약을 없애고 논리 체계의 순수성과 엄밀성에 치중하여 논리의 구조를 밝히려고 하는 형식 논리학
• 일상 언어와 같은 자연언어의 사용에서 올 수 있는 복잡성과 오류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론

2 같이 보기

• 수리(數理)
• 논리학
• 기호논리학
• 형식논리학

3 참고

• 위키백과 "수리논리학"
• 위키낱말사전 "수리논리학"
• 다음사전 "수리논리학"
• 다음백과 "수리논리학"
• 네이버사전 "수리논리학"
• 네이버백과 "수리논리학"
• 나무위키 "수리논리학"
• 리브레 위키 "수리논리학"