규칙이 충돌할 때, 무엇부터 빼야 할까?
모든 규칙을 한꺼번에 고치기 전에, 더는 줄일 수 없는 모순의 묶음을 찾아봅니다. 체크 상자로 규칙을 빼며 가능한 상태를 확인하세요.
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
게시 2026-09-15 · 약 7분해외 논리학 연구 해설 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사186편
검색 결과 제목
같은 결론에도 서로 다른 근거가 있을 수 있을까?
정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.
Justification Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
“조건이 참이면 그 조건은 거짓”이라는 문장을 받아들일 수 있을까?
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
모순 하나가 발견되면 모든 문장이 따라와야 할까?
파라일관 논리는 모순에서 임의의 결론이 폭발하는 규칙을 제한합니다. 불일치와 아무 결론이나 허용하는 사소화를 구분합니다.
Paraconsistent Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.
Hybrid Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
116–120 / 186편