{"id":969,"date":"2017-12-03T13:50:37","date_gmt":"2017-12-03T05:50:37","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=969"},"modified":"2017-12-05T00:20:00","modified_gmt":"2017-12-04T16:20:00","slug":"talk-polish-contributions-to-syllogistic-from-lukasiewicz-to-present-times-piotr-kulicki","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/talk-polish-contributions-to-syllogistic-from-lukasiewicz-to-present-times-piotr-kulicki\/","title":{"rendered":"[talk] Polish contributions to syllogistic from \u0141ukasiewicz to present times (Piotr Kulicki)"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong> 2017 Dec. 07,\u00a016:00-17:30<br \/>\n<strong>Venue:<\/strong>\u00a0Xinzhai 105, Tsinghua Univ.<\/p><\/blockquote>\n<p><strong>Speaker:<\/strong> <strong>Piotr Kulicki<\/strong>\u00a0(John Paul II Catholic University of Lublin)<br \/>\n<strong>Title:\u00a0Polish contributions to syllogistic from \u0141ukasiewicz to present times<\/strong><br \/>\n<strong>Abstract:<\/strong>\u00a0Syllogistic is a first logical system in western world created by Aristotle in the 4th century BC. It formalises valid reasoning modes concerning relations between extensions of notions, allowing for example to infer the conclusion \u2018every man needs to eat\u2019 from the premises: \u2018every man is an animal\u2019 and \u2018every animal needs to eat\u2019. It was a dominant logical system in Europe until 19th century. With the development of mathematical logic at the beginning of 20th centuries it seemed that the old, Aristotelian logic is not useful any more. However, Jan \u0141ukasiewicz reintroduced it to the contemporary logic in the 1930th by formulating it in the manner typical for formal logic. It is a theory that is useful as close to natural language having law computational complexity. | The modern approach to syllogistic initiated by \u0141ukasiewicz is still vivid. In the presentation we will focus on contributions of Polish logicians. We will address the problem of empty names within syllogistic and the connection between syllogistic and Stanis\u0142aw Le\u015bniewski\u2019s ontology, which along syllogistic formulates the core of the logic of names. We will especially point out different formalisations of the calculus of names and some results concerning decision procedures and the complexity issues.<\/p>\n<p><strong>Organization:<br \/>\n<\/strong>Tsinghua University &#8211; University of Amsterdam Joint Research Centre for Logic<br \/>\nDepartment of Philosophy, Tsinghua University<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2017 Dec. 07,\u00a016:00-17:30 Venue:\u00a0Xinzhai 105, Tsi [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[53,10,41],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/969"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=969"}],"version-history":[{"count":3,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/969\/revisions"}],"predecessor-version":[{"id":974,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/969\/revisions\/974"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=969"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=969"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=969"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}