논리학 기초

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

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

그림에서 무엇을 볼까요?

기본 규칙, 예외 정보, 결론 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.

새·펭귄·비행 세 노드를 놓고 처음에는 잠정 화살표를 연결한 뒤 펭귄 정보가 추가될 때 비행 결론을 취소선으로 바꿉니다.

그림은 기본 규칙 → 예외 정보 → 결론 갱신 순서로 읽고 마지막 합류점에서 조건·범위·반례를 함께 확인합니다. 원 논문의 표나 그림을 복사하지 않고 LTCT가 개념 관계만 새로 그렸습니다.

어떤 예외를 우선할지, 정보 부재를 거짓으로 볼지, 모순 때 결론을 얼마나 보존할지는 체계별로 다릅니다. 일상어의 ‘대체로’를 자동으로 하나의 규칙으로 바꾸어 주는 만능 논리는 아닙니다.

이 연구만으로 LTCT 교육·시험의 효과를 확인할 수 없습니다. 적용안은 별도 비교 조건과 측정 계획이 필요한 제안입니다.

한 번 논리적으로 얻은 결론은 새 정보가 생겨도 반드시 유지되어야 하나요?