논리의 기초와 역사

“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?

직관주의 논리에서 증명은 단순한 정답표가 아니라 구성을 제시하는 일입니다. 선언과 이중부정의 차이를 읽습니다.

Intuitionistic Logic

전제와 결론은 같은 주제를 공유해야 할까?

관련논리는 전제와 결론 사이의 실제 연결을 형식화하지만, 단어 하나를 공유하는 것만으로 충분하지는 않습니다.

Relevance Logic

결론이 맞아도 추론은 틀릴 수 있을까?

맞는 말을 했다는 사실과 그 말을 뒷받침했다는 사실은 다릅니다. 전제와 결론 사이에서 반례가 하는 일을 살펴봅니다.

Logical Consequence

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

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

Many-Valued Logic

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

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