Please use this identifier to cite or link to this item:
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 
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
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
Show full item record

CORE Recommender

Page view(s)

checked on Oct 2, 2022


checked on Oct 2, 2022

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons