En la actualidad la lógica se constituye como una disciplina intrínsecamente plural, albergando diversos sistemas diseñados para razonar sobre objetos muy diferentes.
El objetivo de este trabajo consiste en explicar el origen de la lógica híbrida a partir de la modal/temporal para mostrar qué añade a ambos sistemas en la representación de información, porqué es más potente que ellos y qué relación guarda con el lenguaje de correspondencia de la lógica de...
El presente trabajo trata sobre el nacimiento y desarrollo de la teoría de los números transfinitos.
Resúmen: El siguiente TFM presenta una semántica con cuantificación actualista para la Lógica Modal de Primer Orden; esto es: los dominios de cuantificación pueden ser distintos de un mundo a otro. Además, esta semántica permite que haya términos que no denotan.
La finalidad de este trabajo es determinar las relaciones entre metafísica y lógica en el marco de la lógica modal cuantificada a través del debate contingentismo-necesitismo y las nociones en él involucradas (como ``objeto posible´´ o ``existencia´´).
En este trabajo se desarrolla una teoría axiomática para describir la estructura de los números racionales manifiesta en los árboles de Stern-Brocot y Calkin-Wilf, sentando las bases para una posible construcción alternativa de los números reales.
En el presente trabajo se explica la teoría semántica inferencialista de R.
Resumen: El tema de este trabajo es el anti-excepcionalismo lógico, propuesto recientemente por Hjortland (2016). El término “anti-excepcionalismo” fue acuñado por Williamson (2007) para referirse a su concepción de la filosofía.
Abstract Sahlqvist theory is an important result in the model theory of modal logic, since it identifies a class of formulas which have effectively computable first order correspondents. Recently, this theory has been generalised to a larger set of logics by using their algebraic semantics.
La familia “First Degree Entailment” es un grupo de lógicas subclásicas emparentadas con la lógica relevante First Degree Entailment (FDE), desarrollada por Belnap y Dunn.
The Axiom of Limitation of Size is an axiom of set theory that states that a class is a proper class iff there is surjection from it to V, the set-theoretical universe. But although it is an axiom that gained great attention in the beginnings of set theory, nowadays it is no longer part of...
A través del examen filosófico de la correspondencia mantenida por Frege y Hilbert entre 1899 y 1903, que tiene como eje central la discusión sobre la caracterización de los axiomas, se abordará el análisis de la nueva concepción axiomática.
El uso diario de las tecnologías de la información y la comunicación se puede estudiar atendiendo a tres niveles: hardware, software y Red. En cada uno de ellos se pueden encontrar injusticias que responden a dos tendencias generales.
Resumen
En este trabajo analizamos una de las medidas más conocidas para detectar la aleatoriedad, y que se conoce como complejidad algorítmica de Kolmogorov-Chaitin.
El axioma de la teoría de los hacedores de verdad sostiene que los enunciados verdaderos son verdaderos sí y sólo sí hay algo (un truthmaker) en virtud de lo cual son verdaderos. El maximalismo defiende que esto se aplica a todo enunciado verdadero.
En este trabajo analizamos en qué medida la lógica formal permite una comprensión cualitativa (esto es, sin el uso de medios matemáticos en sentido estricto) de las características fundamentales de distintas concepciones del tiempo.
El teorema de Church demuestra que la cuestión de la validez o no de fórmulas de primer orden no es resoluble por máquinas de Turing ni procedimientos equivalentes, lo que a partir de la tesis de Church-Turing significa la inexistencia de métodos efectivos de decisión para determinar si una...
Resumen: Este trabajo es un análisis filosófico en torno al tratamiento lógico que se da al concepto de necesidad; en particular, en torno a los fundamentos conceptuales a partir de los cuales la lógica contemporánea trata de dar con la forma lógica de las proposiciones...
Resumen: Este trabajo trata sobre el desarrollo de la teoría pro-oracional de la verdad y tiene como objetivo evaluar sus distintas versiones.
Resumen: Este artículo tiene como objetivo examinar la correspondencia entre teoría de la prueba y teoría de modelos en la lógica clásica de primer orden en relación con sus metateoremas.
Resumen: La lógica matemática y la cosmología han sido dos disciplinas que han evolucionado históricamente de manera independiente. Durante la primera mitad del siglo XX ambas disciplinas han sido objeto de un drástico progreso.