28/05 - Tony Marmo
Comparison of Logics: Some Issues and Perspectives
Throughout the recent history of logic, many logic systems have been proposed in accordance with their proponents’ philosophical standpoints. Additionally, the comparative endeavours require that one firstly defines the sense in which one system contains the other (specially when logics of different valences are at stake). In this talk we shall present some comparative methods available in the literature and, inasmuch as possible, some pertinent issues. We shall briefly try to show how philosophical arguments/objections reflect in different results, perhaps yielding unexpected results.
One of such issues will be Suszko’s claim against many-valuedness and his reduction method. Time permitting; we shall try to present Gehrke and Walker theorem, a proven result that goes in the opposite direction of Suszko’s arguments.