FDE (First degree entailment): l'American plan e l'Australian plan

The aim of this thesis is to analyze the logical system FDE, focusing on both its syntax and its semantics. The semantic framework is examined in its historical development, with particular attention to the fundamental notions of paraconsistency and many-valued logics. Finally, it'established a comparison between two semantic plans, the "American Plan" and the "Australian Plan", which are two different answers to the need for a relevant semantics.

Lo scopo di questo elaborato è analizzare il sistema logico FDE, sulla sua sintassi e la sua semantica. La cornice semantica è esaminata nel suo sviluppo storico, con un'attenzione particolare alle nozioni fondamentali di paraconsistenza e di logica polivalente. Infine, viene stabilita una comparazione tra due piani semantici, l'"American Plan" e l'"Australian Plan", le quali sono due risposte differenti al bisogno di una semantica rilevante.