逻辑与演绎科学方法论导论（塔尔斯基） Introduction to Logic and to the Methodology of the Deductive Sciences

基本信息

Series:Oxford Logic Guides

Format:Hardback 252 pages

Publisher:Oxford University Press Inc

Imprint:Oxford University Press Inc

Edition:4 Revised edition

ISBN:9780195044720

Published:24 Mar 1994

Weight:509g

Dimensions:243 x 159 (mm)

页面参数仅供参考，具体以实物为准

书籍简介

这本经典的逻辑学著作现已出版第四版，为学生提供了一个清晰、简明的逻辑学科及其应用的介绍。本书的一部分介绍了构成逻辑要素的概念和原理，表明逻辑的概念在数学的所有分支中都可以找到，而且逻辑规律在数学推理中不断得到应用。本书继续展示了逻辑在以下方面的应用：

在数学理论建设中的应用，使用具体的例子，借鉴章节一中提出的概念和原则。还介绍了实数的理论。书中还包括一些练习题，旨在帮助读者吸收概念和原理。在整个过程中强调的是概念方面或逻辑方面。

Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in

mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout

the conceptual side or logic is stressed.

作者简介

阿尔弗雷德-塔尔斯基（1901年1月14日-1983年10月26日）是一位波兰裔美国逻辑学家和数学家。他是一位多产的作者，以其在模型理论、元数学和代数逻辑方面的工作而闻名，他还对抽象代数、拓扑学、几何学、度量理论、数理逻辑、集合论和分析哲学作出了贡献。

Alfred Tarski (January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

目录

FIRST PART: Elements of Logic. Deductive Method

1: On the Use of Variables

2: On the Sentential Calculus

3: On the Theory of Identity

4: On the Theory of Classes

5: On the Theory of Relations

6: On the Deductive Method

SECOND PART: Applications of Logic and Methodology in Constructing Mathematical Theories

7: Construction of a Mathematical Theory: Laws of Order for Numbers

8: Construction of a Mathematical Theory: Laws of Addition and Subtraction

9: Methodological Considerations of the Constructed Theory

10: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers