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.

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

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.

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.

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

Dar y recibir razones es parte de nuestra vida cotidiana. Si ojeamos un periódico, escuchamos la radio, miramos la televisión, navegamos por internet o simplemente escuchamos una conversación es muy probable que nos encontremos con algun argumento. Dan razones los cientificos, los criticos, los politicos, los publicistas, etc. Hasta las descripciones y las imagenes pueden transmitir razones. Consumimos razones pero tambien las producimos: para justificar nuestra conducta, para condenar o elogiar, para sopesar pros y contras de una eleccion.Argumentar es tratar de mostrar una tesis justificada. Se dice tambien que argumentar es intentar persuadir a alguien de algo por medio de razones, es decir, racionalmente. El intento de persuasion presupone que existe discrepancia entre el locutor y el destinatario, por lo que argumentar es un medio para reducir esas diferencias de opinion.En este libro se trata el analisis y la evolucion de argumentos, y esta concebido como un manual conciso de teoria de la argumentacion.· Cada capitulo incluye un vocabulario con los terminos mas importantes.· Cada capitulo incluye 20-25 ejercicios resueltos y explicados.· Se analizan argumentos reales tomados de la prensa, la publicidad, textos filosoficos, economicos, etc.· Los ejemplos y textos analizados estan sacados de prensa y paginas web de España e Hispanoamerica.

La disyuntiva entre cierto o falso, probable o improbable, razonable o insensato se nos presenta continuamente en la vida cotidiana. La lógica es la hermana formal y estricta pero mundana de la matematica. Como ciencia de los principios del pensamiento deductivo y de la demostracion, tambien invade el terreno de la filosofia y la informatica y ha sacado de sus casillas y enriquecido a la matematica. A base de historias llenas de suspense y de enseñanzas, transmite con soltura los fundamentos, las particularidades y las trampas de la logica. Drosser muestra lo cerca que puede estar la ciencia de la vida cotidiana y como los cientificos han elaborado y elaboran sus conocimientos.

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.

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.

El propósito de estos libros es proporcionar al estudiante de lógica un amplio y variado repertorio de ejercicios que le sirvan de ayuda en el aprendizaje y dominio de las técnicad deductivas. Y , aunque hemos prescindido en buena parte de los aspectos teóricos en pro de una mayor atención a las cuestiones prácticas, sin embargo, cuando ha sido preciso clarificar éstas, también ofrecemos las nociones teóricas más elementales.

Con la traducción de la Fenomenología del espíritu (1939), su comentario Génesis y estructura de la fenomenología de Hegel (1947), Lógica y existencia constituye la esencia de la trilogía de estudios hegelianos realizados por Jean Hyppolite. Esta es, sin duda, una obra filosofica e historicamente determinante del renombrado filosofo frances. Filosoficamente debido a que la racionalidad se puede conciliar con la historia de un modo absolutamente nuevo, propio de Hegel, pero que Hyppolite relee, a la luz tambien de Heidegger y Husserl, como un informe de la logica y la existencia, reunidas en el hombre. Historicamente, porque Jean Hyppolite ejercio un papel clave en el contexto filosofico europeo. Hasta su muerte en 1968, el fue para numerosas generaciones de estudiantes el introductor por excelencia de Hegel y, como profesor del Colegio de Francia, el sosten y responsable de innumerables tesis y trabajos, entre los que se cuentan algunos de los libros mas significativos de la filosofia francesa actual.

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.

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