Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/33448
Title: Logiche paraconsistenti
Authors: Vettore, Andrea
Keywords: Paraconsistent LogicContradictionDisjunctive SyllogismLogica paraconsistenteContraddizioneSillogismo disgiuntivo
Issue Date: 2021
Publisher: EUT Edizioni Università di Trieste
Source: Andrea Vettore, "Logiche paraconsistenti", in "APhEx 24", 2021, pp. 24
Journal: APhEx 
Abstract: 
A paraconsistent logic is a logic in which the inference rule (ECQ): a˄¬a|- b is not valid. After settling the preliminaries in section 1, in section 2 I present the motivations for paraconsistency; in section 3 I present the justification of (ECQ), which lies in a seemingly straightforward proof of this rule, and identify the possible strategies to block the proof. The following sections are devoted to the analysis of the various alternatives: devising partially paraconsistent logics, invalidating the disjunctive syllogism, invalidating the transitivity of logical consequence, and rejecting the uniqueness of disjunction.

Una logica paraconsistente è una logica in cui non vale la regola di inferenza (ECQ): a˄¬a|- b. Sistemati i preliminari nella sezione 1, nella sezione 2 presento le motivazioni per la paraconsistenza; nella sezione 3 presento la giustificazione di (ECQ), che risiede in una derivazione apparentemente cogente di tale regola, e identifico le possibili strategie per bloccare la derivazione. Le sezioni seguenti sono dedicate all'analisi delle diverse alternative: costruire logiche parzialmente paraconsistenti, invalidare il sillogismo disgiuntivo, invalidare la transitività della conseguenza logica, e rigettare l'univocità della disgiunzione.
Type: Article
URI: http://hdl.handle.net/10077/33448
ISSN: 2036-9972
Appears in Collections:24 APhEx num 24, anno 2021

Files in This Item:
File Description SizeFormat
APhEx24,2021LogicheParaconsistenti.pdf563.95 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

46
checked on Oct 2, 2022

Download(s)

6
checked on Oct 2, 2022

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons