한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과22건

검색 결과 제목

표시정렬

1“모든 사람”이라는 전제에서 한 사람의 결론은 어떻게 나올까요?
2명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?
3자료베이스에 기록이 없으면 거짓이라고 말해도 될까?
4한 번 쓴 전제를 마음대로 다시 써도 될까?
5인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

논문 대담Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)Halle: Verlag von Louis Nebert, 1–88

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

“모든 사람”이라는 전제에서 한 사람의 결론은 어떻게 나올까요?

“모든 사람은 죽는다. 소크라테스는 사람이다.”에서 결론이 나오는 과정을 한 줄씩 적어 봅니다. 프레게의 『개념표기법』은 문장 속 대상과 조건, 추론에 쓰인 규칙을 기호로 드러내려 했습니다. 원전의 획과 현대 표기를 구분하며 읽습니다.

Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)

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

논문 대담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해외 논리학 연구 해설 읽기 →