Equivalence of grandfather and information antinomy under intervention

04/27/2020
by   Ämin Baumeler, et al.
0

Causal loops, e.g., in time travel, come with two main problems. Most prominently, the grandfather antinomy describes the potentiality to inconsistencies; a problem of logical nature. The other problem is called information antinomy and is lesser known. Yet, it describes a variant of the former: There are not too few consistent solutions—namely none—, but too many. At a first glance, the information antinomy does not seem as problematic as the grandfather antinomy, because there is no apparent logical contradiction. In this work we show that, however, both problems are equivalent under interventions: If parties can intervene in such a way that the information antinomy arises, then they can also intervene to generate a contradiction, and vice versa.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/14/2020

Logical characterizations of computational complexity classes

Descriptive complexity theory is an important area in the study of compu...
research
02/17/2018

Characterizing and Learning Equivalence Classes of Causal DAGs under Interventions

We consider the problem of learning causal DAGs in the setting where bot...
research
02/20/2023

Causal Razors

When performing causal discovery, assumptions have to be made on how the...
research
10/19/2020

Causal Geometry

Information geometry has offered a way to formally study the efficacy of...
research
02/16/2020

Relativity of Depth and Sophistication

Logical depth and sophistication are two quantitative measures of the no...
research
05/21/2023

Contrastive Learning with Logic-driven Data Augmentation for Logical Reasoning over Text

Pre-trained large language model (LLM) is under exploration to perform N...
research
10/10/2020

Defining Computer Art: Methods, Themes, and the Aesthetic Problematic

The application of computer technology in the field of art has given ris...

Please sign up or login with your details

Forgot password? Click here to reset