USES OF THE LANGUAGE OF MATHEMATICS
USES OF THE LANGUAGE OF MATHEMATICS

Summary/Abstract: In this paper I criticise the dogma that asserting and naming are the most important language uses in the language of mathematics. I present the later Wittgenstein and the intuitionists as the most eminent challengers of the dogma showing that both have to offer valuable arguments against it. Inspired by Kolmorov’s interpretation of intuitionistic logic I examine the connection between intuitionistic logic and imperative logic. Along the way I offer a solution to Jørgensen’s Dilemma rejecting another dogma, the dogma based on the belief that there could not be a deduction in which premises and conclusion are something other than propositions.

• Details
• Contents