| TÃtulo : |
Contradictions, from Consistency to Inconsistency |
| Tipo de documento: |
documento electrónico |
| Autores: |
Carnielli, Walter, ; Malinowski, Jacek, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
VI, 322 p. 32 ilustraciones, 10 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-98797-2 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Lógica OntologÃa Lógica matemática Lógica Matemática y Fundamentos |
| Clasificación: |
160 Lógica |
| Resumen: |
Este volumen investiga lo que hay más allá del Principio de No Contradicción. Incluye 13 artÃculos sobre los fundamentos del razonamiento, incluidos sistemas lógicos y consideraciones filosóficas. La cobertura reúne un conjunto de cuestiones centradas en la variedad de significados de coherencia, contradicción y nociones relacionadas. La mayorÃa de los artÃculos, pero no todos, se desarrollan en torno a las sutiles distinciones entre coherencia y no contradicción, asà como entre contradicción, inconsistencia y trivialidad, y se refieren a uno de los hilos antes mencionados del ampliamente entendido principio de no contradicción y el principio relacionado de explosión. Otros adoptan una perspectiva no muy alejada de estos temas, pero con la libertad de recorrer nuevos caminos. Los lectores deben entender el tÃtulo de este libro en un sentido amplio, porque no es tan obvio abordar nociones como contradicciones, coherencia, inconsistencia y trivialidad. Los artÃculos recopilados aquà presentan ideas innovadoras relacionadas con la coherencia y la inconsistencia. |
| Nota de contenido: |
Chapter 1. Contradictions, from Consistency to Inconsistency (Walter Carnielli) -- Chapter 2. The price of true contradictions about the world (Jonas R. Becker Arenhart) -- Chapter 3. The possibility and fruitfulness of a debate on the Principle of Non-Contradiction (Luis Estrada-Gonzalez) -- Chapter 4. Keeping Globally Inconsistent Scientific Theories Locally Consistent (Michele Friend) -- Chapter 5. Title Not Available (Eduardo Barrio) -- Chapter 6. Provided you're not trivial: Adding defaults and paraconsistency to a formal model of explanation (David Gaytán) -- Chapter 7. Para-Disagreement Logics and their Implementation through Embedding in Coq and SMT (Bruno Woltzenlogel Paleo) -- Chapter 8. Asymptotic quasi-completeness and ZFC (Marco Panza) -- Chapter 9. Interpretation and Truth in Set Theory (Rodrigo A. Freire) -- Chapter 10. Coherence of the product law for independent continuous events (Daniele Mundici) -- Chapter 11. A local-global principle for the real continuum (José CarlosMagossi) -- Chapter 12. Quantitative Logic Reasoning (Marcelo Finger) -- Chapter 13. Reconciling first-order logic to algebra (Walter Carnielli) -- Chapter 14. Plug and play negations (Sergio Marcelino). |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Contradictions, from Consistency to Inconsistency [documento electrónico] / Carnielli, Walter, ; Malinowski, Jacek, . - 1 ed. . - [s.l.] : Springer, 2018 . - VI, 322 p. 32 ilustraciones, 10 ilustraciones en color. ISBN : 978-3-319-98797-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Lógica OntologÃa Lógica matemática Lógica Matemática y Fundamentos |
| Clasificación: |
160 Lógica |
| Resumen: |
Este volumen investiga lo que hay más allá del Principio de No Contradicción. Incluye 13 artÃculos sobre los fundamentos del razonamiento, incluidos sistemas lógicos y consideraciones filosóficas. La cobertura reúne un conjunto de cuestiones centradas en la variedad de significados de coherencia, contradicción y nociones relacionadas. La mayorÃa de los artÃculos, pero no todos, se desarrollan en torno a las sutiles distinciones entre coherencia y no contradicción, asà como entre contradicción, inconsistencia y trivialidad, y se refieren a uno de los hilos antes mencionados del ampliamente entendido principio de no contradicción y el principio relacionado de explosión. Otros adoptan una perspectiva no muy alejada de estos temas, pero con la libertad de recorrer nuevos caminos. Los lectores deben entender el tÃtulo de este libro en un sentido amplio, porque no es tan obvio abordar nociones como contradicciones, coherencia, inconsistencia y trivialidad. Los artÃculos recopilados aquà presentan ideas innovadoras relacionadas con la coherencia y la inconsistencia. |
| Nota de contenido: |
Chapter 1. Contradictions, from Consistency to Inconsistency (Walter Carnielli) -- Chapter 2. The price of true contradictions about the world (Jonas R. Becker Arenhart) -- Chapter 3. The possibility and fruitfulness of a debate on the Principle of Non-Contradiction (Luis Estrada-Gonzalez) -- Chapter 4. Keeping Globally Inconsistent Scientific Theories Locally Consistent (Michele Friend) -- Chapter 5. Title Not Available (Eduardo Barrio) -- Chapter 6. Provided you're not trivial: Adding defaults and paraconsistency to a formal model of explanation (David Gaytán) -- Chapter 7. Para-Disagreement Logics and their Implementation through Embedding in Coq and SMT (Bruno Woltzenlogel Paleo) -- Chapter 8. Asymptotic quasi-completeness and ZFC (Marco Panza) -- Chapter 9. Interpretation and Truth in Set Theory (Rodrigo A. Freire) -- Chapter 10. Coherence of the product law for independent continuous events (Daniele Mundici) -- Chapter 11. A local-global principle for the real continuum (José CarlosMagossi) -- Chapter 12. Quantitative Logic Reasoning (Marcelo Finger) -- Chapter 13. Reconciling first-order logic to algebra (Walter Carnielli) -- Chapter 14. Plug and play negations (Sergio Marcelino). |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
