逻辑与演绎科学方法论导论-塔尔斯基

本书仅供个人学习之用，请勿用于商业用途。如对本书有兴趣，请购买正版书籍。任何对本书籍的修改、加工、传播自负法律后果。

本书由“行行”整理，如果你不知道读什么书或者想获得更多免费电子书请加小编微信或QQ：2338856113 小编也和结交一些喜欢读书的朋友 或者关注小编个人微信公众号名称：幸福的味道 为了方便书友朋友找书和看书，小编自己做了一个电子书下载网站，网站的名称为：周读 网址：www.ireadweek.com

逻辑与演绎科学方法论导论／（波兰）塔尔斯基（Tarski，A.）著；周礼全，吴允曾，晏成书译．—北京：商务印书馆，1963.4（2010重印）

（汉译世界学术名著丛书）

ISBN 978-7-100-00920-1

I．①逻… II．①塔…②周…③吴…④晏… III．①数理逻辑—概论②演绎推理—方法论—概论 IV．①0141 B812.23

中国版本图书馆CIP数据核字（2009）第239250号

所有权利保留。

未经许可，不得以任何方式使用。

汉译世界学术名著丛书

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

〔波兰〕塔尔斯基 著

周礼全 吴允曾 晏成书 译

* * *

商 务 印 书 馆 出 版

（北京王府井大街36号 邮政编码100710）

商 务 印 书 馆 发 行

印刷厂印刷

ISBN 978-7-100-00920-1

* * *

1963年4月第1版 开本850×1168 1/32

2010年 月北京第 次印刷 印张

定价： 元

Afred Tarski

INTRODUCTION TO LOGIC

AND TO THE

METHODOLOGY OF DEDUCTIVE SCIENCES

Revised edition 1946

Oxford University Press.

New York

Original in Polish Language

Translated by Dr．O．Helmer

From German

本书根据牛津大学出版社1946年校订本译出

汉译世界学术名著丛书

出版说明

我馆历来重视移译世界各国学术名著。从五十年代起，更致力于翻译出版马克思主义诞生以前的古典学术著作，同时适当介绍当代具有定评的各派代表作品。幸赖著译界鼎力襄助，三十年来印行不下三百余种。我们确信只有用人类创造的全部知识财富来丰富自己的头脑，才能够建成现代化的社会主义社会。这些书籍所蕴藏的思想财富和学术价值，为学人所熟知，毋需赘述。这些译本过去以单行本印行，难见系统，汇编为丛书，才能相得益彰，蔚为大观，既便于研读查考，又利于文化积累。为此，我们从1981年至1986年先后分四辑印行了名著二百种。今后在积累单本著作的基础上将陆续以名著版印行。由于采用原纸型，译文未能重新校订，体例也不完全统一，凡是原来译本可用的序跋，都一仍其旧，个别序跋予以订正或删除。读书界完全懂得要用正确的分析态度去研读这些著作，汲取其对我有用的精华，剔除其不合时宜的糟粕，这一点也无需我们多说。希望海内外读书界、著译界给我们批评、建议，帮助我们把这套丛书出好。

商务印书馆编辑部

1987年2月

目 录

汉译世界学术名著丛书 出版说明

初版序言

序 言

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

（Ⅰ）论变项的用法

§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．自反的，对称的与传递的关系

§31．序列关系；其他关系的例子

§32．一多关系或函项

§33．一一关系或一一函项与一一对应

§34．多项关系；包含几个变项的函项与运算

§35．逻辑对其他科学的重要性

练 习

（Ⅵ）论演绎方法

§36．一个演绎的理论的基本组成部分——基本词项与被定义的词项，公理及定理

§37．一种演绎的理论的模型和解释

§38．演绎法定律；演绎科学的形式的特性

§39．公理与基本词项的选择；它们的