Conference Agenda
Overview and details of the sessions of this conference. Please select a date or location to show only sessions at that day or location. Please select a single session for detailed view (with abstracts and downloads if available).
|
Daily Overview |
| Session | |
|
C9: Pathways to Falsity Location: 22.01 2B Session Chair: Heinrich Wansing Organised by Heinrich Wansing (Ruhr University Bochum) | |
| Presentation 1 | |
Mapping the landscape of logical bilateralism Ruhr University Bochum, Germany Logical bilateralism can be very generally described as an approach to meaning and consequence on the grounds of a symmetry between certain notions, like assertion and denial, proof and refutation or truth and falsity, in that both are taken as primitive and not, as in conventional ‘unilateralist’ approaches, merely reducing the latter to the former, more primary notion. In recent years, the field of logical bilateralism has seen significant development with various systems being developed that showcase a wide scope of orientations within this framework. This ranges from using signed formulas to express speech acts in the proof system to interpreting validity via speech acts to proof systems capturing a duality of inferential relationships by displaying provability and refutability relations. In this talk I want to give an overview of the directions in bilateralism and clarify some common misconceptions. I want to show the differences between these approaches but also similarities with respect to their motivation, their technical implementations and their consequences. | |

