한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

통합검색2650건

검색 결과 제목

  1. 956증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?
  2. 957좋은 논증에는 좋은 청중도 필요할까?
  3. 958그럴듯한 이야기가 더 좁은 사건보다 더 가능할까?
  4. 959이름이 있으면 그 대상도 있다고 보아야 할까?
  5. 960수학 증명은 기호가 맞으면 대화 목적과 무관할까?
공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
청중, 경청, 응답·갱신의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

좋은 논증에는 좋은 청중도 필요할까?

청중, 경청, 응답·갱신의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

좋은 논증에는 좋은 청중도 필요할까?

Xie와 Wang은 좋은 논증을 말하는 사람의 능력만으로 평가하지 않고, 이해·응답·자기 갱신에 참여하는 청중의 덕을 분석합니다.

Someone it is Good to Argue With

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
회계 경험 30명이라는 큰 집합 안에 회계 경험과 환경 동아리 경험을 모두 가진 12명이 포함되어 결합 사건이 더 클 수 없음을 보여 주는 표.

그럴듯한 이야기가 더 좁은 사건보다 더 가능할까?

회계 경험 30명이라는 큰 집합 안에 회계 경험과 환경 동아리 경험을 모두 가진 12명이 포함되어 결합 사건이 더 클 수 없음을 보여 주는 표.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

그럴듯한 이야기가 더 좁은 사건보다 더 가능할까?

결합 오류 연구는 구체적인 두 조건의 이야기가 포괄적인 한 조건보다 더 그럴듯해 보여도 확률은 더 클 수 없음을 보였습니다.

Extensional versus Intuitive Reasoning: The Conjunction Fallacy in Probability Judgment

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
수상자 칸은 있지만 선정된 사람은 없다는 가상 기록을 보여 주는 표. 배지 수령자는 이 규칙만으로 지정할 수 없다.

이름이 있으면 그 대상도 있다고 보아야 할까?

수상자 칸은 있지만 선정된 사람은 없다는 가상 기록을 보여 주는 표. 배지 수령자는 이 규칙만으로 지정할 수 없다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

이름이 있으면 그 대상도 있다고 보아야 할까?

명단의 빈 직책과 가상의 이름을 통해 자유논리가 점검하는 존재 가정을 읽습니다. 문장에 이름을 썼다는 사실에서 어떤 결론까지 나아갈 수 있는지 묻습니다.

Free Logic

게시 2026-09-12 · 약 8분논리학 학습 글 읽기 →

956–960 / 2650편