Please note that this newsitem has been archived, and may contain outdated information or links.
27 April 2021, The Utrecht Logic in Progress Series (TULIPS), Pablo Cobreros
Abstract:
This talk provides an overview on the ST approach to paradoxes detailed and defended in CERvR (2012) and CERvR (2013). The ST approach has a remarkable feature: it gives you (in a certain sense) classical logic for a classical vocabulary, but it doesn’t lead you to absurdities in the presence of tolerance principles or a truth-predicate. It follows from the previous that ST cannot be fully classical. Now explaining exactly what ‘full classicality’ means is much trickier than it might appear at first glance (cf. Barrio, Pailos and Szmuc (2020) and related papers). The non-classicality of ST can be investigated by looking at the validity of metainferences. Alternatively, the non-classicality of ST can be investigated by looking at inferences, but in relation to properties other than validity. There is a correspondence between these two approaches (this is stated, or at least, indicated in Cobreros, La Rosa and Tranchini).
References:
Barrio, E. A., Pailos, F., & Szmuc, D. (2020). A hierarchy of classical and paraconsistent logics. JPL, 49(1): 93-120.CERvR [Cobreros, P., Egré, P., Ripley D., and van Rooij R.] (2012), Tolerant, Classical, Strict, JPL 41(2): 347-385.CERvR [Cobreros, P., Egré, P., Ripley D., and van Rooij R.] (2013), Reaching transparent truth, Mind 122: 841-866.Cobreros, P., La Rosa, E. and Tranchini, L. (2020) (I Can’t Get No) Antisatisfaction, Synthese https://rdcu.be/ciJmi
Please note that this newsitem has been archived, and may contain outdated information or links.