해외 학술 연구

해외 학술 연구

그림으로 이해하고, 원문으로 깊이 읽습니다.

관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

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

해외 학술 연구의 7개 분야

조건 초기화

해외 학술 연구511편 · 480묶음

검색 결과 제목

  1. 46충돌하는 기록이 발견되면, 어떤 결론부터 다시 확인해야 할까요?
  2. 47“누구에게나 다음 사람이 있다”는 조건을 작은 모형에서도 지킬 수 있을까요?
  3. 48명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?
  4. 49“기계가 생각한다”를, 어떤 시험으로 바꿀 수 있을까요?
  5. 50새 사실을 알게 되면, 결론을 철회할 수 있을까요?
논문 대담Diderik Batens, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism (2014)Logic, Reasoning, and Rationality, Logic, Argumentation & Reasoning 5, 1–25
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

충돌하는 기록이 발견되면, 어떤 결론부터 다시 확인해야 할까요?

“A함이나 B함에 서류가 있다”와 “A함에는 없다”에서 B함을 결론 냈습니다. 그런데 A함에 있다는 기록도 발견되면 어떻게 해야 할까요? 결론에 붙인 조건을 확인하며, 증명 도중 어떤 줄을 보류하고 다시 사용할 수 있는지 살펴봅니다.

Diderik Batens, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism (2014)

게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담Thoralf Skolem, Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen (1920)Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mat.-Naturv. Klasse, no. 4, 1–36
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

“누구에게나 다음 사람이 있다”는 조건을 작은 모형에서도 지킬 수 있을까요?

사람을 몇 명만 골라 모형을 만들 때, “모든 사람에게 연결된 다음 사람이 있다”는 조건이 깨질 수 있습니다. 스콜렘의 방법은 필요한 다음 대상을 계속 포함합니다. 이 과정을 따라가며 가산 모형이 무엇을 보존하는지 살펴봅니다.

Thoralf Skolem, Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen (1920)

게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)Mathematische Zeitschrift, 35, 58–65
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?

안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)

게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담A. M. Turing, Computing Machinery and Intelligence (1950)Mind, 59(236), 433–460
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

“기계가 생각한다”를, 어떤 시험으로 바꿀 수 있을까요?

앨런 튜링의 「Computing Machinery and Intelligence」(1950)를 따라 모방 게임, 디지털 컴퓨터의 범위, 아홉 반론과 학습 기계 구상을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

A. M. Turing, Computing Machinery and Intelligence (1950)

게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담John McCarthy, Circumscription—A Form of Non-Monotonic Reasoning (1980)Artificial Intelligence, 13(1–2), 27–39
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

새 사실을 알게 되면, 결론을 철회할 수 있을까요?

존 매카시의 「Circumscription—A Form of Non-Monotonic Reasoning」(1980)을 따라, 특정 술어를 사실이 요구하는 만큼만 최소화하고 새 정보에 따라 잠정 결론을 철회하는 비단조 추론을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

John McCarthy, Circumscription—A Form of Non-Monotonic Reasoning (1980)

게시 2026-10-08해외 논리학 연구 해설 읽기 →

46–50 / 480묶음