기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 57편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
어떤 문장에 참과 거짓을 함께 부여해도, 관계없는 결론까지 받아들여야 할까요? 그레이엄 프리스트의 논리는 세 가지 진리값을 사용해 이 질문을 검토합니다. 참·거짓 표지를 직접 계산하면서 어떤 추론이 유지되는지 살펴봅니다.
Graham Priest, The Logic of Paradox (1979)
비가 올 가능성과 우산을 챙기는 결정, 비를 맞는 결과를 구분해 적어 봅니다. 데이비드 풀의 독립 선택 논리는 우연한 사건에 확률을 붙이고, 선택 뒤의 결과를 논리 규칙으로 계산합니다. 작은 수치 예로 그 과정을 따라갑니다.
David Poole, The Independent Choice Logic for Modelling Multiple Agents under Uncertainty (1997)
닫힌 문을 여는 열쇠가 빨강과 파랑 중 하나라고 합시다. 열쇠가 있다는 사실을 아는 것만으로 어느 것을 가져갈지 정할 수 있을까요? 가능한 상황들을 나란히 놓고, 모든 상황에 통하는 답 하나를 아는 조건을 살펴봅니다.
Yanjing Wang, A New Modal Framework for Epistemic Logic (2017)
어떤 대상이 “키가 크다”에 해당하는 정도를 0.7, “빠르다”에 해당하는 정도를 0.6으로 정했다고 합시다. 두 조건을 함께 말할 때 결과는 얼마일까요? 페트르 하예크의 논문을 따라 계산 규칙과 추론의 관계를 살펴봅니다. 이 수치는 계산을 설명하기 위해 정한 예입니다.
Petr Hájek, What is Mathematical Fuzzy Logic (2006)
프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.
Amir Pnueli, The Temporal Logic of Programs (1977)
41–45 / 187편
