# STRUCTURALISM, MATHEMATICAL

Save this PDF as:

Size: px
Start display at page:

## 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 non-euclidean 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

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 theory-relativity of reference and identity--besides 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 mathematics--reflects 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 Zermelo-Frankel set theory but with an added Coherence Postulate guaranteeing an existing structure modeling any coherent second-order 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 non-trivial automorphisms (1-1 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 non-rigid 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 well-known 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 modal-structuralism, this view dispenses with special structural objects and indeed even with structures as objects, recognizing instead the possibility that enough objects---of whatever sort you like---could 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 set-theoretic 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 category-theoretic structuralism and modal-structuralism, and indeed the latter can be adapted to accommodate the former. Whether category-theoretic 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 Modal-Structural 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

### Russell 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,

### Math 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

### Affine 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

### Each 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.

### The 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

### From 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

### Mathematics 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

### Meaning and interpretation in mathematics

Meaning and interpretation in mathematics Andrew Arana Philosophy, University of Paris 1 Panthéon-Sorbonne, IHPST Crossing Worlds: Mathematical logic, philosophy, art, 3 June 2016 Arana (Paris) Meaning

### A 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

### CHARLES 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

### Five 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

### Foundations 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

### Metaphysical 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

### 7.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.

### Theory of Automated Reasoning An Introduction. Antti-Juhani Kaijanaho

Theory of Automated Reasoning An Introduction Antti-Juhani Kaijanaho Intended as compulsory reading for the Spring 2004 course on Automated Reasononing at Department of Mathematical Information Technology,

### Philosophy Faculty Reading List and Course Outline PART II PAPER 08: PHILOSOPHICAL LOGIC

SYLLABUS Philosophy Faculty Reading List and Course Outline 2016-2017 COURSE OUTLINE PART II PAPER 08: PHILOSOPHICAL LOGIC Philosophy of language: Understanding and truth-conditions; realism and anti-realism.

### The History of Logic. Aristotle (384 322 BC) invented logic.

The History of Logic Aristotle (384 322 BC) invented logic. Predecessors: Fred Flintstone, geometry, sophists, pre-socratic philosophers, Socrates & Plato. Syllogistic logic, laws of non-contradiction

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

### 2.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

### Grounded abstraction

Grounded abstraction Øystein Linnebo Mini-seminar 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

### Philosophy 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

### Continuous first-order model theory for metric structures Lecture 2 (of 3)

Continuous first-order 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

### Th 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

### Appendix 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

### On 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

### HOW 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

### Geometry 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

### For 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 proof-based treatment of Calculus, for all of you who have already demonstrated a strong grounding in Calculus

### LEARNERS 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

### On 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

### The 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

### The 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

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

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

### Section 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

### Semantic 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

### Our 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

### 4. 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

### Discrete 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

### Set 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

### Vagueness 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

### 11 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(

### Research 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.

### Formal 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

### Draft Martin Doerr ICS-FORTH, Heraklion, Crete Oct 4, 2001

A comparison of the OpenGIS TM Abstract Specification with the CIDOC CRM 3.2 Draft Martin Doerr ICS-FORTH, Heraklion, Crete Oct 4, 2001 1 Introduction This Mapping has the purpose to identify, if the OpenGIS

### WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

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

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

### 1/9. Locke 1: Critique of Innate Ideas

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

### Geometry. 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 real-world problems. Variety

### The 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

### Frege 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

### Critical 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

### Sanford Shieh UNDECIDABILITY, EPISTEMOLOGY AND ANTI-REALIST INTUITIONISM

Sanford Shieh UNDECIDABILITY, EPISTEMOLOGY AND ANTI-REALIST INTUITIONISM In this paper I show that Michael Dummett s anti-realist intuitionism requires a significant place for epistemic principles. Specifically,

### This 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

### DIVINE 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

### In 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

### Lecture 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

### Module 3 Congruency can be used to solve real-world 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 real-world problems. Variety of representations

### The 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),

### Imre Lakatos s Philosophy of Mathematics

Imre Lakatos s Philosophy of Mathematics Gábor Kutrovátz Eötvös Loránd University, Budapest e-mail: kutrovatz@hps.elte.hu Introduction Imre Lakatos (1922-1974) is known world-wide by at least two different

### Sets 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.

### arxiv: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

### On 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

### Are 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

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

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

### 3. Mathematical Induction

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

### Understanding irrational numbers by means of their representation as non-repeating decimals

Understanding irrational numbers by means of their representation as non-repeating decimals Ivy Kidron Jerusalem college of Technology ivy@jct.ac.il Research study on students conceptions of irrational

### Prerequsites: Math 1A-1B, 53 (lower division calculus courses)

Math 151 Prerequsites: Math 1A-1B, 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,

### CHAPTER 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

### The 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

### Cellular 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

### A Geometry of Oriented Curves *

ftp://ftp.informatik.uni-hamburg.de/pub/unihh/informatik/wsv/trorientedcurves.pdf A Geometry of Oriented Curves * Lars Kulik & Carola Eschenbach Report from the project 'Axiomatics of Spatial Concepts'

### Foundations 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.

### 5 Questions: Philosophy of Logic

5 Questions: Philosophy of Logic Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33134 E-mail: otaviobueno@me.com 1. Why were you initially drawn to the philosophy of logic?

### CARDINALITY, 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

### Notes 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. One-to-one

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

Hume on induction Suppose you were asked to give your reasons for believing that the sun will come up tomorrow, in the form of an argument for the claim that the sun will come up tomorrow. One natural

### Georg 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

### Section 1.3: Predicate Logic

1 Section 1.3: Purpose of Section: To introduce predicate logic (or first-order logic) which the language of mathematics. We see how predicate logic extends the language of sentential calculus studied

### Phil 420: Metaphysics Spring 2008. [Handout 4] Hilary Putnam: Why There Isn t A Ready-Made World

1 Putnam s Main Theses: 1. There is no ready-made world. Phil 420: Metaphysics Spring 2008 [Handout 4] Hilary Putnam: Why There Isn t A Ready-Made World * [A ready-made world]: The world itself has to

### Russell on Logicism and Coherence

Russell on Logicism and Coherence Conor Mayo-Wilson Abstract According to Quine, Charles Parsons, Mark Steiner, and others, Russell s logicist project is important because, if successful, it would show

### IR, 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 (Springer-Verlag, Berlin Heidelberg New York, 1990). French translation by G. Thurler: Les structures de base d une théorie

### Burgess 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

### Descartes 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:

### Précis of Heidegger, Language, and World-disclosure

Inquiry, 45, 185 90 Symposium: Cristina Lafont, Heidegger, Language, and World-disclosure* Précis of Heidegger, Language, and World-disclosure Cristina Lafont Northwestern University The book is a critical

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

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

### If f is a 1-1 correspondence between A and B then it has an inverse, and f 1 isa 1-1 correspondence between B and A.

Chapter 5 Cardinality of sets 51 1-1 Correspondences A 1-1 correspondence between sets A and B is another name for a function f : A B that is 1-1 and onto If f is a 1-1 correspondence between A and B,

### What 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

### CONCEPTUAL CONTINGENCY AND ABSTRACT EXISTENCE

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

### Self-Referential Probabilities

Self-Referential Probabilities And a Kripkean semantics Catrin Campbell-Moore Munich Center for Mathematical Philosophy Bridges 2 September 2015 Supported by Introduction Languages that can talk about

### Dedekind 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

### Introduction. 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

### FREEDOM 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

### Foundations 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

### The 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 978-1-4020-6327-5

### Numbers, 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

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

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

### Artificial Intelligence in Knowledge-based Technologies and Systems

Computer Science and Information Technology 4(1): 27-32, 2016 DOI: 10.13189/csit.2016.040105 http://www.hrpub.org Artificial Intelligence in Knowledge-based Technologies and Systems Viktor Krasnoproshin