Libros de Lógica

La "Introducción a la lógica formal" pretende ofrecer unos fundamentos de lógica que, sin ceder en su rigor técnico, tienen una finalidad marcadamente didáctica, acentuada con la incorporación de un capitulo de ejercicios resueltos al final de la obra. Al analizar con detalle los problemas filosoficos suscitados por las investigaciones mas recientes, la obra rompe el tono criptico y cabalistico de los manuales que consideran la logica como un juego cerrado. De añadidura, la claridad expositiva y el talento literario del autor logran la dificil meta de que los temas propios de la logica resulten atrayentes y aun divertidos.

Este libro es una introducción accesible a la lógica matemática y está dirigido al lector que tiene alguna experiencia e interés en el razonamiento matemático y disposición para trabajar a cierto nivel de abstraccion y rigor. Las modificaciones hechas en esta segunda edicion lo hacen apropiado para los cursos de posgrado, o de estudiantes avanzados de licenciatura; ademas, se han incluido temas relevantes para la ciencia de la computacion, como los modelos finitos, y se han agregado mas ejemplos y explicaciones a los que ofrecia en su primera edicion. es un texto flexible que, por su extructura y manera de abordar los temas, se presta a que el lector o el profesor lo pueda aprovechar segun las necesidades, adecuando el orden de estudio de algunas de sus secciones.

Este libro está pensado para los estudiantes de Lógica de las facultades de Filosofía e Informática y, en general, para quienes se acercan a la lógica por vez primera. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinar y moderno en su concepcion, poniendo especial enfasis en la semantica. Aporta tecnicas sencillas de prueba: diagramas de Venn para la logica de predicados monarios y tableaux semanticos, calculos de resolucion y de deduccion natural, tanto para la logica proposicional como para la de primer orden. Contiene varios apendices con un glosario, un indice analitico y unas notas historicas sobre los fundamentos de la logica en el siglo XX. Le acompaña un CD interactivo con mas de 2.000 ejercicios y sus soluciones, asi como un documento con los teoremas habituales de la metalogica.

Si el conocimiento implica una toma de conciencia sobre el mundo y, por tanto, debe considerarse como actividad mediante la que nos representamos objetos, difícilmente puede prescindirse de las nociones de sujeto y subjetividad, a las que invariable e inevitablemente se alude en todo acto cognoscitivo. Esto obliga a atenerse a un plan ordenado en torno a los conceptos de sujeto, lenguaje y mundo, claves que configuran el dominio propio de la Teoria del conocimiento.

Se trata de poner al alcance del lector de habla castellana, las principales aportaciones de Frege en el campo de la Filosofía de la Lógica y del lenguaje. Se trata de una obra clásica cuya acogida e

En la frontera entre matemática, ciencia empírica y filosofía se fraguan los problemas intelectuales más profundos y fascinantes de nuestro tiempo. Sin embargo, muchos lectores, estudiantes y profesores con frecuencia chocan con la dificultad de entender los términos en que tales cuestiones se plantean, sobre todo cuando son ajenos a su propia especialidad. De ahí la necesidad, ampliamente sentida, de un diccionario riguroso, actualizado y accesible que cubra las nociones básicas de la lógica (como la teoría de conjuntos y la de la computabilidad), de las matemáticas usadas en la ciencia avanzada y de las teorías fundamentales de la física actual (incluidas la teoría general de la relatividad y la mecánica cuántica), así como los análisis conceptuales y metodológicos característicos de la filosofía de la ciencia. El presente Diccionario de Lógica y Filosofía de la ciencia, que ahora se publica en su segunda edición revisada, se ha convertido en esa herramienta imprescindible para cuantos se interesan por la lógica, la filosofía de la ciencia, la matemática, la física teórica y, en general, el pensamiento avanzado de nuestro tiempo. Cada entrada incluye su traducción al alemán, francés e inglés, así como la exposición del tema, que a veces se convierte en un verdadero ensayo sintético y actualizado sobre la cuestión.

En este primer volumen del Post Scriptum, Popper formula y explica su teoría no justificacionista del conocimiento. La ciencia -ciencia empírica- busca teorías explicativas verdaderas; pero nunca puede demostrar o establecer definitivamenet o justificar sus teorias como verdaderas, ni siquiera si son, en fecto verdaderas.

Estudio del hecho del conocimiento a partir del análisis de sus caracteres fenomenológicos. Tras ello, cuatro planteamientos fundamentales del conocimiento: el experiencial, el trascendental, el social y el linguístico, con especial atención al cuerpo y al lenguaje. Se da también tratamiento específico a temas de especial relevancia, por ejemplo, objetividad y verdad, los criterios, los límites del conocer, la irracionalidad, etc.

Con motivo del 100º aniversario de la publicación del Tractatus Logico-Philosophicus (1921-2021), que coincide también con el 70º aniversario de la muerte de su autor (1951), queremos dedicar este volumen de Cuaderno Gris a la figura de Ludwig Wittgenstein. Este volumen surge de plantearse cuestiones tales como las siguientes: ¿Por que es importante un personaje como Ludwig Wittgenstein? ¿Como ponderar su importancia? ¿Donde y como se muestra que sea importante? ¿E importante para que? ¿O para quien?... Y por cierto que tales cuestiones no hacen sino apuntar hacia otra pregunta mas profunda, mas fundamental, y que nunca deberiamos perder de vista tanto dentro como fuera de la filosofia: ¿Por que es importante la filosofia?

El objetivo de esta Guía es el de introducir al estudiante en esta materia, inferencias. En ella hacemos una presentación del lenguaje de la lógica clásica (Lógica de Enunciados y Lógica de Primer Orden con identidad y descripciones), damos pautas para la correcta formalizacion del lenguaje natural y ofrecemos metodos y estrategias para la evaluacion de argumentos en el calculo deductivo y el calculo de arboles semanticos.

Se dirige este libro a quienes deseen iniciarse en el estudio de la teoría metafísica del conocimiento. Es éste un territorio filosófico cuya dificultad es tan notoria como su interés. la capacidad de conocer es una realidad radical y sorprendente, que ha traído en vilo desde antiguo la admiración de los filósofos. Pero el problema el alcance y la validez del conocimiento humano también ha sido objeto de profundas y sutiles discusiones, especialmente en los tiempo nuevos. Índice: I. El problema crítico y la gnoseología. El valor de la crítica. Constitución y desarrollo histórico del problema crítico. El papel de la gnoseología en el saber filosófico. II. La verdad y el conocimiento. La noción de verdad. La verdad y el ente. La verdad en el conocimiento III. Certeza y evidencia. La certeza. La duda. La opinión. La fe. el error. IV. Examen del escepticismo. Formas del escepticismo y de los argumentos escépticos. La defensa metafísica de los primeros principios del conocimiento. la objetividad del conocimiento sensible. Examen del relativismo. V. Idealismo y realismo. El principio de inmanencia. Formas del idealismo. El realismo VI. El ser en el conocimiento. Primacía del conocimiento del ente. La conjunción entre conocimiento sensible e intelectual. Especies e ideas. La reflexión y el conocimiento de si mismo. La libertad en el conocimiento y la dimensión ética de la actividad científica. Bibliografía básica.

La Abadía Cisterciense de Port Royal, ubicada en las cercanías de Paris, fue centro en el que arraigó una comunidad de intelectuales y religiosos agrupados a partir de 1637 en torno a la figura de Jean Duvergier de Hauranne, Abbe de Saint Cyran. En 1660, Luis XIV, preocupado por la difusion del jansenismo desde Port Royal, ordeno la clausura de la abadia, y cinco años mas tarde los miembros de la Comunidad los Solitarios- se vieron obligados a exilarse o dispersarse en suelo europeo; suerte paralela llegaron a correr las cenizas custodiadas en su cementerio que fueron dispersadas por Francia sin indicacion alguna de nombre. Con tal medida se evitaba cualquier posible reagrupamiento.A dos de los miembros de esta Comunidad, Antoine Arnauld -le grand Arnauld- y Pierre Nicole se debe uno de los textos filosoficos que contribuyo a corregir la posicion de poder que la Dialectica/Logica ocupaba en la enseñanza universitaria frenando el desarrollo y presencia en la universidad de otros campos de conocimiento como el de la filosofia natural o la etica. Pero, sobre todo, esta logica logro articular y difundir una reintrerpretacion del conjunto del saber y de la cultura filosofica para determinar lo que Arnauld y Nicole consideran que constituye un buen uso de la logica, la razon y la vida; la tradicion de los estudios de la inferencia, realizados en el medioevo, que continuaron la tradicion estoica, no tuvo acogida en esta propuesta. Solo asi, asignando al agustinismo jansenista una posicion reguladora de la integracion sistematica de los diversos elementos que integran la cultura occidental, se explica y articula esta propuesta que sufrio una profunda modificacion en sus distintas ediciones. Lo que suele conocerse como las posibles fuentes del pensamiento de Arnauld no dan cuenta de la forma que adopta su propuesta final que quedo recogida en La Logique ou LArt de penser y que sirve en definitiva a la misma reinterpretacion que hace posible una reforma de la espiritualidad como la desplegada por los portroyalistas; asi se explica su exito editorial y su presencia en distintas culturas europeas. Esta valoracion de la Logica de Port Royal y del movimiento que suscribe y difunde no resta interes alguno a otros motivos que han favorecido su presencia en nuestros dias, como son los vinculados a la linguistica y la semantica.