本书是塔尔斯基写给普通读者的数理逻辑经典入门著作，归入汉译世界学术名著丛书。全书避开高度专业化的符号体系壁垒，以清晰通俗的表述介绍形式逻辑基础、演绎方法、语句演算、同一理论与公理系统思想。作者结合数学实例区分日常语言与科学语言，阐明定义、证明、公理构造的规范原则，系统解释演绎科学赖以成立的方法论根基。它不仅搭建现代逻辑基础框架，更引导读者反思科学推理的可靠性边界，既是通往数理逻辑的经典阶梯，也为哲学、语言学与科学研究提供严谨的思维工具。