대화Grounding in Communication논리학 배우기
‘확인했습니다’는 주장에 동의했다는 뜻일까?
응답 표현·이해의 증거·후속 확인을 바꾸어 수신 확인, 내용 이해, 결론 합의와 남은 질문을 나눕니다.
Grounding in Communication
게시 2026-10-07 · 약 28분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과602건
검색 결과 제목
실습forall x: Calgary, Chapter 9: Characteristic truth tables논리학 배우기
표시등이 꺼졌으니 연결되지 않았다고 말해도 될까?
한 방향 조건문과 필요충분 규칙, 관찰 사실을 바꾸어 가능한 경우와 필연 결론, 잘못된 역추론을 구분합니다.
forall x: Calgary, Chapter 9: Characteristic truth tables
게시 2026-10-07 · 약 26분논리학 학습 글 읽기 →
논문 대담Aristotle, Prior Analytics (기원전 4세기)Ancient Greek text; A. J. Jenkinson English translation, MIT Internet Classics Archive
두 전제에서 결론이 반드시 따라오려면 무엇이 필요할까요?
아리스토텔레스의 《Prior Analytics》를 따라, 전제와 항, 보편·특수, 중항의 위치가 만드는 세 도형, 전환·환원·반례로 필연적 귀결을 가르는 방법을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Aristotle, Prior Analytics (기원전 4세기)
게시 2026-10-07해외 논리학 연구 해설 읽기 →
논문 대담Giuseppe Peano, Arithmetices principia, nova methodo exposita (1889)Augustae Taurinorum: Fratres Bocca, xvi+20 pp.
산술의 기초를 기호만으로 정확히 적을 수 있을까요?
주세페 피아노의 《Arithmetices principia, nova methodo exposita》(1889)를 따라, 논리 기호와 산술의 아홉 공리, 후속자·귀납에서 덧셈·곱셈·유리수로 이어지는 형식화를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Giuseppe Peano, Arithmetices principia, nova methodo exposita (1889)
게시 2026-10-07해외 논리학 연구 해설 읽기 →
논문 대담A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1936)Proceedings of the London Mathematical Society, s2-42(1), 230–265
계산할 수 있는 것과 판정할 수 없는 것은 어디서 갈릴까요?
앨런 튜링의 「On Computable Numbers, with an Application to the Entscheidungsproblem」(1936)을 따라, 유한한 상태표와 테이프에서 보편 기계, circle-free 판정의 한계와 결정 문제로의 환원까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
게시 2026-10-07해외 논리학 연구 해설 읽기 →
111–115 / 602편