이름을 말할 수 있으면 그 대상도 반드시 존재할까?
자유논리는 가리키는 대상이 없는 이름을 허용하고, 이름이 들어간 문장에서 존재 결론으로 넘어갈 때 어떤 조건이 필요한지 따집니다.
Free Logic
게시 2026-09-22 · 약 9분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 76편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사52편
검색 결과 제목
논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
게시 2026-09-21 · 약 9분논리학 학습 글 읽기 →
증명은 결론만 맞으면 끝일까?
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →
같은 결론에도 서로 다른 근거가 있을 수 있을까?
정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.
Justification Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
“조건이 참이면 그 조건은 거짓”이라는 문장을 받아들일 수 있을까?
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
1–5 / 52편