Symbolic Logic
-5%

Symbolic Logic

Prevista 21-10-2021

Makridis, Odysseus / Escritor

82,94 €
78,79 €
IVA incluido
Editorial:
Springer
Año de edición:
2021
Materia
Filosofía
ISBN:
978-3-030-67395-6
Páginas:
400
Idioma:
Inglés
Encuadernación:
Rústica
Alto:
235mm
Ancho:
155mm
82,94 €
78,79 €
IVA incluido
Añadir a favoritos

Este libro proporciona una introducción completa a los elementos esenciales de la lógica simbólica estándar (clásica). Los temas clave cubiertos incluyen: * La naturaleza característica y el alcance de la lógica como disciplina * La construcción de una serie de lenguajes formales con nombres distintivos adecuados para la traducción formal * Modelos semánticos * La construcción de procedimientos de decisión * La ejecución de arreglos teóricos de prueba como los naturales Sistemas de deducción y secuencia de prueba El libro cubre tanto la semántica como la teoría de prueba de la lógica oracional estándar (proposicional) y la lógica de predicado (primer orden). Otros temas cubiertos incluyen: análisis de árboles, extracción de notaciones alternativas (por ejemplo, notación polaca), teoría de prueba al estilo de Fitch, sistemas de prueba de secuencia y 'árbol',

Un capítulo auxiliar sobre elementos de la teoría de conjuntos está convenientemente ubicado al final e incluye información sobre la sistematización de Zermelo-Fraenkel de la teoría de conjuntos. También se explora la filosofía de la lógica. Los ejercicios en el texto brindan instrucción sobre inducción matemática para la construcción de fórmulas, pruebas para determinar la forma correcta de la notación polaca y la completitud funcional.

La lógica simbólica es una lectura esencial para todos los estudiantes de filosofía que toman cursos de lógica formal de nivel intermedio y también atraerá a los estudiantes diligentes de lógica de primer año. El texto está repleto de ejercicios sobre la maquinaria formal y los aspectos filosóficos de la lógica.

Artículos relacionados

  • Alétheia
    Morales de los Ríos, Pablo / Escritor
    Más de cuarenta filósofos históricos van llegando por orden cronológico a un teatro griego. No saben de dónde vienen, no saben a dónde van. ¿Están muertos? ¿Están en el infierno? ¿Todo es un sueño, una ilusión? A través del diálogo se desencadenarán discusiones sobre el alma y lo divino, la percepción y la razón, sobre la ética, el ser y el destino... Y algunas de las escenas m...
    En stock

    36,00 €34,20 €

  • The Death of Death
    Cordeiro, José / Escritor
    Is death inevitable? Until now, the history of mankind has been marked by this fatal fact. Religions, borders and progress are born from an ancient fear of death, comfort from this fear man often found only in religious paradigms. But according to José Luis Cordeiro and David Wood, the incontrovertible fact of death is no longer an absolute certainty - science and technology ar...
    En stock

    31,19 €29,63 €

  • Conjunctive Explanations in Science and Religion
    This book investigates the nature and relevance of conjunctive explanations in the context of science and religion. It explores questions concerning how scientific and religious explanations for features of the world or phenomena within it relate to each other and whether they might work together in mutually enriching ways. The chapters address topics including the relationship...
    En stock

    226,20 €214,89 €

  • Sobre la cara visible de la luna
    Charalampidis, Georgios A. / Escritor
    La Luna siempre ha suscitado la admiración de los seres humanos e incluso en la actualidad, sigue siendo fuente inagotable de preguntas sin respuesta que se ocultan tras la pálida luz en el cielo ... ...
    En stock

    24,00 €22,80 €

  • Haforismos el más atrevido entretenimiento
    Valle Zubicaray, Felipe / Escritor
    En stock

    24,00 €22,80 €

  • Il dissenso
    Saviani, Lucio / Escritor Stroppa, Carla / Escritor
    Viviamo un tempo di “crisi dei fondamenti”: progresso, realtà, verità, umanità. Eppure questo è anche il tempo di tanti fondamentalismi, non solo religiosi. Il tema del dissenso va allora posto proprio qui: crisi dei fondamenti e odierni fondamentalismi. Il dissentire ha a che fare con il senso e con quanto indica il prefisso dis-. Dissesto, esser fuori sesto, vivere un tempo d...
    Consulte disponibilidad

    21,84 €20,75 €