¾«¶«´«Ã½

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…

Title: ‘Logic and Inference in the Sender-Receiver Model’ Abstract: Logic, inference, language – somehow these are all connected. But how? One of David Lewis’s goals in his book Convention (1969) was to answer this question. There, he presented what is now known as the sender-receiver model of communication, and he revealed how conventionally meaningful communication might come about.…

Title: What do we mean? Semantics, Practices and Pluralism   Abstract: In this informal talk, I will revisit some longstanding issues in philosophical logic in the light of some contemporary developments.    The longstanding issues? (1) Michael Dummett’s challenge in The Logical Basis of Metaphysics to the effect that to get anywhere in fundamental issues of metaphysics we would do…

Wee relaxed organisational meeting with tea and biscuits.