STRUCTURALISM, MATHEMATICAL


 Derrick Smith
 1 years ago
 Views:
Transcription
1 STRUCTURALISM, MATHEMATICAL Structuralism is a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects. Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction. The items making up any particular system exemplifying the structure in question are of no importance; all that matters is that they satisfy certain general conditions typically spelled out in axioms defining the structure or structures of interest characteristic of the branch of mathematics in question. Thus, in the basic case of arithmetic, the famous axioms of Richard Dedekind (taken over by Giuseppe Peano, as he acknowledged) were conditions in a definition of a simply infinite system, with an initial item, each item having a unique next one, no two with the same next one, and all items finitely many steps from the initial one. (The latter condition is guaranteed by the axiom of mathematical induction.) All such systems are structurally identical, and, in a sense to be made more precise, the shared structure is what mathematics investigates. (In other cases, multiple structures are allowed, as in abstract algebra with its many groups, rings, fields, and so forth.) This structuralist view of arithmetic thus contrasts with the absolutist view, associated with Gottlob Frege and Bertrand Russell, that natural numbers must in fact be certain definite objects, namely classes of equinumerous concepts or classes. Historically, structuralism can be traced to nineteenth century developments, including the rise of the axiomatic method and of noneuclidean geometries leading to the recognition of multiple abstract spaces independent of physical space and of spatial intuition. (David Hilbert, whose work in the foundations of geometry (1899) was
2 2 especially influential in this regard, remarked that points, lines, and planes could be read as tables, chairs, and beer mugs (suitably interrelated). In instructive correspondence with Frege, Hilbert championed the structuralist view of axioms in pure mathematics as defining structures of interest rather than as assertions whose terms must already be understood.) In the twentieth century, the development of modern algebra and set theory informed the influential views of the Bourbaki, who explicitly espoused a settheoretic version of structuralism. Virtually any mathematical structure (or space, e.g. metric, topological, and so forth) can be conceived or modeled as a set of objects with certain distinguished relations and/or operations on the set, and set theory has the resources for describing a wealth of interrelationships among structures, vital to advanced mathematics. The branch of logic known as model theory develops these ideas systematically. Despite the success of settheoretic structuralism in providing a unified framework for all major branches of mathematics, as an articulation of structuralism, it confronts certain problems. Notable among these is the fact that it makes a major exception in its own case: despite the multiplicity of set theories (differing over axioms such as wellfoundedness, choice, large cardinals, constructibility, and others), the axioms are standardly read as assertions of truths about the real world of sets rather than receiving a structuralist treatment. Questions then arise about this fixed universe as background : How do we know about this realworld structure, how rich it is at its various levels and how far its levels extend? The (putative) settheoretic universe cannot be a set, but as a totality of a different order, is it not indefinitely extendable, contrary to its purported
3 3 universality? These and related questions have led some philosophers, logicians, and mathematicians to develop alternative ways of articulating structuralism. The main alternatives to be described here are, first, the view of structures as patterns or sui generis universals, developed by Michael Resnik and Stewart Shapiro, respectively; second, an eliminative, nominalistic modal structuralism, traceable in part to Russell and Hilary Putnam and developed by Geoffrey Hellman; and, finally, a version based on category theory, as a universal framework for mathematics independent of set theory, suggested by Saunders Mac Lane and others. On the view of structures as patterns or universals, apparent reference to special objects in mathematics is taken at face value. Moreover, the reason that such objects are typically identified only by reference to operations and relations within a structure is that in fact they are inherently incomplete. They are to be thought of as positions or places in a pattern, on analogy with, say, the vertices of a triangle. For Resnik, identity and difference among positions make sense only in the context of a structure given by a theory. The number 2, say, is identified as the successor of 1, the predecessor of 3, and so on, but not intrinsically. Indeed, whether the natural number 2 = the real number 2 is indeterminate, except relative to a subsuming structure specified by a broader theory; and then it would still be indeterminate whether the numbers of the new theory were the same as or different from the respective old ones. This theoryrelativity of reference and identitybesides leading to complications in the account of the common mathematical practice of embedding structures of a prior theory in those of a later one, as well as in the account of applications of mathematicsreflects Resnik s reluctance to think of patterns as an ontological foundation for mathematics. Talk of patterns may be only analogical,
4 4 helping free us from the grip of traditional platonism. Thus, a mathematical theory of structures is not given, in part because its objects could not then be identified with those of existing mathematical theories, defeating its purpose. In contrast, Shapiro takes ontology seriously and develops an axiom system governing the existence of ante rem structures, abstract archetypes with places as objects, answering to what particular realizations have in common. The background logic is second order and the axioms resemble those of ZermeloFrankel set theory but with an added Coherence Postulate guaranteeing an existing structure modeling any coherent secondorder axiom system, where this new primitive is understood as analogous to the logical notion of satisfiability. Our knowledge of key instances of this postulate arises naturally, it is argued, from our learning how to use mathematical language together with certain axioms characterizing the structure of interest (e.g. the principle of continuity of the real number system). Although this view circumvents some of the objections raised against the settheoretic version, it confronts a number of objections of its own. One (due to Jukka Keränen and John Burgess) points out that, whereas objects in a structure should be distinguishable entirely in terms of internal structural relationships, this is possible only in cases admitting no nontrivial automorphisms (11 structure preserving maps from the class of places to itself other than the identity map). The natural numbers and the reals are rigid in this sense, but many nonrigid structures arise in mathematics (e.g. the complex numbers, permuting i and i, or homogeneous Euclidean spaces under isometries, and so forth). A further objection finds a circularity in the account of abstraction offered; the relevant structural relations can only be distinguished from others generated, say, from
5 5 permutations of objects if those objects (the places) can be picked out independently, contrary to the idea of structural objects. (This revives a wellknown argument of Paul Benacerraf against numbers as objects generally.) Finally, although not committed to any maximal universe of sets, ante rem structuralism seems committed to a universe of all places in structures, contrary to the view that any such totality should be extendable. Turning to modalstructuralism, this view dispenses with special structural objects and indeed even with structures as objects, recognizing instead the possibility that enough objectsof whatever sort you likecould be interrelated in the right ways as demanded by axioms or conditions appropriate to the mathematical investigation at hand. As suggested by Russell, the irrelevance of any intrinsic features of mathematical objects arises through generalization: statements about numbers, for instance, are not about special objects but about whatever objects there might be, together standing in the right sort of ordering. By speaking of wholes and parts and utilizing a logic of plurals reasoning about many things at once without having to talk of sets or classes of them such generalizations, even over functions and relations, can be framed in nominalistic terms. The effect is to generalize over structures there might be without actually introducing structures as entities. Extendability is respected, as it makes no sense to collect all structures, or items thereof, that there might be. Assuming the logical possibility of countably infinitely many objects, one can recover full classical analysis and, with coding devices, modern functional analysis and more. The main price paid for all of this is the adoption of a primitive notion of possibility, something set theory explains in terms of the existence of models. The gain is a circumvention of problems of
6 6 reference to abstracta and a natural way of respecting indefinite extendability of mathematical domains. The final approach considered here is based on category theory. Having arisen in mathematics proper to help solve problems in algebraic topology and geometry, it can also serve as a general framework for mathematics. Its basic concepts are mappings ( morphisms or arrows ) between objects, and their compositions. The objects are typically what the other approaches call structures, described in relation to other such objects, not internally via set membership. Morphisms typically preserve relevant structure (algebraic, topological, differentiable, and so forth). Toposes are families of objects and morphisms with richness comparable to models of Zermelo set theory; they can serve as universes of discourse for mathematics. Generalizations of settheoretic ideas are provided (such as Cartesian product, function classes, and logical operations, which generally obey intuitionistic laws, i.e. excluding the law of excluded middle ). In contrast to set theory with its fixed universe, topos theory promotes a pluralistic conception of many worlds, functionally interrelated (cf. Bell). It is clear that there are some interesting similarities between categorytheoretic structuralism and modalstructuralism, and indeed the latter can be adapted to accommodate the former. Whether categorytheoretic structuralism can stand on its own, however, is an open question that turns on such issues as whether its basic concepts are really intelligible without set theory, just what its background logic presupposes, and whether a theory of category of categories can serve as an autonomous framework. In sum, structuralism has become a major arena for exploring central questions of ontology and epistemology of mathematics.
7 7 Bibliography Awodey, S. Structure in Mathematics and Logic: A Categorical Perspective, Philosophia Mathematica (3) 4 (1996): Bell, J.L. From Absolute to Local Mathematics, Synthese 69 (1986): Benacerraf, Paul. What Numbers Could Not Be, in P. Benacerraf and H. Putnam, eds. Philosophy of Mathematics, 2nd edition.cambridge: Cambridge University Press, 1983, pp Burgess, John P. Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology. Notre Dame J. Formal Logic 40, 2 (1999): Dedekind, Richard. Was sind und was sollen die Zahlen? Brunswick: Vieweg, 1988, tr. The Nature and Meaning of Numbers, in W.W. Beman, ed. Essays on the Theory of Numbers. New York: Dover, 1963, pp Frege, Gottlob. Wissenschaftlicher Briefwechsel, ed. G. Gabriel, H. Hermes, F. Kambartel, and C. Thiel (Hamburg: Felix Meiner, 1976), tr. Philosophical and Mathematical Correpsondence. Oxford: Blackwell, Hellman, Geoffrey. Mathematics without Numbers: Towards a ModalStructural Interpretation. Oxford: Oxford University Press, Hellman, Geoffrey. Three Varieties of Mathematical Structuralism, Philosophia Mathematica (3) 9 (2001): Hilbert, David. Grundlagen der Geometrie. Leipzig: Teubner, 1899, tr. E. Townsend, Foundations of Geometry. La Salle, Illinois: Open Court, 1959.
8 8 Keränen, Jukka. The Identity Problem for Realist Structuralism, Philosophia Mathematica (3) 9 (2001): Mac Lane, Saunders. Mathematics: Form and Function. New York: Springer, Putnam, Hilary. Mathematics without Foundations, in P. Benacerraf and H. Putnam, eds. Philosophy of Mathematics 2nd edition. Cambridge: Cambridge University Press, 1983, pp Resnik, Michael D. Mathematics as a Science of Patterns. Oxford: Oxford University Press, Russell, Bertrand. Introduction to Mathematical Philosophy. New York: Dover, First published Shapiro, Stewart. Philosophy of Mathematics: Structure and Ontology. New York: Oxford University Press, 1997.
Mathematical Structuralism Today
Mathematical Structuralism Today Julian C. Cole Department of Philosophy and Humanities Buffalo State College 1300 Elmwood Avenue Buffalo, NY 14222 colejc@buffalostate.edu Abstract Two topics figure prominently
More informationRussell s Absolutism vs.(?) Structuralism
Russell s Absolutism vs.(?) Structuralism Geoffrey Hellman Abstract Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed,
More informationMath 582 Introduction to Set Theory
Math 582 Introduction to Set Theory Kenneth Harris kaharri@umich.edu Department of Mathematics University of Michigan January 7, 2009 Kenneth Harris (Math 582) Math 582 Introduction to Set Theory January
More informationAffine Planes: An Introduction to Axiomatic Geometry
Affine Planes: An Introduction to Axiomatic Geometry Here we use Euclidean plane geometry as an opportunity to introduce axiomatic systems. Keep in mind that the axiomatic approach is not the only approach
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
Category Theory: The Language of Mathematics Author(s): Elaine Landry Source: Philosophy of Science, Vol. 66, Supplement. Proceedings of the 1998 Biennial Meetings of the Philosophy of Science Association.
More informationThe Philosophical Importance of Mathematical Logic Bertrand Russell
The Philosophical Importance of Mathematical Logic Bertrand Russell IN SPEAKING OF "Mathematical logic", I use this word in a very broad sense. By it I understand the works of Cantor on transfinite numbers
More informationFrom Sets to Types to Categories to Sets
From Sets to Types to Categories to Sets Steve Awodey Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how
More informationMathematics Undergraduate Student Learning Objectives
Mathematics Undergraduate Student Learning Objectives The Mathematics program promotes mathematical skills and knowledge for their intrinsic beauty, effectiveness in developing proficiency in analytical
More informationMeaning and interpretation in mathematics
Meaning and interpretation in mathematics Andrew Arana Philosophy, University of Paris 1 PanthéonSorbonne, IHPST Crossing Worlds: Mathematical logic, philosophy, art, 3 June 2016 Arana (Paris) Meaning
More informationA brief history of type theory (or, more honestly, implementing mathematical objects as sets)
A brief history of type theory (or, more honestly, implementing mathematical objects as sets) Randall Holmes, Boise State University November 8, 2012 [notes revised later; this is the day the talk was
More informationCHARLES PttARSONS OBJECTS* INTRODUCTION
CHARLES PttARSONS THE STRUCTURALIST VIEW OF MATHEMATICAL OBJECTS* INTRODUCTION By the 'structuralist view' of mathematical objects, I mean the view that reference to mathematical objects is always in the
More informationFive Questions The Philosophy of Logic Patricia Blanchette
Five Questions The Philosophy of Logic Patricia Blanchette 1. Why were you initially drawn to the philosophy of logic? In retrospect, I realize that I was drawn to the philosophy of logic long before I
More informationFoundations for Mathematical Structuralism
Uri Nodelman and Edward N. Zalta 2 Foundations for Mathematical Structuralism Uri Nodelman and Edward N. Zalta Center for the Study of Language and Information Stanford University Abstract We investigate
More informationMetaphysical preliminaries
Metaphysical preliminaries Ted Sider Properties seminar Our questions about properties affect and are affected by the choice of metaphysical tools certain key concepts that frame the debate. 1. Ontology
More information7.1 An Axiomatic Approach to Mathematics
Chapter 7 The Peano Axioms 7.1 An Axiomatic Approach to Mathematics In our previous chapters, we were very careful when proving our various propositions and theorems to only use results we knew to be true.
More informationTheory of Automated Reasoning An Introduction. AnttiJuhani Kaijanaho
Theory of Automated Reasoning An Introduction AnttiJuhani Kaijanaho Intended as compulsory reading for the Spring 2004 course on Automated Reasononing at Department of Mathematical Information Technology,
More informationPhilosophy Faculty Reading List and Course Outline PART II PAPER 08: PHILOSOPHICAL LOGIC
SYLLABUS Philosophy Faculty Reading List and Course Outline 20162017 COURSE OUTLINE PART II PAPER 08: PHILOSOPHICAL LOGIC Philosophy of language: Understanding and truthconditions; realism and antirealism.
More informationThe History of Logic. Aristotle (384 322 BC) invented logic.
The History of Logic Aristotle (384 322 BC) invented logic. Predecessors: Fred Flintstone, geometry, sophists, presocratic philosophers, Socrates & Plato. Syllogistic logic, laws of noncontradiction
More informationSet (mathematics) From Wikipedia, the free encyclopedia
Set (mathematics) From Wikipedia, the free encyclopedia A set in mathematics is a collection of well defined and distinct objects, considered as an object in its own right. Sets are one of the most fundamental
More information2.1 The Algebra of Sets
Chapter 2 Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations
More informationGrounded abstraction
Grounded abstraction Øystein Linnebo Miniseminar on groundedness. Winter term 2012. Session 3 1 The bad company problem (Σ) α = β α β (HP) (V) (H 2 P) #F = #G F G ˆx.F x = ˆx.Gx x(f x Gx) R = S R S 2
More informationPhilosophy of Mathematics
Philosophy of Mathematics Jeremy Avigad Final version will appear in Boundas, Constantin editor, The Edinburgh Companion to the 20th Century Philosophies, Edinburgh University Press. The annotations in
More informationContinuous firstorder model theory for metric structures Lecture 2 (of 3)
Continuous firstorder model theory for metric structures Lecture 2 (of 3) C. Ward Henson University of Illinois Visiting Scholar at UC Berkeley October 21, 2013 Hausdorff Institute for Mathematics, Bonn
More informationTh e ontological argument distinguishes itself from the cosmological
Aporia vol. 18 no. 1 2008 Charles Hartshorne and the Ontological Argument Joshua Ernst Th e ontological argument distinguishes itself from the cosmological and teleological arguments for God s existence
More informationAppendix B Data Quality Dimensions
Appendix B Data Quality Dimensions Purpose Dimensions of data quality are fundamental to understanding how to improve data. This appendix summarizes, in chronological order of publication, three foundational
More informationOn the Representation Theorems. of Neoclassical Utility Theory: A Comment
On the Representation Theorems of Neoclassical Utility Theory: A Comment Daniel Mahoney, PhD Atlanta, GA I would like to thank Robert P. Murphy for many helpful discussions on these issues. This is in
More informationHOW ABSTRACTION WORKS
HOW ABSTRACTION WORKS LEON HORSTEN and HANNES LEITGEB University of Bristol Abstract In this paper we describe and interpret the formal machinery of abstraction processes in which the domain of abstracta
More informationGeometry and Proof. John T. Baldwin. Background. Hilbert s Critique. Three Frameworks. High School Curriculum. May 6, 2007
May 6, 2007 My background 1 Model theory research (35 years) 2 working with teachers and future teachers (20 years) Origin of This Talk 1 six sessions with high school teachers on how to teach geomety
More informationFor the purposes of this course, the natural numbers are the positive integers. We denote by N, the set of natural numbers.
Lecture 1: Induction and the Natural numbers Math 1a is a somewhat unusual course. It is a proofbased treatment of Calculus, for all of you who have already demonstrated a strong grounding in Calculus
More informationLEARNERS PHILOSOPHY OF MATHEMATICS IN RELATION
Volume 3, Number 1, 2013 3. kötet, 1. szám, 2013 LEARNERS PHILOSOPHY OF MATHEMATICS IN RELATION TO THEIR MATHEMATICAL ERRORS Judah P. Makonye Abstract: This paper discusses the philosophies of mathematics
More informationOn Cuneo s defence of the parity premise
1 On Cuneo s defence of the parity premise G.J.E. Rutten 1. Introduction In his book The Normative Web Terence Cuneo provides a core argument for his moral realism of a paradigmatic sort. Paradigmatic
More informationThe reality of mathematics and the case of set theory
The reality of mathematics and the case of set theory Daniel Isaacson Oxford University Thursday, 20 December 2007 To appear in: Zsolt Novak and Andras Simonyi (eds), Truth, Reference, and Realism, Central
More informationThe Importance of discrete mathematics in computer science
The Importance of discrete mathematics in computer science Exemplified by deductive logic and Boolean algebra By Mathias Schilling BSc Computing, Birkbeck, University of London Preface Discrete mathematics
More informationThe 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 informationSection 2.6 Cantor s Theorem and the ZFC Axioms
1 Section 2.6 and the ZFC Axioms Purpose of Section: To state and prove Cantor theorem, which guarantees the existence of infinities larger than the cardinality of the continuum. We also state and discuss
More informationSemantic Groundedness
Semantic Groundedness Hannes Leitgeb LMU Munich August 2011 Hannes Leitgeb (LMU Munich) Semantic Groundedness August 2011 1 / 20 Luca told you about groundedness in set theory. Now we turn to groundedness
More informationOur Knowledge of Mathematical Objects
1 Our Knowledge of Mathematical Objects I have recently been attempting to provide a new approach to the philosophy of mathematics, which I call procedural postulationism. It shares with the traditional
More information4. TILING AND DISSECTION 4.2. Scissors Congruence
What is Area? Despite being such a fundamental notion of geometry, the concept of area is very difficult to define. As human beings, we have an intuitive grasp of the idea which suffices for our everyday
More informationDiscrete Mathematics
Slides for Part IA CST 2014/15 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, mathematical
More informationSet theory as a foundation for mathematics
V I I I : Set theory as a foundation for mathematics This material is basically supplementary, and it was not covered in the course. In the first section we discuss the basic axioms of set theory and the
More informationVagueness at the interface between logic, philosophy, and linguistics
LoMoReVI Cejkovice, September 17 Vagueness at the interface between logic, philosophy, and linguistics Pleasures and pitfalls of interdisciplinarity Chris Fermüller Vienna University of Technology Theory
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationResearch Philosophies Importance and Relevance
Research Philosophies Importance and Relevance 0. INTRODUCTION When undertaking research of this nature, it is important to consider different research paradigms and matters of ontology and epistemology.
More informationFormal Tools and the Philosophy of Mathematics
9 Formal Tools and the Philosophy of Mathematics Thomas Hofweber 1 How can we do better? In this chapter, I won t try to defend a particular philosophical view about mathematics, but, in the spirit of
More informationDraft Martin Doerr ICSFORTH, Heraklion, Crete Oct 4, 2001
A comparison of the OpenGIS TM Abstract Specification with the CIDOC CRM 3.2 Draft Martin Doerr ICSFORTH, Heraklion, Crete Oct 4, 2001 1 Introduction This Mapping has the purpose to identify, if the OpenGIS
More informationWHAT 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 informationTraditional versus modern logic
1 3 Aristotle s procedure in logic (4th c. BC) Traditional versus modern logic Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2010 http://wilfridhodges.co.uk Step One: the raw argument Salt
More information1/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 informationGeometry. Unit 1. Transforming and Congruence. Suggested Time Frame 1 st Six Weeks 22 Days
Geometry Unit 1 Transforming and Congruence Title Suggested Time Frame 1 st Six Weeks 22 Days Big Ideas/Enduring Understandings Module 1 Tools of geometry can be used to solve realworld problems. Variety
More informationThe Double Lives of Objects: An Essay in the Metaphysics of the Ordinary World
252 The Double Lives of Objects: An Essay in the Metaphysics of the Ordinary World, by Thomas Sattig. Oxford: Oxford University Press, 2015, 288 pages, ISBN 9780199683017 (hbk). In The Double Lives of
More informationFrege s theory of sense
Frege s theory of sense Jeff Speaks August 25, 2011 1. Three arguments that there must be more to meaning than reference... 1 1.1. Frege s puzzle about identity sentences 1.2. Understanding and knowledge
More informationCritical Terminology for Theory of Knowledge
Critical Terminology for Theory of Knowledge The following glossary offers preliminary definitions for some key terms that arise frequently in the literature of the theory of knowledge. Keep in mind that
More informationSanford Shieh UNDECIDABILITY, EPISTEMOLOGY AND ANTIREALIST INTUITIONISM
Sanford Shieh UNDECIDABILITY, EPISTEMOLOGY AND ANTIREALIST INTUITIONISM In this paper I show that Michael Dummett s antirealist intuitionism requires a significant place for epistemic principles. Specifically,
More informationThis is a preliminary version of an entry for the new edition of The New Palgrave, a Dictionary of Economics
This is a preliminary version of an entry for the new edition of The New Palgrave, a Dictionary of Economics. Its publisher, Macmillan, will be the copyright holder of record. Please do not quote from
More informationDIVINE CONTINGENCY Einar Duenger Bohn IFIKK, University of Oslo
DIVINE CONTINGENCY Einar Duenger Bohn IFIKK, University of Oslo Brian Leftow s God and Necessity is interesting, full of details, bold and ambitious. Roughly, the main question at hand is: assuming there
More informationIn mathematics you don t understand things. You just get used to them. (Attributed to John von Neumann)
Chapter 1 Sets and Functions We understand a set to be any collection M of certain distinct objects of our thought or intuition (called the elements of M) into a whole. (Georg Cantor, 1895) In mathematics
More informationLecture 3. Mathematical Induction
Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion
More informationModule 3 Congruency can be used to solve realworld problems. What happens when you apply more than one transformation to
Transforming and Congruence *CISD Safety Net Standards: G.3C, G.4C Title Big Ideas/Enduring Understandings Module 1 Tools of geometry can be used to solve realworld problems. Variety of representations
More informationThe Basic Ideas of Friesean Philosophy in Relation to Contemporary Science (1930) Paul Bernays
Bernays Project: Text No. 10 The Basic Ideas of Friesean Philosophy in Relation to Contemporary Science (1930) Paul Bernays (Abhandlungen der Fries schen Schule, New Series 5 (1929 1933), no. 2 (1930),
More informationImre Lakatos s Philosophy of Mathematics
Imre Lakatos s Philosophy of Mathematics Gábor Kutrovátz Eötvös Loránd University, Budapest email: kutrovatz@hps.elte.hu Introduction Imre Lakatos (19221974) is known worldwide by at least two different
More informationSets and functions. {x R : x > 0}.
Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.
More informationarxiv:1006.3930v1 [math.ct] 20 Jun 2010
The unification of Mathematics via Topos Theory arxiv:1006.3930v1 [math.ct] 20 Jun 2010 Olivia Caramello June 20, 2010 Abstract We present a set of principles and methodologies which may serve as foundations
More informationOn a Straw Man in the Philosophy of Science A Defense of the Received View
On a Straw Man in the Philosophy of Science A Defense of the Received View Sebastian Lutz Theoretical Philosophy Unit Utrecht University The Netherlands July 9 th 2010 Perception Assumption Suppe, The
More informationAre the truths of mathematics invented or discovered?
Are the truths of mathematics invented or discovered? By Vincent Wen Imagine you are a prehistoric caveman living a nomadic life. One bright sunny morning, a fellow caveman comes to you, borrows a few
More informationLast 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 information3. 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 informationUnderstanding irrational numbers by means of their representation as nonrepeating decimals
Understanding irrational numbers by means of their representation as nonrepeating decimals Ivy Kidron Jerusalem college of Technology ivy@jct.ac.il Research study on students conceptions of irrational
More informationPrerequsites: Math 1A1B, 53 (lower division calculus courses)
Math 151 Prerequsites: Math 1A1B, 53 (lower division calculus courses) Development of the rational number system. Use the number line (real line), starting with the concept of parts of a whole : fractions,
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationThe Fruits of Logicism
The Fruits of Logicism Timothy Bays 1. Introduction. You ll be pleased to know that I don t intend to use these remarks to comment on all of the papers presented at this conference. I won t try to show
More informationCellular objects and Shelah s singular compactness theorem
Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz
More informationA Geometry of Oriented Curves *
ftp://ftp.informatik.unihamburg.de/pub/unihh/informatik/wsv/trorientedcurves.pdf A Geometry of Oriented Curves * Lars Kulik & Carola Eschenbach Report from the project 'Axiomatics of Spatial Concepts'
More informationFoundations of Geometry 1: Points, Lines, Segments, Angles
Chapter 3 Foundations of Geometry 1: Points, Lines, Segments, Angles 3.1 An Introduction to Proof Syllogism: The abstract form is: 1. All A is B. 2. X is A 3. X is B Example: Let s think about an example.
More information5 Questions: Philosophy of Logic
5 Questions: Philosophy of Logic Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33134 Email: otaviobueno@me.com 1. Why were you initially drawn to the philosophy of logic?
More informationCARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE
CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify
More informationNotes on Richard Dedekind s Was sind und was sollen die Zahlen?
Notes on Richard Dedekind s Was sind und was sollen die Zahlen? David E. Joyce, Clark University December 2005 Contents Introduction 2 I. Sets and their elements. 2 II. Functions on a set. 5 III. Onetoone
More informationOne 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 informationGeorg Cantor and Set Theory
Georg Cantor and Set Theory. Life Father, Georg Waldemar Cantor, born in Denmark, successful merchant, and stock broker in St Petersburg. Mother, Maria Anna Böhm, was Russian. In 856, because of father
More informationSection 1.3: Predicate Logic
1 Section 1.3: Purpose of Section: To introduce predicate logic (or firstorder logic) which the language of mathematics. We see how predicate logic extends the language of sentential calculus studied
More informationPhil 420: Metaphysics Spring 2008. [Handout 4] Hilary Putnam: Why There Isn t A ReadyMade World
1 Putnam s Main Theses: 1. There is no readymade world. Phil 420: Metaphysics Spring 2008 [Handout 4] Hilary Putnam: Why There Isn t A ReadyMade World * [A readymade world]: The world itself has to
More informationRussell on Logicism and Coherence
Russell on Logicism and Coherence Conor MayoWilson Abstract According to Quine, Charles Parsons, Mark Steiner, and others, Russell s logicist project is important because, if successful, it would show
More informationIR, 45 (cor), 46 Θ, 48 MT Θ ,47 MT Θ,48 M 0,48. B l (cor)mt Θ,49 M i,49 A, 50, 134. s, 53. MT,53 Q i,53. U i,53 U s,53 φ i : M i Q i,54 P,55 s,55
References 1. G. Ludwig: Die Grundstrukturen einer physikalischen Theorie, 2nd edn (SpringerVerlag, Berlin Heidelberg New York, 1990). French translation by G. Thurler: Les structures de base d une théorie
More informationBurgess on Plural Logic and Set Theory
Burgess on Plural Logic and Set Theory Øystein Linnebo University of Bristol September 2006 Abstract John Burgess (Burgess, 2004) combines plural logic and a new version of the idea of limitation of size
More informationDescartes rationalism
Michael Lacewing Descartes rationalism Descartes Meditations provide an extended study in establishing knowledge through rational intuition and deduction. We focus in this handout on three central claims:
More informationPrécis of Heidegger, Language, and Worlddisclosure
Inquiry, 45, 185 90 Symposium: Cristina Lafont, Heidegger, Language, and Worlddisclosure* Précis of Heidegger, Language, and Worlddisclosure Cristina Lafont Northwestern University The book is a critical
More informationCHAPTER 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 informationIf f is a 11 correspondence between A and B then it has an inverse, and f 1 isa 11 correspondence between B and A.
Chapter 5 Cardinality of sets 51 11 Correspondences A 11 correspondence between sets A and B is another name for a function f : A B that is 11 and onto If f is a 11 correspondence between A and B,
More informationWhat is the methodology for doing metaphysics?
PHIL 4603: Metaphysics Prof. Funkhouser What is Metaphysics? What is the subject matter of metaphysics? Metaphysics is the study of what exists (ontology) and the nature of things at the most abstract
More informationCONCEPTUAL 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 informationSelfReferential Probabilities
SelfReferential Probabilities And a Kripkean semantics Catrin CampbellMoore Munich Center for Mathematical Philosophy Bridges 2 September 2015 Supported by Introduction Languages that can talk about
More informationDedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
More informationIntroduction. I. Proof of the Minor Premise ( All reality is completely intelligible )
Philosophical Proof of God: Derived from Principles in Bernard Lonergan s Insight May 2014 Robert J. Spitzer, S.J., Ph.D. Magis Center of Reason and Faith Lonergan s proof may be stated as follows: Introduction
More informationFREEDOM AND TRUTH IN MATHEMATICS
DANIEL BONEVAC FREEDOM AND TRUTH IN MATHEMATICS "The very essence of mathematics," Georg Cantor wrote in 1883, "is its freedom." 1 Few philosophers of mathematics in the intervening 100 years have taken
More informationFoundations of mathematics
Foundations of mathematics 1. First foundations of mathematics 1.1. Introduction to the foundations of mathematics Mathematics, theories and foundations Sylvain Poirier http://settheory.net/ Mathematics
More informationThe Metaphysics of Science: An Account of Modern Science in Terms of Principles, Laws and Theories
The Metaphysics of Science: An Account of Modern Science in Terms of Principles, Laws and Theories CRAIG DILWORTH Dordrecht, Springer, 2007, 2 nd ed. (1 st ed. 1996) xii + 333 pp., ISBN 9781402063275
More informationNumbers, Language, and the Human Mind
Numbers, Language, and the Human Mind Heike Wiese [to be published by Cambridge University Press, 2003] Table of Contents Introduction 1 Numbers and objects Cardinal number assignments: 3 pens, 3 kg, 3
More informationThings 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 informationArtificial Intelligence in Knowledgebased Technologies and Systems
Computer Science and Information Technology 4(1): 2732, 2016 DOI: 10.13189/csit.2016.040105 http://www.hrpub.org Artificial Intelligence in Knowledgebased Technologies and Systems Viktor Krasnoproshin
More informationLecture 31: Second order homogeneous equations II
Lecture 31: Second order homogeneous equations II Nathan Pflueger 21 November 2011 1 Introduction This lecture gives a complete description of all the solutions to any differential equation of the form
More informationAn Introduction to Elementary Set Theory
An Introduction to Elementary Set Theory Guram Bezhanishvili and Eachan Landreth 1 Introduction In this project we will learn elementary set theory from the original historical sources by two key figures
More information