한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과251건

검색 결과 제목

  1. 6생각만으로 존재를 증명할 수 있을까?
  2. 7목록의 대각선을 뒤집으면 왜 반드시 새 항목이 생길까?
  3. 8가능하다면, 반드시 존재할까?
  4. 9‘만약’과 ‘아니면’만으로 결론을 만들 수 있을까?
  5. 10반박이 두 개면 방어 하나로 주장을 되살릴 수 있을까?
증명 이야기Anselm, Proslogion II–III · Jonathan Barnes translationStanford University
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

생각만으로 존재를 증명할 수 있을까?

안셀무스 『프로슬로기온』 제2·3장을 따라, 이해 속에 있는 가장 위대한 존재의 개념을 현실 존재로 연결하는 논증과 그 전제가 불러온 논쟁을 살펴봅니다.

Anselm, Proslogion II–III · Jonathan Barnes translation

무한 목록의 각 행에서 대각선 칸을 골라 0과 1을 뒤집고 목록에 없는 새 수열을 만드는 과정을 보여 주는 교육 도해

목록의 대각선을 뒤집으면 왜 반드시 새 항목이 생길까?

무한 목록의 각 행에서 대각선 칸을 골라 0과 1을 뒤집고 목록에 없는 새 수열을 만드는 과정을 보여 주는 교육 도해
역사 연재 48회논리학 배우기 · 역사 · 일반

목록의 대각선을 뒤집으면 왜 반드시 새 항목이 생길까?

게오르크 칸토어는 무한한 두 기호 수열을 모두 적었다고 가정한 뒤, n번째 수열의 n번째 기호만 반대로 바꾸어 목록 어디에도 없는 수열을 만들었다. 원문의 m·w 수열과 0·1 함수 논증을 따라가며 대각선 논법이 무엇을 증명하고 무엇까지는 말하지 않는지 검산한다.

게시 2026-10-08 · 약 14분Visual Logic 역사 본문 읽기 →
증명 이야기Stanford Encyclopedia of Philosophy · Ontological ArgumentsStanford Encyclopedia of Philosophy
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

가능하다면, 반드시 존재할까?

괴델의 존재론적 논증을 따라, 긍정적 속성의 공리에서 신적 존재의 가능성과 필연성이 어떻게 연결되는지 양상논리식과 설명으로 읽습니다.

Stanford Encyclopedia of Philosophy · Ontological Arguments

조건문, 결합 부정, 배타적 선택문에서 결론을 이끄는 스토아의 다섯 가지 기본 논증 형식을 다섯 카드로 배열한 현대적 재구성 도해

‘만약’과 ‘아니면’만으로 결론을 만들 수 있을까?

조건문, 결합 부정, 배타적 선택문에서 결론을 이끄는 스토아의 다섯 가지 기본 논증 형식을 다섯 카드로 배열한 현대적 재구성 도해
역사 연재 45회논리학 배우기 · 역사 · 일반

‘만약’과 ‘아니면’만으로 결론을 만들 수 있을까?

기원전 3세기의 스토아 논리학자들은 ‘모든 A는 B다’ 같은 항의 포함 관계와 다른 길을 택했다. ‘만약 첫째라면 둘째다’, ‘첫째 또는 둘째다’처럼 완성된 문장 사이의 연결을 다섯 가지 기본 논증으로 정리했다. 원전이 거의 사라진 탓에 후대 보고를 조심스럽게 맞춰 보면서, 배타적 ‘또는’과 타당성·건전성의 차이를 직접 검산한다.

게시 2026-10-07 · 약 14분Visual Logic 역사 본문 읽기 →
B와 C가 주장 A를 공격하고 D가 B만 공격할 때 C가 남아 A가 수용되지 않는 추상 논증 그래프

반박이 두 개면 방어 하나로 주장을 되살릴 수 있을까?

B와 C가 주장 A를 공격하고 D가 B만 공격할 때 C가 남아 A가 수용되지 않는 추상 논증 그래프
논증과 대화해외 학술 연구 · 연구 해설 · 심화

반박이 두 개면 방어 하나로 주장을 되살릴 수 있을까?

두 공격자와 하나의 방어 논증 사이 연결을 바꾸며, 모든 공격자가 방어되어야 처음 주장이 근거 확장에 들어가는 과정을 확인합니다.

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games

게시 2026-10-06 · 약 11분해외 논리학 연구 해설 읽기 →

6–10 / 251편