Related papers: Generalized explosion principles
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…
Negation is a common linguistic phenomenon. Yet language models face challenges with negation in many natural language understanding tasks such as question answering and natural language inference. In this paper, we experiment with seamless…
In this work, the experiment is discussed on the verification of the principle of universality of gravitational interactions and some related problems of gravity theory and physics of elementary particles. The meaning of this proposal lies…
We argue that most commonly used models for nuclear scattering at ultra-relativistic energies do not treat energy conservation in a consistent fashion. Demanding theoretical consistency as a minimal requirement for a realistic model, we…
Some of the possible consequences of a generalized uncertainty principle (which emerges in the context of string theory and quantum gravity models as a consequence of fluctuations of the background metric) are analyzed considering the case…
In this letter, we will demonstrate that the breaking of supersymmetry by a non-anticommutative deformation can be used to generate the generalized uncertainty principle. We will analyse the physical reasons for this observation, in the…
In the absence of empirical confirmation, scientists may judge a theory's chances of being viable based on a wide range of arguments. The paper argues that such arguments can differ substantially with regard to their structural similarly to…
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type…
This article aims to explain essential elements of perturbation theory and their conceptual underpinnings. It is not meant as a summary of popular perturbation methods, though some illustrative examples are given to underline the main…
Emergence is a pregnant property in various fields. It is the fact for a phenomenon to appear surprisingly and to be such that it seems at first sight that it is not possible to predict its apparition. That is the reason why it has often…
Explosive nucleosynthesis is a combination of the nuclear physics of thermonuclear reactions, and the hydrodynamics of the plasma in which the reactions occur. It depends upon the initial conditions---the stellar evolution up to the…
The so called ''Principle of the self-consistency'' for space-time models with causality violation, which was firstly formulated by I.D.Novikov, is discussed for the test particle motion and for test scalar field. It is shown that the…
Sensitivity analysis informs causal inference by assessing the sensitivity of conclusions to departures from assumptions. The consistency assumption states that there are no hidden versions of treatment and that the outcome arising…
We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form "If $\sim A$, then $A$", should not hold,…
Using the basic ingredient of supersymmetry, we develop a simple alternative approach to perturbation theory in one-dimensional non-relativistic quantum mechanics. The formulae for the energy shifts and wave functions do not involve tedious…
Plausible reasoning concerns situations whose inherent lack of precision is not quantified; that is, there are no degrees or levels of precision, and hence no use of numbers like probabilities. A hopefully comprehensive set of principles…
On basis of an algebraic analysis of symmetry breaking in general and the Higgs mechanism in the standard model of elementary particles we generalize the concept of symmetry breaking to systems with non-compact groups but not necessarily…
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for…
This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this…
We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on…