논리의 기초와 역사

‘아직 모름’을 거짓으로 처리해도 될까?

참·거짓에 미정을 더하면 ‘그리고’와 ‘또는’은 어떻게 달라질까요? 다치논리의 한 체계를 정확히 제한해 살펴봅니다.

Many-Valued Logic

빈 모서리를 채워 방정식을 풀다

9세기 바그다드의 알콰리즈미가 ‘한 제곱과 열 뿌리가 서른아홉’인 문제를 어떻게 풀었는지, 1831년 로젠 번역과 대학 수학사 자료를 바탕으로 살펴봅니다. 현대 기호와 자체 제작 도해로 완전제곱의 논리를 복원하되, 현대적 재구성을 원본 도판처럼 보이지 않게 구별합니다.

AI와 함께 여는 생각그림의 다음 장

그림을 읽고 설명하는 AI와 함께 생각하려면 무엇을 확인해야 할까요? 시각 인식, 관계의 표현, 결론의 검토를 나누어 살펴봅니다. 가상 AI 답변의 조건과 화살표를 직접 고치고, 같은 자료에서 결론이 달라질 수 있는 경우를 비교하며 생각그림연구소의 다음 연구를 열어 갑니다.

고대의 visual logic

그림은 언제부터 생각의 도구였을까. 바빌로니아의 점토판, 플라톤의 문답, 유클리드의 작도를 따라 계산하고, 의심하고, 증명하는 그림의 역사를 읽습니다.

함께 변하는 것과 원인이 되는 것

냉각 장치가 켜진 기록에서 과열이 더 많다면, 장치가 문제일까요? 공통 원인을 그림에 놓고 기록을 고르는 관찰과 조건을 바꾸는 개입을 비교합니다. 가동 규칙과 집단 구성을 직접 바꾸며, 같은 숫자에서 서로 다른 질문을 읽어 보세요.