통합검색

실제 대화의 논증은 어떻게 찾아내고 평가할까?

리오 그로아크의 스탠퍼드 철학백과 글을 통해 자연어 대화와 토론 속 논증을 찾아 전제·결론·추론으로 정리하고, 문맥에 맞는 기준으로 평가하는 비형식 논리의 역할을 살핀다.

비형식 논리 — Informal Logic

규칙이 동시에 맞으면 무엇을 먼저 적용해야 할까?

기원전 4세기 무렵 북서 인도에서 성립한 것으로 보는 『아슈타디야이』는 짧은 규칙들이 조건과 범위를 이어받으며 산스크리트어 형태를 만들어 내는 문법이다. 두 규칙이 한 단계에서 함께 적용될 때 전통 해석, 2021년의 새 제안, 2022년의 전문적 반론이 무엇을 다르게 보는지 비교하며, 오래된 규칙 체계를 현대의 ‘프로그램’이라는 한 낱말로 단순화하지 않고 읽는다.

서버 지연이 답장을 직접 늦춘 걸까?

가상의 문의 앱에서 서버 지연이 알림 도착을 늦추고, 늦은 알림이 답장 시작을 늦추는 연쇄를 읽는다. 원인이 결과에 직접 닿는 경우와 중간 단계를 거쳐 영향을 주는 경우를 구별한다.

증명 속 중간정리를 모두 걷어내도, 같은 결론에 도달할 수 있을까요?

다케우치 가이시의 《On a Generalized Logic Calculus》(1953)를 따라, 시퀀트와 컷에서 근본 추측, 증명된 보존 정리와 후속 쟁점까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Gaisi Takeuti, On a Generalized Logic Calculus (1953)

컷을 직접 지우지 않고도, 컷 없는 증명이 있다고 보일 수 있을까요?

다카하시 모토오의 《A proof of cut-elimination theorem in simple type-theory》(1967)를 따라, V-complex와 V-correspondence에서 람다 추상, 건전성과 반모형을 통한 비구성적 컷 제거 증명까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)