当前位置: X-MOL 学术Semiotica › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Łukasiewicz, determinism, and the four-valued system of logic
Semiotica ( IF 0.9 ) Pub Date : 2021-05-01 , DOI: 10.1515/sem-2019-0115
Zuzana Rybaříková 1
Affiliation  

Jan Łukasiewicz is known primarily as the founder of the three-valued system of logic. It is also generally renowned that his reason for introducing many-valued systems of logic was an attempt to refute determinism. When he developed the three-valued and n -valued logic, he employed these systems in his arguments against determinism. On the contrary, Łukasiewicz preferred the four-valued system of logic that is not suitable for a refutation of determinism in his latest period. It seems, however, that determinism still interested Łukasiewicz, as he discussed its denial in his last work, the second edition of the book Aristotle’s syllogistic from the standpoint of modern formal logic . The aim of my paper is to introduce the issue and describe the relation of these two topics primarily in the latest period of Łukasiewicz’s work. There are several possible solutions to the issue. However, Łukasiewicz never addressed the issue clearly in his published works. Therefore, the solutions might be supported or contradicted by his unpublished works in the future.

中文翻译:

Łukasiewicz,决定论和逻辑的四值系统

JanŁukasiewicz主要是三值逻辑系统的创始人。众所周知,他引入逻辑的多值系统的原因是试图驳斥确定论。当他开发三值和n值逻辑时,他在反对确定论的论证中采用了这些系统。相反,Łukasiewicz倾向于在他的最近时期不适合驳斥确定论的四值逻辑系统。但是,似乎Łukasiewicz仍对决定论感兴趣,因为他在上一部著作中从现代形式逻辑的角度讨论了对亚里士多德三段论书的否定。我的论文的目的是在Łukasiewicz的最新作品中介绍这一问题并描述这两个主题之间的关系。有几种可能的解决方案。但是,Łukasiewicz从未在他发表的作品中明确地解决过这个问题。因此,将来他的未发表作品可能会支持或矛盾该解决方案。
更新日期:2021-05-11
down
wechat
bug