《逻辑与演绎科学方法论导论》是1料发挥项说980年4月1日商务印书馆出版的图书,作者是(波)塔尔斯基(Tarski.A.)。
本书是我的《论数理逻辑和演绎方法》(该书1936年最初用波兰文出版,又于1937年出版了确切的德文译本 书名是终却局程微完露似胶使失:《数理逻辑和数学方法论导论》)一书部分修正了来自的和扩充了的版本。青儿杂统官最初写这本书,是企图把它当作一酒困露茶本通俗的科学著作;其目的是向受过相当教育的普通读者提供法映死多谁保地一一用把科学的严格性和最大的可理解性结合起来的方式一一集中于现代逻辑的强大的现360百科代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是,在现阶段它却具有远广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外,它有助于使演绎方法完全化和敏锐化,这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法,而且,的确,它至少在一切智力活动的领域内,是从被公认的假设中推导出结论来的必不可少的补管判既拿游治与员呼武助的工具。
初版序言
序言
第一部分 逻辑的元素.演绎方法
(Ⅰ)论变项的用法
1.常项与变项
2.包含变项的表达式一一语句函项与指示函项
3.应用变项形成语句一一全称语句与存在语句
4.全称量词与存在量词;自由复由态某急讨她指方硫变项与约束变项
5.变项在数学中的重要性
练习
(Ⅱ)论语句演算
6.逻辑常项;旧逻辑与新逻辑
7.语句演算;语句的否定,合取式与析取式
8.蕴函元夜式或条件语句;实质蕴函
9.蕴函式在数学中的应用