이름을 말할 수 있으면 그 대상도 반드시 존재할까?
자유논리는 가리키는 대상이 없는 이름을 허용하고, 이름이 들어간 문장에서 존재 결론으로 넘어갈 때 어떤 조건이 필요한지 따집니다.
Free Logic
게시 2026-09-22 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과36건
검색 결과 제목
논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
게시 2026-09-21 · 약 9분논리학 학습 글 읽기 →
모순 하나가 발견되면 모든 문장이 따라와야 할까?
파라일관 논리는 모순에서 임의의 결론이 폭발하는 규칙을 제한합니다. 불일치와 아무 결론이나 허용하는 사소화를 구분합니다.
Paraconsistent Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.
Hybrid Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
1–5 / 36편