통합검색

AI가 제이슨 포인터의 ~0과 ~1을 아무 순서로 풀어도 될까?

슬래시와 물결표가 든 객체 키를 가리키는 토큰을 바꾸어, 치환 순서 하나가 다른 자료를 선택하는 과정을 확인합니다.

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

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

Hybrid Logic

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.

Combinatory Logic

중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?

중세의 consequentia 이론은 필연적 진리보존, 형식, 내용 연결을 서로 다른 기준으로 다루었습니다.

Medieval Theories of Consequence

짧은 글과 여러 기호는 높은 막대를 흐린다

단일 치환과 충분한 표본이라는 전제가 빈도 가설을 지지하지만 짧은 글, 다른 장르, 동음·다중 알파벳 치환이 결론을 제한하는 논증도