PARADOXES Zeno's Paradoxes One can never reach the end of a racecourse, for in order to do so one would first have to reach the halfway mark, then the.

Slides:



Advertisements
Similar presentations
PARADOX Chi-Kwong Li. A ‘ VISUAL ’ PARADOX : I LLUSION.
Advertisements

Chapter 3 Elementary Number Theory and Methods of Proof.
Common Valid Deductive Forms: Dilemma P or q If p then r If q then s Therefore, r or s Example, Either George W. Bush will win the election or John Kerry.
Remarks on Mathematical Logic: Paradoxes and Puzzles AAG Selmer Bringsjord The Minds & Machines Laboratory Department of Philosophy, Psychology.
Semantic Paradoxes.
Existentialism and Jean-Paul Sartre
Descartes’ cosmological argument
ON CHANGE Zeno. The Dichotomy Zeno’s arguments about motion which provide trouble for those who try to resolve them are four in number. The first.
Meditations on First Philosophy
Semantic Paradoxes. THE BARBER The Barber Paradox Once upon a time there was a village, and in this village lived a barber named B.
Copyright © Cengage Learning. All rights reserved.
Why study Logic?. Logic is of the greatest importance. Logic is one of the most important courses in a classical education. It is the only course that.
CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 7: Beyond Classical Logic.
2 February. Discussion Questions What’s the difference between Michael and {Michael}? What would happen if we said Michael = {Michael}?
(CSC 102) Discrete Structures Lecture 14.
1 COMP 382: Reasoning about algorithms Unit 9: Undecidability [Slides adapted from Amos Israeli’s]
Refutation, Part 1: Counterexamples & Reductio Kareem Khalifa Philosophy Department Middlebury College.
Week 7 - Wednesday.  What did we talk about last time?  Set proofs and disproofs  Russell’s paradox.
F OR OUR GUESTS … This is a Liceo, which is not a vocational school This is a scientific Liceo, so our students focus upon sciences So, we don’t study.
Logical Arguments in Mathematics. A proof is a collection of statements and reasons in a logical order used to verify universal truths. However… depending.
Whiteboardmaths.com © 2004 All rights reserved
The Eleatics: Parmenides & Zeno.
The Ontological Proof For around a thousand years, various proofs for the existence of God have gone by the name ‘The Ontological Proof.’ The first person.
Zeno’s Paradoxes Can I move?. Zeno The Arrow Paradox Y ou cannot even move. If everything when it occupies an equal space is at rest, and if that which.
The Cosmological Proof Metaphysical Principles and Definitions Principle of Sufficient Reason (PSR): For every positive fact, whatsoever, there is a sufficient.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
Introduction to Computability Theory
So far we have learned about:
Copyright © Zeph Grunschlag,
EE1J2 – Discrete Maths Lecture 5 Analysis of arguments (continued) More example proofs Formalisation of arguments in natural language Proof by contradiction.
No new reading for Monday or Wednesday Exam #2 is next Friday, and we’ll review and work on proofs on Monday and Wed.
1 Introduction to Computability Theory Lecture11: The Halting Problem Prof. Amos Israeli.
Postulates and Paragraph Proofs
Accelerated Math I Unit 2 Concept: Triangular Inequalities The Hinge Theorem.
Mathematics and the Theory of Knowledge
Scientific Method and Experimentation
Descartes’ First Meditation
BIRKDALE HIGH SCHOOL MATHEMATICS DEPARTMENT
Copyright © Cengage Learning. All rights reserved. CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF ELEMENTARY NUMBER THEORY AND METHODS OF PROOF.
Philosophy 1050: Introduction to Philosophy Week 10: Descartes and the Subject: The way of Ideas.
 Born to a noble family in Italy  As a young man, joins the Benedictine Order in Normandy, France, residing in the monastery there for 30 years – 15.
Phil 1102: Critical Thinking Mysteries, Paradoxes, and barriers to inference.
Introduction to Philosophy Lecture 5 The Ontological Argument By David Kelsey.
EXISTENCE OF GOD. Does God Exist?  Philosophical Question: whether God exists or not (reason alone)  The answer is not self-evident, that is, not known.
Math 104 Calculus I Part 6 INFINITE SERIES. Series of Constants We’ve looked at limits and sequences. Now, we look at a specific kind of sequential limit,
This page intentionally left blank
Arguments for God’s existence.  What are we arguing for?
Proof By Contradiction Chapter 3 Indirect Argument Contradiction Theorems and pg. 171.
Logic UNIT 1.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
Fallacies The quickest ways to lose arguments. Introduction to Logic O Argument: The assertion of a conclusion based on logical premises O Premise: Proposition.
Certainty and ErrorCertainty and Error One thing Russell seems right about is that we don’t need certainty in order to know something. In fact, even Descartes.
2.3 Methods of Proof.
Zeno’s Paradox By: Deborah Lowe and Vickie Bledsoe.
5.1 Indirect Proof Objective: After studying this section, you will be able to write indirect proofs.
1 Introduction to Abstract Mathematics Proof Methods , , ~, ,  Instructor: Hayk Melikya Purpose of Section:Most theorems in mathematics.
Week 7 - Wednesday.  What did we talk about last time?  Proving the subset relationship  Proving set equality  Set counterexamples  Laws of set algebra.
Knowledge Theories of Knowledge.
To Infinity and Beyond!. Paradox A paradox is a seemingly consistent, logical argument that nonetheless ends with a ridiculous conclusion Like the story.
Zeno. Zeno’s arguments about motion which provide trouble for those who try to resolve them are four in number. The first [the dichotomy argument]
Philosophy of Religion Ontological Argument
PowerPointmaths.com © 2004 all rights reserved
THE ONTOLOGICAL ARGUMENT 1
Paradoxes 2nd Term 2017 Dr. Michael Johnson
Anselm & Aquinas December 23, 2005.
Semantic Paradoxes.
Zeno's Paradoxes Zeno of Elea (c. 490 BC BC)
PHIL 2000 Tools for Philosophers 1st Term 2016
Chapter 5 Parallel Lines and Related Figures
How to Think Logically.
Presentation transcript:

PARADOXES Zeno's Paradoxes One can never reach the end of a racecourse, for in order to do so one would first have to reach the halfway mark, then the halfway mark of the remaining half, then the halfway mark of the final fourth, then of the final eighth, and so on ad infinitum. Since this series of fractions is infinite, one can never hope to get through the entire length of the track (at least not in a finite time).

An arrow in flight is really at rest. For at every point in its flight, the arrow must occupy a length of space exactly equal to its own length. After all, it cannot occupy a greater length, nor a lesser one. But the arrow cannot move within this length it occupies. It would need extra space in which to move, and it of course has none. So at every point in its flight, the arrow is at rest. And if it is at rest at every moment in its flight, then it follows that it is at rest during the entire flight.

Sorites, or Paradox of the Heap (1) If someone has only $1, they are not rich. (2) If someone is not rich, then one more dollar won't make them rich.

The sorites paradox is the name given to a class of paradoxical arguments, also known as little-by-little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved.

For example the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap and not being a heap.

Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion.

Skepticism Defending the rational world from a rising tide of nonsense; Applying common sense and the scientific method to the paranormal Suspending judgment until the evidence is in Skeptics are always willing to give others the benefit of the doubt.

A skeptic will unpack the studies and data and look for the errors. This is known as doing good science. When a result contradicts accepted theory, or a fundamental assumption of natural science a good researcher, a good skeptic, will give it more than glancing attention

The barber paradox In a certain village there is a man, so the paradox runs, who is a barber; this barber shaves all and only those men in the village who do not shave themselves. Query: Does the barber shave himself?

Any man in this village is shaved by the barber if and only if he is not shaved by himself. Therefore in particular the barber shaves himself if and only if he does not. We are in trouble if we say the barber shaves himself and we are in trouble if we say he does not.

What are we to say to the argument that goes to prove this unacceptable conclusion? Happily it rests on assumptions. We are asked to swallow a story about a village and a man in it who shaves all and only those men in the village who do not shave themselves.

This is the source of our trouble; grant this and we end up saying, absurdly, that the barber shaves himself only if he does not. The proper conclusion to draw is just that there is no such barber. We are confronted with nothing more than what logicians have been referring to for a couple of thousand years as a reductio ad absurdum.

We disprove the barber by assuming him and deducing the absurdity that he shaves himself if and only if he does not. The paradox is simply a proof that no village can contain a man who shaves all and only those men in it who do not shave themselves