“Understanding negation implicationally in relevant logic” by Dr Takuro Onishi

Negation in relevant logic, or its model-theoretic treatment using so-called Routley star, has been often criticized for lack of intuitive interpretation. In this talk, I respond to the criticism by showing a way of defining and explaining negation in terms of relevant implication, for which several types of intuitive, information-theoretic interpretation have been proposed. Indeed, the interpretation is slightly extended so that a connective of (relevant) exclusion can also be formulated, and our target negation is defined by collapsing a negation defined by implication and one defined by exclusion into one. Explaining this extended interpretation in relation to sequent calculus, I also show that the structure embodied in the interpretation underlies consequence relation in general, not confined to relevant logic.

Philosophy Seminar Series
Date: Thursday, 05 Nov 2015
Time: 2pm – 4pm
Venue: AS3 #05-23
Speaker: Dr Takuro Onishi, Visiting Scholar at NUS, Department of Philosophy
Moderator: Dr Qu Hsueh Ming

About the Speaker:

Takuro Onishi is a visiting scholar at our Department of Philosophy. His stay is supported by the program “Japan-ASEAN Collaboration Research Program on Innovative Humanosphere in Southeast Asia” of the Center for Southeast Asian Studies, Kyoto University. In 2012 he received a Ph.D from Kyoto University for his thesis on proof-theoretic semantics. He has published several papers on Michael Dummett’s philosophy and non-classical logic.

Comments are closed.