Originally published in 1967. The common aim of all logical enquiry is to discover and analyse correctly the forms of valid argument. In this book concise expositions of traditional, Aristotelian logic and of modern systems of propositional and predicative logic show how far that aim has been achieved.

Originally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. The book deals with "propositional" logic by the truth-table method, briefly introducing axiomatic procedures, and proceeds to the theory of the syllogism, the logic of one-place predicates, and elementary parts of the logic of many-place predicates. Revision material is provided covering the main parts of the course. The course represents from eight to twenty hours work. depending on the student's speed of work and on whether optional chapters are taken.

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato's dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. Naturalizing Logico-Mathematical Knowledge contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers' willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies.

A NATO Advanced Research Workshop on Classical and Modern Potential The- ory and Applications was held at the Chateau de Bonas, France, during the last week of July 1993. The workshop was organized by the Co-Directors M. Goldstein (Ari- zona) and K. GowriSankaran (Montreal). The other members of the organizing committee were J. Bliedtner (Frankfurt), D. Feyel (Paris), W. K. Hayman (York, England) and I. Netuka (Praha). The objective of the workshop was to bring to- gether the researchers at the forefront of the aspects of the Potential Theory for a meaningful dialogue and for positive interaction amongst the mathematicians prac- tising different aspects of the theory and its applications. Fifty one mathematicians participated in the workshop. The workshop covered a fair representation of the classical aspects of the theory covering topics such as approximations, radial be- haviour, value distributions of meromorphic functions and the modern Potential theory including axiomatic developments, probabilistic theories, studies on infinite dimensional Wiener spaces, solutions of powers of Laplacian and other second order partial differential equations. There were keynote addresses delivered by D. Armitage (Belfast), N. Bouleau (Paris), A. Eremenko (Purdue), S. J. Gardiner (Dublin), W. Hansen (Bielefeld), W. Hengartner (Laval U. , Quebec), K. Janssen (Dusseldorf), T. Murai (Nagoya), A. de la Pradelle (Paris) and J. M. Wu (Urbana). There were thirty six other invited talks of one half hour duration each.

Wittgenstein was centrally concerned with the puzzling nature of the mind, mathematics, morality and modality. He also developed innovative views about the status and methodology of philosophy and was explicitly opposed to crudely "scientistic" worldviews. His later thought has thus often been understood as elaborating a nuanced form of naturalism appealing to such notions as "form of life", "primitive reactions", "natural history", "general facts of nature" and "common behaviour of mankind". And yet, Wittgenstein is strangely absent from much of the contemporary literature on naturalism and naturalising projects. This is the first collection of essays to focus explicitly on the relationship between Wittgenstein and naturalism. The volume is divided into four sections, each of which addresses a different aspect of naturalism and its relation to Wittgenstein's thought. The first section considers how naturalism could or should be understood. The second section deals with some of the main problematic domains-consciousness, meaning, mathematics-that philosophers have typically sought to naturalise. The third section explores ways in which the conceptual nature of human life might be continuous in important respects with animals. The final section is concerned with the naturalistic status and methodology of philosophy itself. This book thus casts a fresh light on many classical philosophical issues and brings Wittgensteinian ideas to bear on a number of current debates-for example experimental philosophy, neo-pragmatism and animal cognition/ethics-in which naturalism is playing a central role.

Originally published in 1985. This study concerns the problem of treating identity as a relation between an object and itself. It addresses the Russellian and Fregean solutions and goes on to present in the first part a surfacist account of belief-context ambiguity requiring neither differences in relative scope nor distinctions between sense and reference. The second part offers an account of negative existentials, necessity and identity-statements which resolves problems unlike the Russell-Frege analyses. This is a detailed work in linguistics and philosophy.

Originally published in 1985. This book is about a single famous line of argument, pioneered by Descartes and deployed to full effect by Kant. That argument was meant to refute scepticism once and for all, and make the world safe for science. 'I think, so I exist' is valid reasoning, but circular as proof. In similar vein, Kant argues from our having a science of geometry to Space being our contribution to experience: a different conclusion, arrived at by a similar fallacy. Yet these arguments do show something: that certain sets of opinions, if professed, show an inbuilt inconsistency. It is this second-strike capacity that has kept transcendental arguments going for so long. Attempts to re-build metaphysics by means of such transcendental reasoning have been debated. This book offers an introduction to the field, and ventures its own assessment, in non-technical language, without assuming previous training in logic or philosophy.

Substance and the Fundamentality of the Familiar explicates and defends a novel neo-Aristotelian account of the structure of material objects. While there have been numerous treatments of properties, laws, causation, and modality in the neo-Aristotelian metaphysics literature, this book is one of the first full-length treatments of wholes and their parts. Another aim of the book is to further develop the newly revived area concerning the question of fundamental mereology, the question of whether wholes are metaphysically prior to their parts or vice versa. Inman develops a fundamental mereology with a grounding-based conception of the structure and unity of substances at its core, what he calls substantial priority, one that distinctively allows for the fundamentality of ordinary, medium-sized composite objects. He offers both empirical and philosophical considerations against the view that the parts of every composite object are metaphysically prior, in particular the view that ascribes ontological pride of place to the smallest microphysical parts of composite objects, which currently dominates debates in metaphysics, philosophy of science, and philosophy of mind. Ultimately, he demonstrates that substantial priority is well-motivated in virtue of its offering a unified solution to a host of metaphysical problems involving material objects.

Uncertainty is everywhere. It lurks in every consideration of the future - the weather, the economy, the sex of an unborn child - even quantities we think that we know such as populations or the transit of the planets contain the possibility of error. It's no wonder that, throughout that history, we have attempted to produce rigidly defined areas of uncertainty - we prefer the surprise party to the surprise asteroid. We began our quest to make certain an uncertain world by reading omens in livers, tea leaves, and the stars. However, over the centuries, driven by curiosity, competition, and a desire be better gamblers, pioneering mathematicians and scientists began to reduce wild uncertainties to tame distributions of probability and statistical inferences. But, even as unknown unknowns became known unknowns, our pessimism made us believe that some problems were unsolvable and our intuition misled us. Worse, as we realized how omnipresent and varied uncertainty is, we encountered chaos, quantum mechanics, and the limitations of our predictive power. Bestselling author Professor Ian Stewart explores the history and mathematics of uncertainty. Touching on gambling, probability, statistics, financial and weather forecasts, censuses, medical studies, chaos, quantum physics, and climate, he makes one thing clear: a reasonable probability is the only certainty.

This book approaches work by Gilles Deleuze and Alain Badiou through their shared commitment to multiplicity, a novel approach to addressing one of the oldest philosophical questions: is being one or many? Becky Vartabedian examines major statements of multiplicity by Deleuze and Badiou to assess the structure of multiplicity as ontological ground or foundation, and the procedures these accounts prescribe for understanding one in relation to multiplicity. Written in a clear, engaging style, Vartabedian introduces readers to Deleuze and Badiou's key ontological commitments to the mathematical resources underpinning their accounts of multiplicity and one, and situates these as a conversation unfolding amid political and intellectual transformations.

Biologists, climate scientists, and economists all rely on models to move their work forward. In this book, Stephen M. Downes explores the use of models in these and other fields to introduce readers to the various philosophical issues that arise in scientific modeling. Readers learn that paying attention to models plays a crucial role in appraising scientific work. This book first presents a wide range of models from a number of different scientific disciplines. After assembling some illustrative examples, Downes demonstrates how models shed light on many perennial issues in philosophy of science and in philosophy in general. Reviewing the range of views on how models represent their targets introduces readers to the key issues in debates on representation, not only in science but in the arts as well. Also, standard epistemological questions are cast in new and interesting ways when readers confront the question, "What makes for a good (or bad) model?" All examples from the sciences and positions in the philosophy of science are presented in an accessible manner. The book is suitable for undergraduates with minimal experience in philosophy and an introductory undergraduate experience in science. Key features: The book serves as a highly accessible philosophical introduction to models and modeling in the sciences, presenting all philosophical and scientific issues in a nontechnical manner. Students and other readers learn to practice philosophy of science by starting with clear examples taken directly from the sciences. While not comprehensive, this book introduces the reader to a wide range of views on key issues in the philosophy of science.

This collection presents the first sustained examination of the nature and status of the idea of principles in early modern thought. Principles are almost ubiquitous in the seventeenth and eighteenth centuries: the term appears in famous book titles, such as Newton's Principia; the notion plays a central role in the thought of many leading philosophers, such as Leibniz's Principle of Sufficient Reason; and many of the great discoveries of the period, such as the Law of Gravitational Attraction, were described as principles. Ranging from mathematics and law to chemistry, from natural and moral philosophy to natural theology, and covering some of the leading thinkers of the period, this volume presents ten compelling new essays that illustrate the centrality and importance of the idea of principles in early modern thought. It contains chapters by leading scholars in the field, including the Leibniz scholar Daniel Garber and the historian of chemistry William R. Newman, as well as exciting, emerging scholars, such as the Newton scholar Kirsten Walsh and a leading expert on experimental philosophy, Alberto Vanzo. The Idea of Principles in Early Modern Thought: Interdisciplinary Perspectives charts the terrain of one of the period's central concepts for the first time, and opens up new lines for further research.

Originally published in 1973. This book presents a valid mode of reasoning that is different to mathematical probability. This inductive logic is investigated in terms of scientific investigation. The author presents his criteria of adequacy for analysing inductive support for hypotheses and discusses each of these criteria in depth. The chapters cover philosophical problems and paradoxes about experimental support, probability and justifiability, ending with a system of logical syntax of induction. Each section begins with a summary of its contents and there is a glossary of technical terms to aid the reader.

This book addresses the argument in the history of the philosophy of science between the positivists and the anti-positivists. The author starts from a point of firm conviction that all science and philosophy must start with the given... But that the range of the given is not definite. He begins with an examination of science from the outside and then the inside, explaining his position on metaphysics and attempts to formulate the character of operational acts before a general theory of symbolism is explored. The last five chapters constitute a treatise to show that the development from one stage of symbolismto the next is inevitable, consequently that explanatory science represents the culmination of knowledge.

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.

Originally published in 1967. The common aim of all logical enquiry is to discover and analyse correctly the forms of valid argument. In this book concise expositions of traditional, Aristotelian logic and of modern systems of propositional and predicative logic show how far that aim has been achieved.

This collection addresses metaphysical issues at the intersection between philosophy and science. A unique feature is the way in which it is guided both by history of philosophy, by interaction between philosophy and science, and by methodological awareness. In asking how metaphysics is possible in an age of science, the contributors draw on philosophical tools provided by three great thinkers who were fully conversant with and actively engaged with the sciences of their day: Kant, Husserl, and Frege. Part I sets out frameworks for scientifically informed metaphysics in accordance with the meta-metaphysics outlined by these three self-reflective philosophers. Part II explores the domain for co-existent metaphysics and science. Constraints on ambitious critical metaphysics are laid down in close consideration of logic, meta-theory, and specific conditions for science. Part III exemplifies the role of language and science in contemporary metaphysics. Quine's pursuit of truth is analysed; Cantor's absolute infinitude is reconstrued in modal terms; and sense is made of Weyl's take on the relationship between mathematics and empirical aspects of physics. With chapters by leading scholars, Metametaphysics and the Sciences is an in-depth resource for researchers and advanced students working within metaphysics, philosophy of science, and the history of philosophy.

This volume builds on two recent developments in philosophy on the relationship between art and science: the notion of representation and the role of values in theory choice and the development of scientific theories. Its aim is to address questions regarding scientific creativity and imagination, the status of scientific performances-such as thought experiments and visual aids-and the role of aesthetic considerations in the context of discovery and justification of scientific theories. Several contributions focus on the concept of beauty as employed by practising scientists, the aesthetic factors at play in science and their role in decision making. Other essays address the question of scientific creativity and how aesthetic judgment resolves the problem of theory choice by employing aesthetic criteria and incorporating insights from both objectivism and subjectivism. The volume also features original perspectives on the role of the sublime in science and sheds light on the empirical work studying the experience of the sublime in science and its relation to the experience of understanding. The Aesthetics of Science tackles these topics from a variety of novel and thought-provoking angles. It will be of interest to researchers and advanced students in philosophy of science and aesthetics, as well as other subdisciplines such as epistemology and philosophy of mathematics.

Originally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. The book deals with "propositional" logic by the truth-table method, briefly introducing axiomatic procedures, and proceeds to the theory of the syllogism, the logic of one-place predicates, and elementary parts of the logic of many-place predicates. Revision material is provided covering the main parts of the course. The course represents from eight to twenty hours work. depending on the student's speed of work and on whether optional chapters are taken.

Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic. The first part of the book is concerned with the nature of the semantic theorist's project, and particularly with the crucial concepts of meaning, truth, and semantic structure. The second and third parts deal with various constructions that are found in natural languages: names, quantifiers, definite descriptions, and modal operators. Throughout, while assuming some familiarity with philosophical logic and elementary formal logic, the text provides a clear exposition. It brings together related ideas, and in some places refines and improves upon existing accounts.

Originally published in 1968. This is a critical study of the concept of 'rule' featuring in law, ethics and much philosophical analysis which the author uses to investigate the concept of 'rationality'. The author indicates in what manner the modes of reasoning involved in reliance upon rules are unique and in what fashion they provide an alternative both to the modes of logico-mathematical reasoning and to the modes of scientific reasoning. This prepares the groundwork for a methodology meeting the requirements of the fields using rules such as law and ethics which could be significant for communications theory and the use of computers in normative fields. Other substantive issues related to the mainstream of legal philosophy are discussed - theories of interpretation, the notion of purpose and the requirements of principled decision-making. The book utilizes examples drawn from English and American legal decisions to suggest how the positions of legal positivism and of natural law are equally artificial and misleading.

This volume explores the interaction of poetry and mathematics by looking at analogies that link them. The form that distinguishes poetry from prose has mathematical structure (lifting language above the flow of time), as do the thoughtful ways in which poets bring the infinite into relation with the finite. The history of mathematics exhibits a dramatic narrative inspired by a kind of troping, as metaphor opens, metonymy and synecdoche elaborate, and irony closes off or shifts the growth of mathematical knowledge. The first part of the book is autobiographical, following the author through her discovery of these analogies, revealed by music, architecture, science fiction, philosophy, and the study of mathematics and poetry. The second part focuses on geometry, the circle and square, launching us from Shakespeare to Housman, from Euclid to Leibniz. The third part explores the study of dynamics, inertial motion and transcendental functions, from Descartes to Newton, and in 20th c. poetry. The final part contemplates infinity, as it emerges in modern set theory and topology, and in contemporary poems, including narrative poems about modern cosmology.

This edited volume, aimed at both students and researchers in philosophy, mathematics and history of science, highlights leading developments in the overlapping areas of philosophy and the history of modern mathematics. It is a coherent, wide ranging account of how a number of topics in the philosophy of mathematics must be reconsidered in the light of the latest historical research, and how a number of historical accounts can be deepened by embracing philosophical questions.

Originally published in 1931. This inquiry investigates and develops John Cook Wilson's view of the province of logic. It bases the study on the posthumous collected papers Statement and Inference. The author seeks to answer questions on the nature of logic using Cook Wilson's thought. The chapters introduce and consider topics from metaphysics to grammar and from psychology to knowledge. An early conception of logic in the sciences and presenting the work of an important twentieth century philosopher, this is an engaging work.

This volume tells the story of the legacy and impact of the great German polymath Gottfried Wilhelm Leibniz (1646-1716). Leibniz made significant contributions to many areas, including philosophy, mathematics, political and social theory, theology, and various sciences. The essays in this volume explores the effects of Leibniz's profound insights on subsequent generations of thinkers by tracing the ways in which his ideas have been defended and developed in the three centuries since his death. Each of the 11 essays is concerned with Leibniz's legacy and impact in a particular area, and between them they show not just the depth of Leibniz's talents but also the extent to which he shaped the various domains to which he contributed, and in some cases continues to shape them today. With essays written by experts such as Nicholas Jolley, Pauline Phemister, and Philip Beeley, this volume is essential reading not just for students of Leibniz but also for those who wish to understand the game-changing impact made by one of history's true universal geniuses.