한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과836건

검색 결과 제목

  1. 421그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  2. 422‘아니다’는 언제 모순이고 언제 단순한 반대일까?
  3. 423신경망의 숫자를 논리 규칙이 계산할 수 있을까?
  4. 424숫자를 잘 읽을수록 믿고 싶은 결론을 더 잘 지킬 수도 있을까?
  5. 425하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(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분해외 논리학 연구 해설 읽기 →
뜨겁다, 뜨겁지 않다, 차갑다의 포함 관계를 보여 주는 가로 온도축과 부정·반대 구분 도식

‘아니다’는 언제 모순이고 언제 단순한 반대일까?

뜨겁다, 뜨겁지 않다, 차갑다의 포함 관계를 보여 주는 가로 온도축과 부정·반대 구분 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘아니다’는 언제 모순이고 언제 단순한 반대일까?

스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.

Negation

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
같은 수치 → 100중20 → 50중15 / 중립 → 피부연고 → 20%·30% / 정체성 → 정책 → 계산 동일를 비교하는 LTCT 교육용 도식

숫자를 잘 읽을수록 믿고 싶은 결론을 더 잘 지킬 수도 있을까?

같은 수치 → 100중20 → 50중15 / 중립 → 피부연고 → 20%·30% / 정체성 → 정책 → 계산 동일를 비교하는 LTCT 교육용 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

숫자를 잘 읽을수록 믿고 싶은 결론을 더 잘 지킬 수도 있을까?

정체성 맥락에서는 높은 수리력이 선택적 자료 해석을 강화할 수 있습니다.

Motivated Numeracy and Enlightened Self-Government

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

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

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

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

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분해외 논리학 연구 해설 읽기 →

421–425 / 836편