표지 준비 중

인공지능 논리학

이호찬

에듀이음 · 2026-10-12 출간 예정

ISBN 9791123044088 · 철학

정가 8,900원 · 전자책

출간 예정전자책국립중앙도서관 ISBN 서지정보 등록

출간되면 알려드릴게요

『인공지능 논리학』는 2026-10-12 출간 예정입니다. 출간되면 서점 판매 링크와 함께 이메일로 한 번 알려드립니다.

책 소개

인공지능은 어떻게 추론하는가. 그리고 그 추론을 우리는 어디까지 신뢰할 수 있는가.

『인공지능 논리학』은 전통 논리학의 타당성·건전성·증명·모형이라는 기준에서 출발하여 대규모 언어모델의 확률적 생성, 추론 시간 기법, 강화학습, 형식 검증, 신경 기호 인공지능을 하나의 체계 안에서 연결한다.

책은 인간의 논리와 인공지능의 추론을 단순히 비교하는 데 머물지 않고, 생성된 후보를 검증하고 수정하며 여러 논리 체계를 조정하는 **‘메타논리 언어’**를 제안한다. 명제논리와 술어논리, 모달 논리, 다치·퍼지 논리, 비단조 추론과 논증 이론에서 시작해 Transformer, LLM, SAT·SMT, Lean, 확률 논리 프로그래밍, 신경 기호 추론, RAG, 에이전트형 추론, 인과·반사실 추론까지 단계적으로 다룬다.

인공지능의 추론을 이해하려는 독자에게는 이론적 지도를, 인공지능 시스템을 연구하고 설계하는 독자에게는 생성·검증·수정·조정으로 이어지는 실질적인 분석 틀을 제공하는 책이다.

출처: 국립중앙도서관 출판예정도서 등록 정보(출판사 제출)

요약

출판사 서평

인공지능을 이해하는 데 이제 ‘얼마나 똑똑한가’라는 질문만으로는 충분하지 않다. 더 중요한 질문이 있다.

어떻게 그 결론에 도달했는가.

그 결론은 어떤 조건에서 성립하는가.

틀렸다면 어디에서 틀렸는가.

그리고 우리는 그 결과를 어떻게 검증할 수 있는가.

『인공지능 논리학』은 바로 이 질문에서 출발한다.

대규모 언어모델은 놀라운 속도로 글을 쓰고, 문제를 풀고, 코드를 만들고, 외부 도구를 사용한다. 그 과정의 중심에는 확률적 생성이 있다. 반면 인간이 오랫동안 발전시켜 온 논리학은 타당성, 건전성, 반례, 증명이라는 엄밀한 기준을 세워 왔다.

이 책은 두 세계를 한쪽에 맞추려 하지 않는다. 각각의 장점을 분명하게 구분한 뒤 서로 연결한다. 언어모델은 다양한 후보를 만들고, 논리는 조건을 명확히 하며, SAT·SMT와 증명 보조기는 결과를 검사한다. 실패에서 얻은 반례는 다시 생성 과정으로 돌아가 다음 추론을 수정한다.

이를 위해 책은 고전적인 명제논리와 술어논리에서 시작해 모달 논리, 퍼지 논리, 비단조 추론, 논증 이론을 거친다. 이어 임베딩과 트랜스포머, 디코딩, 강화학습과 최신 추론 모델의 작동 방식을 살펴보고, 형식 검증과 신경 기호 인공지능, RAG, 지식그래프, AI 에이전트, 인과 추론까지 시야를 넓힌다.

37개 장을 관통하는 중심 개념은 **‘메타논리 언어’**다.

하나의 논리가 모든 문제를 해결한다고 가정하는 대신, 문제의 종류에 따라 필요한 논리를 선택하고, 서로 다른 추론 결과를 비교하고, 생성과 검증을 연결하는 상위 수준의 언어가 필요하다는 제안이다.

따라서 이 책은 논리학 입문서이면서 동시에 현대 인공지능 추론에 관한 연구서다. 인공지능의 내부 구조만 설명하는 기술서에 머무르지 않으며, AI의 답을 평가하고 검증하기 위해 어떤 논리적 기준이 필요한지를 함께 묻는다.

생성형 인공지능을 사용하는 학생과 교사, 인공지능·논리학·철학·컴퓨터과학 연구자, LLM과 AI 에이전트의 추론 구조를 깊이 이해하려는 독자에게 이 책은 한 단계 더 나아간 질문을 제공한다.

인공지능이 답을 만드는 시대를 지나, 이제 그 답을 검증하는 시대가 시작되고 있다.

『인공지능 논리학』은 그 시대에 필요한 논리의 새로운 지도를 제시한다.

출처: 국립중앙도서관 ISBN 서지정보(출판사 제출)