통합검색

하나는 필요하고, 둘은 함께 충분할 때

가상의 온라인 시험장에서는 예약 완료와 본인 확인이 각각 빠질 수 없는 조건이며, 둘을 함께 충족하면 입장이 허용됩니다. 개별 필요조건과 결합된 충분조건을 같은 구조에서 구별해 봅니다.

토론의 목적이 몰래 바뀌면 왜 오류가 생길까?

대화 유형 이론은 어떤 전략이 본래 허용된 자리에서 다른 대화로 몰래 이동할 때 오류가 될 수 있다고 설명합니다.

Commitment, Types of Dialogue and Fallacies

“유도 질문”이라는 딱지만 붙이면 반박이 끝날까?

오류 이름을 맞히는 일보다 숨은 전제와 대화 맥락을 드러내는 일이 왜 중요한지 질문 설계로 알아봅니다.

Fallacies

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

miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

좋은 논증에는 좋은 청중도 필요할까?

Xie와 Wang은 좋은 논증을 말하는 사람의 능력만으로 평가하지 않고, 이해·응답·자기 갱신에 참여하는 청중의 덕을 분석합니다.

Someone it is Good to Argue With