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.
En esta tesis reconstruiremos el debate entre Recanati y Stanley, en torno a las propuestas de Truth-Conditional Pragmatics y Truth-Conditional Semantics.
Las nociones del continuo o la continuidad han estado presentes en muchos de los grandes problemas de la historia del conocimiento.
El trabajo constituye un análisis de la llamada paradoja de Carnap, en un intento de desarrollar un enfoque diferente al que ofrece Yablo.
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 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.
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.
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.
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.
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.
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.
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.
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:
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...
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.
Determinar la forma lógica de los argumentos es imprescindible cuando se identifica la validez inferencial con la validez formal.
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.
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.
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á.