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

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