통합검색

‘해야 한다’는 말은 실제로 그렇게 된다는 뜻일까?

의무논리는 의무·허용·금지를 형식화하지만, 의무가 있다는 사실과 실제 이행은 구분해야 합니다.

Deontic Logic

전제와 결론은 같은 주제를 공유해야 할까?

관련논리는 전제와 결론 사이의 실제 연결을 형식화하지만, 단어 하나를 공유하는 것만으로 충분하지는 않습니다.

Relevance Logic

그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?

그림을 읽으려면 범례도 읽어야 합니다. 집합 그림의 빈 영역과 존재 표시를 통해 시각추론의 규칙을 살펴봅니다.

Diagrams and Diagrammatical Reasoning

논리학 개념어 100: 중급편

논리를 형식화하고 계산하는 언어 · 생각을 형식으로 옮기는 100개의 개념어를 다룹니다. 논리의 구조를 명확하게 표현하고, 추론을 체계적으로 다루는 언어를 익힙니다.

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.