Libros de Lógica, página 2 de 20

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.

Miguel Sánchez-Mazas (1925-1995) ha sido uno de los pensadores españoles más originales de la segunda mitad del s. XX. Primer Catedrático de Lógica de la UPV-EHU, su obra académica se centra en la Lógica formal con dedicacion especial a la logica de normas y deontica, informatica aplicada a la jurisprudencia, el pensamiento de Leibniz, la Filosofia en general. Junto a esta obra academica, escribio multitud de articulos de pensamiento politico, etico, cultural... manifestacion de su empeño en plasmar, aqui y ahora, un mundo de libertad y convivencia. En este Primer volumen de sus Obras Escogidas se recogen 22 de los trabajos publicados entre 1951 y 1998 dedicados a Leibniz, la Logica formal y su aritmetizacion. Comprenden desde el Calculo logico y la Combinatoria de Leibniz a un esquema de las ideas logicas de Leibniz, asi como los Fundamentos matematicos de la logica formal, modelos aritmeticos de la silogistica, calculo numerico de proposiciones, la caracteristica como metodo de decision, hasta alcanzar la formulacion de su muy original Caracteristica Numerica Universal. Son trabajos que conllevan un dominio tecnico pero tambien un conocimiento extraordinario de la Historia de la Logica y el pensamiento de Leibniz y, a la vez, un profundo pensamiento ontologico. El volumen se acompaña de un Cuadro cronologico de la vida de Sanchez-Mazas y de un estudio preliminar de Javier de Lorenzo. El segundo volumen, obligadamente complementario de este porque el pensamiento de Sanchez-Mazas no se escinde en compartimentos estancos, recogera sus aportaciones a la logica modal aletica, los sistemas normativos del Derecho positivo, la Informatica juridica con sus problemas de decision...

Fin dallantichita la matematica e stata un oggetto privilegiato di riflessione per i maggiori filosofi che ne hanno tratto ispirazione costante per lelaborazione delle loro teorie della conoscenza e delle loro dottrine metafisiche. In questo libro si analizzano le due forme principali di tale riflessione nelleta moderna e contemporanea, la concezione fondazionalista e la concezione euristica, mostrando che soltanto la seconda e oggi sostenibile.

"Contemporary Debates in Epistemology" features original essays on some of the most hotly debated issues in the field. Is knowledge contextual? Can skepticism be refuted? Can beliefs be justified through coherence alone? Is justified belief responsible belief? Eleven pairs of newly commissioned essays face off on opposite sides of fundamental problems in current theories of knowledge. This distinctive format offers readers a unique opportunity to observe philosophers engaging in head-to-head debate. The essays are centered on three core areas of epistemology: skepticism, the foundations of knowledge, and justification. Eleven pairs of newly commissioned essays face off on opposite sides of fundamental problems in current theories of knowledge. Brings together fresh debates on eleven of the most controversial issues in epistemology. Questions addressed include: Is knowledge contextual? Can skepticism be refuted? Can beliefs be justified through coherence alone? Is justified belief responsible belief? Lively debate format sharply defines the issues, and paves the way for further discussion. Will serve as an accessible introduction to the major topics in contemporary epistemology, whilst also capturing the imagination of professional philosophers.

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 "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 tiene como objetivo introducir herramientas y conceptos básicos de la lógica, tanto formal como no formal y sus aplicaciones, para, así, ayudar al lector a aprender, razonar y formalizar correctamente. Esta especialmente concebido para estudiantes del grado de Ingenieria Informatica que estudian a distancia.El texto se compone de nueve unidades didacticas. Cada cual contiene la teoria necesaria para la comprension de la logica en toda su extension. Al final de cada unidad se presentan una serie de ejercicios propuestos con la intencion de tentar la curiosidad del lector e incentivarlo a practicar la teoria expuesta.Las primeras unidades del manual desarrollan la logica formal, estudiando tanto la sintactica como la semantica de esta disciplina. En las unidades finales se analiza la logica no formal, dandole asi un enfoque practico a esta parte de la logica tan subjetiva para muchos y proporcionando una vision completa de la aplicacion de la logica en la informatica.La autora de esta obra es doctora en Ingenieria Informatica y posee mas de diez años de experiencia docente en el area de la informatica, especialmente en la ingenieria de sistemas, inteligencia artificial e ingenieria y gestion del conocimiento.

Michael Dummett''s three John Dewey Lectures -- "The Concept of Truth," "Statements About the Past," and "The Metaphysics of Time" -- were delivered at Columbia University in the spring of 2002. Revised and expanded, the lectures are presented here along with two new essays by Dummett, "Truth: Deniers and Defenders" and "The Indispensability of the Concept of Truth." In "Truth and the Past," Dummett clarifies his current positions on the metaphysical issue of realism and the philosophy of language. He is best known as a proponent of antirealism, which loosely characterizes truth as what we are capable of knowing. The events of the past and statements about them are critical tests of an antirealist position. These essays continue and significantly contribute to Dummett''s work.

Este es un libro que proporciona una revisión actual de los métodos y las teorías del desarrollo de las habilidades intelectuales, desde la infancia hasta la edad adulta, por importantes investigadores en el campo. Este libro cubre una amplia gama de temas