Towards a Philosophy of Real Mathematics

Towards a Philosophy of Real Mathematics

Author: David Corfield

Publisher: Cambridge University Press

Published: 2003-04-24

Total Pages: 300

ISBN-13: 1139436392

DOWNLOAD EBOOK

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme and the ways in which new concepts are justified. His inspiring book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines and points clearly to the ways in which this can be done.


Towards Mathematical Philosophy

Towards Mathematical Philosophy

Author: David Makinson

Publisher: Springer Science & Business Media

Published: 2008-11-09

Total Pages: 344

ISBN-13: 1402090846

DOWNLOAD EBOOK

area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology, the philosophy of science, the study of legal and other normative systems, and cognitive science. The grouping is of course rough, for there are contributions to the volume that lie astride a boundary; at least one of them is relevant, from a very abstract perspective, to all three areas. We say a few words about each of the individual chapters, to relate them to each other and the general outlook of the volume. Modal Logics The ?rst bundle of papers in this volume contains contribution to modal logic. Three of them examine general problems that arise for all kinds of modal logics. The ?rst paper is essentially semantical in its approach, the second proof-theoretic, the third semantical again: • Commutativity of quanti?ers in varying-domain Kripke models,by R. Goldblatt and I. Hodkinson, investigates the possibility of com- tation (i.e. reversing the order) for quanti?ers in ?rst-order modal logics interpreted over relational models with varying domains. The authors study a possible-worlds style structural model theory that does not v- idate commutation, but satis?es all the axioms originally presented by Kripke for his familiar semantics for ?rst-order modal logic.


Towards a Philosophy of Critical Mathematics Education

Towards a Philosophy of Critical Mathematics Education

Author: Ole Skovsmose

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 312

ISBN-13: 9401735565

DOWNLOAD EBOOK

In Nineteen Eighty-Four George Orwell gives a description of different forms of suppression. We learn about the telescreens placed everywhere, through which it is possible for Big-Brother to watch the inhabitants of Oceania. However, it is not only important to control the activities of the inhabitants, it is important as well to control their thoughts, and the Thought Police are on guard. This is a very direct form of monitoring and control, but Orwell also outlines a more imperceptible and calculated line of thought control. In the Appendix to Nineteen Eighty-Four Orwell explains some struc tures of 'Newspeak', which is going to become the official language of Oceania. Newspeak is being developed by the Ministry of Truth, and this language has to substitute 'Oldspeak' (similar to standard English). Newspeak should fit with the official politics of Oceania ruled by the Ingsoc party: "The purpose of Newspeak was not only to provide a medium of expression for the world-view and mental habits proper to the devotees of Ingsoc, but to make all other modes of thought impos sible. It was intended that when Newspeak had been adopted once and for all and Oldspeak forgotten, a heretical thought - that is, a thought diverging from the principles of Ingsoc - should be literally unthink able, at least as far as thought is dependent on words.


Lectures on the Philosophy of Mathematics

Lectures on the Philosophy of Mathematics

Author: Joel David Hamkins

Publisher: MIT Press

Published: 2021-03-09

Total Pages: 350

ISBN-13: 0262542234

DOWNLOAD EBOOK

An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.


An Introduction to the Philosophy of Mathematics

An Introduction to the Philosophy of Mathematics

Author: Mark Colyvan

Publisher: Cambridge University Press

Published: 2012-06-14

Total Pages: 199

ISBN-13: 0521826020

DOWNLOAD EBOOK

A fascinating journey through intriguing mathematical and philosophical territory - a lively introduction to this contemporary topic.


From Mathematics to Philosophy (Routledge Revivals)

From Mathematics to Philosophy (Routledge Revivals)

Author: Hao Wang

Publisher: Routledge

Published: 2016-06-10

Total Pages: 445

ISBN-13: 1134884338

DOWNLOAD EBOOK

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge.


The Philosophy of Mathematical Practice

The Philosophy of Mathematical Practice

Author: Paolo Mancosu

Publisher: Oxford University Press on Demand

Published: 2008-06-19

Total Pages: 460

ISBN-13: 0199296456

DOWNLOAD EBOOK

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.


Introducing Philosophy of Mathematics

Introducing Philosophy of Mathematics

Author: Michele Friend

Publisher: Routledge

Published: 2014-12-05

Total Pages: 294

ISBN-13: 1317493788

DOWNLOAD EBOOK

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist.


More Precisely: The Math You Need to Do Philosophy - Second Edition

More Precisely: The Math You Need to Do Philosophy - Second Edition

Author: Eric Steinhart

Publisher: Broadview Press

Published: 2017-11-21

Total Pages: 250

ISBN-13: 155481345X

DOWNLOAD EBOOK

More Precisely is a rigorous and engaging introduction to the mathematics necessary to do philosophy. Eric Steinhart provides lucid explanations of many basic mathematical concepts and sets out the most commonly used notational conventions. He also demonstrates how mathematics applies to fundamental issues in various branches of philosophy, including metaphysics, philosophy of language, epistemology, and ethics. This second edition adds a substantial section on decision and game theory, as well as a chapter on information theory and the efficient coding of information.