{"id":3642,"date":"2018-10-15T17:59:19","date_gmt":"2018-10-15T15:59:19","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3642"},"modified":"2018-10-15T19:06:56","modified_gmt":"2018-10-15T17:06:56","slug":"lira-session-johannes-korbmacher","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2018\/10\/lira-session-johannes-korbmacher\/","title":{"rendered":"LIRa Session: Johannes Korbmacher"},"content":{"rendered":"<p>Speaker:\u00a0<a href=\"http:\/\/jkorbmacher.org\/\">Johannes Korbmacher<\/a><\/p>\n<p>Date and Time: Thursday, November&nbsp;15th 2018, 17:00-18:30<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107.<\/p>\n<p><strong>Title: The Logic of Free Choice Permission.<\/strong><\/p>\n<p><em>Abstract.<\/em> Building on a suggestion by Kit Fine, we describe a logic of permission using exact truthmaker semantics. The only logical principle for permission in the system is\u00a0Free Choice Permission (FCP):<\/p>\n<div>\n<div class=\"m_8388287836046219223inbox-inbox-page\" title=\"Page 1\">\n<div class=\"m_8388287836046219223inbox-inbox-layoutArea\">\n<div class=\"m_8388287836046219223inbox-inbox-column\">\n<p>P\u00a0(\u03c6\u00a0\u2228\u00a0\u03c8)\u00a0<b>\u22a8<\/b>\u00a0P \u03c6\u00a0\u2227\u00a0P \u03c8.<\/p>\n<p>By drawing on the resources of exact truthmaker semantics, we avoid the standard problems associated with (FCP).<\/p>\n<p>Our logic is a\u00a0positive\u00a0propositional deontic logic, i.e. it neither has negation nor any kind of implication. The connectives are simply\u00a0\u2228,\u00a0\u2227\u00a0and the permission operator\u00a0P. Notably, the system has no theorems. We give a sound and complete axiomatization in terms of deducibility statements\u00a0\u03c6\u00a0\u22a2\u00a0\u03c8.<\/p>\n<p>We then study extensions of the system with certain plausible principles for permission. In particular, we\u2019ll determine semantic conditions that are equivalent to the validity of\u00a0P\u03c6\u00a0\u2227\u00a0P\u03c8\u00a0<b>\u22a8<\/b>\u00a0P(\u03c6\u00a0\u2228\u00a0\u03c8) and of\u00a0P\u00a0(\u03c6\u00a0\u2227\u00a0\u03c8)\u00a0<b>\u22a8<\/b>\u00a0P \u03c6\u00a0\u2227\u00a0P \u03c8.<\/p>\n<p>(This is a joint work with Albert Anglberger.)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Speaker:\u00a0Johannes Korbmacher<br \/>\nDate and Time: Thursday, November&nbsp;15th 2018, 17:00-18:30<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107.<br \/>\nTitle: The Logic of Free Choice Permission.<br \/>\nAbstract. Building on a suggestion by Kit Fine, we describe a logic of permission using exact truthmaker semantics. The only logical principle for permission in the system is\u00a0Free Choice Permission (FCP):<\/p>\n<p>P\u00a0(\u03c6\u00a0\u2228\u00a0\u03c8)\u00a0\u22a8\u00a0P \u03c6\u00a0\u2227\u00a0P \u03c8.<br \/>\nBy drawing on [&#8230;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3642","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3642","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3642"}],"version-history":[{"count":3,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3642\/revisions"}],"predecessor-version":[{"id":3645,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3642\/revisions\/3645"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3642"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3642"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3642"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}