On Friday February 5th, we will have a LIRa session with Fan Yang. Everyone is cordially invited!<\/p>\n
Speaker:\u00a0 Fan Yang<\/a><\/strong> (TU Delf) Date and Time:\u00a0 Friday, February 5th 2016, 13:00 – 14:30<\/p>\n Venue: KdVI Seminar Room F3.20<\/span>, Science Park 107.<\/p>\n Title:\u00a0 Dependence Logic and Arrow\u2019s Theorem.<\/strong><\/p>\n Abstract<\/strong>: Dependence logic [V\u00e4\u00e4n\u00e4nen 2007] is a new logical formalism that characterizes the notions of \u201cdependence” and \u201cindependence\u201d in social and natural sciences. The logic adopts the so-called team semantics [Hodges 1997]. The basic idea of this new semantics is that properties of dependence and independence cannot be manifested in single assignments, therefore unlike the usual semantics, formulas of dependence logic are evaluated on sets of assignments (called teams). In this talk, we give a brief introduction to dependence logic and its variants (including independence logic [Gr\u00e4del, V\u00e4\u00e4n\u00e4nen 2013<\/a>]). Then, we will use a version of independence logic to formalize Arrow\u2019s Impossibility Theorem, which can be viewed as a theorem highlighting an interesting conflict between dependence and independence. (The second part of the talk is based on a joint work with Eric Pacuit.)<\/p>\n","protected":false},"excerpt":{"rendered":" On Friday February 5th, we will have a LIRa session with Fan Yang. Everyone is cordially invited! Date and Time:\u00a0 Friday, February 5th 2016, 13:00 – 14:30
\n<\/strong><\/p>\n
\nSpeaker:\u00a0 Fan Yang (TU Delf)<\/p>\n
\nVenue: KdVI Seminar Room F3.20, Science Park 107.
\nTitle:\u00a0 Dependence Logic and Arrow\u2019s Theorem.
\nAbstract: Dependence logic [V\u00e4\u00e4n\u00e4nen 2007] is a new logical formalism that characterizes the notions […]<\/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-2910","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\/2910","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=2910"}],"version-history":[{"count":7,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2910\/revisions"}],"predecessor-version":[{"id":2920,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2910\/revisions\/2920"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2910"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2910"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2910"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}