{"id":192,"date":"2009-02-06T16:25:42","date_gmt":"2009-02-06T14:25:42","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=192"},"modified":"2009-02-10T14:42:42","modified_gmt":"2009-02-10T12:42:42","slug":"talk-on-thursday-february-12th","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2009\/02\/talk-on-thursday-february-12th\/","title":{"rendered":"Talk on Thursday February 12th"},"content":{"rendered":"<p>&nbsp;<br \/>&nbsp;<\/p>\n<p align=\"justify\">This <strong>Thursday 12th of February<\/strong> at <strong>15:00<\/strong> hrs we will have a <strong>talk<\/strong> in our seminar&#8217;s sessions. This time, our PhD visitor <strong>Michael De<\/strong> will talk about &#8220;<strong><em>Negation as lack of evidence<\/em><\/strong>&#8221; (abstract follows). After the talk, further discussions about the topic and other dynamic business can take place with some drinks!<\/p>\n<p align=\"justify\">The meeting will take place in room <strong>3.27<\/strong> of the <strong>P building (Euclides)<\/strong>.<\/p>\n<h3>Abstract<\/h3>\n<blockquote>\n<p align=\"justify\">If intuitionism is to be extended to empirical discourse (e.g. &agrave; la Dummett) then, on certain plausible assumptions about a theory of meaning, any coherent connective picked out by natural language expressions should be able to be conservatively added to intuitionistic logic. It is well-known that classical negation cannot be conservatively added to intuitionistic logic. Yet there is a negation in the vicinity that intuitionists must accept as coherent lest they justify intuitionistically invalid principles such as excluded middle, or end up in paradox as Williamson has argued. I show that such a negation can be conservatively extended to intuitionistic logic via Kripke semantics, and provide a sound and complete axiomatization of the resulting logic.<\/p>\n<\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp;&nbsp;<br \/>\nThis Thursday 12th of February at 15:00 hrs we will have a talk in our seminar&#8217;s sessions. This time, our PhD visitor Michael De will talk about &#8220;Negation as lack of evidence&#8221; (abstract follows). After the talk, further discussions about the topic and other dynamic business can take place with some drinks!<br \/>\nThe meeting will take [&#8230;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-192","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\/192","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\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=192"}],"version-history":[{"count":5,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/192\/revisions"}],"predecessor-version":[{"id":196,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/192\/revisions\/196"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=192"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=192"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=192"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}