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/2014/newsitem/6068/11- December-2014-Colloquium-on-Mathematical-Logic-Mat thias-Schirn-Munich- DTSTAMP:20141127T000000 SUMMARY:Colloquium on Mathematical Logic, Matthias Schirn (Munich) ATTENDEE;ROLE=Speaker:Matthias Schirn (Munich) DTSTART;TZID=Europe/Amsterdam:20141211T160000 DTEND;TZID=Europe/Amsterdam:20141211T180000 LOCATION:Janskerkhof 13, room 006 in Utrecht DESCRIPTION:In this talk, I shall critically discu ss some issues related to Frege's paradigms of sec ond-order abstraction principles: Hume's Principle and Axiom V. The focus is on the referential inde terminacy of value-range terms arising from a sema ntic stipulation later to be embodied in Axiom V o f Grundgesetze. I shall discuss Frege's attempt to remove the indeterminacy as well as his subsequen t proof of referentiality for his formal language with special emphasis on the case of value-range t erms. Attention will also be paid to the assumptio ns that underly his overall strategy. For abstrac ts and more information, see http://www.staff.scie nce.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com). X-ALT-DESC;FMTTYPE=text/html:\n
In this talk, I shall critically discuss some issues relat ed to Frege's paradigms of second-order abstractio n principles: Hume's Principle and Axiom V. The fo cus is on the referential indeterminacy of value-r ange terms arising from a semantic stipulation lat er to be embodied in Axiom V of Grundgesetze. I sh all discuss Frege's attempt to remove the indeterm inacy as well as his subsequent proof of referenti ality for his formal language with special emphasi s on the case of value-range terms. Attention will also be paid to the assumptions that underly his overall strategy.
\n \nFor abstra cts and more information, see http://www.staff.science.uu.nl/~ooste110 /seminar.html or contact Benno van den Berg (< a class="email">bennovdberg at gmail.com).
URL:/NewsandEvents/Archives/2014/newsitem/6068/11- December-2014-Colloquium-on-Mathematical-Logic-Mat thias-Schirn-Munich- END:VEVENT END:VCALENDAR