다각형을 촘촘히 그리면 원의 넓이를 증명할 수 있을까?
아르키메데스의 『원의 측정』은 원의 넓이가 반지름과 둘레를 두 변으로 하는 직각삼각형의 넓이와 같다고 증명합니다. 내접·외접 다각형이 원에 가까워진다는 눈대중을 넘어, 두 양 사이에 양의 차이가 있다고 가정할 때 더 촘촘한 다각형이 만드는 모순을 따라갑니다.
게시 2026-10-04 · 약 14분Visual Logic 역사 본문 읽기 →
Visual Logic의 역사
Visual Logic의 역사
고대의 그림에서 AI와 함께하는 사고까지
1회부터 차례로 읽습니다. 기존 본문의 그림과 조작 활동까지 그대로 이어집니다.
해외 학술 연구의 7개 분야
Visual Logic의 역사56편
검색 결과 제목
원 안에 문장을 넣으면 ‘아니다’를 계산할 수 있을까?
19세기 말 찰스 샌더스 퍼스는 문장을 괄호와 기호의 줄이 아니라 종이의 영역과 닫힌 선으로 배치했다. 빈 종이, 병치, 절단선, 이중 절단선이 어떻게 참·그리고·아니다·이중부정을 나타내는지 읽고, P와 ‘P이면 Q’에서 Q를 얻는 과정을 그림의 변형으로 검산한다.
게시 2026-10-04 · 약 13분Visual Logic 역사 본문 읽기 →
문장 모양이 같으면 같은 추론을 해도 될까?
기원전 4세기 말부터 3세기 중엽 사이의 후기 묵가 문헌은 사물을 ‘같다’고 묶는 기준과, 나란한 문장 형식으로 추론하는 방법을 함께 검토했다. ‘흰말을 타는 것은 말을 타는 것’과 ‘배에 들어가는 것은 나무에 들어가는 것’이 갈라지는 까닭을 따라가며, 유추가 작동하려면 문장 꼴뿐 아니라 낱말이 결합된 뒤의 적용 조건까지 확인해야 함을 살펴본다.
게시 2026-10-05 · 약 14분Visual Logic 역사 본문 읽기 →
규칙이 동시에 맞으면 무엇을 먼저 적용해야 할까?
기원전 4세기 무렵 북서 인도에서 성립한 것으로 보는 『아슈타디야이』는 짧은 규칙들이 조건과 범위를 이어받으며 산스크리트어 형태를 만들어 내는 문법이다. 두 규칙이 한 단계에서 함께 적용될 때 전통 해석, 2021년의 새 제안, 2022년의 전문적 반론이 무엇을 다르게 보는지 비교하며, 오래된 규칙 체계를 현대의 ‘프로그램’이라는 한 낱말로 단순화하지 않고 읽는다.
게시 2026-10-06 · 약 14분Visual Logic 역사 본문 읽기 →
‘만약’과 ‘아니면’만으로 결론을 만들 수 있을까?
기원전 3세기의 스토아 논리학자들은 ‘모든 A는 B다’ 같은 항의 포함 관계와 다른 길을 택했다. ‘만약 첫째라면 둘째다’, ‘첫째 또는 둘째다’처럼 완성된 문장 사이의 연결을 다섯 가지 기본 논증으로 정리했다. 원전이 거의 사라진 탓에 후대 보고를 조심스럽게 맞춰 보면서, 배타적 ‘또는’과 타당성·건전성의 차이를 직접 검산한다.
게시 2026-10-07 · 약 14분Visual Logic 역사 본문 읽기 →
41–45 / 56편