Round 400: Tossup 5

This thinker formalized a statement of equinumerosity that George Boolos later identified as Hume’s principle. (10[1])This thinker wrote two essays criticizing David Hilbert’s lecture on geometry for relying on the demonstration of consistency. This thinker introduced the turnstile symbol to logic in a book that criticizes Kant’s claim that 2 + 3 = 5 was unprovable. Michael Dummett attributes the beginning of the linguistic turn to this thinker’s (-5[1])use of the context principle while discussing (-5[1])the origin of numbers. This thinker’s Basic Law V (10[2])(“five”) was shown to be flawed when considering sets through Russell’s paradox. A puzzle at the start of a paper by this thinker notes “Hesperus is Hesperus. Hesperus is Phosphorus.” For 10 points, name this German philosopher who wrote The Foundations of Arithmetic and On (10[1])Sense and Reference. ■END■ (10[1])

Back to tossups

Buzzes

Summary