대부분의 참가자가 찬성하면 찬성자의 대부분도 참가자일까?
일반화 양화사 이론은 ‘모두·몇몇·대부분’의 뜻을 집합 사이의 관계로 풉니다. 같은 교집합도 무엇을 기준으로 세는지에 따라 문장의 참이 달라집니다.
Generalized Quantifiers
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과27건
검색 결과 제목
‘아니다’는 언제 모순이고 언제 단순한 반대일까?
스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.
Negation
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
확률을 넣은 논리도 여전히 연역논리일 수 있을까?
확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.
Logic and Probability
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?
2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.
Second-order and Higher-order Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?
LogicBench는 25개 추론 패턴을 명제·1차·비단조 논리로 나눠, 정답률 하나가 숨기는 규칙별 실패를 드러냅니다.
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
11–15 / 27편