통합검색

스터디 참여와 점수가 함께 올랐으니 참여가 원인일까?

공통 원인·역방향·개입 결과를 바꾸어 관찰된 상관과 함께 가능한 인과 모형, 반례와 허용 결론을 다시 계산합니다.

Causal Models

논리 기호의 뜻을 진리표 없이 설명할 수 있을까?

증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.

Proof-Theoretic Semantics

공개 발표 뒤에는 왜 ‘서로 알고 있다는 사실’까지 공유될까?

동적 인식논리는 공개 발표가 가능한 세계를 줄여 각 행위자의 지식과 공통지식을 어떻게 바꾸는지 추적합니다.

Dynamic Epistemic Logic

문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?

논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.

Logic and Games

상관이 높으면 두 측정법을 바꿔 써도 될까?

거의 나란히 커지는 두 측정법의 상관계수 0.996 뒤에 평균 +10.0의 차이가 남는 예시로 연관과 일치를 구분합니다.