PHLA10F 7. Necessary Being

Size: px
Start display at page:

Download "PHLA10F 7. Necessary Being"

Transcription

1 Necessary Being

2 A Priori and A Posteriori Truths Some truths (a priori) can be known simply by use of concepts and without any particular experience or observation (a posteriori) Examples: all bachelors are unmarried, 1725x235 = 405,375, the sum of the angles of a (Euclidean) triangle is 180, if Fred weighs more than Nancy, then Nancy weighs less than Fred, Red is a color, etc. A Priori truths and existence Some a priori truths entail existence There is a prime number between 50 and 55 Are there any non-mathematical examples? How do a priori existence claims affect the question: why is there something rather than nothing An a priori existence claim might answer that question

3 A Priori and A Posteriori Truths Two Distinctions A Priori / A Posteriori Necessary / Contingent Necessary Contingent A Priori = 6 I exist. A Posteriori?? Water = H 2 O Saturn has 56 moons.

4 The Ontological Argument God is that greater than which none can be conceived (God has maximal possible perfection). Suppose that God did not exist. Then one could imagine a being greater than God, namely something exactly like God but which DID exist Therefore, God exists. St. Anselm ( )

5 The Ontological Argument First premise: God is possible. Note this is an objective claim It is not a claim about what we can conceive or imagine We can conceive or imagine what is not possible Example: traveling faster than light Example: squaring the circle Grades of possibility Logical Metaphysical Nomological Epistemological What is the guide to possibility?

6 The Ontological Argument Second Premise: existence is a kind of perfection. Gaunilo s counter-example: The perfect island must exist If it did not, we could conceive of one more perfect, which is impossible Are the two arguments really the same in structure? Kant s classic reply: Existence is not a perfection/property Properties hold or do not hold of existing things Existence is the pre-condition for having properties, not a property itself Is that conclusive? The fact that all things exist does not show that existence is not a property I. Kant ( )

7 The Ontological Argument Sober s criticism A definition gives a condition for something counting as that sort of thing If part of the definition of a bachelor is being unmarried then all we can infer is that if a bachelor exists then he well be unmarried So even if existence is in the concept of God, that only shows that if God exists, then He exists. That is trivial and does not prove anything.

8 The Ontological Argument A Possible Worlds Version God is a necessary being. It is POSSIBLE that God exists. Therefore, in some possible world God exists. In that world, a necessary being exists. But a necessary being exists in ALL possible worlds. Therefore, that being exists in every world. Therefore, that being God exists in the actual world. Or in terms of statements. Possible(Necessary(God exists). So in some world Necessary(God exists). But then in ALL worlds (God exists). Therefore in the actual world (God exists).

9 The Ontological Argument Problems for the possible worlds version Is God possible? We proved a necessary being exists why must it be God? More particularly where is the proof that God (conceived of as personal, omni-b/o/p) is a necessary being. Is necessary existence a perfection? What about Sober s criticism Necessary existence characterizes God (by definition) but that only shows the if God exists then He exists necessarily This does not engage the possible worlds argument.

10 The Ontological Argument A possible analogy: Consider the claim it is possible that there is a prime number between and If it s true then there is a world where there is such a prime number Numbers are necessary beings, so this prime number exists in all worlds So this prime number exists in the actual world The question then comes down to is this number really possible (it turns out, no it is not possible there is no such prime number) So does the question come down to whether God is really possible?

11 Verification of God Theories of meaning What is it that makes words and sentences meaningful? Positivists divided all statements into two classes Analytic Synthetic Analytic statements are true or false because of their concepts Synthetic statements are true or false because of verifying experiences There is a close link between the synthetic/analytic distinction and the a posteriori/a priori distinction A. J. Ayer ( )

12 Verification of God The match between these concepts is shown by the empty boxes. Question: are there any significant analytic truths? Analytic Synthetic A Priori Bachelors are unmarried.????? A Posteriori???? Ottawa is the capital of Canada.

13 Verification of God According to the positivists, every statement is (in principle) decidable. Either via understanding the concepts in the statement This might be very hard (e.g. Mathematics) Or we need to observe nature This might be very hard There must be some experience which, if one had it, would raise or lower the probability of the statement Some statements are unverifiable (in principle) and so are meaningless. Examples: The world was created 5 minutes ago exactly as it was 5 minutes ago (notice: negation of meaningless is meaningless?) There are totally undetectable entities in the world Everything doubled in size one minute ago (?)

14 Verification of God But why should one be a verificationist? Do not confuse positivism with the need for science to make observable predictions Is the positivist principle verifiable? Is it analytic? Is it not plausible that there could be features of the world that are undetectable and unknowable? Let P be an unknown fact (there are lots). It is unknowable that P is unknowable. If you knew P was an unknowable fact, you would know P. Thus it would stop being unknown. Wolfgang Pauli ( ) I ve done a terrible thing today, something which no theoretical physicist should ever do. I have suggested something that can never be verified experimentally.

15 Verification of God The design argument suggests some auxiliary hypotheses which make God exists falsifiable or verifiable. Possible example: Since God is perfect, He will only make perfectly designed things there will be no imperfect adaptations in nature. There are imperfect adaptations however. Is God exists falsified? Theodicy is the task of explaining why the apparent evidence against God exists is not really good evidence. ( defense is just showing God is not ruled out...) New auxiliary hypotheses can be introduced. What is wrong with this one: if God exists, then everything in the world will be exactly as we observe it?

Last time we had arrived at the following provisional interpretation of Aquinas second way:

Last time we had arrived at the following provisional interpretation of Aquinas second way: Aquinas Third Way Last time we had arrived at the following provisional interpretation of Aquinas second way: 1. 2. 3. 4. At least one thing has an efficient cause. Every causal chain must either be circular,

More information

Quine on truth by convention

Quine on truth by convention Quine on truth by convention March 8, 2005 1 Linguistic explanations of necessity and the a priori.............. 1 2 Relative and absolute truth by definition.................... 2 3 Is logic true by convention?...........................

More information

Descartes Meditations. ? God exists I exist (as a thinking thing)

Descartes Meditations. ? God exists I exist (as a thinking thing) Descartes Meditations Descartes Structure of Belief What does he know with absolute certainty?? God exists I exist (as a thinking thing) Why try to prove God exists? Intellectual interest. : Are any of

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

Version 1.0. General Certificate of Education June 2013. Religious Studies Philosophy of Religion A2 Unit 3B. Final. Mark Scheme

Version 1.0. General Certificate of Education June 2013. Religious Studies Philosophy of Religion A2 Unit 3B. Final. Mark Scheme Version 1.0 General Certificate of Education June 2013 Religious Studies Philosophy of Religion A2 Unit 3B RST3B Final Mark Scheme Mark schemes are prepared by the Principal Examiner and considered, together

More information

Cosmological Arguments for the Existence of God S. Clarke

Cosmological Arguments for the Existence of God S. Clarke Cosmological Arguments for the Existence of God S. Clarke [Modified Fall 2009] 1. Large class of arguments. Sometimes they get very complex, as in Clarke s argument, but the basic idea is simple. Lets

More information

Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 3000 Section 003 Intro to Abstract Math Homework 2 Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these

More information

The Meta-Problem of Change

The Meta-Problem of Change NOÛS 43:2 (2009) 286 314 The Meta-Problem of Change THOMAS HOFWEBER University of North Carolina at Chapel Hill 1. Introduction One of the central problems in metaphysics over the last so many centuries

More information

Plato gives another argument for this claiming, relating to the nature of knowledge, which we will return to in the next section.

Plato gives another argument for this claiming, relating to the nature of knowledge, which we will return to in the next section. Michael Lacewing Plato s theor y of Forms FROM SENSE EXPERIENCE TO THE FORMS In Book V (476f.) of The Republic, Plato argues that all objects we experience through our senses are particular things. We

More information

Handout #1: Mathematical Reasoning

Handout #1: Mathematical Reasoning Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

More information

A Few Basics of Probability

A Few Basics of Probability A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study

More information

Logic and Reasoning Practice Final Exam Spring 2015. Section Number

Logic and Reasoning Practice Final Exam Spring 2015. Section Number Logic and Reasoning Practice Final Exam Spring 2015 Name Section Number The final examination is worth 100 points. 1. (5 points) What is an argument? Explain what is meant when one says that logic is the

More information

3. Logical Reasoning in Mathematics

3. Logical Reasoning in Mathematics 3. Logical Reasoning in Mathematics Many state standards emphasize the importance of reasoning. We agree disciplined mathematical reasoning is crucial to understanding and to properly using mathematics.

More information

PHI 201, Introductory Logic p. 1/16

PHI 201, Introductory Logic p. 1/16 PHI 201, Introductory Logic p. 1/16 In order to make an argument, you have to make a claim (the conclusion) and you have to give some evidence for the claim (the premises). Bush tried to justify the war

More information

Chapter 5: Fallacies. 23 February 2015

Chapter 5: Fallacies. 23 February 2015 Chapter 5: Fallacies 23 February 2015 Plan for today Talk a bit more about arguments notice that the function of arguments explains why there are lots of bad arguments Turn to the concept of fallacy and

More information

Pascal is here expressing a kind of skepticism about the ability of human reason to deliver an answer to this question.

Pascal is here expressing a kind of skepticism about the ability of human reason to deliver an answer to this question. Pascal s wager So far we have discussed a number of arguments for or against the existence of God. In the reading for today, Pascal asks not Does God exist? but Should we believe in God? What is distinctive

More information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

Divine command theory

Divine command theory Today we will be discussing divine command theory. But first I will give a (very) brief overview of the semester, and the discipline of philosophy. Why do this? One of the functions of an introductory

More information

Likewise, we have contradictions: formulas that can only be false, e.g. (p p).

Likewise, we have contradictions: formulas that can only be false, e.g. (p p). CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula

More information

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

More information

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

WRITING PROOFS. Christopher Heil Georgia Institute of Technology WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this

More information

Existence Is Not a Predicate by Immanuel Kant

Existence Is Not a Predicate by Immanuel Kant Existence Is Not a Predicate by Immanuel Kant Immanuel Kant, Thoemmes About the author.... Immanuel Kant (1724-1804) studied in Königsberg, East Prussia. Before he fully developed an interest in philosophy,

More information

Philosophy 203 History of Modern Western Philosophy. Russell Marcus Hamilton College Spring 2010

Philosophy 203 History of Modern Western Philosophy. Russell Marcus Hamilton College Spring 2010 Philosophy 203 History of Modern Western Philosophy Russell Marcus Hamilton College Spring 2010 Class 2 - Meditation One Marcus, Modern Philosophy, Spring 2010, Slide 1 Five dogmas undermined by the new

More information

A Short Course in Logic Example 8

A Short Course in Logic Example 8 A Short ourse in Logic xample 8 I) Recognizing Arguments III) valuating Arguments II) Analyzing Arguments valuating Arguments with More than one Line of Reasoning valuating If then Premises Independent

More information

DEVELOPING HYPOTHESIS AND

DEVELOPING HYPOTHESIS AND Shalini Prasad Ajith Rao Eeshoo Rehani DEVELOPING 500 METHODS SEPTEMBER 18 TH 2001 DEVELOPING HYPOTHESIS AND Introduction Processes involved before formulating the hypotheses. Definition Nature of Hypothesis

More information

General Philosophy. Dr Peter Millican, Hertford College. Lecture 3: Induction

General Philosophy. Dr Peter Millican, Hertford College. Lecture 3: Induction General Philosophy Dr Peter Millican, Hertford College Lecture 3: Induction Hume s s Fork 2 Enquiry IV starts with a vital distinction between types of proposition: Relations of ideas can be known a priori

More information

def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.

def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system. Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true

More information

Kant s Fundamental Principles of the Metaphysic of Morals

Kant s Fundamental Principles of the Metaphysic of Morals Kant s Fundamental Principles of the Metaphysic of Morals G. J. Mattey Winter, 2015/ Philosophy 1 The Division of Philosophical Labor Kant generally endorses the ancient Greek division of philosophy into

More information

Kant on Time. Diana Mertz Hsieh (diana@dianahsieh.com) Kant (Phil 5010, Hanna) 28 September 2004

Kant on Time. Diana Mertz Hsieh (diana@dianahsieh.com) Kant (Phil 5010, Hanna) 28 September 2004 Kant on Time Diana Mertz Hsieh (diana@dianahsieh.com) Kant (Phil 5010, Hanna) 28 September 2004 In the Transcendental Aesthetic of his Critique of Pure Reason, Immanuel Kant offers a series of dense arguments

More information

Critical analysis. Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean.

Critical analysis. Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean. Critical analysis Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean. I thought I had written a really good assignment this time. I did

More information

1/9. Locke 1: Critique of Innate Ideas

1/9. Locke 1: Critique of Innate Ideas 1/9 Locke 1: Critique of Innate Ideas This week we are going to begin looking at a new area by turning our attention to the work of John Locke, who is probably the most famous English philosopher of all

More information

Some key arguments from Meditations III-V

Some key arguments from Meditations III-V Some key arguments from Meditations III-V I. THIRD MEDITATION: The existence of God A. Cosmological proof of the Existence of God In the 3rd Meditation, Descartes attempts to prove that God (i) exists,

More information

Writing Thesis Defense Papers

Writing Thesis Defense Papers Writing Thesis Defense Papers The point of these papers is for you to explain and defend a thesis of your own critically analyzing the reasoning offered in support of a claim made by one of the philosophers

More information

Problem of the Month: Perfect Pair

Problem of the Month: Perfect Pair Problem of the Month: The Problems of the Month (POM) are used in a variety of ways to promote problem solving and to foster the first standard of mathematical practice from the Common Core State Standards:

More information

Skepticism about the external world & the problem of other minds

Skepticism about the external world & the problem of other minds Skepticism about the external world & the problem of other minds So far in this course we have, broadly speaking, discussed two different sorts of issues: issues connected with the nature of persons (a

More information

1 Must the universe have a cause?

1 Must the universe have a cause? 1 Must the universe have a cause? Nothing will come of nothing. William Shakespeare, King Lear THE MYSTERIES OF EXISTENCE Why does the universe exist? Why do living things exist? Why do intelligent beings

More information

How To Understand The Moral Code Of A God (For Men)

How To Understand The Moral Code Of A God (For Men) Summary of Kant s Groundwork of the Metaphysics of Morals Version 1.0 Richard Baron 27 February 2016 1 Contents 1 Introduction 3 1.1 Availability and licence............ 3 2 Definitions of key terms 4

More information

Set Theory Basic Concepts and Definitions

Set Theory Basic Concepts and Definitions Set Theory Basic Concepts and Definitions The Importance of Set Theory One striking feature of humans is their inherent need and ability to group objects according to specific criteria. Our prehistoric

More information

Invalidity in Predicate Logic

Invalidity in Predicate Logic Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional

More information

Course Proposal: PHI 1000G Introduction to Philosophy

Course Proposal: PHI 1000G Introduction to Philosophy Course Proposal: PHI 1000G Introduction to Philosophy 1. Catalog Description: a. Course level: Philosophy 1000G b. Title: Introduction to Philosophy c. Meeting times and credits: (3-0-3) d. Terms offered:

More information

Sudoku puzzles and how to solve them

Sudoku puzzles and how to solve them Sudoku puzzles and how to solve them Andries E. Brouwer 2006-05-31 1 Sudoku Figure 1: Two puzzles the second one is difficult A Sudoku puzzle (of classical type ) consists of a 9-by-9 matrix partitioned

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

Probability Using Dice

Probability Using Dice Using Dice One Page Overview By Robert B. Brown, The Ohio State University Topics: Levels:, Statistics Grades 5 8 Problem: What are the probabilities of rolling various sums with two dice? How can you

More information

Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system

Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system CHAPTER Number Theory FIGURE FIGURE FIGURE Plus hours Plus hours Plus hours + = + = + = FIGURE. Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter described a mathematical

More information

Philosophical argument

Philosophical argument Michael Lacewing Philosophical argument At the heart of philosophy is philosophical argument. Arguments are different from assertions. Assertions are simply stated; arguments always involve giving reasons.

More information

Mathematical Induction

Mathematical Induction Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?

If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Problem 3 If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Suggested Questions to ask students about Problem 3 The key to this question

More information

ON EXTERNAL OBJECTS By Immanuel Kant From Critique of Pure Reason (1781)

ON EXTERNAL OBJECTS By Immanuel Kant From Critique of Pure Reason (1781) ON EXTERNAL OBJECTS By Immanuel Kant From Critique of Pure Reason (1781) General Observations on The Transcendental Aesthetic To avoid all misapprehension, it is necessary to explain, as clearly as possible,

More information

ARE THERE IRREDUCIBLY NORMATIVE PROPERTIES?

ARE THERE IRREDUCIBLY NORMATIVE PROPERTIES? ARE THERE IRREDUCIBLY NORMATIVE PROPERTIES? Bart Streumer b.streumer@rug.nl Australasian Journal of Philosophy 86 (2008): 537-561 Published version available here: http://dx.doi.org/10.1080/00048400802215349

More information

But Then They Are Told. Michael Gorman School of Philosophy The Catholic University of America Washington, D.C. 20064 gorman@cua.

But Then They Are Told. Michael Gorman School of Philosophy The Catholic University of America Washington, D.C. 20064 gorman@cua. 1 But Then They Are Told Michael Gorman School of Philosophy The Catholic University of America Washington, D.C. 20064 gorman@cua.edu The argument I want to discuss appears at the very end of the passage,

More information

Could I Have Been a Turnip? A Very Short Introduction to the Philosophy of Modality

Could I Have Been a Turnip? A Very Short Introduction to the Philosophy of Modality Could I Have Been a Turnip? A Very Short Introduction to the Philosophy of Modality Modality If something is possible, it could have happened. If something is necessary, it had to happen. If something

More information

Revised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)

Revised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m) Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.

More information

MILL. The principle of utility determines the rightness of acts (or rules of action?) by their effect on the total happiness.

MILL. The principle of utility determines the rightness of acts (or rules of action?) by their effect on the total happiness. MILL The principle of utility determines the rightness of acts (or rules of action?) by their effect on the total happiness. Mill s principle of utility Mill s principle combines theories of the right

More information

Things That Might Not Have Been Michael Nelson University of California at Riverside mnelson@ucr.edu

Things That Might Not Have Been Michael Nelson University of California at Riverside mnelson@ucr.edu Things That Might Not Have Been Michael Nelson University of California at Riverside mnelson@ucr.edu Quantified Modal Logic (QML), to echo Arthur Prior, is haunted by the myth of necessary existence. Features

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information

G C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle.

G C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle. Performance Assessment Task Circle and Squares Grade 10 This task challenges a student to analyze characteristics of 2 dimensional shapes to develop mathematical arguments about geometric relationships.

More information

The Problem of Evil not If God exists, she'd be OOG. If an OOG being exists, there would be no evil. God exists.

The Problem of Evil not If God exists, she'd be OOG. If an OOG being exists, there would be no evil. God exists. 24.00: Problems of Philosophy Prof. Sally Haslanger September 14, 2005 The Problem of Evil Last time we considered the ontological argument for the existence of God. If the argument is cogent, then we

More information

Conceiving What Is Not There

Conceiving What Is Not There Andrew Botterell Conceiving What Is Not There Abstract: In this paper I argue that certain so-called conceivability arguments fail to show that a currently popular version of physicalism in the philosophy

More information

Kant on Geometry and Spatial Intuition

Kant on Geometry and Spatial Intuition Kant on Geometry and Spatial Intuition Michael Friedman Kant s philosophy of geometry can only be properly understood against the background of two more general features of his philosophical position:

More information

Methodology in Social Psychology. Logics of inquiry

Methodology in Social Psychology. Logics of inquiry Methodology in Social Psychology Logics of inquiry How to carry out scientific research given our understanding of the nature of knowledge. Philosophy of Science clarifies why experimental, scientific

More information

This puzzle is based on the following anecdote concerning a Hungarian sociologist and his observations of circles of friends among children.

This puzzle is based on the following anecdote concerning a Hungarian sociologist and his observations of circles of friends among children. 0.1 Friend Trends This puzzle is based on the following anecdote concerning a Hungarian sociologist and his observations of circles of friends among children. In the 1950s, a Hungarian sociologist S. Szalai

More information

What Is School Mathematics?

What Is School Mathematics? What Is School Mathematics? Lisbon, Portugal January 30, 2010 H. Wu *I am grateful to Alexandra Alves-Rodrigues for her many contributions that helped shape this document. The German conductor Herbert

More information

CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.

CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r. CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:

More information

DEDUCTIVE & INDUCTIVE REASONING

DEDUCTIVE & INDUCTIVE REASONING DEDUCTIVE & INDUCTIVE REASONING Expectations 1. Take notes on inductive and deductive reasoning. 2. This is an information based presentation -- I simply want you to be able to apply this information to

More information

5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1

5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1 MATH 13150: Freshman Seminar Unit 8 1. Prime numbers 1.1. Primes. A number bigger than 1 is called prime if its only divisors are 1 and itself. For example, 3 is prime because the only numbers dividing

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

More information

Pigeonhole Principle Solutions

Pigeonhole Principle Solutions Pigeonhole Principle Solutions 1. Show that if we take n + 1 numbers from the set {1, 2,..., 2n}, then some pair of numbers will have no factors in common. Solution: Note that consecutive numbers (such

More information

p: I am elected q: I will lower the taxes

p: I am elected q: I will lower the taxes Implication Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise. Equivalent to not p or q Ex. If I am elected then I

More information

Strictly speaking, all our knowledge outside mathematics consists of conjectures.

Strictly speaking, all our knowledge outside mathematics consists of conjectures. 1 Strictly speaking, all our knowledge outside mathematics consists of conjectures. There are, of course, conjectures and conjectures. There are highly respectable and reliable conjectures as those expressed

More information

CONCEPTUAL CONTINGENCY AND ABSTRACT EXISTENCE

CONCEPTUAL CONTINGENCY AND ABSTRACT EXISTENCE 87 CONCEPTUAL CONTINGENCY AND ABSTRACT EXISTENCE BY MARK COLYVAN Mathematical statements such as There are infinitely many prime numbers and 2 ℵ 0 > ℵ 0 are usually thought to be necessarily true. Not

More information

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

More information

Reasoning and Proof Review Questions

Reasoning and Proof Review Questions www.ck12.org 1 Reasoning and Proof Review Questions Inductive Reasoning from Patterns 1. What is the next term in the pattern: 1, 4, 9, 16, 25, 36, 49...? (a) 81 (b) 64 (c) 121 (d) 56 2. What is the next

More information

Kant s deontological ethics

Kant s deontological ethics Michael Lacewing Kant s deontological ethics DEONTOLOGY Deontologists believe that morality is a matter of duty. We have moral duties to do things which it is right to do and moral duties not to do things

More information

A Short Course in Logic Zeno s Paradox

A Short Course in Logic Zeno s Paradox 1 Grappling with Good Arguments A Short Course in Logic Zeno s Paradox We ve seen that if we decide that an argument is good then we should be inclined to believe that the ultimate conclusion is true.

More information

Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014

Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the

More information

MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.

MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers. MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P

More information

MA 1125 Lecture 14 - Expected Values. Friday, February 28, 2014. Objectives: Introduce expected values.

MA 1125 Lecture 14 - Expected Values. Friday, February 28, 2014. Objectives: Introduce expected values. MA 5 Lecture 4 - Expected Values Friday, February 2, 24. Objectives: Introduce expected values.. Means, Variances, and Standard Deviations of Probability Distributions Two classes ago, we computed the

More information

Chapter 11 Number Theory

Chapter 11 Number Theory Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications

More information

You will by now not be surprised that a version of the teleological argument can be found in the writings of Thomas Aquinas.

You will by now not be surprised that a version of the teleological argument can be found in the writings of Thomas Aquinas. The design argument The different versions of the cosmological argument we discussed over the last few weeks were arguments for the existence of God based on extremely abstract and general features of

More information

s = 1 + 2 +... + 49 + 50 s = 50 + 49 +... + 2 + 1 2s = 51 + 51 +... + 51 + 51 50 51. 2

s = 1 + 2 +... + 49 + 50 s = 50 + 49 +... + 2 + 1 2s = 51 + 51 +... + 51 + 51 50 51. 2 1. Use Euler s trick to find the sum 1 + 2 + 3 + 4 + + 49 + 50. s = 1 + 2 +... + 49 + 50 s = 50 + 49 +... + 2 + 1 2s = 51 + 51 +... + 51 + 51 Thus, 2s = 50 51. Therefore, s = 50 51. 2 2. Consider the sequence

More information

Kenken For Teachers. Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 27, 2010. Abstract

Kenken For Teachers. Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 27, 2010. Abstract Kenken For Teachers Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 7, 00 Abstract Kenken is a puzzle whose solution requires a combination of logic and simple arithmetic skills.

More information

The Slate Is Not Empty: Descartes and Locke on Innate Ideas

The Slate Is Not Empty: Descartes and Locke on Innate Ideas The Slate Is Not Empty: Descartes and Locke on Innate Ideas René Descartes and John Locke, two of the principal philosophers who shaped modern philosophy, disagree on several topics; one of them concerns

More information

Stupid Divisibility Tricks

Stupid Divisibility Tricks Stupid Divisibility Tricks 101 Ways to Stupefy Your Friends Appeared in Math Horizons November, 2006 Marc Renault Shippensburg University Mathematics Department 1871 Old Main Road Shippensburg, PA 17013

More information

Independent samples t-test. Dr. Tom Pierce Radford University

Independent samples t-test. Dr. Tom Pierce Radford University Independent samples t-test Dr. Tom Pierce Radford University The logic behind drawing causal conclusions from experiments The sampling distribution of the difference between means The standard error of

More information

Handouts for teachers

Handouts for teachers ASKING QUESTIONS THAT ENCOURAGE INQUIRY- BASED LEARNING How do we ask questions to develop scientific thinking and reasoning? Handouts for teachers Contents 1. Thinking about why we ask questions... 1

More information

For example, estimate the population of the United States as 3 times 10⁸ and the

For example, estimate the population of the United States as 3 times 10⁸ and the CCSS: Mathematics The Number System CCSS: Grade 8 8.NS.A. Know that there are numbers that are not rational, and approximate them by rational numbers. 8.NS.A.1. Understand informally that every number

More information

1 ST GRADE COMMON CORE STANDARDS FOR SAXON MATH

1 ST GRADE COMMON CORE STANDARDS FOR SAXON MATH 1 ST GRADE COMMON CORE STANDARDS FOR SAXON MATH Calendar The following tables show the CCSS focus of The Meeting activities, which appear at the beginning of each numbered lesson and are taught daily,

More information

The last three chapters introduced three major proof techniques: direct,

The last three chapters introduced three major proof techniques: direct, CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

More information

Graph Theory Problems and Solutions

Graph Theory Problems and Solutions raph Theory Problems and Solutions Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles November, 005 Problems. Prove that the sum of the degrees of the vertices of any finite graph is

More information

Answer Key for California State Standards: Algebra I

Answer Key for California State Standards: Algebra I Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

More information

One natural response would be to cite evidence of past mornings, and give something like the following argument:

One natural response would be to cite evidence of past mornings, and give something like the following argument: Hume on induction Suppose you were asked to give your reasons for believing that the sun will come up tomorrow, in the form of an argument for the claim that the sun will come up tomorrow. One natural

More information

Research design and methods Part II. Dr Brian van Wyk POST-GRADUATE ENROLMENT AND THROUGHPUT

Research design and methods Part II. Dr Brian van Wyk POST-GRADUATE ENROLMENT AND THROUGHPUT Research design and methods Part II Dr Brian van Wyk POST-GRADUATE ENROLMENT AND THROUGHPUT From last week Research methodology Quantitative vs. Qualitative vs. Participatory/action research Research methods

More information

Arguing for Atheism. An introduction to the philosophy of religion. Robin Le Poidevin. London and New York

Arguing for Atheism. An introduction to the philosophy of religion. Robin Le Poidevin. London and New York Arguing for Atheism An introduction to the philosophy of religion Robin Le Poidevin London and New York Contents List of illustrations x Preface xi Acknowledgements xiii Introduction xvii Part I The limits

More information

APPENDIX 1 PROOFS IN MATHEMATICS. A1.1 Introduction 286 MATHEMATICS

APPENDIX 1 PROOFS IN MATHEMATICS. A1.1 Introduction 286 MATHEMATICS 286 MATHEMATICS APPENDIX 1 PROOFS IN MATHEMATICS A1.1 Introduction Suppose your family owns a plot of land and there is no fencing around it. Your neighbour decides one day to fence off his land. After

More information

Read this syllabus very carefully. If there are any reasons why you cannot comply with what I am requiring, then talk with me about this at once.

Read this syllabus very carefully. If there are any reasons why you cannot comply with what I am requiring, then talk with me about this at once. LOGIC AND CRITICAL THINKING PHIL 2020 Maymester Term, 2010 Daily, 9:30-12:15 Peabody Hall, room 105 Text: LOGIC AND RATIONAL THOUGHT by Frank R. Harrison, III Professor: Frank R. Harrison, III Office:

More information

First Affirmative Speaker Template 1

First Affirmative Speaker Template 1 First Affirmative Speaker Template 1 upon the gender of the Chairman.) DEFINITION 2A. We define the topic as (Explain what the topic means. Define the key or important words in the topic. Use a dictionary

More information

How does the problem of relativity relate to Thomas Kuhn s concept of paradigm?

How does the problem of relativity relate to Thomas Kuhn s concept of paradigm? How does the problem of relativity relate to Thomas Kuhn s concept of paradigm? Eli Bjørhusdal After having published The Structure of Scientific Revolutions in 1962, Kuhn was much criticised for the use

More information

Congruent Number Problem

Congruent Number Problem University of Waterloo October 28th, 2015 Number Theory Number theory, can be described as the mathematics of discovering and explaining patterns in numbers. There is nothing in the world which pleases

More information