Para todo x : Santiago. Una introducción a la lógica formal

Forall x: Calgary es un libro de texto completo sobre lógica formal. Cubre conceptos fundamentales como consecuencia y validez de los argumentos, la sintaxis de la lógica proposicional (LP) y su semántica con tablas de verdad, la sintaxis de la lógica de primer orden (LPO) con identidad e interpretaciones de primer orden, la simbolización del español en LP y LPO, y los sistemas de prueba por deducción natural en estilo Fitch para ambas lógicas. También aborda temas avanzados como lógica modal, solidez y completitud funcional.

El libro incluye ejercicios con soluciones. Las soluciones aún no las traducimos, pero se encuentra el PDF en la página oficial del proyecto. El libro de texto está disponible en diferentes formatos PDF (para lectura en pantalla, impresión y una versión accesible para personas con dislexia). En la página oficial del proyecto puede leerse también en HTML (con características adicionales de accesibilidad). Actualmente estamos trabajando para traducir el texto formato HTML y el libro de soluciones. Este texto ha sido traducido al alemán (forall x: Dortmund) y al portugués (Para Todxs: Natal). Y ahora traducido al Español por la AChEFA.

El documento cuenta con licencia Creative Commons Attribution 4.0 International License. El código fuente original está en GitHub. La documentación del libro en español puede descargarse aquí: documentación del proyecto.

Para todo x : Santiago

Documentos PDF

Versión para impresión: DESCARGAR
Versión para pantallas digitales: DESCARGAR
Versión accesible: DESCARGAR

Valoramos que nos hagan llegar sus comentarios en caso de que vean errores en la traducción (enviar comentarios a: martin.barra@uc.cl). También instamos a que hagan sus propias mezclas del documento.

Biografías de lógicas y lógicos

El Open Logic Project es un proyecto educativo abierto y colaborativo que proporciona materiales de enseñanza sobre lógica formal y métodos formales a un nivel intermedio, diseñado para estudiantes de filosofía y ciencias de la computación.

Este material cubre diversos temas, incluyendo teoría de conjuntos, sintaxis y semántica de la lógica proposicional y de primer orden, sistemas de prueba (deducción natural, cálculo secuencial, axiomatización y tableaux), teoremas de solidez y completitud, teoría de modelos, computabilidad (funciones recursivas, máquinas de Turing, cálculo lambda), los teoremas de incompletitud de Gödel, lógica modal, intuicionista, contrafactuales y lógica de segundo orden. El proyecto está en constante desarrollo, con planes de ampliar y mejorar su contenido.

Siguiendo el espíritu del software libre, el Open Logic Text está disponible sin costo y en formato LaTeX bajo una licencia Creative Commons Attribution. Esto permite a cualquier persona descargar, usar, modificar, reorganizar, convertir y redistribuir el contenido con la única condición de otorgar el crédito correspondiente.

Algunas de sus características clave incluyen:

Modularidad: Los temas están divididos en secciones independientes, permitiendo a los usuarios seleccionar el contenido y la profundidad adecuados para su versión del texto.
Configurabilidad: Se puede personalizar la notación y el formato tipográfico sin modificar directamente el contenido, eligiendo, por ejemplo, entre distintos símbolos para la condicional o diferentes términos técnicos.
Adaptabilidad: Se ofrecen tratamientos alternativos de los mismos temas para ajustarse a diversas audiencias, según los sistemas de prueba utilizados en distintos cursos.
Integración: Convenciones unificadas en LaTeX y el uso de paquetes especializados facilitan la cohesión entre contribuciones de distintos autores y la generación automática de bibliografías e índices.
Apertura y colaboración: Cualquier usuario puede contribuir con exposiciones y ejercicios, informar errores o solicitar nuevo contenido. El proyecto está alojado en GitHub, aprovechando su infraestructura para el desarrollo colaborativo.

Biografías de lógicos y lógicas

En nuestro caso, hemos adaptado un apéndice del archivo principal del Open Logic Project (Open Logic Text), el cual contiene biografías de lógicas y lógicas de renombre. Decidimos hacer un documento solo con este apéndice para poder darle mayor visibilidad. Además, la corta extensión lo hace ideal para ser un documento por sí mismo y enfocado al público general.

PDF del documento: click aquí
Documentación del proyecto: click aquí

Page updated

Google Sites

Report abuse