논리적인 사유를 엄밀하게 전개하는데 필요한 기본 개념들과 타인을 설득하는 기본 도구인 논증(argument)의 타당성 여부를 형식적으로 증명하는 현대적인 기초 논리 언어 체계를 학습한다. 본 교과목의 목표는 수강생들이 주어진 과제나 문제를 올바로 분석하고 그 해결 방안을 고안하는데 필요한 기본적인 사유 역량을 획득함으로써, 고도의 정밀한 사유를 요하는 심화된 문제들을 체계적으로 다루는 사유 과정에서 요구되는 최소한도의 엄밀한 형식적 수단을 능숙하게 활용할 수 있게끔 만드는 데 있다.