- All Seminars
- Actuarial Science Seminar
- Algebra Seminar
- Analysis Learning Seminar
- Analysis and Probability Seminar
- Cluster Algebras Seminar
- Connecticut Logic Seminar
- Control and Optimization
- Discrete Mathematics Seminar and Statistical Mechanics
- Geometric and Functional Inequalities and Applications
- Math Club Talks
- Mathematical Physics Seminar
- Mathematics Colloquium
- Mathematics Education Seminar
- Mathematical Finance Seminar
- Ph.D. Defense
- PDE and Differential Geometry Seminar
- S.I.G.M.A. Seminar
- UConn Logic Colloquium
UConn Logic Colloquium
- 11/15 Logic Colloquium: Zeynep Soysal (Rochester)
Logic Colloquium: Zeynep Soysal (Rochester)
Friday, November 15th, 20242:00 PM - 3:30 PM Hybrid: SHH 110 & ZoomJoin us in the Logic Colloquium!
Zeynep Soysal (Rochester):
The Metalinguistic Construal of Mathematical Propositions
In this talk I 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. I 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.
All welcome!
Contact Information:logic@uconn.edu
More