Lògica paraconsistent

Una lògica paraconsistent és un sistema lògic que intenta tractar les contradiccions en una forma discriminada. Alternativament, l ' lògica paraconsistent és un camp de la lògica que s'ocupa de l'estudi i desenvolupament de sistemes lògics paraconsistents (o "tolerants a la inconsistència"). (En aquest article el terme és utilitzat en les dues accepcions.)

Les lògiques tolerants a la inconsistència hi ha com a mínim des de 1910 (i és possible argumentar que moltíssim abans, per exemple en els escrits de Aristòtil), però, la paraula paraconsistent ("més enllà de la consistència" ) acabat va ser encunyada el 1976, pel filòsof peruà Francisco Miró Quesada.

Definició

En lògica clàssica (com també en lògica intuïtiva i molts altres tipus de lògiques), les contradiccions que impliquen tot. Aquesta curiosa característica, coneguda com el principi d'explosió o ex contradictione sequitur quòdlibet ("a partir d'una contradicció, es pot deduir qualsevol cosa"), es pot expressar formalment com

$A, \neg A \vdash B$

on $\vdash$ representa una conseqüència lògica. Per tant si una teoria conté una única inconsistència, és trivial - això és que tota expressió s'entén com un teorema. La característica distintiva d'una lògica paraconsistent és que rebutja el principi d'explosió. Per tant a diferència de la lògica clàssica i altres tipus de lògiques, les lògiques paraconsistents poden ser usades per a formalitzar teories inconsistents no trivials.

Les lògiques paraconsistents són més febles que les lògiques clàssiques

Cal destacar que les lògiques paraconsistents en general són més febles que les lògiques clàssiques, o sigui es poden fer a partir d'elles una menor quantitat d'inferències. (Parlant estrictament, una lògica paraconsistent pot validar inferències que no són vàlides segons formats clàssics, encara que això només passa esporàdicament. El punt important és que una lògica paraconsistent mai no pot ser l'extensió d'una lògica clàssica, és a dir, validar tot allò que és possible validar mitjançant una lògica clàssica.) En aquest sentit, la lògica paraconsistent és més "conservativa" o "cautelosa" que una lògica clàssica.

Personalitats destacades

Personalidaes destacades en la història i/o el desenvolupament de la lògica paraconsistent són:

• Alan Ross Anderson (Estats. Units., 1925-1973). Un dels fundadors de la lògica de rellevància, un tipus de lògica paraconsistent.
• F. G. Asenjo (Argentina)
• Diderik Batens (Bèlgica)
• Castanyoles Belnap (Estats. Units., B. 1930). Va treballar amb Anderson en lògica de rellevància.
• Jean-Yves Béziau (França/Suïssa, b. 1965). Ha escrit en forma extensa sobre les característiques estructurals generals i bases filosòfiques de les lògiques paraconsistents.
• Ross Brady (Austràlia)
• Bryson Brown (Canadà)
• Walter Carnielli (Brasil)
• Newton da Costa (Brasil, b. 1929). Un dels primers a desenvolupar sistemes formals de lògica paraconsistent.
• Itala M. L. D'Ottaviano (Brasil)
• J. Michael Dunn (Estats. Units .). Destacat en lògica de rellevància.
• Stanisław Jaśkowski (Polònia). Un dels primers a desenvolupar sistemes formals de lògica paraconsistent.
• R. E. Jennings (Canadà)
• David Kellogg Lewis (EUA, 1941-2001). Crític de la lògica paraconsistent.
• Jan Lukasiewicz (Polònia, 1878-1956)
• Robert K. Meyer (Estats. Units ./Austràlia)
• Chris Mortensen (Austràlia). Ha escrit nombrosos treballs en matemàtiques paraconsistent.
• Val Plumwood [formerly Routley] (Austràlia, b. 1939). Col·laborador assidu de Sylvan.
• Graham Priest (Austràlia). Probablement el més ferm defensor actual de la lògica paraconsistent.
• Francesc Miró Quesada (Perú). Va encunyar l'expressió "lògica paraconsistent".
• Peter Schotch (Canadà)
• B. H. Slater (Austràlia). Un altre tenaç crític de la lògica paraconsistent.
• Richard Sylvan [formerly Routley] (Nova Zelanda/Austràlia, 1935-1996). Destacat en lògica de rellevància i col·laborador freqüent amb Plumwood yPriest.
• Nicolai A. Vasiliev (Rússia, 1880-1940). Primer a construir una lògica tolerant a contradicció (1910).

Bibliografia

• Aoyama, Hiroshi. LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. 45, 2004, p. 193 -213. 
• Bertossi, Leopold et al., Eds.. inconsistency Tolerance. Berlin: Springer, 2004. ISBN 3-540-24260-0. 
• Béziau, Jean-Yves. «What is Paraconsistent Logic?». A: In D. Batens et al. (Eds.). Frontiers of Paraconsistent Logic. Baldock: Research Studies Press, 2000, p. 95-111. ISBN 0-86380-253-2. 
• Bremer, Manuel. An Introduction to Paraconsistent Logics. Frankfurt: Peter Lang, 2005. ISBN 3-631-53413-2. 
• Brown, Bryson. «On Paraconsistency.». A: In Dale Jacquette (ed.). A Companion to Philosophical Logic. Malden, Massachusetts: Blackwell Publishers, 2002, p. 628-650. ISBN 0-631-21671-5. 
• Lewis, David [1982]. «Logic for Equivocators». A: Papers in Philosophical Logic. Cambridge: Cambridge University Press, 1998, p. 97-110. ISBN 0-521-58788-3. 
• Priest, Graham. «Paraconsistent Logic .». A: In D. Gabbay and F. Guenthner (eds.). Handbook of Philosophical Logic, Volume 6. 2nd ed.. The Netherlands: Kluwer Academic Publishers, 2002, p. 287-393. ISBN 1-4020-0583-0. 
• Priest, Graham and Tanaka, Koji. «Paraconsistent Logic». Stanford Encyclopedia of Philosophy (Winter 2004 edition), 2001. [Consulta: February 24].
• Slater, B. H.. Paraconsistent Logics?. 24, 1995, p. 233-254. 
• Woods, John. Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Cambridge: Cambridge University Press, 2003. ISBN 0-521-00934-0. 
• Hewitt, Carl. «urjc.es/COIN2007/COIN2007.pdf Large-scale Organizational Computing requires Unstratified Paraconsistency and Reflection». COIN AAMAS'07, 2007. [Consulta: April 23].

Enllaços externs

• Encyclopedia of Philosophy "inconsistència Mathematics"