Research Group
in Analytic Philosophy

Abstract

There is a longstanding position in philosophy of logic claiming that the introduction or elimination rules for the connectives of a given calculus confer meaning to the logical connectives featured in it. This position is usually implemented using natural deduction calculi, but in our presentation we will discuss some straightforward and some less obvious ways of doing this with the help of sequent calculi. We will also supplement this discussion with an attempt to connect these reflections to the truth and falsity conditions associated with each logical connective. In this sense, we will ponder whether introduction or elimination rules have the upper hand in what pertains to the claim of being meaning conferring. This is based on joint work with Bruno Da Ré.