The workshop ‘Proofs, Rules, and Meanings’聽is set to take place at the University of 58吃瓜 (School V, United College, and livestreamed via Microsoft Teams) on 11 and 12 April…
No M&L meeting because of a concurrent School Council meeting.
Title: Beliefs based on conflicting and uncertain evidence: connecting Dempster-Shafer theory and the topology of evidence Abstract: One problem to solve in the context of information fusion, decision-making, and other…
Title: Seeing Holes-without seeing what they are holes in Abstract: Peering down into a tall box, you see a ring. The ring is removed. To your surprise this uncovers a…
Title: History of logic as a tool for exploring the plurality of logical frameworks Abstract: I will outline another type of logical pluralism than the one now famously proposed by…
Title:聽A New Problem for Logical Contextualism Abstract:聽Logical contextualism is the view that 鈥榲alid鈥� is a context-sensitive expression. One key reason to endorse logical contextualism is that, unlike traditional forms of…
Title: Reference Without Identity Abstract: Singular reference to non-individuals is often thought to be impossible. At present, however, this claim rests solely on intuitions. In this paper, I present four…
Title: When Rules Define Logical Operators: Rules as Second-Order Definitions Abstract: Logical inferentialists hold that the meaning of logical operators is given by their rules of inference. Arthur Prior cast…
No meeting due to the concurrent CEPPA Fest.
Title: Talk About Types Abstract: Many metaphysical theories of identity, existence, and so on, are formulated using higher-order languages like the simply typed lambda calculus. But as I argue, for…