Round 11: Tossup 5

This thinker formalized a statement of equinumerosity that George Boolos later identified as Hume’s principle. This thinker (-5[1])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 (-5[1])turn to this (-5[1])thinker’s use of (-5[1])the context principle while discussing (10[1])the origin of numbers. (10[1])This thinker’s Basic Law V (“five”) was shown to be flawed (10[1])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.” (10[2])For 10 points, name this German philosopher who wrote The Foundations of Arithmetic and On Sense and Reference. (10[1])■END■ (10[1]0[1])

Back to tossups

Buzzes

Summary