What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

Quantifier variance holds that different languages can have unrestricted quantifier expressions that differ in meaning, where an expression is a “quantifier” just in case it plays the right inferential role. Several critics argued that J.H. Harris’s “collapse” argument refutes variance by showing that identity of inferential role is incompatible with meaning variance. This standard, syntactic collapse argument has generated several responses. More recently, Cian Dorr proved semantic collapse theorems to generate a semantic collapse argument against variance. The argument is significantly (...) different from standard collapse, so it requires a new response. Here I clarify and analyze the semantic collapse argument, and explain how variantists can and should respond to it. The paper also includes an appendix showing the difficulties of positing identity variance without quantifier variance. The argument in the appendix has yet to appear in print, but is familiar to specialists. (shrink)

ABSTRACT There has been recent interest in the idea that, when metaphysicians disagree over the truth of (say) ‘There are numbers’ or ‘Chairs exist’, their dispute is merely verbal. This idea has been taken to motivate quantifier variance, the view that the meanings of quantifier expressions vary across different ontological languages, and that each of these meanings is of equal metaphysical merit. I argue that quantifier variance cannot be upheld in light of natural language theorists’ analyses of quantifier expressions. The (...) idea that metaphysicians are engaged in verbal disputes can be maintained only through alternative strategies that have nothing to do with quantifier expressions. (shrink)