BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2011/newsitem/3760/29-
 30-March-2011-Higher-order-logic-versus-set-theory
 -London-U-K-
DTSTAMP:20110217T000000
SUMMARY:Higher-order logic versus set theory, Lond
 on, U.K.
DTSTART;VALUE=DATE:20110329
DTEND;VALUE=DATE:20110330
LOCATION:London, U.K.
DESCRIPTION:From a mathematical point of view, hig
 her-order logic (HOL) and set theory have a lot in
  common; for instance, both allow us to talk about
  collections of individuals, and there are partial
  translations in both directions. However, philoso
 phers often argue that HOL and set theory differ i
 n important ways, such as epistemic status and ont
 ological commitments. This workshop aims to assess
  the relation between HOL and set theory, drawing 
 in part on an examination of the history of these 
 theories.   To register, please email s.florio at 
 bbk.ac.uk. For more information, see http://www.bb
 k.ac.uk/philosophy/our-research/ppp/w3.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>From a mat
 hematical point of view, higher-order logic (HOL)\
 n      and set theory have a lot in common; for in
 stance, both allow us\n      to talk about collect
 ions of individuals, and there are partial\n      
 translations in both directions.  However, philoso
 phers often\n      argue that HOL and set theory d
 iffer in important ways, such as\n      epistemic 
 status and ontological commitments. This workshop 
 aims\n      to assess the relation between HOL and
  set theory, drawing in\n      part on an examinat
 ion of the history of these theories.\n      </p>\
 n    \n      <p>To register, please email <a class
 ="email">s.florio <span class="at">at</span> bbk.a
 c.uk</a>.\n        For more information, see <a ta
 rget="_blank" href="http://www.bbk.ac.uk/philosoph
 y/our-research/ppp/w3">http://www.bbk.ac.uk/philos
 ophy/our-research/ppp/w3</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3760/29-
 30-March-2011-Higher-order-logic-versus-set-theory
 -London-U-K-
END:VEVENT
END:VCALENDAR