통합검색

잔디가 젖었으니 분사기가 켜졌다고 말해도 될까?

조건문의 결과를 보았다고 원인을 거꾸로 확정하는 오류를, 다른 원인과 직접 기록을 바꾸며 반례로 고칩니다.

forall x: Calgary · Chapter 2 — The scope of logic

아리스토텔레스의 중간항은 결론에서 왜 사라질까?

두 보편 전제가 공유하는 중간항이 작은 항과 큰 항을 잇는 방식을 읽고, 전제를 빼며 반례 모형이 생기는지 직접 셉니다.

한 번 쓴 전제를 마음대로 다시 써도 될까?

Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.

Linear Logic

스토아학파는 ‘만약’으로 어떻게 결론을 이었을까?

조건문과 두 번째 전제를 바꾸며 스토아의 두 기본 논증 형식과, 그럴듯하지만 따라오지 않는 역추론을 네 경우로 확인합니다.

한 장면에서 들어갈 수 있으면, 모든 장면에서 반드시 들어갈까?

배지·안내자 단서와 입장 규칙을 바꾸어 가능한 장면, 반례 장면과 ‘가능’·‘필연’ 결론의 성립 여부를 다시 계산합니다.

Modal Logic