Related papers: Theoremizing Yablo's Paradox
Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We…
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) extend Linear Temporal Logic (LTL) for real-time constraints, with MTL using time-bounded modalities and TPTL employing freeze quantifiers. Satisfiability for both is…
In this article, some classical paradoxes of infinity such as Galileo's paradox, Hilbert's paradox of the Grand Hotel, Thomson's lamp paradox, and the rectangle paradox of Torricelli are considered. In addition, three paradoxes regarding…
Most non-classical logics are subclassical, that is, every inference/theorem they validate is also valid classically. A notable exception is the three-valued propositional Logic of Ordinary Discourse (OL) proposed and extensively motivated…
When aggregating logically interconnected judgments from $n$ agents, the result might be inconsistent with the logical connection. This inconsistency is known as the doctrinal paradox, which plays a central role in the field of judgment…
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.
The apparently trifling unexpected hanging paradox has generated an enormous philosophical literature. We introduce the mathematician to this literature, paying special attention to aspects that involve nontrivial mathematics. This xxx…
I discuss how five reasonably sounding assumptions lead to a dilemma -- the Page-time paradox -- , which appears to challenge a conventional statistical mechanical underpinning of black hole thermodynamics. By inspecting the conceptual…
In his paper on the incompleteness theorems, G\"odel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that 'direct'…
Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form $\exists y. \forall x. (\Box_x P(x,y) \supset\Diamond_y P(y,x))$. Like First order…
The detailed behaviour of a system is often represented as a labelled transition system (LTS) and the abstract behaviour as a stuttering-insensitive semantic congruence. Numerous congruences have been presented in the literature. On the…
The goal of this paper is to establish that it remains undecidable whether a sequent is provable in two systems in which a weakening rule for an exponential modality is completely omitted from classical propositional linear logic…
The class of defeasible logics is only vaguely defined -- it is defined by a few exemplars and the general idea of efficient reasoning with defeasible rules. The recent definition of the defeasible logic $DL(\partial_{||})$ introduced new…
The heterogeneity of tools that support temporal logic formulae poses several challenges in terms of interoperability. In particular, a standard syntax for temporal logic on finite traces, despite similar to the one for infinite traces, is…
We consider two approaches to evading paradoxes in quantum mechanics with closed timelike curves (CTCs). In a model similar to Politzer's, assuming pure states and using path integrals, we show that the problems of paradoxes and of…
Demonstrations of quantum entanglement which confirm the violation of Bell's inequality indicate that under certain conditions action at a distance is possible. This consequence seems to contradict the relativistic principle of causality,…
With the increasing capabilities of Large Language Models (LLMs), parallel reasoning has emerged as a new inference paradigm that enhances reasoning robustness by concurrently exploring multiple lines of thought before converging on a final…
Applying dynamic logics to program verifications is a challenge, because their axiomatic rules for regular expressions can be difficult to be adapted to different program models. We present a novel dynamic logic, called DLp, which supports…
After pointing out the historical avatar at the origin of a would be twin or clock paradox, we argue that, at least on a local scale, the (re-qualified) paradox is but a necessary consequence of the sole principle of causality.
In default theories, outliers denote sets of literals featuring unexpected properties. In previous papers, we have defined outliers in default logics and investigated their formal properties. Specifically, we have looked into the…