한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

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

관심 주제로 찾아보기

조건 초기화

검색 결과78건

검색 결과 제목

  1. 11회상 장면이 먼저 나오면 지금의 실수도 과거 탓일까?
  2. 12논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?
  3. 13증명과 프로그램은 어떻게 같은 구조를 가질까?
  4. 14증명은 결론만 맞으면 끝일까?
  5. 15모든 단서를 다 보지 않아도 합리적일 수 있을까?
A와 B를 함께 넣어 A 그리고 B를 만든 뒤 A와 B를 각각 꺼내는 조화된 규칙과, A만 넣고 B를 꺼내는 불조화 규칙을 대비한 도식.

논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?

A와 B를 함께 넣어 A 그리고 B를 만든 뒤 A와 B를 각각 꺼내는 조화된 규칙과, A만 넣고 B를 꺼내는 불조화 규칙을 대비한 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?

증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.

Proof-Theoretic Semantics

게시 2026-09-21 · 약 9분논리학 학습 글 읽기 →
논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.

증명은 결론만 맞으면 끝일까?

전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

증명은 결론만 맞으면 끝일까?

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →
세 단서를 위에서부터 검사하고 처음 A와 B를 구별하는 단서에서 멈추어 한 대상을 고르는 흐름도.

모든 단서를 다 보지 않아도 합리적일 수 있을까?

세 단서를 위에서부터 검사하고 처음 A와 B를 구별하는 단서에서 멈추어 한 대상을 고르는 흐름도.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

모든 단서를 다 보지 않아도 합리적일 수 있을까?

Take The Best가 가장 유효한 구별 단서에서 검색을 멈추는 방식을 살펴봅니다. 단서 순서를 바꾸며 빠른 판단의 조건과 위험을 확인하세요.

Reasoning the Fast and Frugal Way: Models of Bounded Rationality

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

11–15 / 78편