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) | |
    | |
Falsity forward Tohoku University, Japan In almost all logics, validities are defined in terms of truth preservation forward. That suits very well for the purpose of paving paths to truth. However, for the purpose of paving paths to falsity, which is the direction suggested in the title of colloquium, we need to take seriously the idea of falsity preservation forward. This paper explores some of the implications within the FDE family and some of their expansions. Somewhat surprisingly, there are some connections to Aristotle's thesis, one of the key principles of connexive logic. | |