English
Related papers

Related papers: Intransitivity and Vagueness

200 papers

Our knowledge of quantum mechanics can satisfactorily describe simple, microscopic systems, but is yet to explain the macroscopic everyday phenomena we observe. Here we aim to shed some light on the quantum-to-classical transition as seen…

Quantum Physics · Physics 2020-08-14 Isadora Veeren , Fernando de Melo

Quantum correlations between two systems can be impaired by the presence of an environment, as it can make systems decohere. We wish to evaluate how much coherence has been irreversibly lost. To do so, we study two qubits which leak…

Quantum Physics · Physics 2016-01-25 Filippo M. Miatto , Kevin Piche , Thomas Brougham , Robert W. Boyd

The aim of this article is to generalize logics of formal inconsistency ($\textbf{LFI}$s) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible…

Logic · Mathematics 2022-02-23 Marcelo Esteban Coniglio , Guilherme Vicentin de Toledo

This article studies the emergence of ambiguity in communication through the concept of logical irreversibility and within the framework of Shannon's information theory. This leads us to a precise and general expression of the intuition…

Computation and Language · Computer Science 2013-10-02 Jordi Fortuny , Bernat Corominas-Murtra

We show that if a Lagrangian is invariant under a transformation (with the invariance defined in the standard manner), then the equations of motion obtained from it maintain their form under the transformation. We also show that the…

Classical Physics · Physics 2017-05-25 G. F. Torres del Castillo , A. Moreno-Ruiz

Predicting the evolution of a large system of units using its structure of interaction is a fundamental problem in complex system theory. And so is the problem of reconstructing the structure of interaction from temporal observations. Here,…

Statistical Mechanics · Physics 2025-02-10 Charles Murphy , Vincent Thibeault , Antoine Allard , Patrick Desrosiers

To understand and explain process behaviour we need to be able to see it, and decide its significance, i.e. be able to tell a story about its behaviours. This paper describes a few of the modelling challenges that underlie monitoring and…

Multiagent Systems · Computer Science 2019-07-26 Mark Burgess

The paper analizes a set of issues related to analogy and analogical reasoning, namely: 1) The problem of analogy and its duplicity; 2) The role of analogy in demonstrative reasoning; 3) The role of analogy in non-demonstrative reasoning;…

History and Overview · Mathematics 2008-10-29 Emiliano Ippoliti

The purpose of this letter is to show, on the one hand, how the so-called train paradox could be resolved directly without appealing to non-linear Lorentz transformations. The resolution is established in the most general case of…

Mathematical Physics · Physics 2009-11-10 M. Azreg-Ainou

In this note we advocate the notion of variety as juxtaposed to the notion of complexity. Laminar flows are complex, turbulence is various. When the gradients reach a critical point, laminar flows are subjected to instabilities and…

Fluid Dynamics · Physics 2021-03-30 Massimo Germano

This paper revisits Buridan's Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine's Insolubilia. Prompted by the occurrence of the paradox in Cervantes's…

History and Overview · Mathematics 2022-09-29 Paul Égré

We present a propositional logic %which can be used to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and…

Artificial Intelligence · Computer Science 2007-05-23 Joseph Y. Halpern , Riccardo Pucella

I want to show situations in which causal relation of two events is entangled and similar to time paradox, without employing time machines. Such situations will be obtained in measurement by two measurement devices moving mutually.…

Quantum Physics · Physics 2007-05-23 Narumi Ohkawa

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This…

Logic · Mathematics 2017-10-18 Tim Button

This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…

Logic in Computer Science · Computer Science 2025-09-03 Seth Bulin

Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over…

Optimization and Control · Mathematics 2026-03-18 Martin Dvorak , Vladimir Kolmogorov

We analyze the observability of motion estimates from the fusion of visual and inertial sensors. Because the model contains unknown parameters, such as sensor biases, the problem is usually cast as a mixed identification/filtering, and the…

Robotics · Computer Science 2015-04-28 Joshua Hernandez , Konstantine Tsotsos , Stefano Soatto

This paper investigates the problem of finding a preference relation on a set of acts from the knowledge of an ordering on events (subsets of states of the world) describing the decision-maker (DM)s uncertainty and an ordering of…

Artificial Intelligence · Computer Science 2013-02-08 Didier Dubois , Helene Fargier , Henri Prade

Indirect measurement can be used to read out the outcome of a quantum system without resorting to a straightforward approach, and it is the foundation of the measurement uncertainty relations that explain the incompatibility of conjugate…

Quantum Physics · Physics 2022-08-09 Ryo Mihashi , Yoshihiko Hasegawa

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…

Logic · Mathematics 2026-02-04 Martin Dietzfelbinger