Download Free Una Introduccion A La Logica Modal Book in PDF and EPUB Free Download. You can read online Una Introduccion A La Logica Modal and write the review.

Introducción a la lógica matemática que se diferencia de los textos estándar que presuponen la verdad o la validez incuestionables de la lógica clásica o aristotélica (la que no admite grados de verdad ni contradicciones) . Con este libro el estudiante se adentra en la lógica sin tener que presuponer nada en ese sentido; va descubriendo paulatinamente un abanico de lógicas, de las cuales la clásica es una de ellas, la más simple. El lector va así vislumbrando una inagotable pluralidad de lógicas posibles, algunas de las cuales vienen desarrolladas sintáctica y semánticamente.
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
Lógica Dialógica. Reglas y ejercicios para hacer lógica con diálogos constituye la primera introducción a la Lógica dialógica en castellano dirigida a la práctica de la dialógica y que contiene comentarios precisos sobre ejercicios y soluciones tanto de lógica proposicional como de lógica clásica de primer orden, intuicionista y elementos de lógica modal proposicional. Es la primera parte de la obra Los Diálogos de la Lógica, concebida en dos textos autónomos separados sobre lógica dialógica. Los dos textos deberían ofrecer conjuntamente una visión técnica y filosófica completa del enfoque dialógico de la lógica
Tal vez ninguna disciplina haya sido puesta tantas veces en tela de juicio como la lógica tradicional. Esta obra intenta oficiar de «pacificadora» en los conflictos entre los diversos enfoques de la materia procurando combinar una doctrina correcta de la lógica -definida como la ciencia autónoma de las condiciones objetivas de la inferencia válida- con una pedagogía apropiada y dar cabida, con abundancia de material ilustrativo, al formalismo realista de Aristóteles, la penetración científica de Pierce, la eficiencia pedagógica de Dewey y el rigor matemático de Russell. Así, aunque se señalan las limitaciones de la lógica aristotélica, se dedica bastante espacio a conceptos tradicionales a menudo omitidos en los textos que versan sobre el estado actual de la materia. Esta obra fundamental sobre métodos de investigación ha ejercido gran influencia sobre múltiples concepciones analíticas en las ciencias sociales. Presenta una introducción a la lógica formal, una interesante discusión sobre lógica matemática e inferencia probabilística y trata de la lógica aplicada y de los problemas de los métodos en ciencia.