-----

In this talk Soysal will defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions. The metalinguistic solution says that mathematical propositions are possible-worlds propositions about the relation between mathematical sentences and what these sentences express. This solution faces two types of problems. First, it is thought to yield a highly counterintuitive account of mathematical propositions. Second, it still ascribes too much mathematical knowledge if we assume the standard possible-worlds account of belief and knowledge on which these are closed under entailment. Soysal will defend the metalinguistic construal of mathematical propositions against these two types of objections by drawing upon a conventionalist metasemantics for mathematics and an algorithmic model of belief, knowledge, and communication.

-----