연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.
Anantha Padmanabha · R. Ramanujam, Two Variable Fragment of Term Modal Logic (2019)
판단의 정도를 0, 1/3, 2/3, 1의 네 단계로 정했다고 합시다. “1/3 이상인가?”, “2/3 이상인가?”, “1인가?”에 답하면 어느 단계인지 알 수 있습니다. 이 답들을 정확히 한 단계를 표시하는 방식으로 바꾸며 모이실 논리의 연구를 읽습니다.
Denisa Diaconescu · Ioana Leuștean, Mutually Exclusive Nuances of Truth in Moisil Logic (2015)
자연수와 0과 1 사이의 실수는 어느 쪽이 더 많을까요? 번호와 소수점 자리의 뜻부터 시작해 칸토어 대각선 논법을 증명하고, 1891년 원전의 두 기호 배열과 연결합니다.
칸토어 1891년 논문 핵심 논증 · 독일어 전사와 번역
어떤 문장에 참과 거짓을 함께 부여해도, 관계없는 결론까지 받아들여야 할까요? 그레이엄 프리스트의 논리는 세 가지 진리값을 사용해 이 질문을 검토합니다. 참·거짓 표지를 직접 계산하면서 어떤 추론이 유지되는지 살펴봅니다.
Graham Priest, The Logic of Paradox (1979)
비가 올 가능성과 우산을 챙기는 결정, 비를 맞는 결과를 구분해 적어 봅니다. 데이비드 풀의 독립 선택 논리는 우연한 사건에 확률을 붙이고, 선택 뒤의 결과를 논리 규칙으로 계산합니다. 작은 수치 예로 그 과정을 따라갑니다.
David Poole, The Independent Choice Logic for Modelling Multiple Agents under Uncertainty (1997)
31–35 / 521편
