Trabajos Fin de Máster: Lógica

Traducciones lógicas: de la lógica híbrida de segundo orden a la lógica multivariada

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.

La lógica híbrida como extensión de la lógica temporal

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...

La Teoría de los números transfinitos de Georg Cantor

Director/a: Mª José Frápolli

El presente trabajo trata sobre el nacimiento y desarrollo de la teoría de los números transfinitos.

Parcialidad en Lógica Modal de Primer Orden

Director/a: María Manzano Arjona

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 ARITMÉTICA DE PEANO Y LA LÓGICA DE SEGUNDO ORDEN

Director/a: María Gracia Manzano
En este trabajo se aborda la categoricidad de la aritmética de Peano en el marco de la lógica de segundo orden. El trabajo está dividido en dos partes:

"IMPLICACIONES METAFÍSICAS DE LA LÓGICA MODAL CUANTIFICADA: LA TESIS NECESITISTA"

Director/a: Concepción Martínez Vidal

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´´).

Inducción en los números racionales: hacia una potencial construcción de los números reales

Director/a: Juan Luis Barba Escribá

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.

REFERENCIA Y REPRESENTACIÓN EN EL INFERENCIALISMO SEMÁNTICO DE BRANDOM.

Director/a: MARÍA JOSÉ FRÁPOLLI SANZ

En el presente trabajo se explica la teoría semántica inferencialista de R.

Anti-excepcionalismo lógico

Director/a: Concepción Martínez Vidal

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.

MODAL REDUCTION PRINCIPLES ACROSS RELATIONAL SEMANTICS

Director/a: María Gracía Manzano

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.

Traducciones multivariadas para lógicas de la familia ‘First Degree Entailment’

Director/a: María Gracía Manzano

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.

Análisis del Axioma de Limitación de Tamaño

Director/a: María Gracía Manzano

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...

La naturaleza de la matemática. La correspondencia entre Frege y Hilbert

Director/a: Maria José Frápolli

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.

Opacidad y centralización en la informática cotidiana: Desafíos ontológicos y ético-políticos para las sociedades digitales

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.

LA COMPLEJIDAD DE KOLMOGOROV-CHAITIN: LIMITACIONES, APROXIMACIONES Y APLICACIONES A LA COMPLEJIDAD DEL COMPORTAMIENTO HUMANO

Director/a: Fernando Soler Toscano

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 problema de las verdades negativas y universales en la teoría de los hacedores de verdad: una propuesta maximalista

Director/a: Martínez Vidal, María Concepción

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.

LÓGICA TEMPORAL HÍBRIDA PARA LA REPRESENTACIÓN DE CONCEPCIONES DEL TIEMPO

Director/a: María Gracia Manzano

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.

La indecidibilidad de la lógica de primer orden y el método de árboles

Director/a: Juan Barba

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...

SOBRE EL TRATAMIENTO LÓGICO DEL CONCEPTO DE NECESIDAD

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...

After Truth? The Prosentential Theory of Truth

Resumen: Este trabajo trata sobre el desarrollo de la teoría pro-oracional de la verdad y tiene como objetivo evaluar sus distintas versiones.

First-Order Metalogic: the relations between proof theory and model theory

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.

UN ANÁLIS EN COMÚN DE LA LÓGICA MATEMÁTICA Y LA COSMOLOGÍA

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.

Pages

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system