통합검색

AI가 긴 식별번호를 JSON 숫자로 옮기면 끝자리가 바뀔까?

긴 정수를 JavaScript 숫자로 읽고 JSON으로 다시 쓰면 일부 끝자리가 반올림될 수 있습니다. 안전 경계 안팎의 값을 바꿔 확인합니다.

“조건이 참이면 그 조건은 거짓”이라는 문장을 받아들일 수 있을까?

연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.

Connexive Logic

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

모르는 확률은 비교 대상이 있을 때 더 싫어질까?

Fox와 Tversky의 비교 무지 가설은 모호한 선택의 회피가 확률을 아는 선택과 나란히 놓일 때 두드러진다고 설명합니다.

Ambiguity Aversion and Comparative Ignorance

논증 지도를 다른 프로그램으로 옮겨도 구조가 보존될까?

Argument Interchange Format의 정보 노드와 도식 적용 노드를 통해 문장 내용과 추론 행위를 분리해야 논증 구조를 교환·확장할 수 있음을 살펴봅니다.

Towards an argument interchange format