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.

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

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.

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.

Fruto de una convergencia de motivos e intereses procedentes de diversas disciplinas (desde la lógica o la filosofía del lenguaje hasta la retórica, pasando por la lingüística y las ciencias de la co

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.

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.

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.

«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

Raúl Guerra es un escritor comprometido con la vida y con la escritura. En sus obras se hallan presentes la ética y la estética, la responsabilidad social y el compromiso narrativo. Estos son los principios que se reiteran en los quince estudios realizados por otros tantos profesoresuniversitarios sobre sus principales novelas. En estos articulos domina un perspectivismo critico plu-ral a partir de una libertad plena de analisis. La unica imposicion que los edi-tores acordaron fue el titulo de la obra. La meta era conseguir una presenta-cion fiel y exhaustiva de la obra del escritor. El resultado del proyecto es este volumen, Haz lo que temas. La novelistica de Raul Guerra Garrido, que quiere ser un acto de reconocimiento a la persona y al escritor.

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.

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

Lógica formal y lógica trascendental tiene vastas relaciones, no solamente con las otras obras "lógicas" de su autor con las que más directamente se vincula (Las Investigaciones lógicas y Experiencia y juicio), sino con el programa mismo de una fenomenologia trascendental como ciencia destinada a cumplir, en palabras de su autor "la ineludible tarea de llevar la idea de una filosofia al camino de su realizacion definitiva".

Las reflexiones «fenomenológicas» que Wittgenstein emprendió entre los años 1929 y 1933 y que fueron recogidas en el denominado Big Typescript, pueden dividirse en dos grandes grupos. Están, por una

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.