Formal Philosophy: Matthias Schirn, "Frege: The Power and the Limits of Logical Abstraction" (CANCELED)
When: Thursday 11 May, 2017, 3 P.M.
Where: Institute of Philosophy RAS (12/1 Goncharnaya Str., Moscow, 109240), Room 416 (4th floor)
Organization: jointly by Vitaly Dolgorukov (HSE, Formal Philosophy Group) and Andrei Rodin (IPRAS)
Title: Frege: The Power and the Limits of Logical Abstraction
In this talk, I analyze several aspects of Axiom V and Hume’s Principle. The issues dealt with include self-evidence and epistemic value with special emphasis on Axiom V, Frege’s attitude towards Axiom V before and after Russell’s discovery of the contradiction, as well as the possible role and the status of Hume’s Principle in the face of Russell’s paradox. In the central part, I pursue a threefold aim: (a) to shed new light on the connection between Frege’s way of introducing the primitive function-names of his logical system and the requisite self- evidence of his axioms in whose expression such a function-name occurs; (b) to analyze the semantic nature of the formal linguistic expression of Axiom V, and (c) to examine the conflict between the requirements of self-evidence and real epistemic value or genuine knowledge arising inevitably and invariably from Fregean abstraction principles, if they are singled out as axioms of a theory T.