문장논리와 술어논리, 자연연역, 논리체계와 모델을 주제별 영상으로 공부합니다.
LOGIC · HUMANITY · INTELLIGENCE
논리학당
생각의 이유를 묻다
LECTURES
강의 영상
강의별 목차에서 1강부터 순서대로 볼 수 있습니다.
분야별 강의
논리학당 YouTube 강의논증의 기초에서 타당성·건전성, 술어논리까지 차근차근 살펴봅니다.
괴델의 불완전성 정리와 관련 문제들을 다루는 공개 강의 모음입니다.
강의 슬라이드 · 전체심리철학과 과학사 강의를 모았습니다. 관심 있는 강의의 목차로 바로 들어가세요.
YouTube 재생목록과 연결된 강의는 새 영상이 목차에도 반영됩니다.전체 재생목록
PUBLICATIONS
출판 논문과 저서
원어 제목으로 소개합니다. 각 논문과 저서의 번역 제목도 함께 볼 수 있습니다.
PAPERS IN KOREAN
한국어 논문
2026
상용 AI의 논증 평가 능력 검증: PSAT 강화·약화 문항을 중심으로
글로컬 어문학 문화 연구 23(23), 373–387
2014
자유의지와 결정론 문제에 있어 프랭크퍼트의 양립가능론에 대한 비판
호원논집 21, 47–71 · 고려대학교 일반대학원
2013
자유의지와 결정론 문제에 있어 양립가능론과 반인와겐의 양립불가능론
호원논집 20, 49–68 · 고려대학교 일반대학원
PAPERS IN ENGLISH
영어 논문
2026
The Normalization Theorem for Full First-Order Classical Natural Deduction with Generalized Elimination Rules
Korean Journal of Logic 29(2)
2025
Problems of a proof-theoretic characterization of paradoxes
Synthese 206, Article 84
2025
Two Senses of ‘Not True’ and the Intuitionistic Natural Deduction System
Korean Journal of Logic 28(2), 151–193
2024
Is the Liar Paradox Never Strictly Classical?
Korean Journal of Logic 27(3), 167–202
2023
Which Paradox is Genuine in Accordance with the Proof-Theoretic Criterion for Paradoxicality?
Korean Journal of Logic 26(3), 145–181
2022
Is there an inconsistent primitive recursive relation?
Synthese 200, Article 418
2021
The Identity of Proofs and the Criterion for Admissible Reductions
Korean Journal of Logic 24(3), 245–280
2021
The Normalization Theorem for the First-Order Classical Natural Deduction with Disjunctive Syllogism
Korean Journal of Logic 24(2), 143–168
2021
Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample
Korean Journal of Logic 24(1), 1–30
2019
Logical Revision by Counterexamples: A Case Study of the Paraconsistent Counterexample to Ex Contradictione Quodlibet
Proceedings of the 14th and 15th Asian Logic Conferences. World Scientific, 141–167
2018
Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems
Korean Journal of Logic 21(1), 59–96
2017
Can Gödel’s Incompleteness Theorem be a Ground for Dialetheism?
Korean Journal of Logic 20(2), 241–271
BOOKS
저서
2026
AI 직설
박영사 · 한림대 인문사회융합연구원 총서 01 · ISBN 9791144200470
최승락 집필: 3장 「AI에 맡길 것과 맡기지 않을 것: 인지적 외주화 시대의 대학 교육」
도서 구매 · 교보문고2026
AI & EDUCATION
AI · 에듀테크 영상
전체 영상 목차에는 AI에듀테크 재생목록의 새 영상도 함께 표시됩니다.
