A Formalizable Proof of the No-Supervenience Theorem: A Diagonal Limitation on the Viability of Physicalist Theories of Consciousness

summary

Video file (mp4)

The gist

The gist: The proof demonstrates that any physicalist theory describing a self-aware, intelligent system must be internally inconsistent by showing that it implies an infinite number of

In short

The paper attempts to prove that any physicalist theory describing a self-aware, intelligent system must be internally inconsistent. It uses predicate modal logic and a specific inference device to show that if every mental process corresponds to a brain state, it leads to an infinite sequence of distinguishable brain states, which no physical system can accommodate.

Key concepts

No-Supervenience Theorem
This theorem sets limits on physicalist theories of consciousness by examining the general properties of sets of theories without considering the metaphysical qualities. It suggests that physical descriptions alone are insufficient to fully account for mental phenomena like self-awareness.
Predicate Modal Logic
The proof uses a restricted version of this logic to formally express epistemic inferences. This mathematical framework allows researchers to codify how an observer can infer things about real processes, even without explicitly interpreting the logic in a philosophical sense.
Wolpert Inference Device
This is a specific mathematical formalism used to represent an observer. It evolves into a special state only if the proposition 'p' is true. This device helps formalize how an observer's state relates to the truth of certain propositions within the system.

Terminology used across episodes

This episode discusses

The paper

A Formalizable Proof of the No-Supervenience Theorem: A Diagonal Limitation on the Viability of Physicalist Theories of Consciousness · Read on arXiv

The no-supervenience theorem limits the capacity of physicalist theories to provide a comprehensive account of human consciousness. The proof of the theorem is difficult to formalize because it relies on both alethic and epistemic notions of possibility. This article outlines a formalizable proof using predicate modal logic in which the epistemic inferences are expressed in terms of an existing mathematical formalism, the inference device (Wolpert, 2008). The resulting proof shows definitely that any physicalist theory which describes a self-aware, intelligent system must be internally inconsistent.

Transcript

Introduction to the show: ident: Genomics Radio. Generated commentary on the latest computational biology and genomics papers.

Ines: We're looking at the paper: "A Formalizable Proof of the No-Supervenience Theorem".

Marcus: Here's the gist of the paper. The gist: The proof demonstrates that any physicalist theory describing a self-aware, intelligent system must be internally inconsistent by showing that it implies an infinite number of distinguishable brain states, which no physical system can accommodate.

Ines: The no-supervenience theorem establishes constraints on theories of consciousness by examining the general properties of sets of theories without taking into account the metaphysical qualities associated with individual members of those sets.

Marcus: The proof is difficult to formalize because it relies on both alethic and epistemic notions of possibility, necessitating an adaptation of an existing mathematical formalism, the inference device (Wolpert, 2008).

Ines: This approach allows epistemic modal inferences to be codified formally in predicate modal logic without requiring an explicitly epistemic interpretation of modal logic.

Paper summary: Ines: So to recap this paper, "A Formalizable Proof of the No-Supervenience Theorem: A Diagonal Limitation on the Viability of Physicalist Theories of Consciousness", its main thesis is that physicalist theories about consciousness have a fundamental limit on how much they can explain about self-awareness and intelligence >

Marcus: They claim this limitation comes from the fact that they rely on both alethic and epistemic notions of possibility, which is why formalizing the proof was so hard >

Yuki: So, what this means for us is that if you try to make a complete physicalist account of consciousness, it will inevitably lead to an internal contradiction because the structure itself breaks down >

Ines: The paper outlines a proof using predicate modal logic where they express the epistemic inferences in terms of an existing mathematical formalism called the inference device, which makes it possible to show this limitation formally >

Marcus: The resulting proof definitely shows that any physicalist theory describing a self-aware intelligent system has to be internally inconsistent, and that’s why it matters so much >

Yuki: I guess the matter for us is that this isn't just about a small detail; it challenges the very notion of what constitutes a comprehensive physical description of consciousness >

Ines: It pushes back against theories that try to reduce everything to just brain states, showing that there’s an inherent gap when you try to map mental properties onto physical ones >

Marcus: And the paper uses this diagonal method, which is not common in analytic philosophy of mind, which is why it’s a bit different from what we usually see in those fields >

Conclusion: Ines: The paper, written by Cathy M Reason, deals with the no-supervenience theorem and uses a formalizable proof to show that physicalist theories about consciousness can’t be comprehensive >

Marcus: It boils down to this: if you assume consciousness maps perfectly onto physical processes in the brain, you get an infinite regress of necessary NCC states that a real system cannot handle >

Yuki: So what this implies for the world is that we probably need to accept that there’s something about consciousness that isn't just some physical state we can fully describe with physics right now >

Ines: Right, it suggests that perhaps there are aspects of human experience, like self-awareness, that are not purely determined by the neural correlates of consciousness in a way that fits current physicalist models >

Marcus: It’s about ruling out viable physicalist theories for consciousness because this formal proof shows they lead to contradictions when you try to make them too complete >

Yuki: So for someone listening, it means if you want to understand what makes us conscious, the answer might not be found solely within a detailed description of brain states >

More episodes

← Home