Friday, November 30, 2012

Upcoming conference: God, Truth and other enigmas

The Institute of Philosophy and Sociology at Polish Academy of Sciences and the Chair of Logic, Computer Science and Philosophy of Science at University of Bialystok are putting together a conference on, I take it, a mixture of philosophy of religion and formal methods. It will take place in Warsaw, September 17-19, 2013. 

The list of expected participants includes (just to pick a few names)  M. Szatkowski, J. Kvanvig, J. Lowe, R. Murawski, G. Sandu, J. Wolenski, J. Hawthorne, P. Simons and P. van Inwagen.

Once the website is up, I'll link to it.

Saturday, November 24, 2012

Yellow Cards for Salmon and Soames open access in Erkenntnis

A paper in which I criticize what I take to be somewhat hasty arguments for platonism about numbers is now available open access in Erkenntnis. Here (then follow the link to Springer).

Abstract: Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves.