The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes.
|
|
- Malcolm Randall
- 5 years ago
- Views:
Transcription
1 The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes.
2 The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes. Answer 3: Space and its parts.
3 The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes. Answer 3: Space and its parts. KANT Geometry is a science which determines the properties of space synthetically and yet a priori Critique of Pure Reason A25/ B40
4 Before Kant A priori truths Analytic truths Truths of reason Relations of ideas A posteriori truths Synthetic truths Empirical truths
5 Kant Synthetic a priori Synthetic a posteriori Analytic a priori ---
6 Two sorts of experience dependence Psychological dependence: we could not form the belief without sense experience. Epistemological dependence: we could not know the proposition believed without experiential evidence. Everything red is coloured is psychologically dependent on experience but not epistemologically dependent on experience. Contrast All blood is coloured.
7 A Kantian account of a priori knowledge One s knowledge that p is a priori in acquiring or maintaining one s belief that p no experience was used as evidence for p or for anything from which one inferred p.
8 A Kantian account of a priori knowledge One s knowledge that p is a priori in acquiring or maintaining one s belief that p no experience was used as evidence for p or for anything from which one inferred p.
9 Kant s argument that geometrical knowledge is a priori (1) Any way of knowing that a geometrical proposition is true is a way of knowing that it is necessarily true. (2) We cannot get knowledge of a necessary truth from the evidence of experience. We cannot get knowledge of a geometrical truth from the evidence of experience.
10 Kant s argument that geometrical knowledge is a priori (1) Any way of knowing that a geometrical proposition is true is a way of knowing that it is necessarily true. (2) We cannot get knowledge of a necessary truth from the evidence of experience. We cannot get knowledge of a geometrical truth from the evidence of experience. Objections: (1) is false if geometry is about physical space alternatives to the parallels postulate. (2) is false if we have knowledge of physical laws.
11 But some geometrical knowledge may be a priori. Recall that experience does not seem to be used as evidence in the proof of the angle sum theorem. Experience had other roles, such as to help one grasp the situation described verbally, prompt the mind to form new beliefs or recall old ones, help one hold in mind accumulated information.
12 A B C D
13 A E B C D
14 A E B C D
15 A E B C D
16 Analytic knowledge Kant: Every F is G is analytic the concept of G is contained in the concept of F. Frege: A truth is analytic it can be known just by means of legitimate definitions and deductive logic. One s knowledge of a truth is analytic one knows it as a definition or just by deduction from definitions.
17 Some geometric knowledge is analytic, contra Kant. For example A hexagon has exactly six sides. This falls right out of the definition: A hexagon is a polygon with exactly six sides.
18 Some geometric knowledge is non-analytic. No two straight lines enclose a space. For any three straight line segments, if any two together are longer than the third, there is a triangle with sides equal to those line segments. For any triangle, any two of its sides taken together are longer than the third.
19 Intuition according to Kant Intuition (anschauung) is immediate awareness. It includes sense perception and imagination, and spatial awareness. An intuition is always (a) of something and (b) immediate, i.e., does not involve interpretation. Mathematics hurries at once to intuition [CPR A715/ B743]
20 The generality problem How can we reliably reach a general conclusion by reasoning with specific cases? For example In the path to the angle-sum theorem, dissimilar figures conform to the specification of the construction. Hence the path might depend on a feature of the constructed figure not shared by all figures conforming to the specification. Hence the path would be fallacious.
21 The area of a triangle with a horizontal base = half its height x its base. Fallacious path: 21
22 The area of a triangle with a horizontal base = half its height x its base. Fallacious path: 22
23 The area of a triangle with a horizontal base = half its height x its base. Fallacious path: 23
24 This procedure depends on a feature not shared by all triangles: the base angles are not obtuse. 24
25 The generality problem How can we reliably reach a general conclusion by reasoning with specific cases? The individual drawn figure is empirical, and yet serves to express the concept without damage to its universality, for in the case of this empirical intuition we have taken account only of the action of constructing the concept. [CPR A714/ B742]
26 The generality problem How can we reliably reach a general conclusion by reasoning with specific cases? [T]hat which follows from the general conditions of the construction must also hold generally of the object of the constructed concept. [CPR A715/ B743]
27 General conditions for constructing a triangle (?) 1. Construct a straight line segment. 2. From one end of that line segment construct another line segment at an angle to it. 3. Construct a third line segment joining the unattached ends of the first and second.
28 General conditions for constructing a triangle (?) 1. Construct a straight line segment. 2. From one end of that line segment construct another line segment at an angle to it. 3. Construct a third line segment joining the unattached ends of the first and second. Objection: the general conditions come from our concept of triangle; so knowledge deduced from the general conditions would be (covertly) analytic, not synthetic.
29 Conditions for reliable generalizing Distinguish between the initial figure and the elaboration of the figure. For a theorem about all of kind K (1) The type T of construction that elaborates the specific initial figure of kind K must be applicable to all of kind K; (2) The reasoning must be applicable to all figures of kind K with an elaboration of type T. 29
30 ... and (3) The generalizing must depend on the holding of both (1) and (2): if, in similar visual reasoning, (1) or (2) failed to hold, one would detect the failure and refrain from generalizing. 30
31 The Space Problem Geometrical truths are spatial facts. Space is external to and independent of the mind. How can we have a priori knowledge of spatial facts?
32 The Space Problem Geometrical truths are spatial facts. Space is external to and independent of the mind. How can we have a priori knowledge of spatial facts? Kant s answer : Space is not independent of the mind! if we remove the subject or even only the subjective constitution of the senses in general, all the constitution, all relations of objects in space and time, indeed space and time themselves, would disappear [CPR A42/ B59]
33 Kant s answer (?) Space is the framework imposed by the mind on experience of objects as outer and extended. We can get knowledge of space merely by becoming aware of the nature of this mental framework.
34 Kant s metaphysics TRANSCENDEN TALLY IDEAL TRANSCENDEN TALLY REAL EMPIRICALLY REAL Real phenomena, e.g. stars. Forms of intuition e.g. space EMPIRICALLY UNREAL Illusory phenomena, e.g. dream images, rainbows, mirages. Noumena
35 How did Kant reach the surprising conclusion that space is mind-dependent? 1. Euclidean geometry is the necessary truth about space. 2. Our knowledge of geometrical truths is synthetic a priori. 3. The only explanation of 2 given 1 takes space to be the framework imposed on outer experience by the mind. 4. So space just is the framework imposed on outer experience by the mind.
36 The space problem: an alternative answer Geometrical truths are spatial facts. How can we have a priori knowledge of spatial facts? Distinguish between (a) claims about the geometry of actual space, (b) claims about the geometry that space would have if space were as the mind represents it. 36
37 How the mind represents space Singular and infinite [A 25/ B39-40] Without gaps Constant zero curvature at any scale..... This representation does not depend on geometrical concepts or beliefs. It is an intellectual task to uncover the geometry of this kind of space. 37
38 The space problem Geometrical truths are spatial facts. How can we have a priori knowledge of spatial facts? Answer We cannot know a priori the geometrical facts of actual space. But we can know a priori geometrical facts about the kind of space that is represented by the mind. 38
39 Two ways to go post-kant (1) Keep the view that geometry is about actual physical space; reject the view that geometrical knowledge is a priori; OR (2) Reject the view that geometry is about actual physical space; keep the view that geometrical knowledge is a priori.
40 Elaboration of the second way 1. Geometrical theories are theories about the way space could be (possible spaces). 2. Euclidean geometry is about those possible spaces that conform to our mental representation of space. 3. Our knowledge of truths of Euclidean geometry is a priori, and often synthetic.
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 informationName: Chris Arledge. School: Ohio University. Mailing Address: 36 Poston Rd, The Plains, OH Phone:
1 Name: Chris Arledge School: Ohio University Mailing Address: 36 Poston Rd, The Plains, OH 45780 Email: arledgechris@gmail.com Phone: 864-414-0226 2 In his Critique of Pure Reason Immanuel Kant sets forth
More information09. Kant and Logical Positivism Topics:
09. Kant and Logical Positivism Topics: I. Two Types of Skepticism II. Kant s Proposal III. Logical Positivism I. Two Types of Skepticism Metaphysical skepticism = Skepticism about claims that go beyond
More informationDr Prya Mathew SJCE Mysore
1 2 3 The word Mathematics derived from two Greek words Manthanein means learning Techne means an art or technique So Mathematics means the art of learning related to disciplines or faculties disciplines
More informationCN#4 Biconditional Statements and Definitions
CN#4 s and Definitions OBJECTIVES: STUDENTS WILL BE ABLE TO WRITE AND ANALYZE BICONDITIONAL STATEMENTS. Vocabulary biconditional statement definition polygon triangle quadrilateral When you combine a conditional
More informationScientific 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 informationMeaning of Proof Methods of Proof
Mathematical Proof Meaning of Proof Methods of Proof 1 Dr. Priya Mathew SJCE Mysore Mathematics Education 4/7/2016 2 Introduction Proposition: Proposition or a Statement is a grammatically correct declarative
More informationThe 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 informationConceivability 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 informationKant and Finitism. Crossing Worlds: Mathematical logisc, philosophy, art: For Juliette Kennedy. Bill Tait. 4 June 2016
Kant and Finitism Crossing Worlds: Mathematical logisc, philosophy, art: For Juliette Kennedy Bill Tait 4 June 2016 The Problems Kant in The Critique of Pure Reason: How can there be synthetic a priori
More informationYour quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.
Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due
More informationThe Epistemology of Geometry
The Epistemology of Geometry Pt. II Philosophy of Physics Lecture 4, 6 February 2015, Adam Caulton (aepw2@cam.ac.uk) 1 Euclidean geometry 1. Any two points determine a unique finite straight line (the
More informationPhilosophy 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 information2-4. Holt McDougal Geometry
Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect in a point. 2. An odd number is one more than
More informationPROOFS IN MATHEMATICS
Appendix 1 PROOFS IN MATHEMATICS Proofs are to Mathematics what calligraphy is to poetry. Mathematical works do consist of proofs just as poems do consist of characters. VLADIMIR ARNOLD A.1.1 Introduction
More informationFORMAL PROOFS DONU ARAPURA
FORMAL PROOFS DONU ARAPURA This is a supplement for M385 on formal proofs in propositional logic. Rather than following the presentation of Rubin, I want to use a slightly different set of rules which
More informationPhilosophy of Mathematics Intuitionism
Philosophy of Mathematics Intuitionism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 01/12/15 Classical mathematics Consider the Pythagorean argument that 2 is irrational: 1. Assume that
More informationTRACING THE ORIGIN OF LIFE
TRACING THE ORIGIN OF LIFE James A. Putnam 2003 There is no natural discontinuity between life and the rest of creation. Scientific conclusions that include discontinuity in the operation of the universe
More informationThe 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 informationOn the Evolution of the Concept of Time
On the Evolution of the Concept of Time Berislav Žarnić Faculty of Humanities and Social Sciences Research Centre for Logic, Epistemology, and Philosophy of Science University of Split Physics & Philosophy
More informationEuclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from
Hu1 Haotian Hu Dr. Boman Math 475W 9 November 2016 Euclid Geometry And Non-Euclid Geometry Have you ever asked yourself why is it that if you walk to a specific place from somewhere, you will always find
More informationSo, 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 informationReasoning and Proof Unit
Reasoning and Proof Unit 1 2 2 Conditional Statements Conditional Statement if, then statement the if part is hypothesis the then part is conclusion Conditional Statement How? if, then Example If an angle
More information240 Metaphysics. Frege s Puzzle. Chapter 26
240 Metaphysics Frege s Puzzle Frege s Puzzle 241 Frege s Puzzle In his 1879 Begriffsschrift (or Concept-Writing ), Gottlob Frege developed a propositional calculus to determine the truth values of propositions
More informationGeometry - Chapter 2 Corrective 1
Name: Class: Date: Geometry - Chapter 2 Corrective 1 Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Make a table of values for the rule x 2 16x + 64 when
More informationThe Real, the Infinite, Categories, and Cardinal Numbers: The Problem of Metaphysics in the Critique of Pure Reason
International Journal of Humanities Social Sciences and Education (IJHSSE) Volume 5, Issue 4, April 2018, PP 20-45 ISSN 2349-0373 (Print) & ISSN 2349-0381 (Online) http://dx.doi.org/10.20431/2349-0381.0504003
More informationHilbert and the concept of axiom
Hilbert and the concept of axiom Giorgio Venturi Scuola Normale Superiore di Pisa Giorgio Venturi (SNS) Hilbert and the concept of axiom 1/24 First period Axiomatic method in the first period The actual
More information35 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 information9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations
Strand One: Number Sense and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, the relationships among numbers, and different number systems. Justify with examples
More informationWarm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry
2-4 Warm Up Lesson Presentation Lesson Quiz Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect
More informationSupplementary 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 informationPhilosophy of Mathematics Structuralism
Philosophy of Mathematics Structuralism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 17/11/15 Neo-Fregeanism Last week, we considered recent attempts to revive Fregean logicism. Analytic
More informationA Vindication of Kantian Euclidean Space
teorema Vol. XXIII/1-3, 2004, pp. 105-115 A Vindication of Kantian Euclidean Space José Ruiz Fernández ABSTRACT This paper is a phenomenological vindication of the Kantian claim concerning the Euclidean
More informationHawai`i Post-Secondary Math Survey -- Content Items
Hawai`i Post-Secondary Math Survey -- Content Items Section I: Number sense and numerical operations -- Several numerical operations skills are listed below. Please rank each on a scale from 1 (not essential)
More informationThe roots of computability theory. September 5, 2016
The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.
More informationLogical Form, Mathematical Practice, and Frege s Begriffsschrift. Danielle Macbeth Haverford College
Logical Form, Mathematical Practice, and Frege s Begriffsschrift Danielle Macbeth Haverford College Logic Colloquium 2015, Helsinki, August 3 8, 2015 Outline written mathematics report of reasoning display
More informationGeometry and Philosophy
Geometry and Philosophy Russell Marcus Hamilton College November 2007 Philosophy and Geometry, Slide 1 Plato s Academy Let no one ignorant of geometry enter here Philosophy and Geometry, Slide 2 The Big
More informationInitial Conditions, Laws and Explanation
University of Rochester bradley.weslake@rochester.edu http://mail.rochester.edu/~bweslake/ Laws Anarchism versus Imperialism Imperialism, More Precisely The Argument for Imperialism Laws Fundamental and
More informationB will distinguish two forms of multiplicity, discrete and continuous.
Chapter 2 of Time and Free Will: On the Multiplicity of States of Consciousness: The Idea of Duration John Protevi / LSU French Studies / Lecture notes: DO NOT CITE protevi@lsu.edu / www.protevi.com/john/bergson/tfw2lecture.pdf
More informationPHILOSOPHY OF SPACE AND TIME various authors. Philosophy of space and time is the branch of philosophy concerned with the issues
PHILOSOPHY OF SPACE AND TIME various authors Philosophy of space time is the branch of philosophy concerned with the issues surrounding the ontology epistemol ogy character of space time. While such ideas
More informationWittgenstein on The Standard Metre
Philosophical Investigations 27:2 April 2004 ISSN 0190-0536 Wittgenstein on The Standard Metre W. J. Pollock In Philosophical Investigations 50 Wittgenstein says something about the standard metre stick
More informationPhilosophical Review.
Philosophical Review Visual Geometry Author(s): James Hopkins Source: The Philosophical Review, Vol. 82, No. 1 (Jan., 1973), pp. 3-34 Published by: Duke University Press on behalf of Philosophical Review
More informationThe Evolution and Discovery of the Species of Equality in Euclid s Elements
From the SelectedWorks of Lee T Nutini 2010 The Evolution and Discovery of the Species of Equality in Euclid s Elements Lee T Nutini Available at: https://works.bepress.com/nutini/2/ Nutini 1 The Evolution
More informationRealism and Idealism External Realism
Realism and Idealism External Realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 8/10/15 What is metaphysics? Metaphysics is the attempt to: give a general description of the whole of
More informationRussell 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 informationMeasurement Independence, Parameter Independence and Non-locality
Measurement Independence, Parameter Independence and Non-locality Iñaki San Pedro Department of Logic and Philosophy of Science University of the Basque Country, UPV/EHU inaki.sanpedro@ehu.es Abstract
More informationChapter 4 Continuous Random Variables and Probability Distributions
Chapter 4 Continuous Random Variables and Probability Distributions Part 1: Continuous Random Variables Section 4.1 Continuous Random Variables Section 4.2 Probability Distributions & Probability Density
More informationp, p or its negation is true, and the other false
Logic and Proof In logic (and mathematics) one often has to prove the truthness of a statement made. A proposition is a (declarative) sentence that is either true or false. Example: An odd number is prime.
More informationSHAPE OF ORBITAL PATH
SHAPE OF ORBITAL PATH According to MATTER (Re-examined) Nainan K. Varghese, matterdoc@gmail.com http://www.matterdoc.info Abstract: In any system of macro bodies, relative considerations can provide only
More informationAvoiding the Block Universe: A Reply to Petkov Peter Bokulich Boston University Draft: 3 Feb. 2006
Avoiding the Block Universe: A Reply to Petkov Peter Bokulich Boston University pbokulic@bu.edu Draft: 3 Feb. 2006 Key Points: 1. Petkov assumes that the standard relativistic interpretations of measurement
More informationExplanation and Argument in Mathematical Practice
Explanation and Argument in Mathematical Practice Andrew Aberdein Humanities and Communication, Florida Institute of Technology, 50 West University Blvd, Melbourne, Florida 3290-6975, U.S.A. my.fit.edu/
More informationLecture 1: Axioms and Models
Lecture 1: Axioms and Models 1.1 Geometry Although the study of geometry dates back at least to the early Babylonian and Egyptian societies, our modern systematic approach to the subject originates in
More informationA New Semantic Theory of Natural Language
A New Semantic Theory of Natural Language Kun Xing kun.xing.ac@gmail.com Abstract Formal Semantics and Distributional Semantics are two important semantic frameworks in Natural Language Processing (NLP).
More informationConventionalism and Modern Physics: A Re-Assessment*
NOÛS 36:2 ~2002! 169 200 Conventionalism and Modern Physics: A Re-Assessment* Robert DiSalle The University of Western Ontario Conventionalism implied that physical geometry must be fixed by an arbitrary
More informationδιανοια IS GEOMETRY ANALYTIC? 1. INTRODUCTION MGHANGA DAVID MWAKIMA
διανοια 1. INTRODUCTION IS GEOMETRY ANALYTIC? MGHANGA DAVID MWAKIMA In the fourth chapter of Language, Truth and Logic, Ayer undertakes the task of showing how a priori knowledge of mathematics and logic
More informationEuclid s Elements Part II
Euclid s Elements Part II The discovery of incommensurable magnitudes steered the ancient Greeks away from the study of number and towards the development of geometry. s a result, geometry was pushed in
More informationSeminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)
http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product
More information4 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 informationDiscrete Mathematics
Slides for Part IA CST 2015/16 Discrete Mathematics Prof Marcelo Fiore Marcelo.Fiore@cl.cam.ac.uk What are we up to? Learn to read and write, and also work with,
More informationFormal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University
Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Bayesian Epistemology Radical probabilism doesn t insists that probabilities be based on certainties;
More information65,536 Definitions of Physicalism. David J. Chalmers
65,536 Definitions of Physicalism David J. Chalmers An Intuitive Definition n Physicalism: n All being is ontologically determined by physical being. Definition Template n Physicalism: n All As of type
More informationThe Converse of Deducibility: C.I. Lewis and the Origin of Modern AAL/ALC Modal 2011 Logic 1 / 26
The Converse of Deducibility: C.I. Lewis and the Origin of Modern Modal Logic Edwin Mares Victoria University of Wellington AAL/ALC 2011 The Converse of Deducibility: C.I. Lewis and the Origin of Modern
More informationPropositional 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 informationMathematical Induction. Defining Functions. Overview. Notation for recursive functions. Base case Sn(0) = 0 S(n) = S(n 1) + n for n > 0
Readings on induction. Mathematical Induction (a) Weiss, Sec. 7.2, page 233 (b) Course slides f lecture and notes recitation. Every criticism from a good man is of value to me. What you hint at generally
More informationMAT 3271: Selected solutions to problem set 7
MT 3271: Selected solutions to problem set 7 Chapter 3, Exercises: 16. Consider the Real ffine Plane (that is what the text means by the usual Euclidean model ), which is a model of incidence geometry.
More informationOn the Complexity of Causal Models
On the Complexity of Causal Models Brian R. Gaines Man-Machine Systems Laboratory Department of Electrical Engineering Science University of Essex, Colchester, England It is argued that principle of causality
More informationMathematics-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 information7.1 Significance of question: are there laws in S.S.? (Why care?) Possible answers:
I. Roberts: There are no laws of the social sciences Social sciences = sciences involving human behaviour (Economics, Psychology, Sociology, Political Science) 7.1 Significance of question: are there laws
More informationHilbert s significance for the philosophy of mathematics (1922) Paul Bernays
Bernays Project: Text No. 1 Hilbert s significance for the philosophy of mathematics (1922) Paul Bernays (Die Bedeutung Hilberts für die Philosophie der Mathematik, Die Naturwissenschaften 10, 1922, pp.
More informationThe Logic of Geometric Proof
The Logic of Geometric Proof Ron Rood Department of Philosophy, Vrije Universiteit Amsterdam ron.rood@planet.nl Logical studies of diagrammatic reasoning indeed, mathematical reasoning in general are typically
More informationGroups in Mind. David Hilbert and Nick Huggett
Groups in Mind David Hilbert and Nick Huggett Both Henri Poincaré and (more recently) Roger Shepard have argued that the geometry and topology of physical space are internalized by the mind in the form,
More informationArtificial Intelligence. Propositional logic
Artificial Intelligence Propositional logic Propositional Logic: Syntax Syntax of propositional logic defines allowable sentences Atomic sentences consists of a single proposition symbol Each symbol stands
More informationPropositional Logic Arguments (5A) Young W. Lim 11/30/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationEXISTENTIAL IMPORT REVISITED KAREL LAMBERT
288 Notre Dame Journal of Formal Logic Volume IV, Number 4, October 1963 EXISTENTIAL IMPORT REVISITED KAREL LAMBERT The traditional logic supposed statements of the form ζ (x) Fx D Gx 9 to have existential
More informationRigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis
/3/26 Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy
More informationMajor Matrix Mathematics Education 7-12 Licensure - NEW
Course Name(s) Number(s) Choose One: MATH 303Differential Equations MATH 304 Mathematical Modeling MATH 305 History and Philosophy of Mathematics MATH 405 Advanced Calculus MATH 406 Mathematical Statistics
More informationINTRODUCTION TO LOGIC
INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.
More informationRigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis
/9/27 Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy
More informationIntroduction 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 informationA Rejoinder to Mackintosh and some Remarks on the. Concept of General Intelligence
A Rejoinder to Mackintosh and some Remarks on the Concept of General Intelligence Moritz Heene Department of Psychology, Ludwig Maximilian University, Munich, Germany. 1 Abstract In 2000 Nicholas J. Mackintosh
More informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationMany philosophers accept a layered world view according to which the facts about
Forthcoming in Analysis, January 2009 Zeno Objects and Supervenience SIMON PROSSER 1. Introduction Many philosophers accept a layered world view according to which the facts about the higher ontological
More informationWhat Comes After Structural Realism?
Homotopy Type Theory and Constructive Identity 23 novembre 2012 How To Be a Realist After Kant? Two Issues About Scientific Realism Mathematical and Physical Objecthood and Objectivity Structuralism is
More informationEUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5
EUCLID S AXIOMS In addition to the great practical value of Euclidean Geometry, the ancient Greeks also found great aesthetic value in the study of geometry. Much as children assemble a few kinds blocks
More informationPrompt. Commentary. Mathematical Foci
Situation 51: Proof by Mathematical Induction Prepared at the University of Georgia Center for Proficiency in Teaching Mathematics 9/15/06-Erik Tillema 2/22/07-Jeremy Kilpatrick Prompt A teacher of a calculus
More informationPopper s Measure of Corroboration and P h b
Popper s Measure of Corroboration and P h b Darrell P. Rowbottom This paper shows that Popper s measure of corroboration is inapplicable if, as Popper also argued, the logical probability of synthetic
More informationTHE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS
THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS INTRODUCTION Mathematics is a science of the real world, just as much as biology or sociology are. Where biology studies living things
More information1 Implication and induction
1 Implication and induction This chapter is about various kinds of argument which are used in mathematical proofs. When you have completed it, you should know what is meant by implication and equivalence,
More informationIntroduction to Logic
Introduction to Logic L. Marizza A. Bailey June 21, 2014 The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra
More informationPhilosophy 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 informationChapter 2: Geometric Reasoning Review
Geometry B Name: Date: Block: Chapter 2: Geometric Reasoning Review Show all work to receive full credit. This will be collected. 1) What is the next item in the pattern? 1, 2, 4, 8,... 2) Find the next
More informationPart Six: Reasoning Defeasibly About the World
Part Six: Reasoning Defeasibly About the World Our in building a defeasible reasoner was to have an inference-engine for a rational agent capable of getting around in the real world. This requires it to
More informationLesson 14: An Axiom System for Geometry
219 Lesson 14: n xiom System for Geometry We are now ready to present an axiomatic development of geometry. This means that we will list a set of axioms for geometry. These axioms will be simple fundamental
More information0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
More informationGeometry I (CM122A, 5CCM122B, 4CCM122A)
Geometry I (CM122A, 5CCM122B, 4CCM122A) Lecturer: Giuseppe Tinaglia Office: S5.31 Office Hours: Wed 1-3 or by appointment. E-mail: giuseppe.tinaglia@kcl.ac.uk Course webpage: http://www.mth.kcl.ac.uk/
More informationWeyl and Reichenbach on apriority
Weyl and University of Oxford 27 May 2005 Weyl and Motivation Weyl and Motivation What is the status of the statements such as Phosphorus melts at 44 C or Light has the same velocity in all inertial frames?
More informationThe Scaling of Speeds and Distances in Galileo s Two New Sciences: A reply to Palmerino and Laird
The Scaling of Speeds and Distances in Galileo s Two New Sciences: A reply to Palmerino and Laird John D. Norton and Bryan W. Roberts * We thank Drs. Laird and Palmerino for their efforts in responding
More informationTo every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied.
Modal Logic (2) There appeared to be a correspondence between the validity of Φ Φ and the property that the accessibility relation R is reflexive. The connection between them is that both relied on the
More informationFrege-numbers + Begriffsschrift revisited
History of logic: from Frege to Gödel 26th September 2017 Grundlagen der Arithmetik: some philosophical issues Introduction: Grundlagen der Arithmetik: some philosophical issues Introduction: "In this
More informationGeometry Unit 2 Review Show all work and follow the criteria for credit.
Competency 1: Angles and Angle Bisectors 1. What is the classification of an angle that has a measure of less than 90 o? 4. Given the diagram below where BD is an angle bisector. A D 2. Given the following
More information