ตรรกวิทยาสัญลักษณ์

หนังนี้เล่มนี้ครอบคลุมหัวข้อต่างๆ ของ “ตรรกวิทยาระดับแรก” (first order logic) ทั้งหมด นับตั้งแต่วากยสัมพันธ์และอรรถศาสตร์ของการวิเคราะห์กลไกของความสมเหตุสมผล (validity) ของการอ้างเหตุผล (argument) รวมทั้งทฤษฎีการพิสูจน์ (proof theory) ทั้งในตรรกวิทยาประพจน์และตรรกวิทยาภาคแสดง ตรรกวิทยามีความสำคัญเป็นอย่างยิ่ง เนื่องจากเป็นการศึกษาเกี่ยวกับความถูกต้องและหลักเกณฑ์ต่างๆ อันเกี่ยวเนื่องกับความสัมพันธ์กันของข้อความ โดยเฉพาะที่สัมพันธ์กันเป็นรูปแบบของการอ้างเหตุผล ซึ่งทำให้เราเห็นว่าการอ้างเหตุผลที่ถูกตามหลักเกณฑ์นั้นเป็นอย่างไรและเหตุใดจึงถูกต้อง