×

精选作品。L.Borkowski编辑。 (英语) Zbl 0212.00902号

逻辑和数学基础研究。阿姆斯特丹等:North-Holland Publishing Company;华沙:PWN-波兰科学出版社。xii,405页(1970年)。
这本书与波兰出版的J.Łukasiewicz的精选论文有很大不同[z zagadnien logiki i filozofii.Pisma wybrane(华沙,1961)]。省略了几篇文章(主要是历史感兴趣的),包括10篇关于数学逻辑的新文章。
乌卡西维茨活动的第一个阶段是以“科学中的创造性元素”(1912)、“概率论的逻辑基础”(1913)、“关于量的概念”(1916;JFM 47.0898.04标准)以及最早提到三值逻辑的《告别演讲》(1918)。
在两次世界大战之间发表并被纳入本出版物的关于数学逻辑的论文有:《论三值逻辑》(1920年)、《二值逻辑学》(1921年;JFM 48.1125.05标准)《命题理论的数值解释》(1922/3),《句子演算研究》(1930;JFM 57.1319.01标准)《关于尼科德公理和‘广义演绎’的评论》和《等价演算》(1939;Zbl 0022.28901号;JFM 65.0022.01型).
还包括同一时期的一些哲学文章:《论决定论》、《关于命题逻辑多值系统的哲学评论》(1930;JFM 57.1319.02标准)《逻辑学与哲学》(1936)、《为逻辑辩护》(1937)、《逻辑与数学基础问题》(1941;兹比尔0061.00804); 它包括以下信条:命题演算是基本的逻辑学科。其他逻辑学科,尤其是函数微积分,都是基于命题微积分的,而整个数学又是基于逻辑的。因此,命题演算是所有演绎科学的最深基础。)
《命题逻辑史》(1935;Zbl 0011.24204号;JFM 61.0004.03号文件)关注逻辑的历史。第二次世界大战后,ukasiewicz出版了12部作品,都是关于逻辑的,其中7部被收录在正在审查的出版物中:“命题的隐含演算的最短公理”(1948;Zbl 0029.09801号)《论蕴涵命题演算的公理体系》(1951;Zbl 0045.14811号)《命题论证的可变函子》(1951)、《直觉主义演绎理论》(1952)、《数学理论的形式化》(1953)、《模态逻辑系统》(1955)、《算术与模态逻辑》(1954)。
这本书不包括尤卡西维茨关于亚里士多德三段论的任何著作。这是因为他的专著《从现代形式逻辑的角度看亚里士多德的三段论》。牛津:克拉伦登出版社(1951;Zbl 0043.24601号)英语读者很容易接触到。

理学硕士:

03-03 数学逻辑和基础的历史
01A75号 收集或选择的作品;经典著作的再版或翻译
00B60号 重印文章集

关键词:

选定的作品