통합검색

질문·요청·통보가 한 문장에 섞이면 무엇에 답한 걸까?

한 메시지의 질문·요청·통보와 회신을 바꾸어 직접 답한 항목, 재협의 항목, 미응답과 다음 확인 질문을 나눕니다.

ISO 24617-2:2020 — Dialogue acts

AI가 00123을 숫자로 읽으면 같은 식별자일까?

앞자리 0은 계산값에는 불필요해도 식별자에는 중요합니다. 숫자 변환과 문자열 보존을 바꿔 JSON 왕복 뒤 형식이 남는지 확인합니다.

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

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

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

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

Linear Logic

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

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