Trabajos Fin de Máster: Lógica

Computación en nube: el estado de la cuestión

Estamos viviendo una época en que la revolución tecnológica, cuyo comienzo se da a finales del siglo XX, salta las fronteras de la esfera netamente técnica y su influencia comienza a sentirse en los demás ámbitos de la vida humana.

Contenido y forma lógica: una polémica entre François Recanati y Jason Stanley

En esta tesis reconstruiremos el debate entre Recanati y Stanley, en torno a las propuestas de Truth-Conditional Pragmatics y Truth-Conditional Semantics.

Continuum Vs. Continua Mathematica

Las nociones del continuo o la continuidad han estado presentes en muchos de los grandes problemas de la historia del conocimiento.

Cuantificadores y compromiso ontológico: hacia una nueva lectura de la paradoja de Carnap

El trabajo constituye un análisis de la llamada paradoja de Carnap, en un intento de desarrollar un enfoque diferente al que ofrece Yablo.

Cuantificadores y compromiso ontológico: hacia una nueva lectura de la paradoja de Carnap

Este trabajo constituye un análisis de la llamada paradoja de Carnap, en un intento de desarrollar un enfoque diferente al que ofrece Yablo. En primer lugar, se explicará la distinción carnapiana interno/externo, como parte de la base conceptual que Yablo usa al dar una solución a la paradoja....

El concepto de expresividad en lógica

El concepto de expresividad para un lenguaje dado de la lógica formal se define a partir de la caracterización de la Lógica de Primer Orden en términos de ese concepto, que resulta del Teorema de Lindström y de las consecuencias del mismo.

Lógica temporal:perspectiva histórica y relación con los flujos del tiempo

Alumno: Joan Casas Roma

El tiempo es uno de los elementos básicos en la experiencia de la vida del ser humano y, a la vez, uno de los mayores misterios que entraña la realidad.

Los argumentos ontológicos clásicos

En mi Trabajo Fin de Máster pretendo hacer un estudio de los argumentos ontológicos clásicos desde la lógica moderna. Para ello comienzo estudiando la prueba originaria de San Anselmo para proseguir luego con los argumentos de Descartes, Spinoza y Leibniz.

Sobre el problema de la adecuación de la definición modeloteorética de consecuencia lógica

La práctica lógica actual asume que la noción central de consecuencia lógica está adecuadamente caracterizada mediante los métodos de la Teoría de Modelos.

SOLUCIONES NO TARSKIANAS A LA PARADOJA DEL MENTIROSO

En las últimas décadas la paradoja del mentiroso ha sido objeto de un amplio debate filosófico que pone de manifiesto las dificultades y virtudes inherentes a las propuestas semánticas contemporáneas.

Tableaux para sistemas Lewis no-normales y extensiones

La lógica modal es una extensión de la lógica clásica en la que se han introducido operadores modales, como la necesidad $\square$ y la posibilidad $\lozenge$. En 1912 C.I.

Teoría de espacios de similaridad conceptual y el problema de la formación de conceptos

El presente ensayo está dedicado al estudio de cómo puede explicarse la formación de los conceptos y, más concretamente, a las distintas respuestas que puede recibir esta cuestión desde el ámbito de las teorías de espacios de similaridad conceptual.

La necesidad lógica en Ludwig Wittgenstein

El trabajo es una  primerísima presentación de la concepción de lógica y de necesidad lógica en Ludwig Wittgenstein. Lo haré desde dos perspectivas:

Teoría de tipos parcial híbrida

Director/a: María Gracia Manzano Arjona

Presentamos un sistema lógico-formal que aúna recursos expresivos de la teoría de tipos simple, de la lógica modal, y de la lógica híbrida básica, y lo dotamos de una semántica que puede caracterizarse  en su semántica por un doble ingrediente de parcialidad: los términos no-lógicos pueden...

Genealogía y sistematización del concepto de completitud: del método axiomático a la metateoría de la lógica

Director/a: Enrique Alonso

Las preguntas en torno a la completitud, de una teor ía o de una l ógica, aparecían publicadas en 1928, pero solo unas pocas d écadas antes ni siquiera hab ían sido formuladas.

Estado de la cuestión acerca de la forma lógica

Director/a: María José Frápolli Sanz

Determinar la forma lógica de los argumentos es imprescindible cuando se identifica la validez inferencial con la validez formal.

Una lógica multiagente para nociones epistemológicas básicas: creencia, conocimiento y justificación

Director/a: José Pedro Úbeda Rives

En el presente trabajo extendemos una lógica epistémica con justificación y tiempo discreto ya existente en la literatura (Baltag et. al. 2012) a entornos multiagente con conocimiento común. Para ello, primero se analizan los aspectos clave de dicha lógica.

Una nueva noción de verdad: la teoría prooracional de Robert Brandon y sus consecuencias para la lógica

En este trabajo se presenta un análisis crítico de la teoría prooracional de la verdad, centrando el estudio en la versión de esta teoría propuesta por Robert Brandom como parte esencial de su defensa del inferencialismo semántico.

El Teorema de Löwenheim-Skolem, conexiones y consecuencias

Director/a: María Manzano Arjona y Enrique Alonso González

Este artículo tratará sobre el significado y la importancia del teorema de Löwenheim-Skolem en sus diferentes versiones. Comenzaremos con una sección introductoria para explicar los conceptos y la terminología con los que se trabajará.

Páginas

En el curso 2023-2024 la sede del máster es la Universidad de Granada

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