The physical reductive explainability of phenomenal consciousness and the logical impossibility of zombies Marco Giunti University of Cagliari (Italy)

Slides:



Advertisements
Similar presentations
Commentary on Katalin Balog, In defense of the phenomenal concept strategy Assistant Prof. István Aranyosi, Bilkent University, Ankara, Turkey.
Advertisements

Phenomenal Concepts and the Explanatory Gap
Joe Levines Purple Haze. Physical/Phenomenal Gaps P = the complete microphysical truth Q = a phenomenal truth Q1: Is there an epistemic gap between.
65,536 Definitions of Physicalism David J. Chalmers.
The Fregean Content of Perception. Varieties of Representationalism Representationalism: Phenomenal property = representing content C in manner M Pure.
TBA David Chalmers. Contingentism Can metaphysical truths be contingent? If so, which, and why?
Hyperintensionality and Impossible Worlds: An Introduction
Completeness and Expressiveness
Frank Jackson: What Mary Didn't Know
5.4 Basis And Dimension.
A semantic argument against the existence of universally held real properties Emanuel Rutten Faculty of Philosophy VU University.
Chapter 3 Direct Proof and Proof by Contrapositive
Possible World Semantics for Modal Logic
2005conjunctive-ii1 Query languages II: equivalence & containment (Motivation: rewriting queries using views)  conjunctive queries – CQ’s  Extensions.
Hoare’s Correctness Triplets Dijkstra’s Predicate Transformers
Inference and Reasoning. Basic Idea Given a set of statements, does a new statement logically follow from this. For example If an animal has wings and.
Ambiguous contents? Arvid Båve, Higher seminar in Theoretical Philosophy, FLoV, Gothenburg University, 8 May 2013.
Copyright © Cengage Learning. All rights reserved.
Discrete Mathematics I Lectures Chapter 6
Huiming Ren Shandong University of China. What we could learn from the case of veridical perceptions.
Copyright © Cengage Learning. All rights reserved.
Week 21 Basic Set Theory A set is a collection of elements. Use capital letters, A, B, C to denotes sets and small letters a 1, a 2, … to denote the elements.
EC941 - Game Theory Prof. Francesco Squintani Lecture 8 1.
Emulation, Reduction, and Emergence in Dynamical Systems Marco Giunti Università di Cagliari, Italy
Multiple Realizability, Qualia and Natural Kinds Dr. Andrew Bailey Philosophy Department University of Guelph Guelph, Ontario N1G 2W1, Canada
CMPT 354, Simon Fraser University, Fall 2008, Martin Ester 52 Database Systems I Relational Algebra.
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines Andreas Glausch and Wolfgang Reisig 1.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
Formalizing Alpha: Soundness and Completeness Bram van Heuveln Dept. of Cognitive Science RPI.
Common knowledge: application to distributed systems Caesar Ogole, Jan Gerard Gerrits, Harrie de Groot, Julius Kidubuka & Stijn Colen.
The “Explanatory Gap” Where it is said that identity theory is not necessary false, but merely unknowable.
1 Category Theory in a ( E,M ) -category Some aspects of category theory, in particular related to universality, can be developed in any finitely complete.
Introduction to AEP In information theory, the asymptotic equipartition property (AEP) is the analog of the law of large numbers. This law states that.
Copyright © Cengage Learning. All rights reserved. CHAPTER 11 ANALYSIS OF ALGORITHM EFFICIENCY ANALYSIS OF ALGORITHM EFFICIENCY.
Introduction to Proofs
Intro. to Logic CS402 Fall Propositional Calculus - Semantics (2/3) Propositional Calculus - Semantics (2/3) Moonzoo Kim CS Division of EECS Dept.
Discrete dynamical systems and intrinsic computability Marco Giunti University of Cagliari, Italy
The Integers. The Division Algorithms A high-school question: Compute 58/17. We can write 58 as 58 = 3 (17) + 7 This forms illustrates the answer: “3.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Number Theory Project The Interpretation of the definition Andre (JianYou) Wang Joint with JingYi Xue.
Copyright © Cengage Learning. All rights reserved. CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS THE LOGIC OF QUANTIFIED STATEMENTS.
GRAPHS THEROY. 2 –Graphs Graph basics and definitions Vertices/nodes, edges, adjacency, incidence Degree, in-degree, out-degree Subgraphs, unions, isomorphism.
Mathematical Induction
Section 2.3 Properties of Solution Sets
LDK R Logics for Data and Knowledge Representation PL of Classes.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
Theory and Applications
Copyright © Cengage Learning. All rights reserved.
Lecture 4: Predicates and Quantifiers; Sets.
A Logic of Partially Satisfied Constraints Nic Wilson Cork Constraint Computation Centre Computer Science, UCC.
Levels of reality, realization and reduction: A dynamical outlook Marco Giunti University of Cagliari, Italy
LDK R Logics for Data and Knowledge Representation ClassL (Propositional Description Logic with Individuals) 1.
Lecture 2 (Chapter 2) Introduction to Semantics and Pragmatics.
LDK R Logics for Data and Knowledge Representation ClassL (part 2): Reasoning with a TBox 1.
Quantum Two 1. 2 Angular Momentum and Rotations 3.
Functions (Mappings). Definitions A function (or mapping)  from a set A to a set B is a rule that assigns to each element a of A exactly one element.
Basic probability Sep. 16, Introduction Our formal study of probability will base on Set theory Axiomatic approach (base for all our further studies.
Basic Probability. Introduction Our formal study of probability will base on Set theory Axiomatic approach (base for all our further studies of probability)
This week’s aims  To test your understanding of substance dualism through an initial assessment task  To explain and analyse the philosophical zombies.
Chapter 2 Sets and Functions.
Functions of Complex Variable and Integral Transforms
Copyright © Cengage Learning. All rights reserved.
The zombie argument: responses
Michael Lacewing The zombie argument Michael Lacewing
EPISTEMIC LOGIC.
Quantum One.
Logics for Data and Knowledge Representation
Logics for Data and Knowledge Representation
On Kripke’s Alleged Proof of Church-Turing Thesis
Presentation transcript:

The physical reductive explainability of phenomenal consciousness and the logical impossibility of zombies Marco Giunti University of Cagliari (Italy) Paper (Zombies cannot be there) available at

Two concepts of reduction [1/21] Ontological reduction Facts of type T 1 (which hold in world w) do not exist independently of facts of type T 0 (which hold in the same world w). Epistemic reduction (or Reductive explanation) Facts of type T 1 (which hold in world w) are reductively explained by facts of type T 0 (which hold in the same world w).

How can we analyze either concept of reduction? [2/21] Standard answer By means of a relationship of entailment between types of facts or, equivalently, a relationship of supervenience between the corresponding types of properties. 1 Note Entailment between facts and supervenience between properties are interdefinable. Therefore, we can choose either concept as primitive. I choose the first one for convenience.

What is entailment between types of facts? [3/21] Standard answer It is the implication that holds in virtue of the meanings, or the intensions, of the properties involved in such types of facts. Since we can distinguish several different kinds of intensions, 1 we obtain a corresponding entailment for each kind. As a consequence, we get different analyses of ontological or epistemic reduction depending on which entailment is taken be appropriate.

What is my position on the analysis of ontological or epistemic reduction? [4/21] I just maintain that, probably, some kind of entailment is needed for an adequate analysis of ontological reduction. I am more doubtful about epistemic reduction. Epistemic reduction might be better analyzed in terms of representation relationships between models (isomorphisms, homomorphisms, or other concepts of a similar sort, like emulation or realization between dynamical systems).

Distinction between phenomenal and psychological consciousness [5/21] Let us stipulate that F* stands for the set of all physical facts that hold in the actual world w*, and CF* for the set of all phenomenal facts that hold in w*; I also call the latter set phenomenal consciousness (in the actual world). “First-person fact of consciousness”, “internal fact of consciousness”, and “conscious experience” are three synonyms for “phenomenal fact”. “Third-person fact of consciousness”, “external fact of consciousness”, and “conscious function” are three synonyms for “psychological fact”. Let us finally stipulate that CP* stands for the set of all psychological facts that hold in the actual world; I also call the latter set psychological consciousness (in the actual world).

What is my position on entailment between F* and CF*? [6/21] My view does not depend on any specific entailment. Terminology – Let us indicate with I an arbitrary kind of intensions and with |= I the corresponding entailment. My thesis on entailment between F* and CF* can be expressed as follows: Logical thesis – for any kind of intensions I, if F* |= I CP*, then F* |= I CF*. From the logical thesis, we obtain the following corollary. Philosophical thesis – if there is an adequate analysis of reduction (ontological or epistemic) in terms of some notion of entailment, then, if CP* is reducible to F* (ontologically or epistemically), CF* is reducible to F* as well (ontologically or epistemically).

How do I argue for either thesis? [7/21] My strategy consists of the following three steps. 1.Set up a formal possible world ontology where we can represent or express intensions of any kind, and thus any notion of entailment between types of facts. 2.Show how, within this ontology (equipped with  - abstraction), we can give a formal explication for each of the two concepts: (i) internal fact of consciousness (or conscious experience); (ii) external fact of consciousness (or conscious function). 3.On the basis of this analysis, prove that the two concepts individuate the same set of facts, i.e. prove that phenomenal consciousness is identical to psychological consciousness.  Both the logical and the philosophical theses are immediate consequences of 3.

What about zombies? [8/21] An easy consequence of the logical thesis is: Chalmers’ dilemma (logical version) – for any kind of intensions I, if F* |= I CP*, then a zombie copy of the actual world does not exist. 1 Also note that, from the logical version of Chalmers’ dilemma, it immediately follows: Chalmers’ dilemma (philosophical version) – if there is an adequate analysis of reduction (ontological or epistemic) in terms of some notion of entailment, then, if CP* is reducible to F* (ontologically or epistemically), a zombie copy of the actual world does not exist.

Step 1 – The formal ontology (1/4) Axioms [9/21] An intensional ontology is a structure (D, P, W, w*) that satisfies the following four axioms. 1.D is a non empty set; D is called domain; 2.P is a non empty set; each element of P is an ordered pair (P, n) such that 1  n; any such pair is indicated with the notation P n ; every element of P is called a property; the number n is called its arity (or its number of places). 3.W is a set of functions; each of them, to any property P n  P, associates a set {(x 1, …, x n )} of n-tuples of elements of D; every function w  W is called a possible world; the set of n-tuples assigned by w to P n is called the extension of P n in world w; 4.w*  W; w* is called the actual world.

Step 1 – The formal ontology (2/4) [10/21] It is then clear that any kind of intensions I can be expressed or represented within this formal ontology, for each I determines a specific model of this theory. 1 Given an arbitrary intensional ontology, we can then define facts, their holding in a world, and the entailment relationship relative to the given ontology.

Step 1 – The formal ontology (3/4) Definitions [11/21] Def. 1 [fact, predicate, subject] f is a fact iff: f is an ordered pair of the type (P n, (x 1, …, x n )), where P n  P and (x 1, …, x n ) is an n-tuple (n  1) of elements of D; the property P n is called the predicate of f; the n-tuple (x 1, …, x n ) is called the subject of f; we write for brevity P n (x 1, …, x n ) instead of (P n, (x 1, …, x n )).

Step 1 – The formal ontology (4/4) Definitions [12/21] Def. 2 [holding in a world] f holds in w iff: f = P n (x 1, …, x n ) is a fact, w  W, and (x 1, …, x n )  w(P n ). Def. 3 [entailment between sets of facts] F 1 |= F 2 iff: for any w  W, if for any f 1  F 1, f 1 holds in w, then for any f 2  F 2, f 2 holds in w.

Step 2 (1/7) – Formal explication The analysis strategy [13/21] INTERNAL FACT OF CONSCIOUSNESS INTERNAL FACT OF CONSCIOUSNESS FOR SOMEONE INTERNAL FACT FOR SOMEONE FACT OF CONSCIOUSNESS EXTERNAL FACT OF CONSCIOUSNESS EXTERNAL FACT OF CONSCIOUSNESS FOR SOMEONE FACT OF CONSCIOUSNESS EXTERNAL FACT FOR SOMEONE

Step 2 (2/7) – What is an internal or an external fact for someone? [14/21] The fact f = George is running is an experience (internal fact) for George, but f is an external fact for anybody else. Why? Because George, and nobody else, is the subject of the fact, i.e., only George is located internally to f in the role of bearer of the predicate of f. Thus, let us define: Def. 4 f is an internal fact for x iff: f is a fact and x is the subject of f. Def. 5 f is an external fact for x iff: f is a fact and x is not the subject of f and, for some n, x is an n ‑ tuple of elements of D.

Step 2 (3/7) – What is a fact of consciousness? [1/3] [15/21] Typical examples 1.Mary is conscious of her running; 2.Mary is conscious of John’s speaking. Note Mary is seeing a red spot is not a typical example, because in this case the logical form of the fact of consciousness is disguised. 1 By observing the two typical examples, we notice: i.in each of them, the binary property x is conscious of f occurs; this is a relation between an element x of the domain and a fact f; ii.the subject of each fact of consciousness is x (Mary in the examples).

Step 2 (4/7) – What is a fact of consciousness? [2/3] [16/21] To formalize the examples so that conditions i and ii be satisfied, we need I.a binary property C, for which we assume that it may only hold between elements of the domain and facts (axiom 5). Intuitively, C is to be identified with the relationship being conscious of; II.the abstraction operation ; is governed by straightforward adaptations of two standard principles of the ‑ calculus (axiom 6 – abstraction, and axiom 7 – instantiation).

Step 2 (5/7) – What is a fact of consciousness? [3/3] [17/21] By employing C and, we get: Mary is conscious of her running = [ (m)C(m, f 0 )](m), where f 0 = Mary is running = R(m); the form of this fact satisfies i and ii. Intuitively, the facts of consciousness are all those facts with a form like the one of the fact above. Let us thus define: Def. 6 f is a fact of consciousness iff: there is x  D, there is a fact f 0, such that f = [ (x)C(x, f 0 )](x).

Step 2 (6/7) – What is an internal or an external fact of consciousness for someone? [18/21] Def. 7 f is an internal fact of consciousness for x iff: f is an internal fact for x and f is a fact of consciousness. Def. 8 f is an external fact of consciousness for x iff: f is an external fact for x and f is a fact of consciousness.

Step 2 (7/7) – What is an internal or an external fact of consciousness? [19/21] Def. 9 f is an internal fact of consciousness iff: there is x such that f is an internal fact of consciousness for x. Def. 10 f is an external fact of consciousness iff: there is x such that f is an external fact of consciousness for x.

Step 3 (1/2) – The proof that CF* = CP* [20/21] Suppose f is an internal fact of consciousness. Then, by def. 9, 7 and 4, f is a fact and f is a fact of consciousness. Since f is a fact, let x be its subject. Then, by def. 5, f is an external fact for the pair (x, x). Since f is a fact of consciousness, it follows from def. 8 that f is an external fact of consciousness for the pair (x, x). Therefore, by def. 10, f is an external fact of consciousness. Hence, CF*  CP*.

Step 3 (2/2) – The proof that CF* = CP* [21/21] Conversely, suppose f is an external fact of consciousness. Then, by def. 10, 8 and 5, f is a fact and f is a fact of consciousness. Since f is a fact, let x be its subject. Then, by def. 4, f is an internal fact for x. Since f is a fact of consciousness, it follows from def. 7 that f is an internal fact of consciousness for x. Therefore, by def. 9, f is an internal fact of consciousness. Hence, CP*  CF*. Q.E.D.

That’s all Thank you

Three main kinds of intensions, and corresponding entailments [1A/4] 1.A ‑ priori intensions – the primary intensions in Chalmers’ sense, indicated by I 1 ; A ‑ priori entailment – indicated by |= 1. 2.Weak a ‑ posteriori intensions – the secondary intensions in Chalmers’ or Kripke’s sense, indicated by I 2 ; Weak a ‑ posteriori entailment – indicated by |= 2. 3.Strong a ‑ posteriori intensions – they determine strong metaphysical necessities and cannot be described within Chalmers’ two dimensional framework. Indicated by I 3 ; Strong a ‑ posteriori entailment – indicated by |= 3.

Different analyses of ontological or epistemic reduction depending on which entailment is taken be appropriate [2A/4]

Does physics entail phenomenal consciousness? Different answers depending on the kind of entailment [3A/4]

Analysis of sensory facts of consciousness [4A/4]  Mary is seeing a red spot =  Mary is conscious of her being in neurophysiologic state r =  [(m)C(m, f 0 )](m), where  f 0 = Mary is in neurophysiologic state r = [(m)S(m, r)](m)