De las muchas interpretaciones de la mecánica cuántica (MC), pocas han sido tan divulgadas como la de Everett. Esta formulación se supone realista y libre de los problemas que aquejan a la interpretación de Copenhague. En ...

En 1930, Johann von Neumann, junto con Rudolf Carnap y Arend Heyting, participó de un evento realizado en Königsberg llamado “Segundo Seminario sobre Epistemología de las Ciencias Exactas”. La idea por detrás de la reunión ...

La paradoja de sorites es ampliamente conocida por mostrar las consecuencias contradictorias que pueden tener razonamientos que involucren términos vagos. Importantes filósofos de la escuela analítica como Bertrand Russell ...

Se examinan desde el punto de vista proposicional, los requerimientos de un sistema de lógica temporal adecuado para el desarrollo de una teoría de conjuntos en la cual el universo se expanda con el tiempo. Se propone un ...

Estudia la posibilidad lógica de contrastar teorías fácticas que son inconsistentes, pero no triviales. En particular, indaga si tales teorías pueden satisfacer o no el principio de refutabilidad de Popper. Cuando se aplica ...

O objetivo principal desse estudo foi desenvolver e implementar modelos de processamentos automatizados que garantam a qualidade e a consistência lógica, da base geográfica de escala cadastral, que vai compor a base de ...