가능하다는 말은 어디까지 보장할까?
한 가지 가능한 계획과 모든 계획에서 유지되는 조건을 구분합니다. 양상논리를 작은 일정표로 읽어봅니다.
Modal Logic
게시 2026-09-12 · 약 7분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사123편
검색 결과 제목
증명할 수 있으면 모든 해석에서도 참일까?
고전 1차 논리의 건전성과 완전성은 증명 규칙과 의미론적 모델이 어디에서 만나는지를 보여 줍니다.
Classical Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?
직관주의 논리에서 증명은 단순한 정답표가 아니라 구성을 제시하는 일입니다. 선언과 이중부정의 차이를 읽습니다.
Intuitionistic Logic
게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
전제와 결론은 같은 주제를 공유해야 할까?
관련논리는 전제와 결론 사이의 실제 연결을 형식화하지만, 단어 하나를 공유하는 것만으로 충분하지는 않습니다.
Relevance Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
결론이 맞아도 추론은 틀릴 수 있을까?
맞는 말을 했다는 사실과 그 말을 뒷받침했다는 사실은 다릅니다. 전제와 결론 사이에서 반례가 하는 일을 살펴봅니다.
Logical Consequence
게시 2026-09-12 · 약 5분논리학 학습 글 읽기 →
101–105 / 123편