相关论文: Comments on Shimony's Analysis
Explaining autonomous and intelligent systems is critical in order to improve trust in their decisions. Counterfactuals have emerged as one of the most compelling forms of explanation. They address ``why not'' questions by revealing how…
We study the satisfiability problem for the two-variable first-order logic over structures with one transitive relation. % We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential…
A general action for particles faster than light is presented. It is demonstrated that this action is invariant under reparametrizations. For several cases, it is shown that in the high velocity regime the action is invariant under…
Multiple hypothesis testing problems arise naturally in science. In this paper, we introduce the new Fast Closed Testing (FACT) method for multiple testing, controlling the family-wise error rate. This error rate is state of the art in many…
In a previous work we have shown that the null result of the Michelson-Morley experiment in vacuum is deeply connected with the notion of time. The same is true for the the postulate of constancy of the two-way speed of light in vacuum in…
In the standard physical interpretation of quantum theory, prediction and retrodiction are not symmetric. The opposite assertion by some authors results from their use of non-standard interpretations of the theory.
Vaidman's analysis of the photon's past is based on incorrect interpretation of quantum probability amplitudes. The confusion stems from his original work [{\it Phys. Rev. Lett.} \textbf{60}, 1351 (1988)], which missed the connection…
The paper defends the thesis that it's possible to maintain some conceptual preconditions of overcoming of relativistic intentions in modern philosophy of science ("there are no any general foundations in philosophy of science"). We found…
Recent work shows issues of consistency with explanations, with methods generating local explanations that seem reasonable instance-wise, but that are inconsistent across instances. This suggests not only that instance-wise explanations can…
A symmetry-guided definition of time may enhance and simplify the analysis of historical series with recurrent patterns and seasonalities. By enforcing simple-scaling and stationarity of the distributions of returns, we identify a…
We developed on example-based method of metonymy interpretation. One advantages of this method is that a hand-built database of metonymy is not necessary because it instead uses examples in the form ``Noun X no Noun Y (Noun Y of Noun X).''…
While belief functions may be seen formally as a generalization of probabilistic distributions, the question of the interactions between belief functions and probability is still an issue in practice. This question is difficult, since the…
We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between…
Expressions are not functions. Confusing the two concepts or failing to define the function that is computed by an expression weakens the rigour of interval arithmetic. We give such a definition and continue with the required re-statements…
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about…
When a light bulb is turned on, light moves away from it at speed $c$, by definition. When light from this bulb illuminates a surface, however, this illumination front is not constrained to move at speed $c$. A simple proof is given that…
We present an impossibility result, called a theorem about facts and words, which pertains to a general communication system. The theorem states that the number of distinct words used in a finite text is roughly greater than the number of…
The review presents the basics of quantum decision theory, with the emphasis on temporary processes in decision making. The aim is to explain the principal points of the theory. The difference of an operationally testable rational choice…
The idea of the Michelson-Morley experiment is theoretically reanalyzed. Elementary arguments are put forward to precisely derive the most general allowable form of the directional dependence of the one-way velocity of light.
Noncommutativity lays hidden in the proofs of classical dynamics. Modern frameworks can be used to bring it to light: *-products, groupoids, q-deformed calculus, etc.