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

出版社:商务印书馆
出版日期:2011-6
ISBN:9787100078016
作者:(波兰) 塔尔斯基
页数:259页

书籍目录

初版序言
序言
第一部分 逻辑的元素.演绎方法
(Ⅰ)论变项的用法
1.常项与变项
2.包含变项的表达式——语句函项与指示函项
3.应用变项形成语句——全称语句与存在语句
4.全称量词与存在量词;自由变项与约束变项
5.变项在数学中的重要性
练习
(Ⅱ)论语句演算
6.逻辑常项;旧逻辑与新逻辑
7.语句演算;语句的否定,合取式与析取式
8.蕴函式或条件语句;实质蕴函
9.蕴函式在数学中的应用
10.语句的等值式
11.定义的表述方式与定义的规则
12.语句演算的定律
13.语句演算的符号;真值函项与真值表
14.语句演算定律在推理中的应用
15.推论的规则,完全的证明
练习
(Ⅲ)同一理论
16.不属于语句演算的逻辑概念;同一概念
17.同一理论的基本定律
18.事物之间的同一与指示词之间的同一引号的用法
19.算术与几何中的相等,和它与逻辑同一的关系
20.数的量词
练习
(Ⅳ)类的理论
21.类与它的元素
22.类和包含一个自由变项的语句函项
23.全类与空类
24.类与类间的基本关系
25.类的运算
26.等数类,一个类的基数,有穷类与无穷类;算术作为逻辑的一个部分
练习
(Ⅴ)关系的理论
27.关系,关系的前域与关系的后域;关系与有两个自由变项的语句函项
28.关系的运算
29.关系的一些性质
30.自反的,对称的与传递的关系
……
第三部分 逻辑和方法论在构造数学理论中的应用
推荐的读物
索引
译者后记

作者简介

《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理逻辑的一些最重要的概念,讨论了数理逻辑的进展和意义。


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



发布书评

 
 


精彩短评 (总计1条)

  •     这部著作名气很大,可我没有读出个所以然。可能时间太早的缘故吧。
 

外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。 零度图书网 

零度图书网 @ 2024