Related papers: Models of the Chisholm set
It is shown that there is a possibility of violation of CPT symmetry in the Standard Model which does not contradict to the famous CPT theorem. To check this possibility experimentally it is necessary to increase the precision of…
Predictive models are being increasingly used to support consequential decision making at the individual level in contexts such as pretrial bail and loan approval. As a result, there is increasing social and legal pressure to provide…
Counterfactual explanations are a popular type of explanation for making the outcomes of a decision making system transparent to the user. Counterfactual explanations tell the user what to do in order to change the outcome of the system in…
As machine learning models are increasingly deployed in high-stakes domains such as legal and financial decision-making, there has been growing interest in post-hoc methods for generating counterfactual explanations. Such explanations…
We analyze the recently proposed mirror superposition experiment of Marshall, Simon, Penrose, and Bouwmeester, assuming that the mirror's dynamics contains a non-unitary term of the Lindblad type proportional to -[q,[q,\rho]], with q the…
We prove that the intersection of a Hirsch polytope and a cube may be a non-Hirsch polytope.
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
We propose a new definition of actual causes, using structural equations to model counterfactuals.We show that the definitions yield a plausible and elegant account ofcausation that handles well examples which have caused problems forother…
We present a general framework for forcing on $\omega_2$ with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial…
Lately, so-called "quantum" models, based on parts of the mathematics of quantum mechanics, have been developed in decision theory and cognitive sciences to account for seemingly irrational or paradoxical human judgments. We consider here…
This paper investigates the strict comparison theorem under the framework of $G$-expectation, i.e., let $X\leq Y$ q.s., if $X,Y$ satisfy some additional conditions, then $\E[X]<\E[Y]$.
Counterfactual reasoning -- envisioning hypothetical scenarios, or possible worlds, where some circumstances are different from what (f)actually occurred (counter-to-fact) -- is ubiquitous in human cognition. Conventionally,…
We consider some class of homeomorphisms of domains of Euclidean space, which are more general than quasiconformal mappings. For these homeomorphisms, we have obtained theorems on local behavior of it's inverse mappings in a given domain.…
We illustrate two simple spin examples which show that in the consistent histories approach to quantum mechanics one can retrodict with certainty incompatible or contradictory propositions corresponding to non-orthogonal or, respectively,…
Counterfactual explanations (CFEs) provide actionable recourse, but most methods assume a static framework with fixed data and a trained classifier. This assumption breaks in evolving data environments, such as data streams, where online…
The article provides a counterexample to a conjecture by Blocki-Zwonek.
We found another N=1 odd superanalog of complex structure (the even one is widely used in the theory of super Riemann surfaces). New N=1 superconformal-like transformations are similar to anti-holomorphic ones of nonsupersymmetric complex…
In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we…
Deborah Mayo claims to have refuted Birnbaum's argument that the Likelihood Principle is a logical consequence of the Sufficiency and Conditionality Principles. However, this claim fails because her interpretation of the Conditionality…
We give a new version of the Shannon-McMillan-Breiman theorem in the case of a bijective action. We illustrate this new result with an example