2026
상용 AI의 논증 평가 능력 검증: PSAT 강화·약화 문항을 중심으로
글로컬 어문학 문화 연구 23(23), 373–387
PROFILE
최승락 Seungrak Choi
한림대학교 인문학부 철학전공 조교수
철학전공 전공주임 · 한림철학교육연구소 소장
논리철학 · 수리철학 · 증명론 · 계산가능성이론 · AI의 추론 검증 및 교육적 활용
학력Education
- 2019.08
철학박사 · 고려대학교 철학과
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.
지도교수: 정인교- 2013.08
문학석사 · 고려대학교 철학과
괴델 정리는 사용의미론의 반례인가? : 마이클 덤밋의 입장을 중심으로.
지도교수: 정인교- 2008.02
문학사 · 서울시립대학교 철학과
경력Appointments
- 2025.09 — 현재
한림대학교 인문학부 철학전공 전공주임
- 2025.09 — 현재
한림철학교육연구소 소장
- 2024.03 — 현재
한림대학교 인문학부 철학전공 조교수
- 2023.10.31 — 2023.11.11
경찰대학교 편입학 선발 필기시험 출제위원
인재선발계 · 언어논리 영역 출제 및 검토
- 2020.09 — 2024.02
서울시립대학교 철학과 강사
철학과 논술(64160) · 논리와 사고(01092)
- 2019.11 — 2026.07
인사혁신처 공직적성평가 출제 및 선정위원
시험출제과 · 공직적성평가(PSAT) 언어논리 영역
- 2019.09 — 2021.02
고려대학교 철학과 강사
비판적 사고와 논리(PHIL156) · 논리학 입문(PHIL141)
- 2015.09 — 2015.12
미네소타대학교 과학철학센터 방문연구원
Visiting Fellow · 지도: Roy Cook · 공동 연구 및 세미나 발표
- 2008.09 — 2014.06
고려대학교 철학과 연구조교
정인교 교수 · 논리와 계산가능성(2008), 수리철학(2013), 귀납논리(2014)
학회 활동
- 2025.09 — 현재
한국논리학회 대외협력위원장
- 2025.03 — 현재
한국분석철학회 대학원 분과 지도교수
- 2024.07 — 2026.06
철학연구회 연구위원 · 이사
- 2023.09 — 2025.08
한국논리학회 학술위원장
- 2021.09 — 2023.08
한국논리학회 후속세대발전위원장
- 2017.09 — 2019.08
한국논리학회 편집간사
- 2009.09 — 2015.08
한국논리학회 편집간사
- 2009.09 — 2013.08
한국논리학회 총무간사
연구 과제Research Projects
- 2026.03 — 현재
인지외주화 시대 고등교육에서 진정한 배움을 위한 교수·학습 원리 및 AI의 비계 역할 가능성 연구
한림대학교 AI에듀테크센터 · 연구책임자
- 2026 — 현재
The Normalization Theorem for Systems with Prooflessness
한림대학교 교비학술연구 · 단독 연구
- 2025.06 — 2026.05
AI의 비판적 사고 능력 평가 및 교육적 활용 가능성에 관한 연구: 철학적 탐구와 실증적 분석을 중심으로
한림대학교 MHC · 단독 연구
- 2025.06 — 2026.01
생성형 AI 기반 고등교육 모델 탐색 연구
한림대학교 AI융합연구원 · 참여연구원 · 연구책임자: 김여진
- 2024.08 — 2025.02
생성형 AI 기반 한림대 고등 교육 모델 기초 연구
한림대학교 MHC · 참여연구원 · 연구책임자: 정혜선
- 2024.05 — 2025.04
거짓말쟁이 역설은 엄격히 고전적인가?
한림대학교 교비학술연구 · 단독 연구
- 2024.04 — 2025.03
직관주의 자연연역에서 부정에 관한 형식화의 문제: 두 직관주의 부정의 역할을 중심으로
한림대학교 교비학술연구 · 단독 연구
- 2022.09 — 2023.08
진정한 역설이란 무엇인가?
한국연구재단 인문사회학술연구교수 · 2022S1A5B5A17044507
- 2020.12 — 2024.02
역설에 관한 증명론적 분석
아모레퍼시픽 장원인문학자 지원 사업
- 2014.03 — 2017.02
Logical Pluralism about Logical Consequences
한국연구재단 글로벌박사펠로우십 · 2014H1A2A1020426
출판 논문과 저서Papers & Books
원어 제목을 기본으로 표시합니다. 번역 버튼으로 한국어·영어 제목을 전환할 수 있습니다.
PAPERS IN KOREAN
한국어 논문
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
심사 중인 논문Under Review
2026년 9월 17일 이력서 기준
- 심사 중
Two Reduction Procedures for Classical Reductio
Synthese
- 심사 중
What is Classical Reasoning in a Natural Deduction System?
Notre Dame Journal of Formal Logic
발표Talks
발표 아래의 PDF 링크를 누르면 자료를 새 창에서 볼 수 있습니다.
- 2026.05.29
AI 시대 인지적 외주화의 위험과 대학 교육의 철학적 과제
한국인터넷윤리학회 춘계학술대회
- 2026.04.07
생성형 AI 시대, AI를 어떻게 활용할 것인가
한림대학교 인문학연구소 제172회 집담회 및 AI 융합콜로키움
- 2025.12
AI의 비판적 사고 능력 평가 및 교육적 활용 가능성
Digital Humanities Workshops · KAIST
- 2025.10
What is Classical Reasoning in a Natural Deduction System?
한국논리학회 · 한국철학회 철학자연합대회
- 2025.10
What is Classical Reasoning in a Natural Deduction System?
대한수학회 정기총회 및 가을 연구발표회 · 한국과학기술회관
- 2025.10
철학교육에 있어서의 AI 활용
한림대학교 인문대학 집담회
- 2025.02
On Formalizing Intuitionistic Negations in Natural Deduction System
한국논리학회·한국분석철학회 겨울 학술대회
- 2025.01
Shades of Intuitionism: Brouwer and Dummett’s Intuitionism Against Classical Inferences
제4회 한국논리학의 날 · 창원대학교
- 2024.08
Is the Liar Paradox Never Strictly Classical?
한국논리학회 여름 학술대회
- 2024.06
언어와 인공지능
한림대학교 인문학연구소 제162회 집담회
2024년 1월–2003년 발표 이력과 자료
- 2024.01
Two Reduction Procedures for Classical Reductio
제3회 한국논리학의 날
- 2023.08
Two Reduction Procedures for Classical Reductio
한국논리학회 여름 학술대회
- 2023.06
Gödel’s Incompleteness Theorem and its Related Problems
KAIST 디지털인문사회과학부 세미나
- 2023.05
Problem of Undergeneration in the Proof-Theoretic Criterion for Paradoxicality
한국철학자연합대회 · 한국논리학회 · 서울시립대학교
- 2023.02
Proof-Theoretic Approaches to the Paradoxes in the Prawitz-Tennant analysis
SPLogIC · University of Campinas
- 2022.06
A Constructivist’s Approach to the Paradoxes: Its Problem and Solution
Korea-China International Conference · 전북대학교
- 2022.04
논리철학의 과거와 현재 그리고 미래: 논리적 귀결 개념을 중심으로
미래철학연구센터 창립 학술대회 · 서울시립대학교
- 2022.01
Dialetheism on Arithmetic: Is There Any Inconsistent Primitive Recursive Relation?
제2회 한국논리학의 날
- 2021.12
괴델의 불완전성정리와 관련 문제들
한국논리학회 12월 월례 발표회
- 2021.12
There is No Inconsistent Primitive Recursive Relation.
한국분석철학회 가을 학술대회
- 2021.08
Is There Any Inconsistent Primitive Recursive Relation?
한국논리학회 여름 학술대회
- 2021.02
The Problem of Classical Reductio in Tennant’s Criterion for Paradoxicality
한국논리학회 겨울 학술대회
- 2021.01
The Counterexample to the Proof-Theoretic Conjecture for Self-Referential Paradoxes
제1회 한국논리학의 날
- 2020.10
The Identity of Proofs and the Criterion for Admissible Reductions
철학자연합대회 · 한국분석철학회 · 서울시립대학교
- 2019.01
The Proof-Theoretic Criterion for Paradoxicality and Ekman-Type Reductions
한국논리학회 겨울 학술대회 · 성균관대학교
- 2017.07
Liar’s Rules for the Truth Predicate and Reduction Loops
한국논리학회 여름 학술대회 · 국가수리과학연구소
- 2017.07
Logical Revision by Counterexamples
제15회 Asian Logic Conference · 국가수리과학연구소
- 2017.04
Paraconsistent Counterexamples to Ex Contradictione Quodlibet
한국논리학회 봄 학술대회 · 동덕여자대학교
- 2016.06
Is There Any Dialetheia in Intuitionistic Logic?
Pluralism Weeks · 연세대학교
- 2016.06
Priest’s Challenge, Super-Validity, and Inconsistency
제4회 Seoul Philosophy Graduate Student Conference · 서울대학교
- 2015.11
I am God Because I Can Do Anything, Therefore I Am Not God
Minnesota Center for Philosophy of Science · Work-in-Progress
- 2015.03
Question for Logical Monism
제3회 Seoul Philosophy Graduate Student Conference · 서울대학교
- 2015.01
General Applicability as the Criteria for the Correctness of Logics
한국논리학회 겨울 학술대회 · 한림대학교
- 2014.08
On Bilateralism
Pluralism Workshop · 연세대학교
- 2014.05
Logical Pluralist’s Conceptions of Topic-Neutrality
제2회 Seoul Philosophy Graduate Student Conference · 서울대학교
- 2014.01
Interpretation of Dummett’s Perspective on Gödel’s Theorem
한국논리학회 겨울 학술대회 · 충남대학교
- 2012.05
Dummett’s Use Theory of Meaning and Gödel’s Theorem
제1회 Seoul Philosophy Graduate Student Conference · 연세대학교
- 2003.10
자유의지 문제에 있어서 양립가능론과 양립불가능론
제1회 철학과 학술제 · 서울시립대학교
수상과 지원Honors & Grants
- 2026.08
도헌학술상 논문상
한림대학교 도헌학술원
- 2023.02
2022년 강의우수교원
서울시립대학교 · 논리와 사고 / 철학과 논술
- 2022.11
Grant · São Paulo School of Advanced Science
University of Campinas
- 2022.02
2021년 강의우수교원
서울시립대학교 · 논리와 사고 / 철학과 논술
- 2021.05
석탑강의상
고려대학교 · 2020년 2학기 논리학 입문
- 2021.05
우수강의상
고려대학교 · 2020년 2학기 비판적 사고와 논리
- 2020.11
석탑강의상
고려대학교 · 2020년 1학기 비판적 사고와 논리
- 2017.08
우수논문상
고려대학교 철학과