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.

Páginas

En el curso 2021-2022 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad