paper-with-me

Papers

Falsification and consciousness

2020-04-07 · Johannes Kleiner, Erik Hoel

The search for a scientific theory of consciousness should result in theories that are falsifiable. However, here we show that falsification is especially problematic for theories of consciousness. We formally describe the standard experimental setup for testing these theories. Based on a theory's application to some physical system, such as the brain, testing requires comparing a theory's predicted experience (given some internal observables of the system like brain imaging data) with an inferred experience (using report or behavior). If there is a mismatch between inference and prediction, a theory is falsified. We show that if inference and prediction are independent, it follows that any minimally informative theory of consciousness is automatically falsified. This is deeply problematic since the field's reliance on report or behavior to infer conscious experiences implies such independence, so this fragility affects many contemporary theories of consciousness. Furthermore, we show that if inference and prediction are strictly dependent, it follows that a theory is unfalsifiable. This affects theories which claim consciousness to be determined by report or behavior. Finally, we explore possible ways out of this dilemma.

📄 PDF Abstract BibTeX arXiv:2004.03541

Code (0)

등록된 구현이 없습니다.

Tasks

Prediction

Similar Papers 제목 키워드 기반

No Substitute for Functionalism -- A Reply to 'Falsification & Consciousness'

2020-05-28 · Natesh Ganesh

In their paper 'Falsification and Consciousness' [1], Kleiner and Hoel introduced a formal mathematical model of the process of generating observable data from experiments and using that data to generate inferences and p…

valid

Formalizing Falsification for Theories of Consciousness Across Computational Hierarchies

2020-06-12 · Jake R. Hanson, Sara I. Walker

The scientific study of consciousness is currently undergoing a critical transition in the form of a rapidly evolving scientific debate regarding whether or not currently proposed theories can be assessed for their scien…

Data-Driven Falsification of Cyber-Physical Systems

2025-05-06 · Atanu Kundu, Sauvik Gon, Rajarshi Ray

Cyber-Physical Systems (CPS) are abundant in safety-critical domains such as healthcare, avionics, and autonomous vehicles. Formal verification of their operational safety is, therefore, of utmost importance. In this pap…

Adversarial AttackAutonomous Vehicles

Causality-Aided Falsification

2017-09-08 · Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsificat…

Stochastic Optimization

Parallel and Multi-Objective Falsification with Scenic and VerifAI

2021-07-09 · Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont 외

Falsification has emerged as an important tool for simulation-based verification of autonomous systems. In this paper, we present extensions to the Scenic scenario specification language and VerifAI toolkit that improve …