Related papers: Nomic realism, simplicity, and the simplicity bubb…
After reviewing various interpretations of structural realism, I adopt here a definition that allows both relations between things that are already individuated (which I call ``relations between things'') and relations that individuate…
It is currently widely accepted, as a result of Bell's theorem and related experiments, that quantum mechanics is inconsistent with local realism and there is the so called quantum non-locality. We show that such a claim can be justified…
Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively. We provide foundations for establishing the correctness and power of…
Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as…
The mathematical formalism of quantum theory exhibits significant effectiveness when applied to cognitive phenomena that have resisted traditional (set theoretical) modeling. Relying on a decade of research on the operational foundations of…
In this work we revisit the important and controversial concept of quantum weak values, aiming to provide a simplified understanding to its associated physics and the origin of anomaly. Taking the Stern-Gerlach setup as a working system, we…
I distinguish between pure self-locating credences and superficially self-locating credences, and argue that there is never any rationally compelling way to assign pure self-locating credences. I first argue that from a practical point of…
The ideas of spacetime discreteness and causality are important in several of the popular approaches to quantum gravity. But if discreteness is accepted as an initial assumption, conflict with Lorentz invariance can be a consequence. The…
In this short note, we introduce a generalization of the canonical base property, called transfer of internality on quotients. A structural study of groups definable in theories with this property yields as a consequence infinitely many new…
Many attempts have been made to characterise and solve the infamous measurement problem of quantum mechanics by advocating, implicitly or explicitly, different realist perspectives. As a result, we are still uncertain where this problem and…
It is argued that the traditional "realist" methodology of physics, according to which human concepts, laws and theories can grasp the essence of reality, is incompatible with the most fruitful interpretation of quantum formalism. The proof…
The quantum mechanical formalism doesn't support our intuition, nor does it elucidate the key concepts that govern the behaviour of the entities that are subject to the laws of quantum physics. The arrays of complex numbers are kin to the…
In this article, I argue that modern spacetime physics causes problems for a number of traditional accounts of modality, but also offers important new ideas about the connection between modal and non-modal features of reality. I suggest…
Bell's Theorem proved that one cannot in general reproduce the results of quantum theory with a classical, deterministic local model. However, Einstein originally considered the case where one could define an 'element of reality', namely…
We point out that spacetime singularities play a useful role in gravitational theories by eliminating unphysical solutions. In particular, we argue that any modification of general relativity which is completely nonsingular cannot have a…
Recursive relational specifications are commonly used to describe the computational structure of formal systems. Recent research in proof theory has identified two features that facilitate direct, logic-based reasoning about such…
Quantum mechanics challenges our intuition on the cause-effect relations in nature. Some fundamental concepts, including Reichenbach's common cause principle or the notion of local realism, have to be reconsidered. Traditionally, this is…
Many widely different problems have a common mathematical structure wherein limited knowledge lead to ambiguity that can be captured conveniently using a concept of invisibility that requires the introduction of negative values for…
Scientific realism is, currently, one of the most well-entrenched background assumptions of some relevant versions of anti-exceptionalism about logic. We argue that this is a sort of sociological contingency rather than a metaphilosophical…
Given any polynomial with real coefficients, the existence of a real quadratic polynomial factor is proven using only basic real analysis. The aim is to provide an approachable proof to anybody who is familiar with the least upper bound…