基本信息

内容简介

本书目录

基本信息

作 者：　（波）　塔尔斯基（Tarski.A.）　著

出 版 社：　商务印书馆

所属丛书：　汉译世界学术名著丛书　册 数：　

条 形 码：　9787100005203 ; 978-7-100-00520-3

I S B N ：　9787100005203 　出版时间：　1980-4-1

开 本：　16开 　页 数：　256

定 价：　21 元

内容简介

本书是我的《论数理逻辑和演绎方法》(该书1936年最初用波兰文出版，又于1937年出版了确切的德文译本 书名是：《数理逻辑和数学方法论导论》)一书部分修正了的和扩充了的版本。最初写这本书，是企图把它当作一本通俗的科学著作；其目的是向受过相当教育的普通读者提供一一用把科学的严格性和最大的可理解性结合起来的方式一一集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是，在现阶段它却具有远?广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外，它有助于使演绎方法完全化和敏锐化，这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法，而且，的确，它至少在一切智力活动的领域内，是从被公认的假设中推导出结论来的必不可少的补助的工具。

本书目录

初版序言

序言

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

(Ⅰ)论变项的用法

1．常项与变项

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

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

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

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

练习

(Ⅱ)论语句演算

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

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

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

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