{"id":1723,"date":"2012-11-15T18:16:29","date_gmt":"2012-11-15T18:16:29","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1723"},"modified":"2012-11-17T00:24:54","modified_gmt":"2012-11-17T00:24:54","slug":"lira-session-rohit-parikh","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2012\/11\/lira-session-rohit-parikh\/","title":{"rendered":"LogiCIC\/LIRa session: Rohit Parikh"},"content":{"rendered":"<p>On November 22,\u00a0<strong>Rohit Parikh<\/strong> will give a joint LogiCIC\/LIRa talk.<br \/>\nEveryone is cordially invited!<\/p>\n<p><strong>Speaker:<\/strong> Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center)<br \/>\n<strong>Title:<\/strong> Epistemic Logic in Real Life and Literature<br \/>\n<strong>Room:<\/strong> Science Park 904, room D1.113<br \/>\n<strong>Time:<\/strong> Thursday, 22 November, 15:30-17:30<\/p>\n<p><strong>Abstract: <\/strong>In his book Commodities and Capabilities, Amartya Sen points out that<br \/>\nour well being depends not only on what we have, but also on what our\u00a0capabilities are, to achieve goals which we value. \u00a0But to achieve\u00a0such goals, while we ourselves write and carry out the procedures,\u00a0society serves as an operating system which implements the individual\u00a0steps and provides appropriate subroutines. \u00a0This role of society can\u00a0be analyzed by standard logical techniques, e.g. Hoare Logic.<\/p>\n<p>At a social rather than an individual level, when a planner wants\u00a0people to act according to some socially desirable plan, the planner\u00a0needs to make sure that people acting in terms of their own desires,\u00a0their beliefs, and their capabilities, act in concordance with the\u00a0plan. Thus managing knowledge states becomes a crucial element of\u00a0such a plan. \u00a0Enabling (or blocking) abilities can also be part of\u00a0such a social plan.<\/p>\n<p>We show how such managed knowledge states occur in the literature,\u00a0giving examples from Shakespeare, Shaw, etc. \u00a0We also present a\u00a0technical result on creating knowledge states.<\/p>\n<p>Finally we point to a remark by Socrates in Plato&#8217;s Theaetetus about\u00a0the Justified True Belief \u00a0definition of knowledge. \u00a0Far from\u00a0endorsing this definition, Socrates presents an objection, different\u00a0from Gettier&#8217;s and anticipating a problem addressed by Turing in his<br \/>\nclassical 1936 paper. \u00a0This objection of Socrates and our natural\u00a0response to it bear on what we believe to be the ability of members of\u00a0a society to carry out the individual steps of a personal algorithm.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On November 22,\u00a0Rohit Parikh will give a joint LogiCIC\/LIRa talk.<br \/>\nEveryone is cordially invited!<br \/>\nSpeaker: Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center)<br \/>\nTitle: Epistemic Logic in Real Life and Literature<br \/>\nRoom: Science Park 904, room D1.113<br \/>\nTime: Thursday, 22 November, 15:30-17:30<br \/>\nAbstract: In his book Commodities and Capabilities, Amartya Sen points out that<br \/>\nour well being depends not only [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1723","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\/1723","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\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=1723"}],"version-history":[{"count":12,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1723\/revisions"}],"predecessor-version":[{"id":1727,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1723\/revisions\/1727"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1723"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1723"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1723"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}