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/2025/newsitem/15712/23
 -June-2025-Philosophy-of-Mathematics-Φ-Math-Readin
 g-Group
DTSTAMP:20250623T135000
SUMMARY:Philosophy of Mathematics (Φ-Math) Reading
  Group
DTSTART;TZID=Europe/Amsterdam:20250623T160000
DTEND;TZID=Europe/Amsterdam:20250623T173000
LOCATION:ILLC seminar room F1.15, Science Park 107
 , Amsterdam
DESCRIPTION:This time our classmates, Matteo and J
 osje, will present Panu Raatikainen’s Conceptions 
 of truth in intuitionism.  We often summarize the 
 intuitionist notion of truth as “truth as provabil
 ity”, which marks a fundamental difference with th
 e classical logicians. But in doing so, we overloo
 k the fact that there are multiple competing conce
 ptions of truth within intuitionism itself. Raatik
 ainen presents a systematic overview of these diff
 erent accounts, ranging from actualist to possibil
 ist, and ultimately offers a critique of each, put
 ting in question about the coherence of the intuit
 ionist framework as a whole.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This time our 
 classmates, <a href="/People/Students/person/5689/
 Matteo-Celli" data-ppl="">Matteo</a> and <a href="
 /People/Table/person/5710/Josje-van-der-Laan" data
 -ppl="">Josje</a>, will present Panu Raatikainen’s
  <em>Conceptions of truth in intuitionism</em>.</p
 >\n  <p>We often summarize the intuitionist notion
  of truth as “truth as provability”, which marks a
  fundamental difference with the classical logicia
 ns. But in doing so, we overlook the fact that the
 re are multiple competing conceptions of truth wit
 hin intuitionism itself. Raatikainen presents a sy
 stematic overview of these different accounts, ran
 ging from actualist to possibilist, and ultimately
  offers a critique of each, putting in question ab
 out the coherence of the intuitionist framework as
  a whole.</p>\n
URL:https://events.illc.uva.nl/Phi-Math/events/202
 5-06-23-truth-in-intuitionism/
CONTACT:Alexander Lind at alexander.lind.math at g
 mail.com
CONTACT:Orestis Dimou Belegratis at OrestisDimouB 
 at gmail.com
END:VEVENT
END:VCALENDAR