『논리학 개념어 100: 중급편』은 일상의 주장과 추론을 논리식으로 표현하고, 그 구조를 규칙에 따라 분석하는 데 필요한 핵심 개념 100개를 체계적으로 설명한 책이다.

기초편에서 전제와 결론, 추론과 논증의 기본 언어를 익혔다면 중급편에서는 그 관계를 기호로 옮기고 직접 계산하며 검증하는 단계로 나아간다. 형식언어와 명제논리에서 시작해 진리표, 자연연역, 일차논리, 양화사, 모형과 해석, 양화논리의 증명, 정언논리까지 현대 논리학의 주요 형식적 도구를 순서대로 다룬다.

각 개념은 정의와 기호만 제시하는 방식에서 벗어나 그 개념이 필요한 상황, 실제 적용 사례, 잘못된 적용, 구별해야 할 개념, 생각해 볼 문제와 풀이를 함께 구성했다. 수식과 기호가 낯선 독자도 논리적 관계가 왜 그렇게 표현되는지 이해하면서 단계적으로 형식논리의 언어를 익힐 수 있다.