통합검색

아리스토텔레스의 ‘삼단논법’은 오늘의 형식논리와 같은 것일까?

아리스토텔레스의 술로기스모스는 좁은 형식 이름이 아니라 전제로부터 필연적으로 다른 결론이 나오는 연역 전체를 가리켰습니다.

Aristotle’s Logic

인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?

AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.

Solving Olympiad Geometry without Human Demonstrations

논리학이란 무엇인가

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

확증과 연역적 증명을 구분하고 반례 하나의 역할을 따로 표시했다.

생각그림 8 · 확증과 연역적 증명을 구분하고 반례 하나의 역할을 따로 표시했다.

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식