한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과78건

검색 결과 제목

  1. 16같은 결론에도 서로 다른 근거가 있을 수 있을까?
  2. 17모순 하나가 발견되면 모든 문장이 따라와야 할까?
  3. 18‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
  4. 19자기 이익에 반하는 말을 하면 논증이 더 강하게 들릴까?
  5. 20인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?
가와 나의 선이 명시된 합류점에서 만나 결론 상자 경계로 이어진다.

같은 결론에도 서로 다른 근거가 있을 수 있을까?

가와 나의 선이 명시된 합류점에서 만나 결론 상자 경계로 이어진다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

같은 결론에도 서로 다른 근거가 있을 수 있을까?

정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.

Justification Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
A와 A 아님이 함께 있는 자료에서 관련 결론 B는 보류되고, 별도 근거가 있는 결론 C만 연결되는 흐름

모순 하나가 발견되면 모든 문장이 따라와야 할까?

A와 A 아님이 함께 있는 자료에서 관련 결론 B는 보류되고, 별도 근거가 있는 결론 C만 연결되는 흐름
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

모순 하나가 발견되면 모든 문장이 따라와야 할까?

파라일관 논리는 모순에서 임의의 결론이 폭발하는 규칙을 제한합니다. 불일치와 아무 결론이나 허용하는 사소화를 구분합니다.

Paraconsistent Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
같은 논증이 부분적 출처, 중립 출처, 마지못한 출처에 의해 제시되고 내용 평가와 출처 평가가 분리되는 도식

자기 이익에 반하는 말을 하면 논증이 더 강하게 들릴까?

같은 논증이 부분적 출처, 중립 출처, 마지못한 출처에 의해 제시되고 내용 평가와 출처 평가가 분리되는 도식
논증과 대화해외 학술 연구 · 연구 해설 · 일반

자기 이익에 반하는 말을 하면 논증이 더 강하게 들릴까?

핀란드 무작위 설문실험은 자기 이익에 반하는 ‘마지못한 출처’가 중립 출처보다 자동으로 신뢰받지 않았음을 보여 줍니다.

The Force of the Argument Source: The Partiality of the Source Influences the Evaluation of Political Arguments

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.

인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?

한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?

GSM8K와 학습된 검증기는 풀이 생성과 후보 선택을 분리해 다단계 산술 추론을 개선하는 방법과 그 한계를 보여 줍니다.

Training Verifiers to Solve Math Word Problems

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

16–20 / 78편