This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege'sGrundlagen in its historical setting.Expand

This paper uses the strengthened liar paradox as a springboard to illuminate two more general topics: i) the negation operator and the speech act of denial among speakers of English and ii) some ways the potential for acceptable language change is constrained by linguistic meaning.Expand

[Speaking of a hypothetical mineralogist who rejects color as a basis for classification, preferring crystalline structure or chemical composition:] The introduction of such a concept as a motif for… Expand

It is widely believed that some puzzling remarks that Frege makes in his late writings indicate he rejected independence arguments in geometry, particularly arguments for the independence of the parallels axiom.Expand

The issues surrounding the Caesar problem are assumed to be inert as far as ongoing mathematics is concerned. This paper aims to correct this impression by spelling out the ways that, in their… Expand