Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/11236
Title: Rudimentos de lógica matemática
Authors: Peña, Lorenzo
Keywords: Lógica matemática
Lógica gradualista
Lógica paraconsistente
Lógica clásica
Cálculo sentencial
Lógica multivalente
Negaciones
Negación débil
Negación fuerte
Principio de Heráclito
Cálculo cuantificacional
Teoría de cúmulos
Teoría de conjuntos
Principio de estratificación
Verdades contradictorias
Gradualismo contradictorial
Mathematical logic
Gradualist logic
Paraconsistent logic
Classical logic
Sentential calulus
Multiple-valued logic
Negations
Weak negation
Strong negation
Principle of Heracleitos
Quantificational calulus
Theory of clusters
Principle of stratification
Contradictory truths
Contradictorial gradualism
Issue Date: 1991
Publisher: Consejo Superior de Investigaciones Científicas (España)
Abstract: Es un tratado de lógica matemática desde un enfoque gradualista y paraconsistente. Tras debatirse el problema de si hay una sola lógica, o si hay varias, y refutarse el monopolio docente de la lógica clásica, se presenta el cálculo sentencial Aj, un sistema multivalente que extiende la lógica clásica mediante una gama de negaciones (principalmente una negación débil junto a la negación fuerte o clásica). Una de las peculiaridades de este sistema es el principio de Heráclito (el de que toda autoimplicación es parcialmente falsa). Luego, se exponen un cálculo cuantificacional y una teoría de cúmulos; se usa esa denominación, en lugar de la más usual de `teoría de conjuntos', para marcar que se aparta sutancialmente de la ortodoxia estándar inspirada en principios reduccionistas de estratificación. Por último se abordan dos cuestiones de filosofía de la lógica: la existencia de verdades contradictorias y las relaciones entre la lógica del gradualismo contradictorial y otras lógicas paraconsistentes.
Description: Tratado de lógica matemática desde un enfoque no clásico.
URI: http://hdl.handle.net/10261/11236
ISBN: 84-000-7156-5
Appears in Collections:(CCHS-IFS) Libros y partes de libros
Files in This Item:
File Description SizeFormat 
rudimentos.pdf2,27 MBAdobe PDFView/Open
Show full item record
 
CSIC SFX LinksSFX Query

Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.