Miscellaneous
Conference on Paraconsistent Reasoning in Science and Mathematics , Andreas Kapsner (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Why designate gluts?". Abstract: In this talk, I want to explore the following idea: Truth value gluts should be allowed in the semantics of logical systems, as they are in many non-classical systems. However, unlike what is standard in such systems, these gluts should be treated as undesignated values. I shall give my reasons for taking this to be a view worth exploring and discuss its effects on such topics as dialetheism, paraconsistency and relevance. On the whole, it will turn out to be a surprisingly attractive view that deals well with epistemic inconsistencies and semantic paradoxes. Some of the greatest difficulties arise in the attempt to account for interesting inconsistent scientific and mathematical theories; this, then, will be the touchstone for the proposed view.