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