Digital.CSIC > Humanidades y Ciencias Sociales > Centro de Ciencias Humanas y Sociales - Instituto de Filosofía (CCHS-IFS) > (CCHS-IFS) Libros >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10261/11236
|
| Title: | Rudimentos de lógica matemática Google Scholar |
| 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: | Servicio de Publicaciones del CSIC |
| 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 |
Files in This Item:
|
