Open Access Unrestricted online access star

Modal logic is an active field of research that attracts the attention of scholars from quite diverse disciplines such as philosophy, linguistics, mathematics or computer sciences. These pages are intended to be the first open access basic textbook on modal logic written in Spanish. It is characterised by its introductory character, meaning that it has been designed to be comprehensible to any person with a minimal background in logic. Moreover, we have tried our best in making it a didactic writing, by filling some explicative gaps that more advanced books leave intentionally. The book is divided into a preface, five chapters and an appendix. The preface contains a presentation of the book as well as the needed formal background. In Chapter 1, we introduce the notion of athletic modals (namely, necessity, possibility, impossibility and contingency) and we explain how they can be mutually defined from an intuitive point of view. The language and semantics of propositional modal logic are covered in Chapter 2. Chapter 3, in turn, proposes an axiomatic approach to some of the most well-known normal modal logics. Chapters 4 and 5, which can be read independently from each other, are devoted to two different methods to prove the validity of formal modal arguments. Chapter 4 focuses on modal tableaux, an automated proof method that also solves the satisfiability problem of finite sets of modal formulas. On its side, Chapter 5 introduces Jaskowski/Fitch style natural deduction calculi for the studied modal logics. The appendix contains solutions to all the exercises proposed throughout the book.

La lógica modal es un campo de investigación vivo que reúne a personas provenientes de disciplinas tan diversas como la filosofía, la lingüística, la matemática o las ciencias de la computación. Este libro pretende ser el primer manual en español y en acceso abierto sobre lógica modal básica proposicional. Se caracteriza por su enfoque introductorio, es decir, sirve como primer acercamiento al tema para cualquier persona con un trasfondo mínimo en lógica. Además, pretende ser didáctico, en tanto que intentamos cubrir los huecos explicativos que otros libros más avanzados suelen dejar. La obra está estructurada en un prólogo, cinco capítulos y un apéndice. El prólogo contiene, además de una presentación del libro, unos preliminares formales. En el capítulo 1, introducimos los modos aléticos clásicos (lo necesario, lo posible, lo imposible y lo contingente) y su interdefinibilidad desde un punto de vista intuitivo. El lenguaje de la lógica modal proposicional, así como su semántica de mundos posibles quedan cubiertos en el capítulo 2. El capítulo 3 propone un acercamiento axiomático a algunas de las lógicas modales normales más conocidas. Los capítulos 4 y 5, independientes entre sí, recogen dos métodos distintos para demostrar la validez de argumentos modales. El capítulo 4 se centra en los tableaux modales, un método de demostración automático que permite además lidiar con la cuestión de la satisfacibilidad de conjuntos finitos de fórmulas. Por su parte, el capítulo 5, introduce cálculos de deducción natural (tipo Jaskowski/Fitch) para las lógicas estudiadas. El apéndice contiene las soluciones a todos los ejercicios propuestos a lo largo del libro.

Creative Commons Licence cc by-nc-nd cc https://creativecommons.org/licenses/by-nc-nd/4.0/

spa

Freely available e-book