# Philosophy of Mathematics Kant

Size: px
Start display at page:

Transcription

1 Philosophy of Mathematics Kant Owen Griffiths St John s College, Cambridge 20/10/15

2 Immanuel Kant Born in 1724 in Königsberg, Prussia. Enrolled at the University of Königsberg in 1740 and remained there his whole career. Published The Critique of Pure Reason in Was not a mathematician, but lectured on mathematics for 8 years in Königsberg. After his death, his library was found to contain many mathematics texts, including Newton s Principia and Euler s Mechanica.

3 The a priori/ a posteriori distinction An epistemological distinction. Kant applies it to cognition. I will apply it to knowledge. A truth is known a priori if it is known absolutely independently of all experience and even of all impressions of the senses (B2 3). [E]xperience teaches us... that something is constituted thus and so, but not that it could not be otherwise (B3). [E]xperience never gives its judgements true or strict universality (B3). A priori knowability entails necessity and universality/ generality.

4 The analytic/ synthetic distinction A semantic distinction introduced by Kant. Now, a standard definition is e.g. A sentence is analytic iff it is true by definition. A sentence is analytic iff it is a tautology, or reducible to one by substitution. A sentence is analytic iff it is true in virtue of the meanings of the words. Such definitions face well-known problems from Quine. And these are not the sorts of definitions offered by Kant.

5 Kant s definition Kant applies it to judgements. I will apply it to sentences. A sentence in subject-predicate form is analytic if the predicate B belongs to the subject A as something that is (covertly) contained in the concept A (A6/B10). Otherwise, it is synthetic. Analytic sentences add nothing through the predicate to the concept of the subject, but merely [break] it up into those constituent concepts that have been thought in it, although confusedly (A7/B11).

6 Conceptual containment This definition relies on the obscure conceptual containment metaphor. Frege criticises the metaphor: Kant obviously as a result, no doubt, of defining them too narowly underestimated the value of analytic judgements... [Mathematical concepts] are contained in their definitions, but as plants are contained in their seeds, not as beams are contained in a house. Often we need several definitions for the proof of some proposition, which consequently is not contained in any of them alone. (Grundlagen 88) And it only applies to sentences in subject-predicate form. Let s therefore look to another definition offered by Kant: the analytic as explicative.

7 The analytic as explicative Kant (A7/B11) characterised analyticity as being explicative, rather than ampliative. If we understand an analytic sentence, we learn nothing new when we come to know its truth. In this sense, analytic sentences cannot amplify our knowledge: they are merely explicative.

8 Independence of objects Kant gives us two tests for analyticity in this sense. First, the truth of a synthetic sentence requires something else for its truth. Because they are ampliative, synthetic sentences depend on the existence of at least one object. The truth of an analytic sentence is independent of all objects whatsoever.

9 Law of contradiction Second, analytic sentences can always be adequately known in accordance with the principle of contradiction (A /B ). If the negation of a sentence S is a contradiction, then S is analytic. All truths must accord with the law of non-contradiction, but the law provides a sufficient condition for analyticity. So logical truths are analytic, since the negation of a logical truth is a contradiction. But not all analytic sentences are logical truths. E.g. Haters gonna hate is plausibly explicative, and so analytic, but is not a logical truth.

10 Law of contradiction is a mathematical truth. Is its negation, 7+5=13, a contradiction? For thought a synthetic sentence can indeed be discerned in accordance with the principle of contradiction, this can only be if another synthetic sentence be presupposed;... it can never be so discerned in and by itself (B14) A statement of identity (as opposed to non-identity) can only be a contradiction in the presence of other assumptions. It will only be the case that every mathematical truth has a contradictory negation in the presence of other assumptions, namely axioms.

11 Axioms Is the negation of an axiom analytic? No: the negation of an axiom is not a contradiction, since it would then be a logical truth! We can see already why Kant s notion of analyticity is not available to the logicist. Axioms must be deniable without contradiction. The law of contradiction gives us reason to think that axioms are synthetic. Any mathematical truth that depends essentially on an axiom is likewise synthetic.

12 Independence How about the other test: independence from objects? Taken at face-value, the axioms of arithmetic appear to require the existence of objects, e.g. a referent for 0. We could paraphrase these away, or attempt to reduce them to logic. But, as we ll see, paraphrase projects still need objects, e.g. space-time points. And logicism, as we ll see, needs second-order logic, which has amongst its logical truths sentences like: X x(xx x x) X x(xx x = x)

13 Generality Is this too stringent a condition? After all, first-order logic (classically understood) has x x x as a logical truth. Kant holds that the non-ampliativity of logic is essential. This is what gives logic its distinctive generality. Logic should not be in the business, even partially, of answering the question, What is there?. Thus Kant: I admit, as every reasonable person must, that all existential propositions are synthetic (A598=B626).

14 Modern mathematics Does the development of mathematics since Kant support his claim that mathematics is synthetic? Hilbert s completion of the axiomatisation of Euclidean geometry, and Peano s of arithmetic, certainly appear synthetic in Kant s sense. Other areas, however, seem to pull against Kant. E.g. group theory doesn t seem to consist of truths in the same way as arithmetic and geometry. Many hold an implicationist view of group theory: that theorem φ follows from axioms Γ should be understood as if Γ, then φ, rather than the categorical assertion of φ.

15 The axiomatic method So, for Kant, the analytic sentences are the explicative (non-ampliative) statements. Mathematical sentences are synthetic by this defintion: they rely on axioms, whose negations are not contradictions, and require the existence of objects for their truth. This reading is slightly anachronistic. Kant did not share the modern notion of an axiom: Certainly, arithmetic has no axioms, since its object is actually not any quantum, that is any quantitative object of intuition, but rather quantity as such, that is, it considers the concept of a thing in general by means of quantitative determination. (Correspondence, p. 284)

16 The synthetic a priori Kant holds that mathematics consists of a body of synthetic a priori truths. A major part of the Critique is to argue that such truths are even possible. Why might we think there s a tension? Synthetic sentences, we have seen, answer to independent objects. But, if we must experience these independent objects in order to gain knowledge of the synthetic sentence, then that knowledge, it seems, must be a posteriori.

17 Kant s answer Kant resolves this tension with his extraordinary Transcendental Deduction. This is an argument for his transcendental idealism. To make sense of this position, we must first introduce some of the basic elements of Kant s metaphysics.

18 Intuitions There are 2 fundamental components to our thoughts: intuitions and concepts. An intuition is an immediate representation of an object. Not to be confused with the usual English meaning of intuition. For Kant, an intuition is more like an immediate perception. Intuitions are given to us by the faculty of sensibility. There is an analogy here with logically proper names.

19 Concepts A concept is a mediated representation of one object, many objects, or no objects. Concepts are given to us by the faculty of understanding. There is an analogy here with predicates.

20 The Copernican Turn Up to now it has been assumed that all our cognition must conform to the objects.... [Let] us once try whether we do not get farther with the problems of metaphysics by assuming that the objects must conform to our cognition.... This would be just like the firsty thoughts of Copernicus, who, when he did not make good progress in the explanation of the celestial motions if he assumed that the entire celestial host revolves around the observer, tried to see if he might have greater success if he made the observer revolve around the stars at rest. (Bxvi)

21 The Transcendental Deduction We can gain knowledge of the external world by intuitions, which are given to us by the faculty of sensibility. Sensibility is essentially passive. The structure of the world is not given by sensibility, but imposed by us. It is as though we have native spectacles through which we filter the world. These spectacles cannot be removed.

22 Space and time In particular, our spectacles supply the spatial and temporal structure of the world. The spatial-temporal structure of the world is not independent of my internal faculties. Space and time are projected onto the world, giving it shape. Because space and time have their origin in the mind, they can be accessed a priori. This picture is in stark contrast to philosophies of space and time such as four-dimensionalism, and indeed to any modern metaphysics that claims to carve reality at the joints: we supply the joints!

23 Transcendental idealism The external world is mind-independent but only partially. The world is mind-independent, but the way we experience the world is mind-dependent. Kant s view therefore qualifies as idealist. In particular, it is a transcendental idealism.

24 Geometry The propositions of geometry are not about actual shapes but ideal ones. We may prove propositions using e.g. actual triangles, but must be careful to attend to its general properties: those it has in virtue of being a triangle. Our conclusions will then be about ideal triangles. Ideal triangles are products of the mind-dependent spatial structure of the world. Such knowledge is a priori. But it is also synthetic: it is not knowledge of definitions or tautologies.

25 Arithmetic Similarly, arithmetic knowledge is knowledge of the temporal and spatial structure of the world. We may exemplify e.g. the number 5 using fingers, but it is the structure that is important. The temporal aspect explains how arithmetic can be applied to non-physical entities. The infinity of arithmetic is explained by the infinite nature of space and time. Once again, this knowledge is synthetic and a priori.

26 Summing up For Kant, mathematics is a body of synthetic a priori truths. A synthetic truth is an ampliative one, the denial of which is not a contradiction, and which depends on the existence of objects. Mathematical truths are synthetic since their denial is not always a contradiction, their truth relies on the external world presented in intuition, and they are not trivial. Mathematical truths are a priori since they concern the temporal and spatial structure of reality. This structure is supplied by our minds, and we therefore have a priori access to it. The major critic of Kant is Gottlob Frege, whose Grundlagen we will consider next.

### 24.01 Classics of Western Philosophy

1 Plan: Kant Lecture #2: How are pure mathematics and pure natural science possible? 1. Review: Problem of Metaphysics 2. Kantian Commitments 3. Pure Mathematics 4. Transcendental Idealism 5. Pure Natural

### Immanuel Kant, Analytic and Synthetic. Prolegomena to Any Future Metaphysics Preface and Preamble

+ Immanuel Kant, Analytic and Synthetic Prolegomena to Any Future Metaphysics Preface and Preamble + Innate vs. a priori n Philosophers today usually distinguish psychological from epistemological questions.

### Kant s Transcendental Idealism

Kant s Transcendental Idealism Critique of Pure Reason Immanuel Kant Copernicus Kant s Copernican Revolution Rationalists: universality and necessity require synthetic a priori knowledge knowledge of the

### KANT S EXPLANATION OF THE NECESSITY OF GEOMETRICAL TRUTHS. John Watling

KANT S EXPLANATION OF THE NECESSITY OF GEOMETRICAL TRUTHS John Watling Kant was an idealist. His idealism was in some ways, it is true, less extreme than that of Berkeley. He distinguished his own by calling

### Kant Lecture 4 Review Synthetic a priori knowledge

Kant Lecture 4 Review Synthetic a priori knowledge Statements involving necessity or strict universality could never be known on the basis of sense experience, and are thus known (if known at all) a priori.

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

Philosophy 203 History of Modern Western Philosophy Russell Marcus Hamilton College Spring 2014 Class #26 Kant s Copernican Revolution The Synthetic A Priori Forms of Intuition Marcus, Modern Philosophy,

### Kant s Transcendental Exposition of Space and Time in the Transcendental Aesthetic : A Critique

34 An International Multidisciplinary Journal, Ethiopia Vol. 10(1), Serial No.40, January, 2016: 34-45 ISSN 1994-9057 (Print) ISSN 2070--0083 (Online) Doi: http://dx.doi.org/10.4314/afrrev.v10i1.4 Kant

### The CopernicanRevolution

Immanuel Kant: The Copernican Revolution The CopernicanRevolution Immanuel Kant (1724-1804) The Critique of Pure Reason (1781) is Kant s best known work. In this monumental work, he begins a Copernican-like

### Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module - 21 Lecture - 21 Kant Forms of sensibility Categories

### Class #9: Kant Our in class discussion of these notes will be lamentably abbreviated, focused on the first three sections.

Philosophy 405: Knowledge, Truth and Mathematics Fall 2014 Hamilton College Russell Marcus Class #9: Kant Our in class discussion of these notes will be lamentably abbreviated, focused on the first three

### A Priori Knowledge: Analytic? Synthetic A Priori (again) Is All A Priori Knowledge Analytic?

A Priori Knowledge: Analytic? Synthetic A Priori (again) Is All A Priori Knowledge Analytic? Recap A Priori Knowledge Knowledge independent of experience Kant: necessary and universal A Posteriori Knowledge

### Saving the Substratum: Interpreting Kant s First Analogy

Res Cogitans Volume 5 Issue 1 Article 20 6-4-2014 Saving the Substratum: Interpreting Kant s First Analogy Kevin Harriman Lewis & Clark College Follow this and additional works at: http://commons.pacificu.edu/rescogitans

### PHI2391: Logical Empiricism I 8.0

1 2 3 4 5 PHI2391: Logical Empiricism I 8.0 Hume and Kant! Remember Hume s question:! Are we rationally justified in inferring causes from experimental observations?! Kant s answer: we can give a transcendental

### PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW FREGE JONNY MCINTOSH 1. FREGE'S CONCEPTION OF LOGIC

PHILOSOPHY OF LOGIC AND LANGUAGE JONNY MCINTOSH 1. FREGE'S CONCEPTION OF LOGIC OVERVIEW These lectures cover material for paper 108, Philosophy of Logic and Language. They will focus on issues in philosophy

### Excerpt from J. Garvey, The Twenty Greatest Philosophy Books (Continuum, 2007): Immanuel Kant s Critique of Pure Reason

Excerpt from J. Garvey, The Twenty Greatest Philosophy Books (Continuum, 2007): Immanuel Kant s Critique of Pure Reason In a letter to Moses Mendelssohn, Kant says this about the Critique of Pure Reason:

### 1/9. The First Analogy

1/9 The First Analogy So far we have looked at the mathematical principles but now we are going to turn to the dynamical principles, of which there are two sorts, the Analogies of Experience and the Postulates

### The Coherence of Kant s Synthetic A Priori

The Coherence of Kant s Synthetic A Priori Simon Marcus October 2009 Is there synthetic a priori knowledge? The question can be rephrased as Sellars puts it: Are there any universal propositions which,

### From Transcendental Logic to Transcendental Deduction

From Transcendental Logic to Transcendental Deduction Let me see if I can say a few things to re-cap our first discussion of the Transcendental Logic, and help you get a foothold for what follows. Kant

### Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module - 20 Lecture - 20 Critical Philosophy: Kant s objectives

### Important dates. PSY 3360 / CGS 3325 Historical Perspectives on Psychology Minds and Machines since David Hume ( )

PSY 3360 / CGS 3325 Historical Perspectives on Psychology Minds and Machines since 1600 Dr. Peter Assmann Spring 2018 Important dates Feb 14 Term paper draft due Upload paper to E-Learning https://elearning.utdallas.edu

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

Philosophy 203 History of Modern Western Philosophy Russell Marcus Hamilton College Spring 2011 Class 28 - May 5 First Antinomy On the Ontological Argument Marcus, Modern Philosophy, Slide 1 Business P

### 1/8. The Schematism. schema of empirical concepts, the schema of sensible concepts and the

1/8 The Schematism I am going to distinguish between three types of schematism: the schema of empirical concepts, the schema of sensible concepts and the schema of pure concepts. Kant opens the discussion

### 1/12. The A Paralogisms

1/12 The A Paralogisms The character of the Paralogisms is described early in the chapter. Kant describes them as being syllogisms which contain no empirical premises and states that in them we conclude

### Kant s Copernican Revolution

Kant s Copernican Revolution While the thoughts are still fresh in my mind, let me try to pick up from where we left off in class today, and say a little bit more about Kant s claim that reason has insight

### KANT S PHILOSOPHY OF MATHEMATICS

KANT S PHILOSOPHY OF MATHEMATICS By Dr. Marsigit, M.A. Yogyakarta State University, Yogyakarta, Indonesia Email: marsigitina@yahoo.com, Web: http://powermathematics.blogspot.com HomePhone: 62 274 886 381;

### Kant s Critique of Pure Reason1 (Critique) was published in For. Learning to Count Again: On Arithmetical Knowledge in Kant s Prolegomena

Aporia vol. 24 no. 1 2014 Learning to Count Again: On Arithmetical Knowledge in Kant s Prolegomena Charles Dalrymple - Fraser One might indeed think at first that the proposition 7+5 =12 is a merely analytic

### Boghossian & Harman on the analytic theory of the a priori

Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in

### Rethinking Knowledge: The Heuristic View

http://www.springer.com/gp/book/9783319532363 Carlo Cellucci Rethinking Knowledge: The Heuristic View 1 Preface From its very beginning, philosophy has been viewed as aimed at knowledge and methods to

### Immanuel Kant. Retirado de: https://www.iep.utm.edu/kantview/ (25/01/2018)

Retirado de: https://www.iep.utm.edu/kantview/ (25/01/2018) Immanuel Kant Towards the end of his most influential work, Critique of Pure Reason(1781/1787), Kant argues that all philosophy ultimately aims

### In The California Undergraduate Philosophy Review, vol. 1, pp Fresno, CA: California State University, Fresno.

A Distinction Without a Difference? The Analytic-Synthetic Distinction and Immanuel Kant s Critique of Metaphysics Brandon Clark Cal Poly, San Luis Obispo Abstract: In this paper I pose and answer the

### FIL 4600/10/20: KANT S CRITIQUE AND CRITICAL METAPHYSICS

FIL 4600/10/20: KANT S CRITIQUE AND CRITICAL METAPHYSICS Autumn 2012, University of Oslo Thursdays, 14 16, Georg Morgenstiernes hus 219, Blindern Toni Kannisto t.t.kannisto@ifikk.uio.no SHORT PLAN 1 23/8:

### A Defence of Kantian Synthetic-Analytic Distinction

A Defence of Kantian Synthetic-Analytic Distinction Abstract: Science is organized knowledge. Wisdom is organized life. Immanuel Kant Dr. Rajkumar Modak Associate Professor Department of Philosophy Sidho-Kanho-Birsha

### Absolute Totality, Causality, and Quantum: The Problem of Metaphysics in the Critique of Pure Reason. Kazuhiko Yamamoto, Kyushu University, Japan

Absolute Totality, Causality, and Quantum: The Problem of Metaphysics in the Critique of Pure Reason Kazuhiko Yamamoto, Kyushu University, Japan The Asian Conference on Ethics, Religion & Philosophy 2017

### Remarks on the philosophy of mathematics (1969) Paul Bernays

Bernays Project: Text No. 26 Remarks on the philosophy of mathematics (1969) Paul Bernays (Bemerkungen zur Philosophie der Mathematik) Translation by: Dirk Schlimm Comments: With corrections by Charles

### Beyond Symbolic Logic

Beyond Symbolic Logic 1. The Problem of Incompleteness: Many believe that mathematics can explain *everything*. Gottlob Frege proposed that ALL truths can be captured in terms of mathematical entities;

### Copyright 2000 Vk-Cic Vahe Karamian

Kant In France and England, the Enlightenment theories were blueprints for reforms and revolutions political and economic changes came together with philosophical theory. In Germany, the Enlightenment

### WHAT IS HUME S FORK? Certainty does not exist in science.

WHAT IS HUME S FORK? www.prshockley.org Certainty does not exist in science. I. Introduction: A. Hume divides all objects of human reason into two different kinds: Relation of Ideas & Matters of Fact.

### 1/10. The Fourth Paralogism and the Refutation of Idealism

1/10 The Fourth Paralogism and the Refutation of Idealism The Fourth Paralogism is quite different from the three that preceded it because, although it is treated as a part of rational psychology, it main

### Constructing the World

Constructing the World Lecture 6: Whither the Aufbau? David Chalmers Plan *1. Introduction 2. Definitional, Analytic, Primitive Scrutability 3. Narrow Scrutability 4. Acquaintance Scrutability 5. Fundamental

### Absolute Totality, Causality, and Quantum: The Problem of Metaphysics in the Critique of Pure Reason

International Journal of Humanities Social Sciences and Education (IJHSSE) Volume 4, Issue 4, April 2017, PP 72-81 ISSN 2349-0373 (Print) & ISSN 2349-0381 (Online) http://dx.doi.org/10.20431/2349-0381.0404008

### Overview. Is there a priori knowledge? No: Mill, Quine. Is there synthetic a priori knowledge? Yes: faculty of a priori intuition (Rationalism, Kant)

Overview Is there a priori knowledge? Is there synthetic a priori knowledge? No: Mill, Quine Yes: faculty of a priori intuition (Rationalism, Kant) No: all a priori knowledge analytic (Ayer) No A Priori

### 1/5. The Critique of Theology

1/5 The Critique of Theology The argument of the Transcendental Dialectic has demonstrated that there is no science of rational psychology and that the province of any rational cosmology is strictly limited.

### Ayer and Quine on the a priori

Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified

### Indeterminacy and Transcendental Idealism (forthcoming in British Journal of the History of Philosophy)

Indeterminacy and Transcendental Idealism (forthcoming in British Journal of the History of Philosophy) Nicholas F. Stang University of Miami nick.stang@gmail.com Abstract In the Transcendental Ideal Kant

### Critical Discussion of A. W. Moore s Critique of Kant

Is Kant s Metaphysics Profoundly Unsatisfactory? Critical Discussion of A. W. Moore s Critique of Kant SORIN BAIASU Keele University Email: s.baiasu@keele.ac.uk Abstract: In his recent book, The Evolution

### Conventionalism and the linguistic doctrine of logical truth

1 Conventionalism and the linguistic doctrine of logical truth 1.1 Introduction Quine s work on analyticity, translation, and reference has sweeping philosophical implications. In his first important philosophical

### Varieties of Apriority

S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,

### The Copernican Shift and Theory of Knowledge in Immanuel Kant and Edmund Husserl.

The Copernican Shift and Theory of Knowledge in Immanuel Kant and Edmund Husserl. Matthew O Neill. BA in Politics & International Studies and Philosophy, Murdoch University, 2012. This thesis is presented

### Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module - 22 Lecture - 22 Kant The idea of Reason Soul, God

### NOTES ON A PRIORI KNOWLEDGE 10/6/03

NOTES ON A PRIORI KNOWLEDGE 10/6/03 I. Definitions & Distinctions: A. Analytic: 1. Kant: The concept of the subject contains the concept of the predicate. (judgements) 2. Modern formulation: S is analytic

### Alan W. Richardson s Carnap s Construction of the World

Alan W. Richardson s Carnap s Construction of the World Gabriella Crocco To cite this version: Gabriella Crocco. Alan W. Richardson s Carnap s Construction of the World. Erkenntnis, Springer Verlag, 2000,

### Quine on the analytic/synthetic distinction

Quine on the analytic/synthetic distinction Jeff Speaks March 14, 2005 1 Analyticity and synonymy.............................. 1 2 Synonymy and definition ( 2)............................ 2 3 Synonymy

### THE IDEA OF A PRIORI REVISITED* SANJIT CHAKRABORTY

THE IDEA OF A PRIORI REVISITED* SANJIT CHAKRABORTY ABSTRACT: In this article I would like to discuss the concept of a priori mainly focusing on Kant s Copernican revolution. How is metaphysics at all possible

### Kant and the Problem of Metaphysics 1. By Tom Cumming

Kant and the Problem of Metaphysics 1 By Tom Cumming Kant and the Problem of Metaphysics represents Martin Heidegger's first attempt at an interpretation of Kant's Critique of Pure Reason (1781). This

### Logical Mistakes, Logical Aliens, and the Laws of Kant's Pure General Logic Chicago February 21 st 2018 Tyke Nunez

Logical Mistakes, Logical Aliens, and the Laws of Kant's Pure General Logic Chicago February 21 st 2018 Tyke Nunez 1 Introduction (1) Normativists: logic's laws are unconditional norms for how we ought

Potentialism about set theory Øystein Linnebo University of Oslo SotFoM III, 21 23 September 2015 Øystein Linnebo (University of Oslo) Potentialism about set theory 21 23 September 2015 1 / 23 Open-endedness

### Kant and the natural numbers

Kant and the natural numbers Klaus Frovin Jørgensen Section for Philosophy and Science Studies, Roskilde University 1 Introduction The ontological status of mathematical objects is perhaps the most important

### TWO DIMENSIONAL MODAL ONTOLOGICAL ARGUMENT FOR THE EXISTENCE OF GOD

European Journal of Science and Theology, February 2017, Vol.13, No.1, 161-171 TWO DIMENSIONAL MODAL ONTOLOGICAL ARGUMENT FOR THE EXISTENCE OF GOD Zsolt Ziegler * Budapest University of Technology and

### How Do We Know Anything about Mathematics? - A Defence of Platonism

How Do We Know Anything about Mathematics? - A Defence of Platonism Majda Trobok University of Rijeka original scientific paper UDK: 141.131 1:51 510.21 ABSTRACT In this paper I will try to say something

### TWO CONCEPTIONS OF THE SYNTHETIC A PRIORI. Marian David Notre Dame University

TWO CONCEPTIONS OF THE SYNTHETIC A PRIORI Marian David Notre Dame University Roderick Chisholm appears to agree with Kant on the question of the existence of synthetic a priori knowledge. But Chisholm

### PHILOSOPHY OF KNOWLEDGE & REALITY W E E K 7 : E P I S T E M O L O G Y - K A N T

PHILOSOPHY OF KNOWLEDGE & REALITY W E E K 7 : E P I S T E M O L O G Y - K A N T AGENDA 1. Review of Epistemology 2. Kant Kant s Compromise Kant s Copernican Revolution 3. The Nature of Truth REVIEW: THREE

### Philosophy of Mathematics Nominalism

Philosophy of Mathematics Nominalism Owen Griffiths oeg21@cam.ac.uk Churchill and Newnham, Cambridge 8/11/18 Last week Ante rem structuralism accepts mathematical structures as Platonic universals. We

### Analytic Philosophy IUC Dubrovnik,

Analytic Philosophy IUC Dubrovnik, 10.5.-14.5.2010. Debating neo-logicism Majda Trobok University of Rijeka trobok@ffri.hr In this talk I will not address our official topic. Instead I will discuss some

### Immanuel Kant. Great German philosophers whose influence was and continues to be immense; born in Konigsberg East Prussia, in 1724, died there in 1804

Immanuel Kant Great German philosophers whose influence was and continues to be immense; born in Konigsberg East Prussia, in 1724, died there in 1804 His life, philosophy and views. Kant's home 2 Kant

### CONTENTS III SYNTHETIC A PRIORI JUDGEMENTS. PREFACE CHAPTER INTRODUCTldN

PREFACE I INTRODUCTldN CONTENTS IS I. Kant and his critics 37 z. The patchwork theory 38 3. Extreme and moderate views 40 4. Consequences of the patchwork theory 4Z S. Kant's own view of the Kritik 43

### WHAT DOES KRIPKE MEAN BY A PRIORI?

Diametros nr 28 (czerwiec 2011): 1-7 WHAT DOES KRIPKE MEAN BY A PRIORI? Pierre Baumann In Naming and Necessity (1980), Kripke stressed the importance of distinguishing three different pairs of notions:

### It doesn t take long in reading the Critique before we are faced with interpretive challenges. Consider the very first sentence in the A edition:

The Preface(s) to the Critique of Pure Reason It doesn t take long in reading the Critique before we are faced with interpretive challenges. Consider the very first sentence in the A edition: Human reason

### 1/7. The Postulates of Empirical Thought

1/7 The Postulates of Empirical Thought This week we are focusing on the final section of the Analytic of Principles in which Kant schematizes the last set of categories. This set of categories are what

### Kant and his Successors

Kant and his Successors G. J. Mattey Winter, 2011 / Philosophy 151 The Sorry State of Metaphysics Kant s Critique of Pure Reason (1781) was an attempt to put metaphysics on a scientific basis. Metaphysics

### Class #14: October 13 Gödel s Platonism

Philosophy 405: Knowledge, Truth and Mathematics Fall 2010 Hamilton College Russell Marcus Class #14: October 13 Gödel s Platonism I. The Continuum Hypothesis and Its Independence The continuum problem

### Aziz Yardımlı. idea. Hegel s Philosophy of Nature ant the Contemporary Phılosophy of Science IDEA PUBLISHING HOUSE INTERNET PUBLICATIONS 2

IDEA PUBLISHING HOUSE INTERNET PUBLICATIONS 2 Aziz Yardımlı Hegel s Philosophy of Nature ant the Contemporary Phılosophy of Science Presented at the XXIX. Internationaler Hegel-Kongress der Internationalen

### Philosophical Logic. LECTURE TWO MICHAELMAS 2017 Dr Maarten Steenhagen

Philosophical Logic LECTURE TWO MICHAELMAS 2017 Dr Maarten Steenhagen ms2416@cam.ac.uk Last Week Lecture 1: Necessity, Analyticity, and the A Priori Lecture 2: Reference, Description, and Rigid Designation

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

### To appear in The Journal of Philosophy.

To appear in The Journal of Philosophy. Lucy Allais: Manifest Reality: Kant s Idealism and his Realism. Oxford: Oxford University Press, 2015, pp. xi + 329. 40.00 (hb). ISBN: 9780198747130. Kant s doctrine

### Kant On The A Priority of Space: A Critique Arjun Sawhney - The University of Toronto pp. 4-7

Issue 1 Spring 2016 Undergraduate Journal of Philosophy Kant On The A Priority of Space: A Critique Arjun Sawhney - The University of Toronto pp. 4-7 For details of submission dates and guidelines please

### SAMPLE. Science and Epistemology. Chapter An uneasy relationship

Chapter 14 Science and Epistemology In this chapter first we will bring our story more or less up-to-date, and second we will round out some issues concerning the concepts of knowledge and justification;

### Truth and Disquotation

Truth and Disquotation Richard G Heck Jr According to the redundancy theory of truth, famously championed by Ramsey, all uses of the word true are, in principle, eliminable: Since snow is white is true

### Online version of this review can be found at:

Online version of this review can be found at: http://ndpr.nd.edu/news/25218-thecambridge-companion-to-kant-and-modern-philosophy/. The Cambridge Companion to Kant and Modern Philosophy, edited by Paul

### Understanding How we Come to Experience Purposive. Behavior. Jacob Roundtree. Colby College Mayflower Hill, Waterville, ME USA

Understanding How we Come to Experience Purposive Behavior Jacob Roundtree Colby College 6984 Mayflower Hill, Waterville, ME 04901 USA 1-347-241-4272 Ludwig von Mises, one of the Great 20 th Century economists,

### Phil/Ling 375: Meaning and Mind [Handout #10]

Phil/Ling 375: Meaning and Mind [Handout #10] W. V. Quine: Two Dogmas of Empiricism Professor JeeLoo Liu Main Theses 1. Anti-analytic/synthetic divide: The belief in the divide between analytic and synthetic

### CONSTRUCTING NUMBERS THROUGH MOMENTS IN TIME: KANT S PHILOSOPHY OF MATHEMATICS

CONSTRUCTING NUMBERS THROUGH MOMENTS IN TIME: KANT S PHILOSOPHY OF MATHEMATICS A Thesis by PAUL ANTHONY WILSON Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment

### [3.] Bertrand Russell. 1

[3.] Bertrand Russell. 1 [3.1.] Biographical Background. 1872: born in the city of Trellech, in the county of Monmouthshire, now part of Wales 2 One of his grandfathers was Lord John Russell, who twice

### KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON. The law is reason unaffected by desire.

KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON The law is reason unaffected by desire. Aristotle, Politics Book III (1287a32) THE BIG IDEAS TO MASTER Kantian formalism Kantian constructivism

### to Frege's Philosophy

Chapter 1 Biographical Introduction to Frege's Philosophy Gottlob Frege was a nineteenth-century German university professor, little known in his own lifetime, who devoted himself to thinking, teaching

### Mathematics for Humans: Kant s Philosophy of Arithmetic Revisited

Mathematics for Humans: Kant s Philosophy of Arithmetic Revisited Robert Hanna In Kant we find an old form of intuitionism, now almost completely abandoned, in which space and time are taken to be forms

### Tuesday, September 2, Idealism

Idealism Enlightenment Puzzle How do these fit into a scientific picture of the world? Norms Necessity Universality Mind Idealism The dominant 19th-century response: often today called anti-realism Everything

### Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010).

Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010). Reviewed by Viorel Ţuţui 1 Since it was introduced by Immanuel Kant in the Critique of Pure Reason, the analytic synthetic distinction had

### A Judgmental Formulation of Modal Logic

A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical

### My purpose is to persuade all those who think metaphysics worth studying

PROLEGOMENA TO ANY FUTURE METAPHYSICS Immanuel Kant Abridged by H. Gene Blocker Library of Liberal Arts Archive My purpose is to persuade all those who think metaphysics worth studying that it is absolutely

### What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

### On Naturalism in Mathematics

On Naturalism in Mathematics Alfred Lundberg Bachelor s Thesis, Spring 2007 Supervison: Christian Bennet Department of Philosophy Göteborg University 1 Contents Contents...2 Introduction... 3 Naïve Questions...

### Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God

Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God Father Frederick C. Copleston (Jesuit Catholic priest) versus Bertrand Russell (agnostic philosopher) Copleston:

### Philosophy 3100: Ethical Theory

Philosophy 3100: Ethical Theory Topic 2 - Non-Cognitivism: I. What is Non-Cognitivism? II. The Motivational Judgment Internalist Argument for Non-Cognitivism III. Why Ayer Is A Non-Cognitivist a. The Analytic/Synthetic

### Philosophy 308 The Language Revolution Russell Marcus Hamilton College, Fall 2014

Philosophy 308 The Language Revolution Russell Marcus Hamilton College, Fall 2014 Class #14 The Picture Theory of Language and the Verification Theory of Meaning Wittgenstein, Ayer, and Hempel Marcus,

### Today we turn to the work of one of the most important, and also most difficult, philosophers: Immanuel Kant.

Kant s antinomies Today we turn to the work of one of the most important, and also most difficult, philosophers: Immanuel Kant. Kant was born in 1724 in Prussia, and his philosophical work has exerted

### Philosophical Logic. LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen

Philosophical Logic LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen ms2416@cam.ac.uk Last week Lecture 1: Necessity, Analyticity, and the A Priori Lecture 2: Reference, Description, and Rigid Designation

### Accessing the Moral Law through Feeling

Kantian Review, 20, 2,301 311 KantianReview, 2015 doi:10.1017/s1369415415000060 Accessing the Moral Law through Feeling owen ware Simon Fraser University Email: owenjware@gmail.com Abstract In this article

### The Ontological Argument for the existence of God. Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011

The Ontological Argument for the existence of God Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011 The ontological argument (henceforth, O.A.) for the existence of God has a long