연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.
Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)
주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.
John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)
스테판 레반도프스키와 동료들의 검토 논문 초록을 읽으며, 잘못된 정보가 정정된 뒤에도 기억과 추론에 영향을 남기는 이유와 정정문을 설계할 때 고려할 점을 살핀다.
오정보와 그 수정: 지속되는 영향과 성공적인 편향 줄이기(Misinformation and Its Correction: Continued Influence and Successful Debiasing)
“모든 사람은 죽는다. 소크라테스는 사람이다.”에서 결론이 나오는 과정을 한 줄씩 적어 봅니다. 프레게의 『개념표기법』은 문장 속 대상과 조건, 추론에 쓰인 규칙을 기호로 드러내려 했습니다. 원전의 획과 현대 표기를 구분하며 읽습니다.
Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)
어떤 문장에 참과 거짓을 함께 부여해도, 관계없는 결론까지 받아들여야 할까요? 그레이엄 프리스트의 논리는 세 가지 진리값을 사용해 이 질문을 검토합니다. 참·거짓 표지를 직접 계산하면서 어떤 추론이 유지되는지 살펴봅니다.
Graham Priest, The Logic of Paradox (1979)
1–5 / 277편
