TOPIC HUBS

읽기 주제를 묶어서 보기

개별 글보다 주제 전체를 따라 읽고 싶다면 대표 글과 연관 자료를 함께 보세요.

전체 주제 보기 →
검색에서 많이 찾는 질문현재 4~15위권에서 실제 노출이 확인된 대표 글을 바로 연결합니다.
주제별 자료 · 연구와 학습

논리의 기초와 역사

기초 개념부터 기존 역사 연재까지 한곳에서

학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

해외 학술 연구의 7개 분야

조건 초기화

논리의 기초와 역사123편

검색 결과 제목

  1. 76부분의 부분은 전체의 부분일까? 집합의 원소도 그럴까?
  2. 77확률을 넣은 논리도 여전히 연역논리일 수 있을까?
  3. 78전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?
  4. 79논리 기호의 뜻을 진리표 없이 설명할 수 있을까?
  5. 80증명과 프로그램이 같은 구조라고 말할 수 있을까?
사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.

Logic and Probability

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
일회용 전제 T 하나가 두 분기 중 하나로만 이동하고 사용 뒤 잔량이 0이 되는 자원 추적도

전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?

일회용 전제 T 하나가 두 분기 중 하나로만 이동하고 사용 뒤 잔량이 0이 되는 자원 추적도
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?

부분구조논리는 교환·축약·약화 같은 구조 규칙을 선택적으로 제한해, 전제의 순서·수량·관련성이 추론에 미치는 영향을 드러냅니다.

Substructural Logics

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
A의 증거, 함수 A → B, B의 증거의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

증명과 프로그램이 같은 구조라고 말할 수 있을까?

A의 증거, 함수 A → B, B의 증거의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램이 같은 구조라고 말할 수 있을까?

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →

76–80 / 123편