The Calculus of Names—The Legacy of Jan Łukasiewicz
With his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that studies various forms of names and functors acting...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2025-02-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/14/3/160 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850089646720024576 |
|---|---|
| author | Andrzej Pietruszczak |
| author_facet | Andrzej Pietruszczak |
| author_sort | Andrzej Pietruszczak |
| collection | DOAJ |
| description | With his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that studies various forms of names and functors acting on them, as well as logical relationships between sentences in which these names and functors occur. In this work, we want not only to present the genesis of the calculus of names and its first system created by Łukasiewicz, but we also want to deliver systems that extend the first. In this work, we will also show that, from the point of view of modern logic, Łukasiewicz’s approach to the syllogistic is not the only possible one. However, this does not diminish Łukasiewicz’s role in the study of syllogism. We believe that the calculus of names is undoubtedly the legacy of Łukasiewicz. |
| format | Article |
| id | doaj-art-752ec5aec23e4ab0b04b9c2b3d9cf8bb |
| institution | DOAJ |
| issn | 2075-1680 |
| language | English |
| publishDate | 2025-02-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Axioms |
| spelling | doaj-art-752ec5aec23e4ab0b04b9c2b3d9cf8bb2025-08-20T02:42:45ZengMDPI AGAxioms2075-16802025-02-0114316010.3390/axioms14030160The Calculus of Names—The Legacy of Jan ŁukasiewiczAndrzej Pietruszczak0Department of Logic, Nicolaus Copernicus University, 87-100 Toruń, PolandWith his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that studies various forms of names and functors acting on them, as well as logical relationships between sentences in which these names and functors occur. In this work, we want not only to present the genesis of the calculus of names and its first system created by Łukasiewicz, but we also want to deliver systems that extend the first. In this work, we will also show that, from the point of view of modern logic, Łukasiewicz’s approach to the syllogistic is not the only possible one. However, this does not diminish Łukasiewicz’s role in the study of syllogism. We believe that the calculus of names is undoubtedly the legacy of Łukasiewicz.https://www.mdpi.com/2075-1680/14/3/160calculus of nameslogic of names?ukasiewiczAristotle’s syllogisticsemantics of logic of names |
| spellingShingle | Andrzej Pietruszczak The Calculus of Names—The Legacy of Jan Łukasiewicz Axioms calculus of names logic of names ?ukasiewicz Aristotle’s syllogistic semantics of logic of names |
| title | The Calculus of Names—The Legacy of Jan Łukasiewicz |
| title_full | The Calculus of Names—The Legacy of Jan Łukasiewicz |
| title_fullStr | The Calculus of Names—The Legacy of Jan Łukasiewicz |
| title_full_unstemmed | The Calculus of Names—The Legacy of Jan Łukasiewicz |
| title_short | The Calculus of Names—The Legacy of Jan Łukasiewicz |
| title_sort | calculus of names the legacy of jan lukasiewicz |
| topic | calculus of names logic of names ?ukasiewicz Aristotle’s syllogistic semantics of logic of names |
| url | https://www.mdpi.com/2075-1680/14/3/160 |
| work_keys_str_mv | AT andrzejpietruszczak thecalculusofnamesthelegacyofjanłukasiewicz AT andrzejpietruszczak calculusofnamesthelegacyofjanłukasiewicz |