수학 전체를 논리에서 다시 세울 수 있을까?
논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.
Logicism and Neologicism
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과45건
검색 결과 제목
대부분의 참가자가 찬성하면 찬성자의 대부분도 참가자일까?
일반화 양화사 이론은 ‘모두·몇몇·대부분’의 뜻을 집합 사이의 관계로 풉니다. 같은 교집합도 무엇을 기준으로 세는지에 따라 문장의 참이 달라집니다.
Generalized Quantifiers
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
부분의 부분은 전체의 부분일까? 집합의 원소도 그럴까?
부분 관계와 집합의 원소 관계를 구별하면, 같은 포함 그림을 보고도 어떤 추론을 허용해야 하는지 달라집니다.
Mereology
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?
Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.
Mathematical Discoveries from Program Search with Large Language Models
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?
2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.
Second-order and Higher-order Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
21–25 / 45편