증명 이야기Kurt GödelStanford Encyclopedia of Philosophy
우리가 옳다고 판단한 논증을 기호만으로도 증명할 수 있을까?
1차 논리의 의미상 타당성과 형식적 증명을 비교하고 괴델의 완전성 정리, 헨킨의 모형 구성, 콤팩트성, 불완전성과의 차이를 설명합니다.
Kurt Gödel
게시 2026-10-13해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과50건
검색 결과 제목
논문 대담Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)Johan van Benthem on Logic and Information Dynamics, 101–119
같은 학생 번호라면, 이름도 항상 같아야 할까요?
학생 번호가 같은 두 기록에서 이름도 같은지 비교해 봅니다. 수강 신청표를 예로 들어, 어떤 정보가 다른 정보를 하나로 정해 주는 관계를 설명합니다. 이어서 값의 조합을 통해 독립과 조건부 독립을 살펴봅니다.
Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)
게시 2026-10-13해외 논리학 연구 해설 읽기 →
논문 대담Jeroen Groenendijk, The Logic of Interrogation: Classical Version (1999)Proceedings of Semantics and Linguistic Theory 9, 109–126
질문을 던지면, 대화의 가능성은 어떻게 갈라질까요?
예룬 흐룬데이크의 「The Logic of Interrogation: Classical Version」(1999)을 따라, 질문이 가능세계들을 답의 대안으로 나누고 관련 있는 답이 쟁점을 줄이는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jeroen Groenendijk, The Logic of Interrogation: Classical Version (1999)
게시 2026-10-06해외 논리학 연구 해설 읽기 →
논문 대담Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)Linguistics and Philosophy, 14(1), 39–100
앞 문장의 ‘한 사람’을, 다음 문장의 ‘그’는 어떻게 기억할까요?
흐룬데이크와 스토크호프의 「Dynamic Predicate Logic」(1991)을 따라, 문장의 뜻을 정보 상태 사이의 변화로 읽고 존재양화와 연언이 대명사의 선행 대상을 어떻게 전달하는지 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)
게시 2026-10-05해외 논리학 연구 해설 읽기 →
논문 대담Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)Philosophia, 16, 293–305
해야 할 일과 하지 말아야 할 일이 겹치면, 모든 것이 의무가 될까요?
다 코스타와 카르니엘리의 《On Paraconsistent Deontic Logic》(1986)을 따라, 충돌하는 의무와 C₁ᴰ의 비사소성, 가능세계 의미론과 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)
게시 2026-10-04해외 논리학 연구 해설 읽기 →
1–5 / 50편