Related papers: Theoremizing Yablo's Paradox
We present a sequent-style proof system for provability logic GL that admits so-called circular proofs. For these proofs, the graph underlying a proof is not a finite tree but is allowed to contain cycles. As an application, we establish…
Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive conclusions. For instance, Aristotle's famous "Sea Battle…
If time travel is possible, it seems to inevitably lead to paradoxes. These include consistency paradoxes, such as the famous grandfather paradox, and bootstrap paradoxes, where something is created out of nothing. One proposed class of…
We show that the algebra of the recently proposed Triply Special Relativity can be brought to a linear (ie, Lie) form by a correct identification of its generators. The resulting Lie algebra is the stable form proposed by Vilela Mendes a…
The Jeffreys-Lindley paradox stands as the most profound divergence between frequentist and Bayesian approaches to hypothesis testing. Yet despite more than six decades of discussion, this paradox remains frequently misunderstood--even in…
This paper discusses limitations of reflexive and diagonal arguments as methods of proof of limitative theorems (e.g. G\"odel's theorem on Entscheidungsproblem, Turing's halting problem or Chaitin-G\"odel's theorem). The fact, that a formal…
The article presents the detailed analysis of the watch paradox. It is shown that it arose because of unjustified, as it turned out, identification of watch readings at the moment of its return with the time read by it.
Formal logic enables computers to reason in natural language by representing sentences in symbolic forms and applying rules to derive conclusions. However, in what our study characterizes as "rulebreaker" scenarios, this method can lead to…
Classes of linguistic paradoxes and linguistic tautologies are introduced with examples and explanations. They are part of the author's work on the Paradoxist Philosophy based on mathematical logic. The general cases exposed below are…
"The hardest logic puzzle ever" presented by George Boolos became a target for philosophers and logicians who tried to modify it and make it even tougher. I propose further modification of the original puzzle where part of the available…
The closed causal chains arising from backward time travel do not lead to paradoxes if they are self consistent. This raises the question as to how physics ensures that only self-consistent loops are possible. We show that, for one…
This paper discusses the dual interpretation of the Jeffreys--Lindley's paradox associated with Bayesian posterior probabilities and Bayes factors, both as a differentiation between frequentist and Bayesian statistics and as a pointer to…
Some recent experiments led to the claim that something can travel faster than light in vacuum. However, such results do not seem to place relativistic causality in jeopardy. Actually, it is possible to solve also the known causal…
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…
The preeminent view that evaporating black holes should simply be smaller black holes has been challenged by the firewall paradox. In particular, this paradox suggests that something different occurs once a black hole has evaporated to…
Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s.…
Consider the following story: A teacher announces to her students a test for the following week, such that the test will be ``surprising''. The students use this as the basis for a ``logical derivation'' and reach a contradiction, which…
For half a century, authors have weakened the rule of necessitation in various more or less ad hoc ways in order to make inconsistent systems consistent. More recently, necessitation was weakened in a systematic way, not for the purpose of…
We define the time travel paradox in physical terms and prove its existence by constructing an explicit example. We argue further that in theories -- such as general relativity -- where the spacetime geometry is subject to nothing but…
The thought experiment (called the clock paradox or the twin paradox)proposed by Langevin in 1911 of two observers, one staying on Earth and the other making a trip toward a star with a velocity near the light velocity is very well known…