생각검색

모순 하나가 들어오면 아무 결론이나 따라와야 할까?

Priest의 역설 논리를 통해 모순 허용과 폭발 원리의 거부가 어떻게 구분되는지 탐구합니다.

도입자료에 ‘문이 열렸다’와 ‘문이 열리지 않았다’가 함께 적혀 있다면, 여기서 ‘달은 치즈다’까지 결론 내릴 수 있을까요? 고전 논리의 폭발 원리에서는 모순 P와 ¬P로부터 임의의 Q를 이끌 수 있습니다. Graham Priest의 1979년 논문은 어떤 문장이 참이면서 거짓일 수 있는 역설 논리 LP를 제시하며, 모순이 있어도 관련 없는 모든 결론이 따라오지는 않는 체계를 설명합니다. 모순을 반기는 태도가 아니라, 모순을 발견한 뒤 추론 전체가 무너지지 않게 다루는 선택입니다.

일어나지 않은 일을 다르게 가정하면 결과도 달라졌다고 말할 수 있을까?

반사실 조건문 이론은 실제가 아닌 가정을 어떤 비교 세계와 대조해야 하는지 묻습니다.

Σ₁ 문장에 한정하면, ‘증명 가능함’의 논리를 판정할 수 있을까요?

아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

도입‘모든 것을 입력으로 받을 수 있는 규칙’이 자기 자신도 입력으로 받는 순간 역설이 생길 수 있습니다. 유형이론은 대상을 층으로 나누어 어떤 적용이 문법적으로 가능한지부터 통제합니다.

이름이 있으면 그 대상도 있다고 보아야 할까?

명단의 빈 직책과 가상의 이름을 통해 자유논리가 점검하는 존재 가정을 읽습니다. 문장에 이름을 썼다는 사실에서 어떤 결론까지 나아갈 수 있는지 묻습니다.

한계와 주의빈 이름의 진리값 처리와 빈 논의 영역 허용은 구별할 쟁점입니다. 사례의 공석 처리를 모든 자유논리의 유일한 정답으로 삼지 않습니다.

스터디 참여와 점수가 함께 올랐으니 참여가 원인일까?

공통 원인·역방향·개입 결과를 바꾸어 관찰된 상관과 함께 가능한 인과 모형, 반례와 허용 결론을 다시 계산합니다.

3. 인과 모형은 관찰과 개입을 구분한다이 활동의 ‘무작위 배정에서 차이 있음·없음’은 실제 연구 결과가 아니라 개입 증거가 경쟁 모형을 어떻게 좁히는지 보여 주는 고정 분기입니다. 단일 실험도 이탈·불이행·측정 오류·표본 범위 때문에 모든 상황의 인과를 보장하지 않습니다.

학생끼리 답을 토론하면 강의보다 더 잘 배울까?

10년간의 Peer Instruction 자료는 개념 질문·개별 응답·동료 토론·재응답의 결합과 성취 향상을 보고하지만 무작위 실험은 아닙니다.

투표가 아니라 이유의 두 번째 기회조건문 카드 문제를 혼자 풀고 답·확신을 저장합니다. 다른 답을 낸 짝과 ‘어떤 카드가 규칙을 깨뜨릴 수 있는가’를 설명한 뒤 새 카드 배열에 다시 답합니다.

논리의 원리를 이해하다

추론이 성립하는 조건을 읽다 · 전제와 결론을 구분하고 그 사이를 잇는 추론의 조건을 살핍니다. 조건문과 ‘모두’, ‘어떤’의 뜻에서 출발해 타당성, 반례, 증명과 여러 논리 체계로 나아갑니다.