The Square Root of 2, p, and the King of France: Ontological and Epistemological Issues Encountered (and Ignored) in Introductory Mathematics Courses Martin.

Slides:



Advertisements
Similar presentations
Predicate Logic Colin Campbell. A Formal Language Predicate Logic provides a way to formalize natural language so that ambiguity is removed. Mathematical.
Advertisements

Brief Introduction to Logic. Outline Historical View Propositional Logic : Syntax Propositional Logic : Semantics Satisfiability Natural Deduction : Proofs.
Semantics Static semantics Dynamic semantics attribute grammars
Kaplan’s Theory of Indexicals
Presupposition General definition: entailment under negation. I don’t regret saying it. I regret saying it. A topic of much interest in philosophy: the.
Copyright © Cengage Learning. All rights reserved.
Philosophy 103 Linguistics 103 Introductory Logic: Critical Thinking Fall 2007 Dr. Robert Barnard.
Logic and Set Theory.
Brief Introduction to Logic. Outline Historical View Propositional Logic : Syntax Propositional Logic : Semantics Satisfiability Natural Deduction : Proofs.
Which Came First? The Philosophy, the History, or the Mathematics? Martin E Flashman Department of Mathematics Humboldt State University Arcata, CA
Presentation on Formalising Speech Acts (Course: Formal Logic)
Many Valued Logic (MVL) By: Shay Erov - 01/11/2007.
COMP 3009 Introduction to AI Dr Eleni Mangina
Let remember from the previous lesson what is Knowledge representation
CS 330 Programming Languages 09 / 16 / 2008 Instructor: Michael Eckmann.
1. Introduction Which rules to describe Form and Function Type versus Token 2 Discourse Grammar Appreciation.
Philosophy of Mathematics
Predicates and Quantifiers
RESEARCH IN EDUCATION Chapter I. Explanations about the Universe Power of the gods Religious authority Challenge to religious dogma Metacognition: Thinking.
Class 36: Proofs about Unprovability David Evans University of Virginia cs1120.
Chapter 1.1 Common Core – A.SSE.1.a Interpret parts of an expression, such as terms, factors, and coefficients. Objectives – To write algebraic expressions.
Chapter 4: Elementary Number Theory and Methods of Proof 4.2 Direct Proof and Counter Example II: Rational Numbers 1 Such, then, is the whole art of convincing.
LIN1180/LIN5082 Semantics Lecture 3
KNOWLEDGE What is it? How does it differ from belief? What is the relationship between knowledge and truth? These are the concerns of epistemology How.
Bertrand Russell, “Existence and Description” §1 General Propositions and Existence “Now when you come to ask what really is asserted in a general proposition,
Visualizing Partial Derivatives without Graphs. Martin Flashman. Humboldt State University and Occidental College.
Unit Five Semantics, Study of Meaning
Logic in Computer Science - Overview Sep 1, 2011 POSTECH 박성우.
About Math and related topics About Math 1. The Unreasonable Effectiveness The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene.
Lesson 1 – Number Sets & Set Notation Math 2 Honors – Mr Santowski 10/18/20151 Math 2 Honors - Santowski.
On Denoting and its history Harm Boukema. Everyone agrees that “the golden mountain does not exist” is a true proposition. But it has, apparently, a subject,
Real Number System.
P.1 Real Numbers. 2 What You Should Learn Represent and classify real numbers. Order real numbers and use inequalities. Find the absolute values of real.
ISBN Chapter 3 Describing Semantics -Attribute Grammars -Dynamic Semantics.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Copyright © Cengage Learning. All rights reserved. CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS THE LOGIC OF QUANTIFIED STATEMENTS.
The Problem of Evil: McCabe, “The Statement of the Problem”
Activity 1-19: The Propositional Calculus
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
2.1 Symbols and Terminology. Designating Sets A set is a collection of objects (in math, usually numbers). The objects belonging to the set are called.
Copyright © Cengage Learning. All rights reserved.
Lesson 1 – Number Sets & Set Notation
Number System. Do not train children to learning by force and harshness, but direct them to it by what amuses their minds, so that you may be better able.
SEMANTICS VS PRAGMATICS Semantics is the study of the relationships between linguistic forms and entities in the world; that is how words literally connect.
CONCEPTUALIZING AND ACTUALIZING THE NEW CURRICULUM Peter Liljedahl.
Artificial Intelligence “Introduction to Formal Logic” Jennifer J. Burg Department of Mathematics and Computer Science.
1 Propositional Logic: Fundamental Elements for Computer Scientists 0. Motivation for Computer Scientists 1. Propositions and Propositional Variables 2.
Predicate Logic One step stronger than propositional logic Copyright © Curt Hill.
THE NEW CURRICULUM MATHEMATICS 1 Foundations and Pre-Calculus Reasoning and analyzing Inductively and deductively reason and use logic.
What Place Does Philosophy Have in Teaching Mathematics? Preliminary report. Martin E Flashman Department of Mathematics Humboldt State University Arcata,
MATHEMATICS 1 Foundations and Pre-Calculus Reasoning and analyzing Inductively and deductively reason and use logic to explore, make connections,
ARTIFICIAL INTELLIGENCE Lecture 2 Propositional Calculus.
Knowledge LO: To understand the distinction between three different types of knowledge. To learn some basic epistemological distinctions. To understand.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
Artificial Intelligence Logical Agents Chapter 7.
Chapter 2 Sets and Functions.
THE ONTOLOGICAL ARGUMENT 1
Rational and Irrational Numbers
The Propositional Calculus
Algebra Review Radical Expressions page 280
Philosophy of Language Seminar 2: Definite Descriptions (1)
10 Real Numbers, Equations, and Inequalities.
Copyright © Cengage Learning. All rights reserved.
Set includes rational numbers and irrational numbers.
Subsets of the Real Numbers
Fictional objects: different perspectives
ALI JABBER KARAM Presented by :
Logic of Informatics Introduction.
An example of the “axiomatic approach” from geometry
Representations & Reasoning Systems (RRS) (2.2)
Presentation transcript:

The Square Root of 2, p, and the King of France: Ontological and Epistemological Issues Encountered (and Ignored) in Introductory Mathematics Courses Martin E. Flashman* Humboldt State University and Occidental College Dedicated to the memory of Jean van Heijenoort.

Abstract Students in many beginning college level courses are presented with proofs that the square root of 2 is irrational along with statements about the irrationality and transcendence of p. In Bertrand Russell’s 1905 landmark article ”On Denoting” one of the central examples was the statement, “The present King of France is bald.” In this presentation the author will discuss both the ontological and epistemological connections between these examples in trying to find a sensible and convincing explanation for the difficulties that are usually ignored in introductory presentations; namely, what is it that makes the square root of 2 and p numbers? and how do we know anything about them? If time permits the author will also discuss the possible value in raising these issues at the level of introductory college mathematics. Dedicated to the memory of Jean van Heijenoort.

Apology This work is the result of many years of thought- but is still only a preliminary attempt to record some of these thoughts and connect them to some historic and contemporary philosophical approaches.

Pre-Calculus Course Questions What is a number? –Students give some examples of numbers Different ways to describe and represent numbers3, sqt(2), i, pi, e, … Different ways to use numbers Compare numbers: 3 5 What is a function? !

Bertrand Russell “On Denoting” Mind,1905 An attempt to resolve issues related to the meaning in discourse of terms of denotation. A response to –the simplistic response that any non- contradictory description denotes something that exists. –Frege’s response that such terms have two aspects: meaning and denotation.

Key examples Russell’s Examples 1.The author of Waverly is Scott. 2.The present king of England is bald. 3.The present king of France is bald. Mathematics Examples 1.The square root of 4 is 2. 2.The square root of 4 is rational. 3.The square root of 2 is rational. 4.p is not rational.

Russell’s Theory for Denoting “… a phrase is denoting solely in virtue of its form. We may distinguish three cases: (1)A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man.”

The importance of context “…denoting phrases never have any meaning in themselves, but that every proposition in whose verbal expression they occur has a meaning.”

Interpretation of indefinite denoting phrases Conditional forms, conjunctions and assertions about statements explain apparent indefinite denoting phrases. Example [Russell]:`All men are mortal' means ` ``If x is human, x is mortal'' is always true.' This is what is expressed in symbolic logic by saying that `all men are mortal' means ` ``x is human'' implies ``x is mortal'' for all values of x'.

Denoting: Syntax and Semantics In a formal mathematical context (Tarski) we can distinguish –the syntax of an expression: how symbols of an expression are organized in a formal context. –Examples: 2, the square root of 2 –the semantics of an expression: a correspondence in a context between an expression and an object of the context. –Examples: the integer 2, the positive real number whose square is 2.

Existence, Being, and Uniqueness Russell: When a denoting phrase uses “the”, the use entails uniqueness. Russell presents a linguistic transformation to produce “a reduction of all propositions in which denoting phrases occur to forms in which no such phrases occur.” As a consequence, Russell tries to resolve confusion and apparent paradoxes (Frege) from the use of denoting phrases that have meaning with no denotation.

Russell on meaning and denotation “…a denoting phrase is essentially part of a sentence, and does not, like most single words, have any significance on its own account.” “ … if 'C' is a denoting phrase, it may happen that there is one entity x (there cannot be more than one) for which the proposition `x is identical with 'C' ‘ is true. We may then say that the entity x is the denotation of the phrase 'C'.”

Denoting:Primary and Secondary Occurrence - Context Examples Primary: `One and only one man wrote Waverley, and George IV wished to know whether Scott was that man'. Secondary: `George IV wished to know whether one and only one man wrote Waverley and Scott was that man'

Distinguishing the use of a denoting phrase in propositions. Russell: “… all propositions in which `the King of France' has a primary occurrence are false: the denials of such propositions are true, but in them `the King of France' has a secondary occurrence.”

Return to Key examples for discussion Russell’s examples 1.The author of Waverly is Scott. 2.The present king of England is bald. 3.The present king of France is bald. Mathematics Examples 1.The square root of 4 is 2. 2.The square root of 4 is rational. 3.The square root of 2 is rational.

Application to Square Roots 1.The square root of 4 is 2. One and only one positive integer has its square equal to 4, and the proposition is true if the number 2 is that number. The proposition is true if one and only one positive integer has its square equal to 4 and the number 2 is that number.

Application to Square Roots 2. The square root of 4 is rational. One and only one positive integer has its square equal to 4, and the proposition is true if that number is rational. The proposition is true if one and only one positive integer has its square equal to 4 and that number is rational. Notice either interpretation of the proposition is true.

Application to Square Roots 3. The square root of 2 is rational. One and only one positive integer has its square equal to 2, and the proposition is true if that number is rational. The proposition is true if one and only one positive integer has its square equal to 2 and that number is rational.

Denoting and Knowing How does one identify a meaning with it denotation? Context. How does one determine the truth/falsity of a statement that uses a denoting phrase? Context and Usage. How is a statement that uses a denoting phrase a “proposition”? Propositions in context give meaning to the denoting phrase!

Contexts for the Mathematical Examples Counting contexts (units) Geometric contexts Measurement contexts (units) Comparative contexts (Ratios) Analytic contexts (Platonist) Algorithmic contexts (Procedural) Formal contexts (Symbolic) Structural Contexts (Conceptual) Set Theory / Logic Contexts (Reductions)

Philosophical Questions How are the contexts for mathematics articulated? –A process of development? Dynamic –A process of discovery? Static How do we know the truth of mathematical propositions? –The truth of mathematical propositions is intrinsically connected to their context by their denoting phrases.

Pedagogical consequences Awareness of the issues related to denoting should increase with greater familiarity and experience with a variety of mathematical contexts. With greater maturity and at appropriate levels, students should be made more aware of philosophical issues related to existence, uniqueness, and the dependence on context in the study of mathematics. The consequence of greater awareness of these issues might be seen in increased conceptual flexibility and new approaches to understanding and solving problems through the articulation of new contexts.

Time! Questions? Responses? Further Communication by These notes will be available at

Thanks- The end!