생각검색

지원 자격을 갖췄으니 합격이 확정됐을까?

필요·충분·필요충분 규칙과 자격·합격 사실을 바꾸어 가능한 경우, 합격 결론과 역방향 반례를 다시 계산합니다.

논증의 질을 점수 하나로 줄여도 될까?

논리적 타당성, 청중 설득, 대화의 공정성은 서로 다른 질문입니다. 15개 차원의 논증 품질 분류를 평가표로 읽습니다.

연구 질문과 방법Wachsmuth 등은 EACL 2017 논문에서 자연어 논증의 품질을 자동 평가하려면 공통 개념 틀이 부족하다는 문제를 제기했습니다. 논증 이론과 기존 계산 접근을 종합해 논리적, 수사적, 대화적 세 차원 아래 15개 측면의 분류를 만들었습니다. 이어 320개 논증을 모든 차원에서 주석한 말뭉치를 제시해 연구자들이 같은 기준을 비교할 기반을 마련했습니다.

파란 이름표를 받았으니 낭독회에 왔다고 말해도 될까?

‘참석하면 이름표를 받는다’의 방향을 뒤집은 오답을 반례로 고치고, 추가 전제나 직접 기록에 따라 가능한 경우와 결론을 바꿉니다.

2. 가능한 반례 하나면 ‘반드시’를 멈출 수 있다forall x: Calgary는 전제들을 모두 참으로 만들면서 결론을 거짓으로 만드는 평가가 하나도 없을 때 함의가 성립한다고 설명합니다. 같은 장의 연습에는 A→B, B, 따라서 A가 타당한지 진리표로 검사하는 문제가 공개되어 있습니다. 이 글은 그 일반 원리를 가상 이름표 사례에 적용했습니다.

“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?

직관주의 논리에서 증명은 단순한 정답표가 아니라 구성을 제시하는 일입니다. 선언과 이중부정의 차이를 읽습니다.

배중률과 이중부정일반적인 A∨¬A와 ¬¬A→A는 직관주의 논리의 정리로 채택되지 않습니다. 그렇다고 모든 고전 정리가 거짓이라고 선언하는 것은 아닙니다. 특정 A에 대해 A나 ¬A를 실제로 증명할 수 있으면 그 선언은 당연히 증명할 수 있습니다. 모순에서 임의의 결론을 얻는 원리는 유지되므로, 준일관논리와도 목적과 규칙이 다릅니다.

일부러 틀린 뒤 고치면 먼 문제에도 배움이 옮겨갈까?

세 실험은 개념을 일부러 잘못 설명하고 곧바로 고치는 활동을 오류 없는 정교화나 남의 오류 수정과 비교했습니다.

해석의 범위와 한계세 실험의 통제된 자료와 단기 검사에 관한 결과이며 교실 장기 성취나 모든 오류에 일반화할 수 없습니다. 해로운 오개념을 고정하지 않도록 즉시 정확한 피드백이 필요합니다. 발표일과 확인한 버전을 구분하고 저자 국적은 추정하지 않았습니다.

같은 조건문도 사회적 약속으로 읽으면 반례 카드를 더 잘 찾을까?

Cosmides의 1989년 일련의 Wason 선택과제 실험은 사회적 교환 맥락에서 부정행위자를 찾는 선택이 촉진됨을 보고했지만, 그 원인 해석에는 논쟁이 남습니다.

긴 논문과 고전 연구라는 맥락을 명시합니다논문은 Cognition 31권 187–276쪽의 장문 연구이며 1989년 4월 출판됐습니다. 이번 해설은 PubMed 메타데이터·초록과 대학 공개 PDF의 실험 논리를 확인했습니다. 특정 사회집단의 도덕성이나 모든 문화의 보편성을 판정한 연구로 읽어서는 안 됩니다.

‘왜 그런가요?’라고 묻기만 하면 이해가 깊어질까?

순환계 글을 읽은 중학교 8학년 24명의 연구는 자기설명 촉진과 개념 모형 변화를 살폈지만, 작은 표본과 설명 질의 차이를 함께 봐야 합니다.

무작위 배정과 인과 해석을 신중히 봅니다논문은 촉진 조건과 비촉진 조건을 비교했지만 현대의 대규모 사전 등록 시험이 아닙니다. 높은 설명자와 낮은 설명자의 차이는 학생이 사후적으로 보인 행동에 따른 비교라 자기설명의 양만이 원인이라고 확정하기 어렵습니다. 글 주제, 말하기 능력과 사전 지식도 영향을 줄 수 있으며 모든 자기설명이 정확한 것은 아닙니다.

근거가 두 개면 설득력도 두 배일까?

함께 있어야 작동하는 근거와 따로도 힘을 갖는 근거를 구분합니다. 근거를 하나 지워 보는 논증 읽기입니다.

창고 열쇠를 맡길 사람을 정하는 회의그림에서는 첫 사례의 두 사실을 ‘두 조건 충족’ 상자에 모은 뒤 규칙 적용 결과에 연결합니다. 선 두 개가 빈 공간에서 만나는 대신 결합 지점을 명시했습니다. 두 번째 사례는 본문으로만 비교합니다. 서로 다른 종류의 추론을 한 그림에 겹쳐 놓아 마치 모든 근거가 필수 조건인 것처럼 보이지 않게 하기 위해서입니다.