Libros de Lógica filosófica

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 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.

La aparente antinomia entre Lewis Carroll autor de "Alicia en el País de las Maravillas" y "Alicia a través del espejo" y su auténtica identidad ­Charles Dodgson (1832-1895), diácono de la Iglesia de

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.

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.

Este libro nos invita a familiarizarnos con esa disciplina fundamental que es la lógica. Sigue su desarrollo histórico, explica sus símbolos y métodos principales y explora las cuestiones filosóficas que surgen de ella, de una manera atractiva y facil de seguir. Tambien habla de la influencia de la logica en el metodo cientifico, en la fisica y la psicologia, y muestra por que los ordenadores y la tecnologia digital no son sino un ejemplo mas de la logica en accion. Sin tratarse de un libro de texto que exija una comprension en profundidad de cuestiones matematicas o filosoficas, este pequeño volumen constituye una introduccion unica e indispensable a los terminos e ideas esenciales de la logica. Por ello esta especialmente indicado para estudiantes de filosofia y de ciencias, asi como, sobre todo, para todo aquel que quiera introducirse en el tema.

La "lógica simbólica" es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radi se sus aplicaciones comprende esferas tan diversas del saber como lamatematica, la linguistica, la informatica, las ciencias naturales y sociales, la jurisprudencia y la filosofia.Este libro es una introduccion a la logica simbolica para personas de formacion humanistica. Su objetivo es facilitar a lectores que carezca de base matematica y cientifica, sin ayuda de profesor, un dominio de las tecnicas modernas de deduccion logica, e introducir a los alumnos de humanidades en la compresion de las principales nociones teoricas que sirven de fundamento a la metodologia de las ciencias educativas.A diferencia de la mayoria de manuales y tratados de logica simbolica o matematica, esta obra toma tambien en consideracion la logica tradicional aristotelica; da cuenta completa, sin ceñirse a uno solo, de la pluralidad de metodos deductivos que enriquecen la logica contemporanea; incluye un tratamiento de la automatizacion de la logica y de sus conexiones con la informatica, y explora sumariamente, a traves de su historia, las relaciones de la lofica con la filosofia y con la ciencia matematica.

«Matemáticas revolucionarias explora críticamente los sistemas matemáticos que se esconden detrás de la maquinaria de abstracción que impulsa el capitalismo actual.»—Alex Williams, coautor de Inventi

Lógica formal, lógica dialéctica habría sido la introducción de un ambicioso tratado de materialismo dialéctico en el que se pretendía la concordia de distintos campos y ciencias que, asentados en la lógica formal, la lógica de lo abstracto, iban a ser articulados por la lógica dialéctica, la de las diferencias y oposiciones. Programado en ocho volúmenes, el proyecto no vio finalmente la luz a causa de que los ideólogos pretendidamente marxistas, sostenían que la lógica formal era la inherente al capitalismo, y por lo tanto, burguesa. A pesar del error y el vacío que supuso, la presente obra no es meramente una introducción ya que en el origen, tal como la lógica dialéctica muestra, está incluida la meta: la lectura de esta obra de Henri Lefebvre entraña, en sí, aquello que debió ser aquel ambicioso tratado de materialismo dialéctico.

Ludwig Wittgenstein ha conquistado la imaginación popular como el Sócrates moderno, el fascinante maestro del razonamiento enigmático quien, con su fría lógica, convenció a Bertrand Russell de que habia un hipopotamo en la habitacion. Es un icono del modernismo, pero ¿que es lo que dijo realmente?En Wittgenstein, una guia ilustrada, nos encontramos con un hombre extraño, un logico riguroso que daba mas importancia a la poesia que a la filosofia, que heredo una fortuna y la dono, que busco la muerte en las fronteras de la Primera Guerra Mundial, un gran profesor que aconsejaba a sus estudiantes a abandonar la filosofia, un hombre solitario que, sin embargo, inspiro amistades que duraron toda la vida. Tambien nos ofrece una guia clara y accesible para introducirnos en la obra principal de Wittgenstein, el Tractatus Logico-Philosophicus, un glaciar de logica, y su mas tardia y accesible Investigaciones logicas. Esta es una introduccion accesible para cualquiera desconcertado ante la complejidad o intrigado por la reputacion de este gran filosofo del siglo XX.

La lógica es la columna vertebral de la civilización occidental, lo que sostiene nuestros sistemas de filosofía, ciencia y legislación. La lógica también se encuentra en nuestra vida cotidiana, desde los idiomas que hablamos hasta las operaciones mas basicas de nuestros telefonos moviles. Nos puede incluso informar sobre como esta diseñada una telenovela.Logica, una guia ilustrada es una introduccion ilustrada a esta area fascinante, que es transversal a la filosofia, a la ciencia y a muchas otras cosas.

Raymond Smullyan, lógico, matemático, filósofo, mago y humorista, domina genialmente el arte  de plantear con divertidos acertijos arduos problemas de matemática, de lógica y de filosofía. El present

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

En esta obra su autor crea una nueva perspectiva en el estudio de la argumentación, al vincular la dimensión dialectica con la retórica. La maniobra estrategica pretende reconciliar el objetivo retórico de lograr efectividad con la meta dialectica de mantener la razonabilidad. La maniobra estrategica se manifiesta simultaneamente en la eleccion de los topicos potenciales disponibles, en la adaptacion a los requerimientos de las demandas de la audiencia y en la seleccion de mecanismos de presentacion adecuados. Van Eemeren pone de manifiesto que tomar en cuenta la maniobra estrategica posibilita un metodo mas rico y preciso para el analisis y la evaluacion del discurso argumentativo. Los problemas que no pueden resolverse utilizando la teoria estandarizada pueden ser abordados cuando la teoria pragmatico-dialectica de la argumentacion incorpora herramientas para incluir el diseño estrategico del discurso en el analisis y la evaluacion.

La Lógica de Antonio Benítez no esconde motivaciones pretenciosas, del orden de las vanidades: no proyecta sustituir a ninguno de los libros sobre lógica que hoy circulan, ni mucho menos a sus autores. Si asi llegara a ser, no lo decidiremos nosotros, sino los trabajos y los dias. Su intencion es mas humilde, quien sabe si maliciosa, justamente por humilde. Dirigida a la gente filosofica, y por lo tanto a un publico bastante amplio si se entiende por tal no solo a los estudiantes y profesionales de la filosofia, sino tambien y sobre todo a cualquiera interesado (o apelado) por las cuestiones decisivas, de fundamento, de principio, de lo que se trata es de que esa gente no pierda demasiado el tiempo entre falsas nebulosas conceptuales. En lenguaje mas llano: que no choquen una y otra vez con la misma pared de cristal. Sin saberlo. Para acercarse a su proposito, Antonio Benitez ha prescindido de los ejercicios, porque abruman, y si abruman, disuaden de seguir trabajando; porque, cuando no abruman, divierten mucho, y en este caso el divertimento distrae de las cuestiones decisivas, de fundamento, de principio. No ha renunciado, sin embargo, a las formalidades, pero acude a ellas tan solo cuando la precision conceptual de la filosofia las hace imprescindibles.

Jacob Bronowsky

Fue uno de los principales artífices de la Teoría de la comunicación humana, así como uno de los teóricos más destacados de la terapia sistémica y estratégica. Colaborador del Mental Research Institute de Palo Alto y profesor emerito de la Universidad de Stanford.

Colección "Acceso al Saber". Serie: Filosofía, 5La lógica es hoy día una disciplina consolidada y bien desarrollada, pero poco conocida. Ocupa, sin embargo, un lugar peculiar en el conjunto del conocimiento humano. Es, por una parte, una disciplina matemaColección "Acceso al Saber". Serie: Filosofía, 5La lógica es hoy día una disciplina consolidada y bien desarrollada, pero poco conocida. Ocupa, sin embargo, un lugar peculiar en el conjunto del conocimiento humano. Es, por una parte, una disciplina matematizada cuyos conceptos y metodos estan estrechamente relacionados con el algebra y la teoria de conjuntos y, por otra, una reflexion filosofica y humanistica acerca de la naturaleza del conocimiento matematico, de la demostracion, de la argumentacion, de la automatizacion del razonamiento y de la computacion, del lenguaje y de la verdad. Se encuentra, pues, a caballo entre la filosofia y las matematicas, entre lo formal y lo intuitivo, y eso tanto por los objetivos que persigue como por la manera de perseguirlos. Esto, que le otorga su singular naturaleza e interes, es tambien la fuente del desconocimiento que sufre, pues su naturaleza matematizada y formal parece reservar su comprension a los especialistas y situarla lejos del alcance de un publico que, carente de un entrenamiento especifico, se interesa sin embargo por cuestiones como el conocimiento matematico, la computacion o la estructura del lenguaje, el razonamiento o el pensamiento. El objetivo fundamental de este libro es, precisamente, contribuir a eliminar esa barrera.