58³Ô¹Ï

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 artificial intelligence challenges is to compute justified beliefs based on evidence. In real-life examples, this evidence may be inconsistent, incomplete, or uncertain, making the problem…

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 second duplicate ring. Did you see the hole of the bottom ring before you saw the bottom ring? Each answer is backed by good reasons.…

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 Beall and Restall (2006). I will argue that in addition to paying attention to particular logics, such as classical, intuitionnistic, relevance logics, etc., it is…

Title: A New Problem for Logical Contextualism Abstract: Logical contextualism is the view that ‘valid’ is a context-sensitive expression. One key reason to endorse logical contextualism is that, unlike traditional forms of logical pluralism, it can avoid the so-called collapse problem. Logical contextualism relies on the crucial assumption that each conversational context determines a uniquely appropriate logical consequence…

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 arguments in favour of the impossibility of singular reference to non-individuals.

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 doubt on this by introducing rules for his so-called tonk operator that seemed to allow for the derivation of any sentence whatsoever from any sentence…

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 the purposes of metaphysical theorizing, a different language would be better: the calculus of constructions. Since this language—like many pure type systems—allows for quantification over…