Lecture 6 Modality: Possible worlds

Slides:



Advertisements
Similar presentations
65,536 Definitions of Physicalism David J. Chalmers.
Advertisements

Hyperintensionality and Impossible Worlds: An Introduction
Kaplan’s Theory of Indexicals
SEMANTICS.
Leibniz Part 1. Short Biography Leibniz ( ) was the son of a professor of philosophy who had earned his doctorate in law by 21. He invented.
Modality Possible Worlds. Possibility and Necessity Triangles have three sides. The Wassermans have two kids.
Argument from contingency Part 2. Recap  Necessary beings: exist as a necessity of their own nature. (Potential examples: numbers, God.)  Contingent.
CAS LX 502 Semantics 8b. Propositional attitudes 7, 9.
Adams, “Primitive Thisness and Primitive Identity” “Is the world – and are all possible worlds – constituted by purely qualitative facts, or does thisness.
David Lewis Counterfactuals and Possible Worlds. David Lewis American philosopher, lived between UCLA and Princeton Modal realism.
Bertrand Russell, “Existence and Description” §1 General Propositions and Existence “Now when you come to ask what really is asserted in a general proposition,
MIDTERM EXAMINATION THE MIDTERM EXAMINATION WILL BE ON FRIDAY, MAY 2, IN THIS CLASSROOM, STARTING AT 1:00 P.M. BRING A BLUE BOOK. THE EXAM WILL COVER:
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
LECTURE 19 THE COSMOLOGICAL ARGUMENT CONTINUED. THE QUANTUM MECHANICAL OBJECTION DEPENDS UPON A PARTICULAR INTERPRETATION WE MIGHT REASONABLY SUSPEND.
10 December 2009 Dr. Tuomas E. Tahko
Modality Necessity Possibility/impossibility Contingency Compare the following: 1)It is necessary that = 12. 2)If all men are mortal and Socrates.
Chapter 1: The Foundations: Logic and Proofs
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
Lecture 2 (Chapter 2) Introduction to Semantics and Pragmatics.
Narrow narrow content Narrow content is whatever is shared by physical duplicates. It is a function (in the mathematical sense) from environments to broad.
The Ontological Argument for the Existence of God August 15, 2015 George Cronk, J.D., Ph.D. Professor of Philosophy & Religion Bergen Community College.
Philosophy and Logic The Process of Correct Reasoning.
Learning objective: To understand the objection that even if a zombie world is conceivable it may not be possible, and to evaluate how convincing this.
Home.sandiego.edu/~baber/analytic/twodogmas.ppt. Meaning What is this thing called meaning? NOT reference: “creature with a heart” ≢ “creature with kidneys”
Lecture 10 (de re/de dicto) Ling 442. Exercises Translate the following into the logical language w/ restricted quantifiers. 1.Every dog that has a bone.
1 Lecture 3 The Languages of K, T, B and S4. 2 Last time we extended the language PC to the language S5 by adding two new symbols ‘□’ (for ‘It is necessary.
Lecture 041 Predicate Calculus Learning outcomes Students are able to: 1. Evaluate predicate 2. Translate predicate into human language and vice versa.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
CT214 – Logical Foundations of Computing Darren Doherty Rm. 311 Dept. of Information Technology NUI Galway
The Nature of God Nancy Parsons. Attributes- Nature of God Candidates should be able to demonstrate knowledge and understanding of: 1.God as eternal,
Lecture 8 Time: McTaggart’s argument
Lecture III Universals: nominalism
Lecture 9 Time: the A-theory and the B-theory
Lecture 1 What is metaphysics?
Lecture 7 Modality: Metaphysics of possible worlds
Natural language processing Lecture 7
Cosmological arguments from contingency
Lecture 5 Particulars: substratum and substance theories
Dummett about realism and anti-realism
Lecture 2 Universals: realism
Lecture 11 Persistence: arguments for perdurance
Lecture 10 Persistence: endurance and perdurance
Lecture 2 The Language of S5
Lecture 4 Particulars: bundle theory
SEMANTICS VS PRAGMATICS
Natural Language processing
The ontological argument: an a-priori argument (ie, deductive rather than inductive) Anselm ‘God’ is that being than which nothing greater can be conceived’;
O.A. so far.. Anselm – from faith, the fool, 2 part argument
Language, Logic, and Meaning
Particulars and Properties Lecture one: Universalism and Nominalism.
Descartes’ conceivability argument for substance dualism
Norman Malcolm American philosopher. 11 June 1911 – 4 August 1990.
Leibniz’s reformulation of the Ontological Argument
A new perspective on philosophical debates
The zombie argument: responses
The Prior Analytics theory of propositions
Semantics In propositional logic, we associate atoms with propositions about the world. We specify the semantics of our logic, giving it a “meaning”. Such.
Remember these terms? Analytic/ synthetic A priori/ a posteriori
Propositional Logic.
Daniel W. Blackmon Theory of Knowledge Coral Gables Senior High
On your whiteboard: How many different ways can you think of using the term: “I know…” (i.e. what different types of things can you know?)
Identity Recall Quine’s slogan: “no entity without identity”
1st-order Predicate Logic (FOL)
Or Can you?.
Marie Duží Natural Language processing de dicto, de re, ambiguities in natural language Marie Duží
Propositional Logic Computational Logic Lecture 2
Introducing Natural Deduction
Logical truths, contradictions and disjunctive normal form
1st-order Predicate Logic (FOL)
Presentation transcript:

Lecture 6 Modality: Possible worlds Dr. Donnchadh O’Conaill (Donnchadh.oconaill@Helsinki.fi) 9/2/2017 406772 Metaphysics 2016-17 University of Helsinki

1. Introduction Modal notions: Necessity, possibility, contingency, impossibility Different strengths relative to different contexts: Physical: proposition p is necessary, possible etc. given the laws of nature, physical nature of the world, etc. Logical: p is necessary etc. given the laws of logic, i.e., p doesn’t entail a contradiction Metaphysical: different entities can exist together, or exclude each other

Different kinds of modality De dicto modality: modality applied to whole propositions – ‘Necessarily, p is true’ or ‘Possibly, p is true’ De re modality: modality applied to objects – e.g., I am necessarily a person, contingently a lecturer These kinds of modality can come apart: ‘Necessarily, the number of planets = 8’ ‘The number of planets is necessarily 8’ (1) is de dicto, and is false; (2) is de re, and true

2. Challenges to modality (i) Do we have a clear grasp of modal notions? Empiricists: experience reveals what is the case, not what could be or is necessarily “the only necessity is verbal necessity” (Loux 2006, 155) e.g., bachelors are necessarily male by definition (ii) Non-extensionality of modal discourse Extensional discourse: substitution of co-referring terms does not change truth-value of sentences Non-extensional: substitution changes truth-values…

(3) ‘There is water in the cup’ is extensional Substitute ‘H2O’ for ‘water’: (4) ‘There is H2O in the cup’ – same truth-value as (3) – but now consider: (5) John thinks that there is water in the cup After ‘thinks’, this is a non-extensional context: same substitution gives us (6) ‘John thinks that there is H2O in the cup’ But John may not think any such thing! He may be ignorant of the chemical make-up of water

Modal discourse is non-extensional Suppose George is the tallest person in the room – now consider the following: (7) George is male (8) Necessarily, George is male (7) would remain true if we substitute for ‘George’ the co-referring expression ‘the tallest person in the room’ But (8) would become false: even if the tallest person is the room is male, this is not a necessary truth

Importance of extensional discourse Extensional contexts are governed by clear rules of inference: “where language is extensional, we have logics that make clear precisely which sentences follow from any set if sentences” Loux, 156 So in principle we know what we are committed to by accepting any set of sentences Worry is that non-extensional contexts are not governed by such rules: we have no clear grasp of what we are committed to

3. Possible worlds “I think there is an infinity of possible ways in which to create the world, according to the different designs which God could form, and that each possible world depends on certain principal designs or purposes of God […] certain laws of the general order of this possible universe” (Leibniz 1956, 333) Without reference to God: “ways, complete or total ways, things might have been” (Loux 159)

Different ways things might have been can determine the truth of modal claims: “we take the different ways things could be to constitute the truth makers for our pre-philosophical modal beliefs” Loux 159 E.g., a necessary truth is one which would have been true no matter how things had turned out Possible truth: one which would have been true had things gone a certain way

Proposition can be true in one possible world but false in another: ‘Elvis is alive’ is true given some ways things might have been, false in others This gives us a way to understand modal concepts “in possible world semantics, the modal operators are interpreted as quantifiers over possible worlds” (Menzel 2013, § 1.2) Necessarily true: true in all possible worlds Possibly true: true in some possible world

Possible world and de re modal truths Different possible worlds can include different objects Often thought that the same object can exist in more than one possible world: e.g., I exist in this world but I would have existed had I become a pilot Necessity de re: x is necessarily F – i.e., in every possible world containing x, x is F This is necessary even though x itself is not Possibility de re: x is possibly F – in some possible world, x exists and is F

4. Possible worlds nominalism Austere nominalist: talk about a property is talk about a set of concrete particulars Problem: different predicates can be satisfied by same class of particulars – e.g., ‘human’, ‘featherless biped’ But the class of humans in any possible world is different from class of featherless bipeds in any possible world e.g., a possible world with feathered humans? Properties as sets of particulars from across all possible worlds

Nominalist accounts of modality Proposition: a set of possible worlds “like global properties that partition worlds rather than their inhabitants into sets” Loux, 165 Necessary truth: a set of possible worlds which contains every possible world Possibly true: a set of possible worlds contains at least one possible world ‘It is possible that Elvis is alive’ – the set of possible worlds in which Elvis is alive contains at least one member

Necessarily false: a set of possible worlds which contains no members, i.e., is empty E.g., ‘All bachelors are married’ would be false no matter how things turned out How about de re modality? x is necessarily F: x belongs to the set of F-objects in every possible world where x exists x is possibly F: x belongs to the set of F-objects in at least one world in which x exists

Next week: the metaphysics of possible worlds…

Works cited Leibniz, G. W. F. (1956) Philosophical Papers and Letters (trans. Loemker, L. E.) Dordrecht: Reidel Menzel, C. (2013) ‘Possible Worlds’, Stanford Encyclopedia of Philosophy