ISBN-13: 9783846566237 / Hiszpański / Miękka / 2011 / 112 str.
Las ciencias formales de nuestros dias son el resultado del desenvolvimiento no solo de la matematica sino tambien de la logica. Los puntos comunes de tales areas del conocimiento, definen la filosofia analitica actual y sobre todo limitan los nuevos alcances de la ciencia de la logica. La figura de Kurt Godel moldeo de manera radical la relacion formal entre trivialidad e inconsistencia, y con sus Teoremas de Completud, edifico una vision de las ciencias formales que seria capaz de definir una epoca. Actualmente, los logicos contemporaneos tales como Priest y Da Costa se han aventurado a hacer una interpretacion de tal construccion y a proponer una forma diferente de entender la logica formal y sus conceptos basicos. Este libro es una herramienta para aquellos que buscan situarse en los encuentros y desencuentros de la tradicion y la logica contemporanea, asi como para todo aquel que desee saber mas sobre la relacion entre trivialidad e inconsistencia dentro de las logicas paraconsistentes.
Las ciencias formales de nuestros días son el resultado del desenvolvimiento no sólo de la matemática sino también de la lógica. Los puntos comunes de tales áreas del conocimiento, definen la filosofía analítica actual y sobre todo limitan los nuevos alcances de la ciencia de la lógica. La figura de Kurt Gödel moldeó de manera radical la relación formal entre trivialidad e inconsistencia, y con sus Teoremas de Completud, edificó una visión de las ciencias formales que sería capaz de definir una época. Actualmente, los lógicos contemporáneos tales como Priest y Da Costa se han aventurado a hacer una interpretación de tal construcción y a proponer una forma diferente de entender la lógica formal y sus conceptos básicos. Este libro es una herramienta para aquellos que buscan situarse en los encuentros y desencuentros de la tradición y la lógica contemporánea, así como para todo aquel que desee saber más sobre la relación entre trivialidad e inconsistencia dentro de las lógicas paraconsistentes.