逻辑与演绎科学方法论导论 - (EPUB全文下载)

文件大小：0.61 mb。
文件格式：epub 格式。
书籍内容：

图书在版编目（CIP）数据

逻辑与演绎科学方法论导论／（波兰）塔尔斯基（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．公理与基本词项的选择；它们的独立性
§40．定义与证明的形式化，形式化的演绎理论
§41．一个演绎理论的无矛盾性与完全性；判定问题
§42．演绎科学方法论的扩大的概念
练　习

第二部分　逻辑和方法论在构造数学理论中的应用

（Ⅶ）一个数学理论的构造：数的次序的定律
§43．构造中的理论的基本词项；关于数与数之间基本关系的公理
§44．基本关系的不自反律；间接证明
§45．基本关系的其它定理
§46．数之间的其它关系
练　习
（Ⅷ）一个数学理论的构造：加法和减法的定律
§47．关于加法的公理；运算的一般性质，群和交换群的概念
§48．对于较多的被加数的交换律和结合律
§49．加法的单调定律以及它们的逆定律
§50．闭语句系统
§51．单调定律的推论
§52．减法的定义；反运算
§53．被定义者包含等号的定义
§54．关于减法的定理
练　习
（Ⅸ）关于所构造的理论的方法论的讨论
§55．在原来的公理系统中消去多余的公理
§56．化简了的系统的公理的独立性
§57．多余的基本词项的消去和公理系统的继续化简；一个有序交换群的概念
§58．公理系统的进一步化简；基本词项系统的可能变换
§59．所构造理论的无矛盾性问题
§60．所构造理论的完全性证明
练　习
（Ⅹ）所构造的理论的扩充。实数算术的基础
§61． ............

书籍插图：

以上为书籍内容预览，如需阅读全文内容请下载EPUB源文件，祝您阅读愉快。