11 December 2014, Colloquium on Mathematical Logic, Matthias Schirn (Munich)

In this talk, I shall critically discuss some issues related to Frege's paradigms of second-order abstraction principles: Hume's Principle and Axiom V. The focus is on the referential indeterminacy of value-range terms arising from a semantic stipulation later to be embodied in Axiom V of Grundgesetze. I shall discuss Frege's attempt to remove the indeterminacy as well as his subsequent proof of referentiality for his formal language with special emphasis on the case of value-range terms. Attention will also be paid to the assumptions that underly his overall strategy.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg (bennovdberg at gmail.com).