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
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
\ n \nTo register, please email s.florio at bbk.a c.uk.\n For more information, see http://www.bbk.ac.uk/philos ophy/our-research/ppp/w3.\n
URL:/NewsandEvents/Archives/2011/newsitem/3760/29- 30-March-2011-Higher-order-logic-versus-set-theory -London-U-K- END:VEVENT END:VCALENDAR