Related papers: Montague's Paradox without Necessitation
How can we reason around logical paradoxes without falling into them? This paper introduces grounded deduction or GD, a Kripke-inspired approach to first-order logic and arithmetic that is neither classical nor intuitionistic, but…
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…
The perturbation theory based on typicality introduced in Ref. [1] and further refined in Refs. [2, 3] provides a powerful tool since it is intended to be applicable to a wide range of scenarios while relying only on a few parameters. Even…
We present a derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. Combined to Gleason's theorem, this approach naturally leads to the usual…
This paper examines Chwistek's claim that with Principia's definition of a class "Richard's paradox can be formulated". It is shown that the demonstration fails since it requires an incorrect elimination of a defined term and use of a…
We argue that whether the universe is infinite or finite is less crucial than usually supposed. Paradoxes of repeating behaviour in the infinite, or eternal inflationary, universe can be alleviated by a realistic definition of differing…
In the standard formulation of the twin paradox an accelerated twin considers himself as at rest and his brother as moving. Hence, when formulating the twin paradox, one uses the general principle of relativity, i.e. that accelerated and…
Odds ratios and log-linear parameters are not collapsible, meaning that including a variable into the analysis or omitting one from it, may change the strength of association among the remaining variables. Even the direction of association…
Type-free systems of logic are designed to consistently handle significant instances of self-reference. Some consistent type-free systems also have the feature of allowing the sort of general abstraction or comprehension principle that…
This paper suggests that a universal solution to the Fermi paradox exists and can be derived directly from the definition of life and/or intelligence, therefore eliminating the need for any questionable assumptions and even for the…
Quantum three box paradox is a prototypical example of some bizarre predictions for intermediate measurements made on pre- and post-selected systems. Although in principle those effects can be explained by measurement disturbance, it is not…
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…
Modeling of high order multivariate probability distribution is a difficult problem which occurs in many fields. Copula approach is a good choice for this purpose, but the curse of dimensionality still remains a problem. In this paper we…
In the present Note it is shown that Hardy thought experiment does not lead to any paradox and its explanation can be made by using quantum mechanical methods, without the need of weak measurements theories. The confusion arising about this…
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In this article we look for a suitable way in between: the…
The prediction of the N-box paradox, that whichever box is opened will contain the record of the particle having passed through it, is traced to a failure to specify whether the other boxes are distinguishable or indistinguishable. These…
An elementary application of Fatou's lemma gives a strengthened version of the monotone convergence theorem. We call this the convergence from below theorem. We make the case that this result should be better known, and deserves a place in…
A pedagogical formulation of Loschmidt's paradox and H-theorem is presented with basic notation on occupancy on discrete states without invoking velocity collision operators. A conjecture, so called H-theorem do-conjecture, is formulated.…
When teaching an elementary logic course to students who have a general scientific background but have never been exposed to logic, we have to face the problem that the notions of deduction rule and of derivation are completely new to them,…
Moores Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account…