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.

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.

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.

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.

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

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.