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        <p>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.</p>\n    \n        <p>For abstra
 cts and more information, see <a target="_blank" h
 ref="http://www.staff.science.uu.nl/~ooste110/semi
 nar.html">http://www.staff.science.uu.nl/~ooste110
 /seminar.html</a> or contact Benno van den Berg (<
 a class="email">bennovdberg <span class="at">at</s
 pan> gmail.com</a>).</p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/6068/11-
 December-2014-Colloquium-on-Mathematical-Logic-Mat
 thias-Schirn-Munich-
END:VEVENT
END:VCALENDAR