통합검색

새 정보가 들어오면 결론을 거두어도 논리적일까?

비단조 논리는 전제가 늘어날 때 이전 결론을 철회해야 하는 일상 추론을 형식적으로 다룹니다.

Non-monotonic Logic

논리학이란 무엇인가

논리는 사유의 설계다 · 전제와 결론, 참과 타당성, 연역·귀납·가추를 차근차근 살핍니다. 논리학의 역사와 쓰임을 함께 읽으며 일상의 주장과 자신의 판단을 점검하는 입문서입니다.

열등한 세 번째 선택지가 두 선택 사이의 선호를 바꿀까?

A와 B의 두 선택에 A가 지배하는 열등한 C가 추가되고 비교 초점이 A 쪽으로 이동하는 구조.

논증 지도를 다른 프로그램으로 옮겨도 구조가 보존될까?

두 파란 정보 노드 사이에 초록 추론 적용 노드가 있고, 별도의 빨간 충돌 노드가 추론 노드를 공격하는 AIF 도식

논증 도식은 결론 모양만으로 분류할 수 있을까?

지식 확립, 행동 선택, 공격·방어의 세 목적에서 전문가 의견·유추·최선 설명 도식과 비판 질문으로 내려가는 분류 나무