논리는 어떤 각도에서 수리논리와 어떤 논리로 나누어집니까?

형식 논리는 전통 형식 논리와 현대 형식 논리로 나뉜다. 전통적인 형식 논리는 주로 연역논리와 귀납논리를 포함한다.

현대 형식 논리는 주로 지수 논리 (기호 논리라고도 함) 를 가리킨다.

수리논리는 모달 논리, 사양 논리, 다중값 논리, 최적화 논리, 구조 논리, 프로그램 논리 등 여러 가지가 있습니다.

논리는 형식 논리 (일반 논리), 수학 논리, 철학 논리, 퍼지 논리, 비형식 논리, 변증 논리, 제한 논리 등으로 나뉜다.

논리학의 연구 대상은 주로 사고의 논리적 형식, 기본 법칙, 간단한 논리적 방법이다. 교육 내용에는 주로 도론, 명제 논리, 어휘 논리, 모달 논리, 귀납논리, 논리 기본법, 논증이 포함된다. 논리 현대화' 사상의 지도 아래 내용에 대한 선택과 안배, 현대 논리에 입각한 고도의 전통 논리 내용을 처리하고, 그 정수를 보존하며, 현대 논리와 전통 논리의 유기적 결합을 추구한다. 사고와 자연어의 현실성과 특징을 면밀히 주시하고, 인지법칙과 교학요구에 부합하는 선진성, 과학성, 적용성의 유기적 통일을 위해 노력하여 우리의 교학 목표를 실현하는 데 깨우침이 있다.