Please use this identifier to cite or link to this item:
http://hdl.handle.net/10261/11236
Share/Export:
![]() |
|
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Title: | Rudimentos de lógica matemática |
Authors: | Peña, Lorenzo CSIC | 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 | Size | Format | |
---|---|---|---|---|
rudimentos.pdf | 2,27 MB | Adobe PDF | ![]() View/Open |
Review this work
Page view(s)
1,118
checked on May 20, 2022
Download(s)
827
checked on May 20, 2022
Google ScholarTM
Check
Altmetric
WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.