Loading Events

« All Events

  • This event has passed.

CEFISES Seminar: Sara Ayhan, “How to secure uniqueness of logical connectives in bilateralism”

January 21@14:00-16:00 CET

Series: Explanatory Inference

Abstract: In the literature on uniqueness it has been clearly shown that the question whether a connective is uniquely characterized by its set of rules is strongly related to the logic, its specific representation, and in particular to the underlying consequence relation. I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, I will present and argue for a specific – and so far underrated – form of bilateralism: one that is bilateral not only on the level of rules, but also on a meta-level, namely concerning inferential relations. This is realized in the logic 2Int, for which I introduce a sequent calculus system, displaying – just like the corresponding natural deduction system – a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of consequence relations, with which we can maintain uniqueness in a bilateralist setting. Finally, I want to discuss some implications of these considerations with regard to what may be considered more or less suitable representations of logics as well as possible extensions to forms of multilateralism.

Details

Date:
January 21
Time:
14:00-16:00 CET
Event Category:
Website:
https://youtu.be/WD3yH0Fjbic

Organizer

Pierre Saint-Germier
Email:
pierre.saint@uclouvain.be

Venue

Salle Ladrière
Place du Cardinal Mercier 14 (bâtiment Socrate, a.124)
Louvain-la-Neuve, 1348 Belgium
+ Google Map