Related papers: On distance and proximity between Dummett and Brou…

We discuss that there is a crucial contradiction within quantum mechanics. We derive a proposition concerning a quantum expectation value under the assumption of the existence of the directions in a spin-1/2 system. The quantum predictions…

There is a persistent confusion about determinism and predictability. In spite of the opinions of some eminent philosophers (e.g., Popper), it is possible to understand that the two concepts are completely unrelated. In few words we can say…

This is an examination, a commentary, of links between some philosophical views ascribed to G\"odel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, understood from…

Diagnostic reasoning has been characterized logically as consistency-based reasoning or abductive reasoning. Previous analyses in the literature have shown, on the one hand, that choosing the (in general more restrictive) abductive…

We outline an intuitionistic view of knowledge which maintains the original Brou\-wer-Heyting-Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of…

I begin by examining the question of the quantum limits of knowledge by briefly presenting the constraints of the theory that derive from its mathematical structure (in particular the no-go theorems formulated by von Neumann and Kochen and…

This work explores the connection between logical independence and the algebraic structure of quantum mechanics. Building on results by Brukner et al., it introduces the notion of \textit{onto-epistemic ignorance}: situations in which the…

The "universality" of critical phenomena is much discussed in philosophy of scientific explanation, idealizations and philosophy of physics. Lange and Reutlinger recently opposed Batterman concerning the role of some deliberate distortions…

Two types of approximation to the paradoxical Russell Set are presented, one approximating it from below, one from above. It is shown that any lower approximation gives rise to a better approximation containing it, and that any upper…

Based on an analysis of the inference rules used, we provide a characterization of the situations in which classical provability entails intuitionistic provability. We then examine the relationship of these derivability notions to uniform…

This paper compares and contrasts relational quantum mechanics (RQM) with a pragmatist view of quantum theory (DP). I'll first explain important points of agreement. Then I'll point to two problems faced by RQM and sketch DP's solutions to…

The early development of conflicting theories about the microscopic mechanism of High Temperature Superconductivity is described. The biographical roots of this diversity are stressed, as well as its subjective/objective roots. This study…

Recently I posted a paper entitled "External observer reflections on QBism". As any external observable, I was not able to reflect some features of QBism properly. Therefore comments which I received from one of its creators, C. Fuchs, are…

Here we will discuss the philosophical differences between an approach to the deep nature of physical space based on the concept of coordinates and one based on the concept of relation. The philosophical superiority of the second approach…

Debates about juridical proof are often framed as a conflict between probabilistic approaches and relative plausibility theory (RPT). This paper argues that this opposition rests on a level-of-analysis error. Drawing on Marr's distinction…

The Bayesian approach to quantum mechanics of Caves, Fuchs and Schack is presented. Its conjunction of realism about physics along with anti-realism about much of the structure of quantum theory is elaborated; and the position defended from…

Doubts are raised concerning the usual interpretation of the alleged failure, by quantum mechanics, of the distributive law of classical logic. The difficulty raised by incompatible sets of observables is overcome within an epistemic…

Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens…

We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and…

What do we do when cosmology raises questions it cannot answer? These include the existence of a multiverse and the universality of the laws of physics. We cannot settle any of these issues by experiment, and this is where philosophers…