美籍波兰逻辑学家塔尔斯基(Algred Tarski，1902～1983)着，本书是一本颇为流行的数理逻辑入门书。1936年以波兰文出版。1937年译成德文，1940年译成英文。1940年的英文译本中，着者又作了一些小的修改。1948年译成俄文，后来陆续译成多种文字。作者是现代逻辑学家、数学家、逻辑语义学的创始人。本书分为两部分，第一部分“逻辑的元素，演绎方法”是逻辑与演绎科学方法论的一般的导论，包括6章：(1)论变项的用法。(2)论语句演算。(3)同一理论。(4)类的理论。(5)关系的理论。(6)论演绎方法。第二部分“逻辑和方法论在构造数学理论中的一种应用”，借助于一个具体的例子，表明逻辑和方法论在数学理论的构造中的一种应用方式，以消化和深化在第一部分中所获得的知识。包括4章：(7)一个数学理论的构造;数的次序的定律。(8)一个数学理论的构造;加法和减法的定律。(9)关于所构造的理论的方法论的讨论。(10)所构造的理论的扩充，实数算术的基础。每一章后面都附有相当数量的练习。本书既是一本通俗的科学着作，也是大学里的逻辑和演绎科学方法论初级课程的教科书。

中译本据1946年英文译本转译，商务印书馆1963年出版，译者为周礼全、吴允增、晏成书。

本文地址： https://www.yishiweijian.com/zhishibk/20230133799.html

文章来源：主编

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。