한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과109건

검색 결과 제목

  1. 66관점을 많이 모으면 균형 잡힌 논증이 될까?
  2. 67더 잘 떠오르는 위험이 실제보다 더 흔해 보일까?
  3. 68그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  4. 69자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  5. 70하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?
중앙 주장 아래 두 관점 노드가 갈라지고 각 관점에서 서로 다른 근거 문단으로 화살표가 이어진다.

관점을 많이 모으면 균형 잡힌 논증이 될까?

중앙 주장 아래 두 관점 노드가 갈라지고 각 관점에서 서로 다른 근거 문단으로 화살표가 이어진다.
논증과 대화해외 학술 연구 · 연구 해설 · 심화

관점을 많이 모으면 균형 잡힌 논증이 될까?

PERSPECTRUM은 주장별 다양한 관점과 근거를 연결하는 과제를 만들고 자동화의 어려움을 측정했습니다.

Seeing Things from a Different Angle: Discovering Diverse Perspectives about Claims

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
왼쪽 기억에서 떠오르는 사례 막대와 오른쪽 공식 통계 빈도 막대가 분리되어 있고 같은 두 위험의 순서가 달라질 수 있음을 보여 준다.

더 잘 떠오르는 위험이 실제보다 더 흔해 보일까?

왼쪽 기억에서 떠오르는 사례 막대와 오른쪽 공식 통계 빈도 막대가 분리되어 있고 같은 두 위험의 순서가 달라질 수 있음을 보여 준다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 입문

더 잘 떠오르는 위험이 실제보다 더 흔해 보일까?

사망 원인의 빈도를 판단한 고전 실험은 생생하고 보도되기 쉬운 사건이 빈도 추정을 어떻게 기울일 수 있는지 보여 줍니다.

Judged Frequency of Lethal Events

게시 2026-09-13 · 약 7분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도

자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?

참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?

NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.

NaturalProver: Grounded Mathematical Proof Generation With Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
같은 손실 결과로 이어지는 행동과 비행동 경로 아래에 도덕성·책임은 행동 쪽이 높고 후회는 비행동 쪽이 높을 수 있음을 보여 주는 비교 도식.

하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?

같은 손실 결과로 이어지는 행동과 비행동 경로 아래에 도덕성·책임은 행동 쪽이 높고 후회는 비행동 쪽이 높을 수 있음을 보여 주는 비교 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?

Jamison·Yay·Feldman은 같은 나쁜 결과도 행동으로 일으켰을 때 더 부도덕하고 비난받을 만하다고 판단하는 누락 편향을 사전등록 복제했다.

Action-inaction asymmetries in moral scenarios: Replication of the omission bias examining morality and blame with extensions linking to causality, intent, and regret

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

66–70 / 109편