Related papers: Montague's Paradox without Necessitation
Peculiar measurements can be obtained on systems that undergo both pre- and post-selection. We prove a conjecture from [1] on logical Pre- and Post-Selection (PPS) paradoxes for a restricted case. We prove that all of these paradoxes admit…
This paper provides a proof that Tennant's logical system entails a paradox that is called Core logic paradox, in reference to the new name given by Tennant to his intuitionistic relevant logic.
Modern physics is founded on two mainstays: mathematical modelling and empirical verification. These two assumptions are prerequisite for the objectivity of scientific discourse. Here we show, however, that they are contradictory, leading…
This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the form n(n(t))…
Paradoxes that can supposedly occur if a time machine is created are discussed. It is shown that the existence of trajectories of ``multiplicity zero'' (i.e. trajectories that describe a ball hitting its younger self so that the latter…
The fundamental proposal in this article is that logical formulas of the form (f <-> ~f) are not contradictions, and that formulas of the form (t <-> t) are not tautologies. Such formulas, wherever they appear in mathematics, are instead…
The primary objective of this note is to revisit the two envelope problem and propose a simple resolution. It is argued that the paradox arises from the ambiguity associated with the money content $x of the chosen envelope. When X=x is…
A typical kind of question in mathematical logic is that for the necessity of a certain axiom: Given a proof of some statement $\phi$ in some axiomatic system $T$, one looks for minimal subsystems of $T$ that allow deriving $\phi$. In…
Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be…
In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations,…
Non-deductive reasoning systems are often {\em representation dependent}: representing the same situation in two different ways may cause such a system to return two different answers. Some have viewed this as a significant problem. For…
Meta-analysis is an important tool for combining results from multiple studies and has been widely used in evidence-based medicine for several decades. This paper reports, for the first time, an interesting and valuable paradox in…
We show that if there are conserved flavor symmetries then some properties of a monopole can depend on $\theta$ even when a fermion is massless. The quantized nature of global symmetries and the fractional nature of the Witten effect can…
We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion…
We show in this note that Gibbs paradox arises not due to application of thermodynamic principles, whether classical or statistical or even quantum mechanical, but due to incorrect application of mathematics to the process of mixing of…
Non-commutativity of the Einstein velocity addition, in case of non-collinear velocities, seemingly gives rise to a conflict with reciprocity principle. However, Thomas rotation comes at a rescue and the paradox is avoided. It is shown that…
Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, which shows that this road is not consistent, as our example…
In this paper a conditional logic is defined and studied. This conditional logic, DmBL, is constructed as close as possible to the Bayesian and is unrestricted, that is one is able to use any operator without restriction. A notion of…
Here, by introducing a version of Unexpected hanging paradox first we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical…
Zeno's paradoxes are explained as being the result of inappropriate combination of discrete and continuous mathematical systems. It is proposed that the source of this confusion lies in the course of development of the number system, which…