逻辑与演绎科学方法论导论

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

初版序言

序言

第一部分 逻辑的元素，演绎方法

（Ⅰ）论变项的用法

1．常项与变项

2．包含变项的表达式——语句函项与指示函项

3．应用变项形成语句——全称语句与存在语句

4．全称量词与存在量词；自由变项与约束变项

5．变项在数学中的重要性

练习

（Ⅱ）论语句演算

6．逻辑常项；旧逻辑与新逻辑

7．语句演算；语句的否定，合取式与析取式

8．蕴函式或条件语句；实质蕴函

9．蕴函式在数学中的应用

10．语句的等值式

11．定义的表述方式与定义的规则

12．语句演算的定律

……