Physicalism Feb , 2014

Size: px
Start display at page:

Download "Physicalism Feb , 2014"

Transcription

1 Physicalism Feb , 2014

2 Overview I Main claim Three kinds of physicalism The argument for physicalism Objections against physicalism Hempel s dilemma The knowledge argument Absent or inverted qualia

3 Review 3 main theories in the philosophy of mind literature: 1 Substance dualism Plato, Descartes: there are two kinds of substances: spiritual and physical (soul and body), and one can exist without the other. 2 Physicalism especially in the 20th century 3 Hylomorphism Aristotle, Middle Ages

4 Physicalism: Main Claim Main Claim of Physicalism: Everything is physical; everything can be exhaustively described and explained by physics. A form of monism (= there is one kind of entities) Everything = every feature of every individual; all the individual s behavior. All the entities that exist are physical entities the fundamental physical particles or materials that are described by physics. Exhaustively = the physical explanation leaves out nothing.

5 Implications of Physicalism If physicalism is true... Persons, if they exist, are either fundamental physical particles, or else collections of fundamental physical particles. Their behavior can be exhaustively described and explained by physics. A description of all positions and properties of all the fundamental physical particles that exist would provide a complete description of everything even though it never mentioned the di erence between living things and nonliving ones, or mental beings and nonmental ones. Thus, if there were a Super-physicist somewhere in the universe, who knew all but only the physical facts, he would know everything.

6 Three Kinds of Physicalism They di er in how they understand the relation of psychological descriptions and explanations to physical ones. 1 Eliminative physicalism: Psychological descriptions are all false. In reality, there are no mental states; psychological talk is just gibberish. Everyday talk about your feelings, desires is like talk about the Greek god Zeus when trying to predict the wheather. 2 Reductive physicalism: Some psychological descriptions are true: they directly correspond to physical descriptions. Mental states are really just physical states (e.g., states of the brain) Your beliefs and desires have physical features. 3 Non-reductive physicalism: Some psychological descriptions are true, but they do not correspond directly to physical descriptions. Mental states are part of an abstract way of describing physical states. Psychological descriptions do not have real explanatory value.

7 A few things to note: All physicalists agree that all things are physical (including non-reductive physicalists) This means that if you are a physicalist, there is no separate realm of the mental (this why it is a monist theory, as opposed to a dualism) Do you have souls, according to the physicalist? Well, it depends which kind of physicalist you ask. Eliminativist: No. Reductivist: Yes; it is physical, and you should talk about it in physical terms. Non-Reductivist: Yes; it is physical. You can talk about it in non-physical terms, but that will not add to the entities you have in physics.

8 Reduction vs. Non-Reduction Reduction: The ability of one theory to take over the descriptive and explanatory jobs of another theory. If T a takes over the descriptive and explanatory jobs of T b,thent b is reducible to T a. We use theories to describe and explain things to perform various descriptive and explanatory jobs. Sometimes in the course of scientific progress one theory takes over the descriptive and explanatory jobs of another theory. (E.g., Kepler s laws of planetary motion were reduced to Newtonian mechanics; physical optics was reduced to electromagnetic theory.)

9 Reduction vs. Non-Reduction Will ordinary psychological discourse be reduced to neuroscience? Reductive physicalism: YES. Caesar and the Rubicon Suppose we use psychological discourse to explain why Caesar crossed the Rubicon: Caesar crossed the Rubicon because he wanted to maintain political power, and believed marching on Rome the best means of maintaining it. According to the reductive physicalist: Wanting to maintain political power = Brain State A; Believing that marching on Rome is the best means of securing political power = Brain State B; Crossing the Rubicon = Muscular Contractions C. Thus, we can replace our explanation with this one: Caesar was in Brain States A and B, and whenever these brain states occur, they typically cause Muscular Contractions C.

10 Reduction vs. Non-Reduction Will ordinary psychological discourse be reduced to neuroscience? Nonreductive physicalism: NO. Psychological discourse satisfies special descriptive and explanatory interests. Therefore, physics, chemistry, neuroscience, and other branches of science cannot take over the descriptive and explanatory jobs we use psychological discourse to perform. But note: Nonreductive physicalism is still a form of physicalism. It does not say that psychological discourse describes something nonphysical. When we describe things psychologically, we are just describing them abstractly, using di erent terms. Analogy: if we describe juniors and seniors as upperclassmen, we are not describing any entities in addition to the juniors and seniors. We are simply describing the junior and seniors using a di erent term.

11 The Argument for Physicalism Physicalists agree and take it for granted that science is our best means to get to reality. The Argument for Physicalism: P In the past, whenever people have tried to explain things by appeal to nonphysical entities, those explanations failed, and by contrast a physical explanation succeeded. ) Therefore, whenever people try to explain things by appeal to nonphysical entities, those explanations will fail, and by contrast physical explanations will succeed.

12 The Argument for Physicalism The form of the argument: Inductive Justification for the premise: Examples from the history of science. Explaining magnetism non-physical spirits = electromagnetic force Explaining the movements of the planets by non-physical minds = gravitational force Explaining abnormal human behavior by non-physical demons = abnormalities of the brain In all of these cases, the failed nonphysical explanation was replaced by a successful physical one; thus, we have good reason to think that nonphysical explanations will always fail, and that physical explanations will always succeed.

13 Objections Against Physicalism 3 main objections: 1 Hempel s dilemma 2 The knowledge argument 3 The argument from absent or inverted qualia

14 Hempel s Dilemma Carl Gustav Hempel ( ) Philosopher of science, logical empiricism Born in Germany; fled to the US, taught at Yale, Princeton Interested in philosophy of mathematics, nature of scientific explanation Best known for the Hempel s dilemma, and the Raven paradox

15 Hempel s Dilemma Hempel s Dilemma P 1 Physicalists must define physics either relative to a preliminary stage of its development or relative to the final, ideal stage of its development. P 2 If physicalists define physics relative to a preliminary stage of its development, then physicalism is false. P 3 If physicalists define physics relative to the final, ideal stage of its development, then physicalism is lacking in content (we do not even know what it is saying). ) Either physicalism is false, or else physicalism is lacking in content.

16 Hempel s Dilemma Form of the argument: Destructive dilemma (valid) Justification for the premises: P 1 : Sciences, including physics, develop in two stages: a preliminary stage when theories are advanced, falsified, and replaced by more accurate theories, and a final, ideal stage when the most accurate, unrevisable theory has been achieved. But if sciences progress in two stages, then physicalists must define physics relative to one stage or the other. Therefore, physicalists must define physics either relative to a preliminary stage of its development or relative to the final, ideal stage.

17 Hempel s Dilemma Justification for the premises: P 2 : If physicalists define physics relative to a preliminary stage of its development, then physicalism is the claim that everything can be exhaustively described and explained by that preliminary stage of physics. But not everything can be exhaustively described and explained by a preliminary stage of physics (this is why it is a preliminary stage it is partly false!). Therefore, physicalism is false.

18 Hempel s Dilemma Justification for the premises: P 3 : If physicalists define physics relative to the final, ideal stage of its development, then physicalism is the claim that everything can be exhaustively described and explained by the final, ideal stage of physics. But we do not know what the final, ideal stage of physics says (we are not there yet). Therefore, we do not know what physicalism says (the claim lacks content).

19 Hempel s Dilemma Hempel s Dilemma P 1 Physicalists must define physics either relative to a preliminary stage of its development or relative to the final, ideal stage of its development. P 2 If physicalists define physics relative to a preliminary stage of its development, then physicalism is false. P 3 If physicalists define physics relative to the final, ideal stage of its development, then physicalism is lacking in content (we do not even know what it is saying). ) Either physicalism is false, or else physicalism is lacking in content.

20 Hempel s Dilemma

21 The Knowledge Argument A further argument against physicalism. The Knowledge Argument P 1 If physicalism is true, then all facts are physical facts. P 2 But not all facts are physical facts. ) Therefore, physicalism is false. Form of the argument: Modus tollens (valid) Justification for the premises: P 1 : A fact is what corresponds to a proposition; if everything can be described by physics, that means that all facts are physical facts.

22 The Knowledge Argument Argument for P 2 : 2 i If it is possible to know all the physical facts without knowing all the facts, then not all facts are physical facts. 2 ii But is possible to know all the physical facts without knowing all the facts. P 2 Therefore, not all facts are physical facts.

23 The Knowledge Argument But why accept 2 ii? Conceivability-possibility principle: if I can imagine such a case (when someone knows all the physical facts, but not all the facts), then it is possible. Thought experiment for 2 ii : Mary s case Mary knows all the physical facts, yet she has never experienced color. She learns a new fact when she experiences color for the first time (e.g., sees a ripe tomato). But, of course, it is not possible for someone to learn what he or she already knows. Thus, in this case, we imagined a case when Mary knew all the physical facts, yet there was something she did not know.

24 The Knowledge Argument Summary Mary s example: we can imagine a case when someone knows all physical facts and yet does not know all the facts. = (conceivability-possibility principle) = It is possible that someone knows all the physical facts and yet does not know all the facts. = Not all facts are physical facts. = Therefore, physicalism is false.

25 Absent or Inverted Qualia Qualia = the subjective quality of experience; e.g., what it is like to see red. The Argument from Absent or Inverted Qualia P 1 If it is possible that your physical replica has absent or inverted qualia, then physicalism is false. P 2 But it is possible that your physical replica has absent or inverted qualia. ) Therefore, physicalism is false. Form of the argument: Modus ponens (valid)

26 Absent or Inverted Qualia Justification for P 1 : 1 i If physicalism is true, then either (a) qualia do not exist, or (b) qualia are physical things. 1 ii But qualia do exist (we know it from experience). 1 iii Therefore, if physicalism is true, qualia are physical things. [From 1 i,1 ii ] 1 iv If qualia are physical things, then your physical replica could not have absent or inverted qualia. [From the definition of physical replica ] 1 v Therefore, if physicalism is true, then your physical replica could not have absent or inverted qualia. [From 1 iii,1 iv ] P 1 If your physical replica could have absent or inverted qualia, then physicalism is false. [Contraposition from 1 v ]

27 Absent or Inverted Qualia Justification for P 2 : Conceivability-possibility principle; I can imagine such a situation, therefore, it is possible. Qualia Inverted qualia Absent qualia

28 Absent or Inverted Qualia Summary I can imagine that my physical replica has absent qualia Therefore, qualia cannot be physical But if physicalism is true, qualia are physical Therefore, physicalism is false.

The paradox of knowability, the knower, and the believer

The paradox of knowability, the knower, and the believer The paradox of knowability, the knower, and the believer Last time, when discussing the surprise exam paradox, we discussed the possibility that some claims could be true, but not knowable by certain individuals

More information

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2014

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2014 Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #19: Logic and the Philosophy of Science Marcus, Symbolic Logic, Fall 2014: Logic and the Philosophy of Science, Slide 1 Three

More information

Philosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms

Philosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms Philosophy 5340 Epistemology Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms Part 2: Theoretical Terms 1. What Apparatus Is Available for Carrying out Analyses?

More information

Introduction to Proofs

Introduction to Proofs Introduction to Proofs Many times in economics we will need to prove theorems to show that our theories can be supported by speci c assumptions. While economics is an observational science, we use mathematics

More information

Manual of Logical Style (fresh version 2018)

Manual of Logical Style (fresh version 2018) Manual of Logical Style (fresh version 2018) Randall Holmes 9/5/2018 1 Introduction This is a fresh version of a document I have been working on with my classes at various levels for years. The idea that

More information

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv + 408 pages by Bradley Monton June 24, 2009 It probably goes without saying that

More information

Is Mind-Brain Interactionism really in trouble?

Is Mind-Brain Interactionism really in trouble? "There once was a ghost who opened Einstein's office door... in doing this he thought he could disprove the conservation of energy law." 1 Did he? The law of conservation of energy-mass has had quite an

More information

Manual of Logical Style

Manual of Logical Style Manual of Logical Style Dr. Holmes January 9, 2015 Contents 1 Introduction 2 2 Conjunction 3 2.1 Proving a conjunction...................... 3 2.2 Using a conjunction........................ 3 3 Implication

More information

The History of Astronomy

The History of Astronomy The History of Astronomy http://www.phys.uu.nl/~vgent/babylon/babybibl_intro.htm http://mason.gmu.edu/~jmartin6/howe/images/pythagoras.jpg http://www.russellcottrell.com/greek/aristarchus.htm http://www.mesopotamia.co.uk/astronomer/homemain.html

More information

Scientific Explanation- Causation and Unification

Scientific Explanation- Causation and Unification Scientific Explanation- Causation and Unification By Wesley Salmon Analysis by Margarita Georgieva, PSTS student, number 0102458 Van Lochemstraat 9-17 7511 EG Enschede Final Paper for Philosophy of Science

More information

1 Multiple Choice. PHIL110 Philosophy of Science. Exam May 10, Basic Concepts. 1.2 Inductivism. Name:

1 Multiple Choice. PHIL110 Philosophy of Science. Exam May 10, Basic Concepts. 1.2 Inductivism. Name: PHIL110 Philosophy of Science Exam May 10, 2016 Name: Directions: The following exam consists of 24 questions, for a total of 100 points with 0 bonus points. Read each question carefully (note: answers

More information

On the scope of diagonal argument and on contradictory equivalence.

On the scope of diagonal argument and on contradictory equivalence. Daniil Teplitskiy, Russia, Saint Petersburg PSI Co. Ltd. 24JUN2011 To my teachers and good people Isaak Perchenok and Rustem Valeyev. To my friend Aleksey Kiselev whose intellectual paradigm underlies

More information

The grand theory of astrology

The grand theory of astrology Astrology for Aquarius Sharing our Knowledge Hermetic astrology The grand theory of astrology The Brotherhood of Light The grand theory of astrology The Brotherhood of Light 1 Introduction Astrology was

More information

First-Degree Entailment

First-Degree Entailment March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?

More information

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona In my Remarks on Stoic Logic that I wrote for you last year, I mentioned Diodorus Cronus s trilemma,

More information

Deductive and Inductive Logic

Deductive and Inductive Logic Deductive Logic Overview (1) Distinguishing Deductive and Inductive Logic (2) Validity and Soundness (3) A Few Practice Deductive Arguments (4) Testing for Invalidity (5) Practice Exercises Deductive and

More information

1. Propositions: Contrapositives and Converses

1. Propositions: Contrapositives and Converses Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement

More information

Is There Any Evidence for a Creator in the Universe?

Is There Any Evidence for a Creator in the Universe? Is There Any Evidence for a Creator in the Universe? By Claude LeBlanc, M.A., Magis Center, 2016 Opening Prayer Father, you give us the ability to learn about the world you created. Through our senses

More information

dualism General Problem: What are these two substances and how do they relate?

dualism General Problem: What are these two substances and how do they relate? Benjamin Stucky dualism matter mind General Problem: What are these two substances and how do they relate? substance dualism interactionism matter mind substance dualism interactionism René Descartes cogito

More information

Induction, confirmation, and underdetermination

Induction, confirmation, and underdetermination Induction, confirmation, and underdetermination Christian Wüthrich http://philosophy.ucsd.edu/faculty/wuthrich/ 145 Philosophy of Science The Mother of All Problems... Hume s problem of induction A brief

More information

Vocabulary atom atomos Dalton's atomic theory law of constant composition law of definite proportions law of multiple proportions matter.

Vocabulary atom atomos Dalton's atomic theory law of constant composition law of definite proportions law of multiple proportions matter. 1.3 Early Atomic Theory Lesson Objectives The student will: define matter and explain how it is composed of building blocks known as atoms. give a short history of how the concept of the atom developed.

More information

Capturing Lewis s Elusive Knowledge

Capturing Lewis s Elusive Knowledge Zhaoqing Xu Department of Philosophy, Peking University zhaoqingxu@gmail.com September 22, 2011 1 Introduction 2 Philosophical Background Dretske s Relevant Alternatives Theory Lewis s Elusive Knowledge

More information

THE INFERNAL COLOPATIRON 1: THEOPHANY. Theophany: Noun. 1. A visible manifestation to humankind of God or a god.

THE INFERNAL COLOPATIRON 1: THEOPHANY. Theophany: Noun. 1. A visible manifestation to humankind of God or a god. 1: THEOPHANY Theophany: Noun. 1. A visible manifestation to humankind of God or a god. Theophany is a manifestation. Not a manifestation in the metaphoric sense. For example, to manifest God in all things,

More information

Chapter 2: The Logic of Quantified Statements

Chapter 2: The Logic of Quantified Statements Chapter 2: The Logic of Quantified Statements Topics include 2.1, 2.2 Predicates and Quantified Statements, 2.3 Statements with Multiple Quantifiers, and 2.4 Arguments with Quantified Statements. cs1231y

More information

Linear Algebra Fall mathx.kaist.ac.kr/~schoi/teaching.html.

Linear Algebra Fall mathx.kaist.ac.kr/~schoi/teaching.html. Linear Algebra Fall 2013 mathx.kaist.ac.kr/~schoi/teaching.html. Course HPs klms.kaist.ac.kr: some announcements, can ask questions here, also link to my page. Also, grades for quizzes and exames. math.kaist.ac.kr/~schoi:

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment

More information

ALBERT EINSTEIN AND THE FABRIC OF TIME by Gevin Giorbran

ALBERT EINSTEIN AND THE FABRIC OF TIME by Gevin Giorbran ALBERT EINSTEIN AND THE FABRIC OF TIME by Gevin Giorbran Surprising as it may be to most non-scientists and even to some scientists, Albert Einstein concluded in his later years that the past, present,

More information

Formal Logic. Critical Thinking

Formal Logic. Critical Thinking ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,

More information

21 Evolution of the Scientific Method

21 Evolution of the Scientific Method Birth of the Scientific Method By three methods we may learn wisdom: First, by reflection, which is noblest; Second, by imitation, which is easiest; and third by experience, which is the bitterest. Confucius

More information

3 The Semantics of the Propositional Calculus

3 The Semantics of the Propositional Calculus 3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical

More information

Lecture 12: Arguments for the absolutist and relationist views of space

Lecture 12: Arguments for the absolutist and relationist views of space 12.1 432018 PHILOSOPHY OF PHYSICS (Spring 2002) Lecture 12: Arguments for the absolutist and relationist views of space Preliminary reading: Sklar, pp. 19-25. Now that we have seen Newton s and Leibniz

More information

The Cycloid. and the Kinematic Circumference. by Miles Mathis

The Cycloid. and the Kinematic Circumference. by Miles Mathis return to updates The Cycloid and the Kinematic Circumference First published August 31, 2016 by Miles Mathis Those of you who have read my papers on π=4 will know I have explained that problem using many

More information

Russell s logicism. Jeff Speaks. September 26, 2007

Russell s logicism. Jeff Speaks. September 26, 2007 Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................

More information

Ontology. Ontology: the study of being. Guiding ques5ons:

Ontology. Ontology: the study of being. Guiding ques5ons: Ontology Ontology: the study of being. Guiding ques5ons: What kinds of things are there? For each kind of thing, how can we best explain its nature? OAen, it seems the best way to answer the previous ques5on

More information

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC)

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC) Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras Lecture - 15 Propositional Calculus (PC) So, now if you look back, you can see that there are three

More information

Solving with Absolute Value

Solving with Absolute Value Solving with Absolute Value Who knew two little lines could cause so much trouble? Ask someone to solve the equation 3x 2 = 7 and they ll say No problem! Add just two little lines, and ask them to solve

More information

COPYRIGHTED MATERIAL. Table of Contents. xix. List of Figures xv Acknowledgments. Introduction 1. Part I: Fundamental Issues 5

COPYRIGHTED MATERIAL. Table of Contents. xix. List of Figures xv Acknowledgments. Introduction 1. Part I: Fundamental Issues 5 vii Table of Contents List of Figures xv Acknowledgments Introduction 1 xix Part I: Fundamental Issues 5 1 Worldviews 7 Aristotle s Beliefs and the Aristotelian Worldview 7 Aristotle s beliefs 8 The Aristotelian

More information

Valid Reasoning. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, Outline Truth and Validity Valid Reasoning

Valid Reasoning. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, Outline Truth and Validity Valid Reasoning Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer Reasoning... 1/23 1 Truth is not the same as Validity 2 Alice E. Fischer Reasoning... 2/23 Truth is not the

More information

An Ontology Diagram for Coordination of the Hylomorphically Treated Entities

An Ontology Diagram for Coordination of the Hylomorphically Treated Entities An Ontology Diagram for Coordination of the Hylomorphically Treated Entities Algirdas [0000-0001-6712-3521] Vilnius University, Vilnius, Universiteto g. 3, LT-01513, Lithuania algirdas.budrevicius@kf.vu.lt

More information

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................

More information

Chapter 1 Elementary Logic

Chapter 1 Elementary Logic 2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help

More information

FIRST PUBLIC EXAMINATION. Preliminary Examination in Philosophy, Politics and Economics INTRODUCTION TO PHILOSOPHY LONG VACATION 2014

FIRST PUBLIC EXAMINATION. Preliminary Examination in Philosophy, Politics and Economics INTRODUCTION TO PHILOSOPHY LONG VACATION 2014 CPPE 4266 FIRST PUBLIC EXAMINATION Preliminary Examination in Philosophy, Politics and Economics INTRODUCTION TO PHILOSOPHY LONG VACATION 2014 Thursday 4 September 2014, 9.30am - 12.30pm This paper contains

More information

Ibn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011

Ibn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011 1 Ibn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011 http://wilfridhodges.co.uk 2 WESTERN LOGIC THE BIG NAMES Latin line through Boethius

More information

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when

More information

Galileo Galilei. Trial of Galileo before the papal court

Galileo Galilei. Trial of Galileo before the papal court Rene Descartes Rene Descartes was a French philosopher who was initially preoccupied with doubt and uncertainty. The one thing he found beyond doubt was his own experience. Emphasizing the importance of

More information

Department of Philosophy TCD. Is Physicalism the True Philosophy?

Department of Philosophy TCD. Is Physicalism the True Philosophy? Department of Philosophy TCD Is Physicalism the True Philosophy? Tom Farrell Department of Philosophy TCD Department of Clinical Medicine RCSI Department of Anatomy RCSI TCD 20 March 2018 Philosophy? Casual

More information

Knowledge, Truth, and Mathematics

Knowledge, Truth, and Mathematics Knowledge, Truth, and Mathematics Philosophy 405 Russell Marcus Hamilton College, Fall 2010 September 27 Class 9: Kant II Marcus, Knowledge, Truth, and Mathematics, Fall 2010 Slide 1 Necessity/Contingency

More information

Intermediate Logic. Natural Deduction for TFL

Intermediate Logic. Natural Deduction for TFL Intermediate Logic Lecture Two Natural Deduction for TFL Rob Trueman rob.trueman@york.ac.uk University of York The Trouble with Truth Tables Natural Deduction for TFL The Trouble with Truth Tables The

More information

Part II A Reexamination of Contemporary Utilitarianism

Part II A Reexamination of Contemporary Utilitarianism Part II A Reexamination of Contemporary Utilitarianism In Part II of this book, we will turn to contemporary moral philosophers by this I mean twentieth-century philosophers who have reconstructed modern

More information

4 Derivations in the Propositional Calculus

4 Derivations in the Propositional Calculus 4 Derivations in the Propositional Calculus 1. Arguments Expressed in the Propositional Calculus We have seen that we can symbolize a wide variety of statement forms using formulas of the propositional

More information

Review The Conditional Logical symbols Argument forms. Logic 5: Material Implication and Argument Forms Jan. 28, 2014

Review The Conditional Logical symbols Argument forms. Logic 5: Material Implication and Argument Forms Jan. 28, 2014 Logic 5: Material Implication and Argument Forms Jan. 28, 2014 Overview I Review The Conditional Conditional statements Material implication Logical symbols Argument forms Disjunctive syllogism Disjunctive

More information

Bell s spaceship paradox

Bell s spaceship paradox Bell s spaceship paradox If the two ships start accelerating at the same time, I always see them travelling at the same velocity, and keeping a constant distance... But I said the objects get shorter when

More information

The two-dimensionalism of The Conscious Mind

The two-dimensionalism of The Conscious Mind The two-dimensionalism of The Conscious Mind phil 93515 Jeff Speaks February 5, 2007 1 Primary and secondary intension........................ 1 2 Indexicality and intensions............................

More information

Do you know the man that dropped out of school and still was one of the greatest physicists of the 20th century? That is Albert Einstein.

Do you know the man that dropped out of school and still was one of the greatest physicists of the 20th century? That is Albert Einstein. Do you know the man that dropped out of school and still was one of the greatest physicists of the 20th century? That is Albert Einstein. Albert was a man that thought for himself and changed the world

More information

The Process of Mathematical Proof

The Process of Mathematical Proof 1 The Process of Mathematical Proof Introduction. Mathematical proofs use the rules of logical deduction that grew out of the work of Aristotle around 350 BC. In previous courses, there was probably an

More information

Throwing Darts, Time, and the Infinite

Throwing Darts, Time, and the Infinite Erkenn DOI 10.1007/s10670-012-9371-x ORIGINAL PAPER Throwing Darts, Time, and the Infinite Jeremy Gwiazda Received: 23 August 2011 / Accepted: 2 March 2012 Ó Springer Science+Business Media B.V. 2012 Abstract

More information

Indicative conditionals

Indicative conditionals Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...

More information

Supplementary Logic Notes CSE 321 Winter 2009

Supplementary Logic Notes CSE 321 Winter 2009 1 Propositional Logic Supplementary Logic Notes CSE 321 Winter 2009 1.1 More efficient truth table methods The method of using truth tables to prove facts about propositional formulas can be a very tedious

More information

For all For every For each For any There exists at least one There exists There is Some

For all For every For each For any There exists at least one There exists There is Some Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following

More information

Absolute motion versus relative motion in Special Relativity is not dealt with properly

Absolute motion versus relative motion in Special Relativity is not dealt with properly Absolute motion versus relative motion in Special Relativity is not dealt with properly Roger J Anderton R.J.Anderton@btinternet.com A great deal has been written about the twin paradox. In this article

More information

So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special!

So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special! Jerry Fodor and his Special Sciences So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special! ) The use of special in

More information

Aristotle on Space. Physics, Book IV

Aristotle on Space. Physics, Book IV Aristotle on Space Physics, Book IV The existence of place is held to be obvious from the fact of mutual replacement. Where water now is, there in turn, when the water has gone out as from a vessel, air

More information

P1-763.PDF Why Proofs?

P1-763.PDF Why Proofs? P1-763.PDF Why Proofs? During the Iron Age men finally started questioning mathematics which eventually lead to the creating of proofs. People wanted to know how and why is math true, rather than just

More information

Understanding The Law of Attraction

Understanding The Law of Attraction Psychic Insight 4-5-17 New Blog Below Understanding The Law of Attraction Everything in the universe is energy and vibrates at a distinct frequency. Understanding that these energies are attracted to similar

More information

Looking at Scripture with New Eyes: A Chance Conversation Between Faith and Science

Looking at Scripture with New Eyes: A Chance Conversation Between Faith and Science 1 Looking at Scripture with New Eyes: A Chance Conversation Between Faith and Science William K. Lewis Fairmont Presbyterian Church College Ministry Team One of the things I really enjoy about education

More information

Physics The study of the energy, matter, and forces in the Universe Why do stars move in the sky? How can heat be changed into electricity? What is the difference between an atom of one substance and an

More information

Analyzing Extended Arguments

Analyzing Extended Arguments Logic Analyzing Extended Arguments Four Basic Patterns Horizontal Vertical Conjoint Premises Multiple Conclusions Extended Argument: horizontal (1) The selling of human organs should be outlawed. (2) If

More information

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston HOW TO WRITE PROOFS Dr. Min Ru, University of Houston One of the most difficult things you will attempt in this course is to write proofs. A proof is to give a legal (logical) argument or justification

More information

Science without inductivism

Science without inductivism Science without inductivism ( Karl Popper s view ) Ningombam Bupenda Meitei (St.Stephen s College), Department of Philosophy, University of Delhi Abstract The paper aims to expound on the issue of science

More information

THE NSTP (NON SPATIAL THINKING PROCESS) THEORY

THE NSTP (NON SPATIAL THINKING PROCESS) THEORY THE NSTP (NON SPATIAL THINKING PROCESS) THEORY COPYRIGHT KEDAR JOSHI 2007 The NSTP theory is a (philosophy of mind) semi-idealistic as well as semi-dualistic theory that the material universe, where some

More information

Phil 317: [handout #6] Donald Davidson: Mental Events

Phil 317: [handout #6] Donald Davidson: Mental Events Phil 317: [handout #6] Donald Davidson: Mental Events Professor JeeLoo Liu Davidson's Main Goal: 1. To discard type identity theory. 2. To lay out token identity theory. Terminology: * "nomological": lawful,

More information

Why the Difference Between Quantum and Classical Physics is Irrelevant to the Mind/Body Problem

Why the Difference Between Quantum and Classical Physics is Irrelevant to the Mind/Body Problem Why the Difference Between Quantum and Classical Physics is Irrelevant to the Mind/Body Problem Kirk Ludwig Department of Philosophy University of Florida Gainesville, FL 32611-8545 U.S.A. kludwig@phil.ufl.edu

More information

1 Propositional Logic

1 Propositional Logic CS 2800, Logic and Computation Propositional Logic Lectures Pete Manolios Version: 384 Spring 2011 1 Propositional Logic The study of logic was initiated by the ancient Greeks, who were concerned with

More information

THE SIMPLE PROOF OF GOLDBACH'S CONJECTURE. by Miles Mathis

THE SIMPLE PROOF OF GOLDBACH'S CONJECTURE. by Miles Mathis THE SIMPLE PROOF OF GOLDBACH'S CONJECTURE by Miles Mathis miles@mileswmathis.com Abstract Here I solve Goldbach's Conjecture by the simplest method possible. I do this by first calculating probabilites

More information

Warm-Up Problem. Write a Resolution Proof for. Res 1/32

Warm-Up Problem. Write a Resolution Proof for. Res 1/32 Warm-Up Problem Write a Resolution Proof for Res 1/32 A second Rule Sometimes throughout we need to also make simplifications: You can do this in line without explicitly mentioning it (just pretend you

More information

Conceivability and Modal Knowledge

Conceivability and Modal Knowledge 1 3 Conceivability and Modal Knowledge Christopher Hill ( 2006 ) provides an account of modal knowledge that is set in a broader context of arguing against the view that conceivability provides epistemic

More information

Propositional Language - Semantics

Propositional Language - Semantics Propositional Language - Semantics Lila Kari University of Waterloo Propositional Language - Semantics CS245, Logic and Computation 1 / 41 Syntax and semantics Syntax Semantics analyzes Form analyzes Meaning

More information

PHILOSOPHY OF PHYSICS (Spring 2002) 1 Substantivalism vs. relationism. Lecture 17: Substantivalism vs. relationism

PHILOSOPHY OF PHYSICS (Spring 2002) 1 Substantivalism vs. relationism. Lecture 17: Substantivalism vs. relationism 17.1 432018 PHILOSOPHY OF PHYSICS (Spring 2002) Lecture 17: Substantivalism vs. relationism Preliminary reading: Sklar, pp. 69-82. We will now try to assess the impact of Relativity Theory on the debate

More information

Revolution and Enlightenment. The scientific revolution

Revolution and Enlightenment. The scientific revolution Revolution and Enlightenment The scientific revolution Background in Revolution In the middle ages, educated europeans relied on ancient authorities like Aristotle for scientific knowledge. By the 15th

More information

Introduction to Basic Proof Techniques Mathew A. Johnson

Introduction to Basic Proof Techniques Mathew A. Johnson Introduction to Basic Proof Techniques Mathew A. Johnson Throughout this class, you will be asked to rigorously prove various mathematical statements. Since there is no prerequisite of a formal proof class,

More information

Natural deduction for truth-functional logic

Natural deduction for truth-functional logic Natural deduction for truth-functional logic Phil 160 - Boston University Why natural deduction? After all, we just found this nice method of truth-tables, which can be used to determine the validity or

More information

Physical Matter and Entropy Were Made

Physical Matter and Entropy Were Made T H E U LT I M AT E L A W O F T H E R M O DY N A M I C S Physical Matter and Entropy Were Made Read this carefully, because it s the KEY to everything else in Science. The first law of thermodynamics is

More information

Propositional Logic. Spring Propositional Logic Spring / 32

Propositional Logic. Spring Propositional Logic Spring / 32 Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements

More information

Propositional Logic. Fall () Propositional Logic Fall / 30

Propositional Logic. Fall () Propositional Logic Fall / 30 Propositional Logic Fall 2013 () Propositional Logic Fall 2013 1 / 30 1 Introduction Learning Outcomes for this Presentation 2 Definitions Statements Logical connectives Interpretations, contexts,... Logically

More information

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac. January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern

More information

DISCRETE MATH: LECTURE Chapter 3.3 Statements with Multiple Quantifiers If you want to establish the truth of a statement of the form

DISCRETE MATH: LECTURE Chapter 3.3 Statements with Multiple Quantifiers If you want to establish the truth of a statement of the form DISCRETE MATH: LECTURE 5 DR. DANIEL FREEMAN 1. Chapter 3.3 Statements with Multiple Quantifiers If you want to establish the truth of a statement of the form x D, y E such that P (x, y) your challenge

More information

Chapter 3. The Logic of Quantified Statements

Chapter 3. The Logic of Quantified Statements Chapter 3. The Logic of Quantified Statements 3.1. Predicates and Quantified Statements I Predicate in grammar Predicate refers to the part of a sentence that gives information about the subject. Example:

More information

Logic, Human Logic, and Propositional Logic. Human Logic. Fragments of Information. Conclusions. Foundations of Semantics LING 130 James Pustejovsky

Logic, Human Logic, and Propositional Logic. Human Logic. Fragments of Information. Conclusions. Foundations of Semantics LING 130 James Pustejovsky Logic, Human Logic, and Propositional Logic Foundations of Semantics LING 3 James Pustejovsky Human Logic Thanks to Michael Genesereth of Stanford for use of some slides Fragments of Information Conclusions

More information

In Defense of Jeffrey Conditionalization

In Defense of Jeffrey Conditionalization In Defense of Jeffrey Conditionalization Franz Huber Department of Philosophy University of Toronto Please do not cite! December 31, 2013 Contents 1 Introduction 2 2 Weisberg s Paradox 3 3 Jeffrey Conditionalization

More information

Adam Blank Spring 2017 CSE 311. Foundations of Computing I

Adam Blank Spring 2017 CSE 311. Foundations of Computing I Adam Blank Spring 2017 CSE 311 Foundations of Computing I Pre-Lecture Problem Suppose that p, and p (q r) are true. Is q true? Can you prove it with equivalences? CSE 311: Foundations of Computing Lecture

More information

Scientific Revolution

Scientific Revolution Chapter 8 Scientific Rev Page 1 Scientific Revolution Monday, October 31, 2005 11:02 Background "Intellectual Revolution" 17th century age of genius About Ideas, not technology Science before the Scientific

More information

35 Chapter CHAPTER 4: Mathematical Proof

35 Chapter CHAPTER 4: Mathematical Proof 35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21

More information

Logic. Quantifiers. (real numbers understood). x [x is rotten in Denmark]. x<x+x 2 +1

Logic. Quantifiers. (real numbers understood). x [x is rotten in Denmark]. x<x+x 2 +1 Logic One reason for studying logic is that we need a better notation than ordinary English for expressing relationships among various assertions or hypothetical states of affairs. A solid grounding in

More information

Inference and Proofs (1.6 & 1.7)

Inference and Proofs (1.6 & 1.7) EECS 203 Spring 2016 Lecture 4 Page 1 of 9 Introductory problem: Inference and Proofs (1.6 & 1.7) As is commonly the case in mathematics, it is often best to start with some definitions. An argument for

More information

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur Lecture 1 Real Numbers In these lectures, we are going to study a branch of mathematics called

More information

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL THOMAS HOFWEBER PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL 1. PROOF-THEORETIC REDUCTION AND HILBERT S PROGRAM Hilbert s program in the philosophy of mathematics comes in two parts. One part is a

More information

May the force be with you

May the force be with you CHARIS Science Unit A2 May the force be with you May the force be with you UNIT A2 v This unit looks at two views of force, those of Aristotle and Newton. It seeks to show how scientists' ideas of force

More information

A Little Deductive Logic

A Little Deductive Logic A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that

More information

Staying one and the same thing over time. Reason, Relativism, and Reality Spring 2005

Staying one and the same thing over time. Reason, Relativism, and Reality Spring 2005 Staying one and the same thing over time Reason, Relativism, and Reality Spring 2005 Identity =..? the relation everything bears to itself and to nothing else. People get confused about this. Sometimes

More information

Is Consciousness a Nonspatial Phenomenon?

Is Consciousness a Nonspatial Phenomenon? KRITIKE VOLUME FIVE NUMBER ONE (JUNE 2011) 91-98 Article Is Consciousness a Nonspatial Phenomenon? Ståle Gundersen Abstract: Colin McGinn has argued that consciousness is a nonspatial phenomenon. McGinn

More information