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.
Nenhum comentário:
Postar um comentário