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/2023/newsitem/14590/10
 -November-2023-Philosophy-of-Mathematics-Φ-Math-Re
 ading-Group
DTSTAMP:20231113T021550
SUMMARY:Philosophy of Mathematics (Φ-Math) Reading
  Group
DTSTART;TZID=Europe/Amsterdam:20231110T160000
DTEND;TZID=Europe/Amsterdam:20231110T180000
LOCATION:Room A1.06, Science Park 904, Amsterdam /
  Online
DESCRIPTION:The Phi-Math reading group continues t
 he discussion on Higher-Order Logic (HOL). This ti
 me we focus specifically on arguments against adop
 ting Higher-Order logics for various purposes. The
 se arguments include HOL being set theory in disgu
 ise, the (lack of) applicability of HOL for its in
 tended purposes, and the serious metalogical issue
 s the logics face.  Students and faculty from all 
 backgrounds are welcome to join. Even if you did n
 ot join for the first meeting, there is no issue i
 n joining at this point! More information about re
 adings and previous meetings can be found on our w
 ebsite.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Phi-Math r
 eading group continues the discussion on Higher-Or
 der Logic (HOL). This time we focus specifically o
 n arguments against adopting Higher-Order logics f
 or various purposes. These arguments include HOL b
 eing set theory in disguise, the (lack of) applica
 bility of HOL for its intended purposes, and the s
 erious metalogical issues the logics face.</p>\n  
 <p>Students and faculty from all backgrounds are w
 elcome to join. Even if you did not join for the f
 irst meeting, there is no issue in joining at this
  point! More information about readings and previo
 us meetings can be found on our website.</p>\n
URL:https://sites.google.com/view/phi-math/meeting
 s
CONTACT:Alexander Lind at alexander.lind.math at g
 mail.com
END:VEVENT
END:VCALENDAR