Paraconsistent logic consistency, contradiction and negation /
This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interes...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro electrónico |
| Lenguaje: | Inglés |
| Publicado: |
Cham :
Springer International,
2016.
|
| Colección: | Logic, epistemology and the unity of science ;
40. |
| Materias: | |
| Acceso en línea: | Solo para usuarios autorizados |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04018cam a2200517Ia 4500 | ||
|---|---|---|---|
| 001 | 990000680270204151 | ||
| 005 | 20241121115321.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 160613s2016 sz a ob 001 0 eng d | ||
| 019 | |a 951749823 | ||
| 020 | |a 9783319332055 |q (ebk) | ||
| 020 | |a 3319332058 |q (ebk) | ||
| 020 | |a 9783319332031 | ||
| 020 | |a 3319332031 | ||
| 024 | 7 | |a 10.1007/978-3-319-33205-5 |2 doi | |
| 035 | |a (OCoLC)000068027 | ||
| 035 | |a (udesa)000068027USA01 | ||
| 035 | |a (OCoLC)953142977 |z (OCoLC)951749823 | ||
| 035 | |a (OCoLC)990000680270204151 | ||
| 040 | |a AZU |c AZU |d OCLCO |d OCLCF |d OCLCQ |d N$T |d YDXCP |d OCLCQ |d OHI |d UAB |d VT2 |d U@S | ||
| 049 | |a U@SA | ||
| 050 | 4 | |a BC199.I45 |b C37 2016eb | |
| 099 | |a Recurso electrónico en INTERNET | ||
| 100 | 1 | |a Carnielli, Walter A. |q (Walter Alexandre) | |
| 245 | 1 | 0 | |a Paraconsistent logic |h [recurso electrónico] : |b consistency, contradiction and negation / |c by Walter Carnielli, Marcelo Esteban Coniglio. |
| 260 | |a Cham : |b Springer International, |c 2016. | ||
| 300 | |a 1 recurso en línea (xxiv, 398 p.) : |b il. | ||
| 490 | 1 | |a Logic, epistemology and the unity of science ; |v 40 | |
| 516 | |a Libro electrónico. | ||
| 500 | |a Título tomado de la pantalla de presentación (visto 1 de agosto de 2017) | ||
| 538 | |a Modo de acceso: a través de Internet. | ||
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 505 | 0 | |a 1. Introduction: Contradictions and (in)consistency -- 2. A basic logic of formal inconsistency: mbC -- 3. Some extensions of mbC -- 4. Matrices and algebraizability -- 5. LFIs based on other logics -- 6. Alternative semantics for LFIs -- 7. First-order LFIs -- 8. Paraconsistent set theory -- 9. Paraconsistent modal logic -- 10. Paraconsistency and philosophy of science: perspectives. | |
| 520 | |a This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. | ||
| 650 | 0 | |a Inconsistency (Logic) | |
| 650 | 0 | |a Contradiction. | |
| 650 | 0 | |a Negation (Logic) | |
| 650 | 0 | |a Logic. | |
| 650 | 7 | |a Inconsistencia (Lógica) |2 UDESA | |
| 650 | 7 | |a Contradicción. |2 UDESA | |
| 650 | 7 | |a Negación (Lógica) |2 UDESA | |
| 650 | 7 | |a Lógica. |2 UDESA | |
| 700 | 1 | |a Coniglio, Marcelo E., |d 1963- | |
| 830 | 0 | |a Logic, epistemology and the unity of science ; |v 40. | |
| 856 | 4 | 0 | |z Solo para usuarios autorizados |u https://link-springer-com.eza.udesa.edu.ar/book/10.1007%2F978-3-319-33205-5 |