연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
커리 집합 R의 자기소속과 축약·MP가 임의 결론으로 이어지는 과정을 추적합니다. 기본 논리의 축약 실패와 보수적 확장까지 견디는 조건을 구분하고 1993년 추측의 1997년 반례를 확인합니다.
Greg Restall, How to be Really Contraction Free (1993)
10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.
Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)
아리스토텔레스의 바르바라·셀라렌트 삼단논법을 용어 정의부터 포함 관계, 반례, 현대 논리식까지 차례로 설명합니다.
Aristotle, Prior Analytics · Book I
“모든 사람은 죽는다. 소크라테스는 사람이다.”에서 결론이 나오는 과정을 한 줄씩 적어 봅니다. 프레게의 『개념표기법』은 문장 속 대상과 조건, 추론에 쓰인 규칙을 기호로 드러내려 했습니다. 원전의 획과 현대 표기를 구분하며 읽습니다.
Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)
아리스토텔레스의 《Prior Analytics》를 따라, 전제와 항, 보편·특수, 중항의 위치가 만드는 세 도형, 전환·환원·반례로 필연적 귀결을 가르는 방법을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Aristotle, Prior Analytics (기원전 4세기)
1–5 / 50편
