Related papers: Why we must heed Wittgenstein's "notorious paragra…
There has been an upsurge of interest in the consequences for quantum physics of the so-called Wigner's Friend Paradox. In its original formulation, the paradox has been turned inside out, and virtually every aspect of it has been looked…
Using Heijenoort's unpublished generalized rules of quantification, we discuss the proof of Herbrand's Fundamental Theorem in the form of Heijenoort's correction of Herbrand's "False Lemma" and present a didactic example. Although we are…
This paper presents yet another personal reflection on one the most important concepts in both science and the humanities: time. This elusive notion has been not only bothering philosophers since Plato and Aristotle. It goes throughout…
As David Berlinski writes (1997), the existence and nature of mathematics is a more compelling and far deeper problem than any of the problems raised by mathematics itself. Here we analyze the essence of mathematics making the main emphasis…
Proietti et al. (arXiv:1902.05080) reported on an experiment designed to settle, or at least to throw light upon, the paradox of Wigner's friend. Without questioning the rigor or ingenuity of the experimental protocol, I argue that its…
In the past century many fundamental results on unpredictability, undecidability and uncertainty have compelled scientists to grapple with the idea that some questions may never be resolved within our current theories. While this…
Theories of decoherence come in two flavors---Platonic and Aristotelian. Platonists grant ontological primacy to the concepts and mathematical symbols by which we describe or comprehend the physical world. Aristotelians grant it to the…
Abraham Robinson's philosophical stance has been the subject of several recent studies. Erhardt following Gaifman claims that Robinson was a finitist, and that there is a tension between his philosophical position and his actual…
Donald Rumsfeld, in attempting to excuse the inexcusable, once (in)famously said that ``there are things that we know we know; there are things that we know we don't know; and then there are things that we don't know that we don't know".…
If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate…
Metascientific criteria used for explaining or constraining physical space dimensionality and their historical relationship to prevailing causal systems are discussed. The important contributions by Aristotle, Kant and Ehrenfest to the…
We give a brief historical overview of the famous Pythagoras' theorem and Pythagoras. We present a simple proof of the result and dicsuss some extensions. We follow \cite{thales}, \cite{wiki} and \cite{wiki2} for the historical comments and…
An attempt is made to remedy confusing treatments of some basic relativistic concepts and results in recent papers by Franklin (2010 {\it Eur. J. Phys.} {\bf 31} 291-8) and by McGlynn and van Kampen (2008 {\it Eur. J. Phys.} {\bf 29}…
The idea of fully accepting statements when the evidence has rendered them probable enough faces a number of difficulties. We leave the interpretation of probability largely open, but attempt to suggest a contextual approach to full belief.…
Almost two decades ago, Wattenberg published a paper with the title 'Nonstandard Analysis and Constructivism?' in which he speculates on a possible connection between Nonstandard Analysis and constructive mathematics. We study Wattenberg's…
In 1962 Charles Hartshorne published a modal logic proof formalizing Anselm of Canterbury's ontological argument for the necessary existence of God. This article presents Kurt G\"odel's notes on this proof which have now been discovered in…
I argue against the predominant view of Weyl's interpretation of the logical signs. Drawing on his correctness-first account of mathematical knowledge, I point out that, according to him, quantified statements generate conditional…
An approach to universal (meta-)logical reasoning in classical higher-order logic is employed to explore and study simplifications of Kurt G\"odel's modal ontological argument. Some argument premises are modified, others are dropped, modal…
Gravitation has posed a puzzle and a problem for many decades. Attempts to unify it with other fundamental interactions have failed. These problems and puzzles have been underscored by the likes of Witten and Weinberg. We survey this and…
The paper by Mayo claims to provide a new clarification and critique of Birnbaum's argument for showing that sufficiency and conditionality principles imply the likelihood principle. However, much of the arguments go back to arguments made…