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/2019/newsitem/10828/30
 ---31-May-2019-Logic-in-London-I-London-England
DTSTAMP:20190429T135655
SUMMARY:Logic in London I, London, England
DTSTART;VALUE=DATE:20190530
DTEND;VALUE=DATE:20190531
LOCATION:London, England
DESCRIPTION:The workshop brings together researche
 rs working on the logic and the philosophy of type
 -free notions such as functions, classes, properti
 es, and propositions.  Due to the logical paradoxe
 s, the traditional approach arranges such entities
  in hierarchies: type-theory and traditional set t
 heory are well-known examples. The resulting pictu
 re has the obvious drawback of leaving out many le
 gitimate objects. For instance, many innocuous cir
 cular properties and propositions cannot be assign
 ed a place in the hierarchical approach. Similarly
 , it is not possible to accommodate propositions e
 xpressing quantification over all levels in a hier
 archy.  The aim of the workshop is to explore and 
 compare different approaches to type-free notions 
 that overcome such shortcomings. It will focus in 
 particular on the formal frameworks employed to mo
 del them, and on their philosophical motivations a
 nd applications.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The workshop b
 rings together researchers working on the logic an
 d the philosophy of type-free notions such as func
 tions, classes, properties, and propositions.</p>\
 n\n  <p>Due to the logical paradoxes, the traditio
 nal approach arranges such entities in hierarchies
 : type-theory and traditional set theory are well-
 known examples. The resulting picture has the obvi
 ous drawback of leaving out many legitimate object
 s. For instance, many innocuous circular propertie
 s and propositions cannot be assigned a place in t
 he hierarchical approach. Similarly, it is not pos
 sible to accommodate propositions expressing quant
 ification over all levels in a hierarchy.</p>\n\n 
  <p>The aim of the workshop is to explore and comp
 are different approaches to type-free notions that
  overcome such shortcomings. It will focus in part
 icular on the formal frameworks employed to model 
 them, and on their philosophical motivations and a
 pplications.</p>\n
URL:https://philosophy.sas.ac.uk/events/event/1947
 7
CONTACT:IP at sas.ac.uk
END:VEVENT
END:VCALENDAR