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.

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

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

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.

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

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.

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.

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