Self-reference
MCMP – Mathematical Philosophy (Archive 2011/12)
English - April 20, 2019 18:17 - 53 minutes - 489 MB Video - ★★★★★ - 6 ratingsPhilosophy Society & Culture philosophy logic science language mathematics hannes leitgeb stephan hartmann mcmp lmu Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Group Presentation, Munich Center for Mathematical Philosophy (LMU)
Next Episode: Possibilities without possible worlds/histories
Volker Halbach (Oxford) gives a talk at the Workshop on Mathematical Philosophy titled "Self-reference". Abstract: What does it mean for a sentence to say about itself that it is P? Here P can stand for any unary sentential function such as 'is provable', 'is not provable', 'is true', or 'is a sentence'. I will study this question in a metamathematical setting. After reviewing some early attempts to tackle the question and their impact on problems in metamathematics such as Henkin's problem, I will put forward a new proposal and test its adequacy with some examples.