Los marcos operacionales son muy útiles para estudiar los fundamentos de la mecánica cuántica y, a veces, se utilizan para promover actitudes antirrealistas hacia la teoría. El objetivo de este artículo es revisar tres argumentos que apuntan a defender una lectura antirrealista de la física cuántica basada en varios desarrollos de la mecánica cuántica estándar apelando a nociones como información cuántica, correlaciones no causales y órdenes causales indefinidos. Estos argumentos se discutirán para demostrar que no son convincentes. En cambio, se argumenta que conceptualmente no existe ningún argumento que pueda favorecer las actitudes realistas o antirrealistas hacia la mecánica cuántica basadas únicamente en algunas características de algún formalismo. En particular, tanto los puntos de vista realistas como los antirrealistas se adaptan bien a las formulaciones operativas de la teoría.

I will give a brief overview of Saharon Shelah’s work in mathematical logic, especially in model theory. It is a formidable task given the sheer volume and broad spectrum of his work, but I will do my best, focusing on just a few main themes. Shelah made essentially three transformative contributions to the field of mathematical logic: stability theory, proper forcing and PCF theory, the first in model theory and the other two in set theory. He started as a model theorist and I think he still considers himself mainly as a model theorist, but he has extended his interest and work to set theory.

This dissertation explores the problem of how knowledge is possible, given that knowledge is necessarily rooted in the reality of the knower. The Kantian critical philosophy defeats Humean skepticism by demonstrating the a priori necessity of certain categorical functions at the root of all human cognition, but ultimately results in merely shifting the problem of certainty to these same functions. Ernst Cassirer’s Philosophy of Symbolic Forms seeks to extend the critical philosophy of Kant beyond the limits of theoretical thinking, and thereby broadens the functional foundations of cognition to include all symbolic modes of thinking in a unified system of human cognition.

This paper concerns the reception of the new logic and logicism of Frege and Russell among the German Neo-Kantian philosophers of the Marburg school. Paul Natorp and Ernst Cassirer both object to Frege’s and Russell’s conception of the ground, nature, and demarcation of logic. This objection depends on the distinctive Marburg school philosophy of logic, first articulated by Hermann Cohen: that “formal” logic (in Kant’s sense) depends on a logical investigation of the principles that make mathematical natural science possible. Nevertheless, Cassirer thought that the new logic had profound philosophical implications. First, the new logic provides a technical vindication of some Neo-Kantian theses concerning space and time and mathematical proofs. Second, Cassirer thinks that the new logic allows for a conception of mathematics as the study of relational structures. This conception, in concert with a Kantian notion of objectivity and objecthood, makes possible a justification of modern mathematics.

En 1924, S. Banach y A. Tarski demostraron una paradoja asombrosa, aunque bastante contradictoria: dada una bola sólida en R3, es posible dividirlo en un número finito de piezas y volver a ensamblarlas para formar dos bolas sólidas, cada una de tamaño idéntico a la primera. Cuando esta paradoja se aplica al espacio tridimensional, va en contra de nuestra intuición, pero muy a menudo nuestra intuición es defectuosa.

La paradoja de la pérdida de información de los agujeros negros ha sido durante mucho tiempo uno de los aspectos más estudiados y fascinantes de la física de los agujeros negros. En su última encarnación, toma la forma de la paradoja del firewall. En este artículo, primero damos una presentación de la paradoja orientada conceptualmente, basada en la noción de estructura causal. Luego sugerimos una posible estrategia para sus resoluciones y vemos que la idea central detrás de ella es que hay conexiones que no son locales para la física semiclásica, que deben tenerse en cuenta al estudiar los agujeros negros. Vemos cómo implementar concretamente esta estrategia en algunos modelos físicos conectados a la conjetura ER = EPR.

Este trabajo estudia el pensamiento teológico y filosófico de Francisco Suárez sobre la libertad. El problema de la Concordia entre gracia y libertad, suprime el concepto de naturaleza (la physis y su etiología) como quicio del pensamiento filosófico cristiano. La libertad se sitúa como causa metafísica formal en Suárez, no como fundamento a la manera moderna de un Yo afincado en sus solas fuerzas, sino como principio heurístico y creador de un ser lleno de posibilidades cuya afirmación: “soy libre”, sintetiza la filosofía suareciana, y hace inteligibles las realidades dadas por la experiencia concreta para obtener una comprensión superior.

La búsqueda para comprender la conciencia, que alguna vez fue competencia de filósofos y teólogos, ahora es activamente perseguida por científicos de diversos tipos. Examinamos la conciencia desde la perspectiva de la informática teórica (TCS), una rama de las matemáticas que se ocupa de comprender los principios subyacentes de la computación y la complejidad, incluidas las implicaciones y consecuencias sorprendentes de las limitaciones de recursos. En el espíritu de la definición simple pero poderosa de Alan Turing de una computadora, la Máquina de Turing (TM), y la perspectiva de la teoría de la complejidad computacional, formalizamos una versión modificada de la Teoría del Espacio de Trabajo Global (GWT) de la conciencia originada por el neurocientífico cognitivo Bernard Baars y desarrollado por él, Stanislas Dehaene, Jean-Pierre Changeaux y otros

Argumentamos que aquellos que dudan del axioma de elección o de la bivalencia de la hipótesis del continuo también deberían dudar de la consistencia de la aritmética de tercer orden.

Godel is routinely called a Platonist in his philosophy of logic and mathematics. What does that mean ? From the point of view of a working mathematician or logician such labels make little difference. For instance, take the idea of antirealism. A typical manifestation of antirealism in the foundations of mathematics is the claim that in mathematical contexts quantifiers do not really express existence and universality with respect to some subject matter, as they do in everyday applications. (Cf. here Benacerraf 1973.) But what is really meant by «not really» here ? What difference does it make for one’s actual work in logic ? It is almost certain that when a soi-disant antirealist logician practices model theory, he or she will treat quantifiers as ranging over a class of values, which is tantamount to taking them to express existence and universality in that class of values. And this is likely to be the case no matter whether the logician in question pays homage in his or her philosophical Sunday prayers to Plato or to Michael Dummett.