Descripción

(descripción adaptada del proyecto original, con algunas modificaciones)

Para todo x: Santiago es un libro de texto completo sobre lógica formal. Cubre nociones clave de lógica como consecuencia y validez de argumentos, la sintaxis de la lógica proposicional funcional de verdad TFL y la semántica de tablas de verdad, la sintaxis de la lógica de primer orden (predicado) FOL con identidad (interpretaciones de primer orden), la simbolización del inglés en TFL y FOL, y los sistemas de prueba de deducción natural estilo Fitch para TFL y FOL. También trata algunos temas avanzados como la lógica modal, la solidez y la completitud funcional. Se dispone de ejercicios con soluciones. Se proporciona en PDF (para lectura en pantalla, impresión y una versión especial para disléxicos), HTML (con características de accesibilidad adicionales) y en código fuente LaTeX.

Esta traducción nace del deseo de acercar un manual reciente de lógica al público hispanohablante. Su motivación se alinea con uno de los principales objetivos de la Asociación Chilena de Estudiantes de Filosofía Analítica (AChEFA): contribuir a la difusión del conocimiento filosófico de vanguardia a la comunidad hispanohablante, entendiendo el trabajo filosófico como distinto al de la mera historia de la filosofía (que es lo que predomina en nuestra lengua). Se intentó ser lo más fiel posible al contenido original. No se hicieron modificaciones sustantivas al contenido del libro. Las modificaciones que se realizaron constaron principalmente de detalles estéticos, como un cambio a la tonalidad de colores de la fotografía de la portada y a la paleta de colores utilizada a lo largo del libro, para distinguirlo del libro original. Siguiendo el espíritu original de este libro, la versión es completamente de libre acceso. Todas estas versiones pueden descargarse tanto aquí en Github como en la página web de la AChEFA.

Los instructores que deseen adoptarlo deben considerar el sistema de código abierto Carnap, que admite la notación y los sistemas de prueba de para todo x: Calgary. Consulta los ejercicios de muestra del libro en carnap.io. (También hay un editor/verificador de pruebas obsoleto y sin soporte para el sistema de pruebas utilizado, disponible en proofs.openlogicproject.org.)

El libro ha sido traducido al alemán (forall x: Dortmund) y al portugués (Para Todxs: Natal). Y ahora, al español (Para todo x: Santiago)

Leer en línea

El libro está disponible en HTML para leer en línea. Actualmente solo está disponible al inglés, pero esperamos a mediano plazo traducirlo a español.

La conversión a HTML es experimental. Si encuentras problemas en ella, especialmente problemas que afectan a los lectores de pantalla, por favor repórtalo abriendo un problema o enviando un correo electrónico a Richard Zach. Ten en cuenta que las soluciones aún no están incluidas en la versión HTML.

Descargar la versión original (inglés)

Puedes descargar los PDFs de la versión más actual en desarrollo aquí:

• forallxyyc.pdf (en color, para lectura en pantalla)
• forallxyyc-accessible.pdf (una versión accesible para disléxicos)
• forallxyyc-print.pdf (b/n, para imprimir en papel Quarto)
• forallxyyc-letter.pdf (b/n, para imprimir en papel tamaño carta normal)
• forallxyyc-solutions.pdf (cuaderno de soluciones)

Un paquete ZIP SCORM de HTML agrupado con versiones simples y accesibles del PDF está disponible aquí:

• SCORM.forallxyyc.zip

Puedes usar este archivo para proporcionar fácilmente todo el texto dentro de tu LMS (Canvas, Moodle, D2L/Brightspace).

Ten en cuenta que estos archivos cambian cada vez que cambian los archivos fuente. Por lo tanto, si utilizas el texto en un curso, es mejor descargar los PDFs o el paquete SCORM y ponerlos a disposición de los estudiantes directamente en lugar de enlazar aquí, para evitar discrepancias entre versiones.

Los cambios importantes entre ediciones se enumeran en el registro de cambios.

Los PDFs de la edición de Otoño de 2021 están archivados aquí:

• forallxyyc-f21.pdf
• forallxyyc-accessible-f21.pdf
• forallxyyc-print-f21.pdf
• forallxyyc-letter-f21.pdf
• forallxyyc-solutions-f21.pdf

Los PDFs de la edición de Otoño de 2020 están archivados aquí:

• forallxyyc-f20.pdf
• forallxyyc-accessible-f20.pdf
• forallxyyc-print-f20.pdf
• forallxyyc-letter-f20.pdf
• forallxyyc-solutions-f20.pdf

Descargar la versión en español

Puedes descargar los PDFs de la versión más actual en desarrollo aquí:

• forallxyyc.pdf (en color, para lectura en pantalla)
• forallxyyc-accessible.pdf (una versión accesible para disléxicos)
• forallxyyc-print.pdf (b/n, para imprimir en papel Quarto)
• forallxyyc-letter.pdf (b/n, para imprimir en papel tamaño carta normal)

Comprar una copia impresa

Si deseas comprar una bonita copia en rústica de la edición de Otoño de 2023, puedes hacerlo en Amazon (EE.UU. | CA | RU | DE | AU), o utiliza la búsqueda en tu tienda local de Amazon. Asegúrate de obtener la última versión disponible en impresión (Otoño de 2023). La versión en Amazon generalmente no está tan actualizada como el PDF. Los cambios se registran en el Registro de cambios.

(El proceso para imprimir el libro se describe aquí y aquí.)

Haz PDFs tú mismo

Clona el repositorio de GitHub localmente o descarga el archivo ZIP y ejecuta LaTeX en uno de los siguientes:

• forallxyyc.tex (en color, para lectura en pantalla)
• forallxyyc-accessible.tex (versión accesible)
• forallxyyc-print.tex (b/n, para imprimir en papel Quarto)
• forallxyyc-letter.tex (b/n, para imprimir en papel tamaño carta normal)

También tendrás que ejecutar makeglossaries para generar el glosario, o usar latexmk.

Para realizar cambios en las definiciones en el preámbulo y el archivo forallyyc.sty, colócalos en un archivo llamado forallxyyc-local.sty. Por ejemplo, para que los conectivos sean ∼, &, ⊃, ≡ en lugar de ¬, ∧, →, ↔, y las fórmulas atómicas Lab en lugar de L(a,b), copia forallxyyc-local-sample.sty a ese archivo.

Para convertir el libro a HTML:

• Instala LaTeXML.

• Instala BookML y sus dependencias.
  Si tus archivos fuente están en, por ejemplo, ~/forallx-yyc,
  deberías tener un subdirectorio ~/forallx-yyc/bookml.

• Ejecuta make -f Bookml.mk dentro de ~/forallx-yyc.

Si esto funciona, tus archivos HTML se encontrarán en
~/forallx-yyc/auxdir/html/forallxyyc-html/ y el paquete SCORM en
~/forallx-yyc/SCORM.forallxyyc-html.zip.

---

Créditos y Licencia

forall x: Calgary está basado en forall x: Cambridge,
de Tim Button, utilizado bajo
una licencia CC BY 4.0.

Este, a su vez, se basa en forall x,
de P. D. Magnus, usado bajo una
licencia CC BY 3.0, y fue
remixado, revisado y ampliado por Aaron Thomas-Bolduc
y Richard Zach.

Incluye material adicional de forall x de P. D. Magnus y
Metatheory de Tim Button, ambos
bajo una licencia CC BY 4.0.

También contiene contenido de forall x: Lorain County Remix,
de Cathal Woods y J. Robert Loftis,
usado con permiso, y de A Modal Logic Primer
de Robert Trueman, también usado con permiso.

Este trabajo está licenciado bajo una
Licencia Creative Commons Atribución 4.0 Internacional.

El código fuente en LaTeX de este trabajo está disponible en GitHub en
github.com/rzach/forallx-yyc.