BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/376
0/29-30-March-2011-Higher-order-logic-versus-set-t
heory-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 \n To 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

\n
URL:/NewsandEvents/Events/Conferences/newsitem/376
0/29-30-March-2011-Higher-order-logic-versus-set-t
heory-London-U-K-
END:VEVENT
END:VCALENDAR