Descripción
Quizás la propiedad más contraintuitiva de la lógica clásica (así como de su rival más famosa, la lógica intuicionista) es el hecho de que permite la inferencia de cualquier proposición a partir de un solo par de enunciados contradictorios. Se ha dedicado mucho trabajo y esfuerzo a lo largo de los años para desarrollar alternativas a la lógica clásica que no tuvieran este inconveniente. Esas alternativas se denominan hoy en día "sistemas paraconsistentes", y el área de investigación correspondiente, "razonamiento paraconsistente".
El propósito de este libro es proporcionar una presentación metodológica completa de la rica teoría matemática que existe hasta ahora en relación con la parte más
fundamental del razonamiento paraconsistente: lógicas proposicionales (monotónicas). Entre esas lógicas, se concentra principalmente en aquellas que son efectivas
(en el sentido de que son decidibles, tienen una semántica concreta y pueden equiparse con sistemas de prueba analíticos implementables).
La primera parte del libro define en términos precisos todas las nociones básicas relacionadas con la paraconsistencia, después de revisar todos los preliminares necesarios. Las otras partes describen en detalle todos los enfoques principales del tema. Esto incluye semánticas de valores finitos (tanto veritativo-funcionales como no deterministas);
lógicas de inconsistencia formal; lógicas relevantes; lógicas paraconsistentes constructivas basadas en la lógica intuicionista positiva; y lógicas paraconsistentes basadas en lógicas modales. El libro cubre miles de lógicas paraconsistentes, cada una de las cuales se estudia tanto desde un punto de vista semántico como desde un punto de vista de la prueba.
teóricos. Además, la mayoría de esas lógicas se caracterizan en términos de propiedades de minimalidad o maximalidad que pueden tener.
Autor: Arnon Avron, Ofer Arieli, Anna Zamansky
Editorial: College Publications
Publicado: 21/05/2018
Páginas: 576
Tipo de encuadernación: Tapa blanda
Peso: 1.75lbs
Tamaño: 9.21h x 6.14w x 1.17d
ISBN13: 9781848902701
ISBN10: 1848902700
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica
Este título no es retornable