At first glance, the concept of equality in maths seems unambiguous. When we see the equality sign, we think of 'solving for x' or balancing two sides of an equation or maybe even the many famous equations that make use of this elegant, innocuous symbol.

=

But between those parallel lines lies a mathematical playground of choice and abstraction, leading to far greater insight than you could have dreamed. As it turns out, sameness and difference, equality and inequality, are not nearly as straightforward as they seem.

=/=

Unequal explores the rich and rewarding interplay between sameness and difference, from numbers to manifolds to category theory and beyond in a glorious celebration of mathematics that will change the way you look at maths - and the world around you - forever.

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book. ++++ The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ Principia Mathematica, Volume 2; Principia Mathematica; Bertrand Russell Alfred North Whitehead, Bertrand Russell University Press, 1912 Logic, Symbolic and mathematical; Mathematics

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book. ++++ The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ Principia Mathematica, Volume 2; Principia Mathematica; Bertrand Russell Alfred North Whitehead, Bertrand Russell University Press, 1912 Logic, Symbolic and mathematical; Mathematics

The book is a collection of the author's selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.

In Frege's Conception of Logic Patricia A. Blanchette explores the relationship between Gottlob Frege's understanding of conceptual analysis and his understanding of logic. She argues that the fruitfulness of Frege's conception of logic, and the illuminating differences between that conception and those more modern views that have largely supplanted it, are best understood against the backdrop of a clear account of the role of conceptual analysis in logical investigation. The first part of the book locates the role of conceptual analysis in Frege's logicist project. Blanchette argues that despite a number of difficulties, Frege's use of analysis in the service of logicism is a powerful and coherent tool. As a result of coming to grips with his use of that tool, we can see that there is, despite appearances, no conflict between Frege's intention to demonstrate the grounds of ordinary arithmetic and the fact that the numerals of his derived sentences fail to co-refer with ordinary numerals. In the second part of the book, Blanchette explores the resulting conception of logic itself, and some of the straightforward ways in which Frege's conception differs from its now-familiar descendants. In particular, Blanchette argues that consistency, as Frege understands it, differs significantly from the kind of consistency demonstrable via the construction of models. To appreciate this difference is to appreciate the extent to which Frege was right in his debate with Hilbert over consistency- and independence-proofs in geometry. For similar reasons, modern results such as the completeness of formal systems and the categoricity of theories do not have for Frege the same importance they are commonly taken to have by his post-Tarskian descendants. These differences, together with the coherence of Frege's position, provide reason for caution with respect to the appeal to formal systems and their properties in the treatment of fundamental logical properties and relations.

The biological and social sciences often generalize causal conclusions from one context or location to others that may differ in some relevant respects, as is illustrated by inferences from animal models to humans or from a pilot study to a broader population. Inferences like these are known as extrapolations. The question of how and when extrapolation can be legitimate is a fundamental issue for the biological and social sciences that has not received the attention it deserves. In Across the Boundaries, Steel argues that previous accounts of extrapolation are inadequate and proposes a better approach that is able to answer methodological critiques of extrapolation from animal models to humans.
Across the Boundaries develops the thought that knowledge of mechanisms linking cause to effect can serve as a basis for extrapolation. Despite its intuitive appeal, this idea faces several obstacles. Extrapolation is worthwhile only when there are stringent practical or ethical limitations on what can be learned about the target (say, human) population by studying it directly. Meanwhile, the mechanisms approach rests on the idea that extrapolation is justified when mechanisms are the same or similar enough. Yet since mechanisms may differ significantly between model and target, it needs to be explained how the suitability of the model could be established given only very limited information about the target. Moreover, since model and target are rarely alike in all relevant respects, an adequate account of extrapolation must also explain how extrapolation can be legitimate even when some causally relevant differences are present.
Steel explains how his proposal can answer thesechallenges, illustrates his account with a detailed biological case study, and explores its implications for such traditional philosophy of science topics ceteris paribus laws and reductionism. Finally, he considers whether mechanisms-based extrapolation can work in social science.

Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models.

This Handbook explores the history of mathematics under a series of themes which raise new questions about what mathematics has been and what it has meant to practice it. It addresses questions of who creates mathematics, who uses it, and how. A broader understanding of mathematical practitioners naturally leads to a new appreciation of what counts as a historical source. Material and oral evidence is drawn upon as well as an unusual array of textual sources. Further, the ways in which people have chosen to express themselves are as historically meaningful as the contents of the mathematics they have produced. Mathematics is not a fixed and unchanging entity. New questions, contexts, and applications all influence what counts as productive ways of thinking. Because the history of mathematics should interact constructively with other ways of studying the past, the contributors to this book come from a diverse range of intellectual backgrounds in anthropology, archaeology, art history, philosophy, and literature, as well as history of mathematics more traditionally understood.
The thirty-six self-contained, multifaceted chapters, each written by a specialist, are arranged under three main headings: 'Geographies and Cultures', 'Peoples and Practices', and 'Interactions and Interpretations'. Together they deal with the mathematics of 5000 years, but without privileging the past three centuries, and an impressive range of periods and places with many points of cross-reference between chapters. The key mathematical cultures of North America, Europe, the Middle East, India, and China are all represented here as well as areas which are not often treated in mainstream history of mathematics, such as Russia, the Balkans, Vietnam, and South America. This Handbook will be a vital reference for graduates and researchers in mathematics, historians of science, and general historians.

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Godel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.

Jesuit engagement with natural philosophy during the late 16th and early 17th centuries transformed the status of the mathematical disciplines and propelled members of the Order into key areas of controversy in relation to Aristotelianism. Through close investigation of the activities of the Jesuit 'school' of mathematics founded by Christoph Clavius, The Scientific Counter-Revolution examines the Jesuit connections to the rise of experimental natural philosophy and the emergence of the early scientific societies. Arguing for a re-evaluation of the role of Jesuits in shaping early modern science, this book traces the evolution of the Collegio Romano as a hub of knowledge. Starting with an examination of Clavius's Counter-Reformation agenda for mathematics, Michael John Gorman traces the development of a collective Jesuit approach to experimentation and observation under Christopher Grienberger and analyses the Jesuit role in the Galileo Affair and the vacuum debate. Ending with a discussion of the transformation of the Collegio Romano under Athanasius Kircher into a place of curiosity and wonder and the centre of a global information gathering network, this book reveals how the Counter-Reformation goals of the Jesuits contributed to the shaping of modern experimental science.

Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of mathematics and science. Hartry Field argues that we can explain the utility of mathematics without assuming it true. Part of the argument is that good mathematics has a special feature ("conservativeness") that allows it to be applied to "nominalistic" claims (roughly, those neutral to the existence of mathematical entities) in a way that generates nominalistic consequences more easily without generating any new ones. Field goes on to argue that we can axiomatize physical theories using nominalistic claims only, and that in fact this has advantages over the usual axiomatizations that are independent of nominalism. There has been much debate about the book since it first appeared. It is now reissued in a revised contains a substantial new preface giving the author's current views on the original book and the issues that were raised in the subsequent discussion of it.

In 1940 G. H. Hardy published A Mathematician's Apology, a meditation on mathematics by a leading pure mathematician. Eighty-two years later, An Applied Mathematician's Apology is a meditation and also a personal memoir by a philosophically inclined numerical analyst, one who has found great joy in his work but is puzzled by its relationship to the rest of mathematics.

Why is 7 such a lucky number and 13 so unlucky? Why does a jury traditionally have `12 good men and true', and why are there 24 hours in the day and 60 seconds in a minute? This fascinating new book explores the world of numbers from pin numbers to book titles, and from the sixfold shape of snowflakes to the way our roads, houses and telephone numbers are designated in fact and fiction. Using the numbers themselves as its starting point it investigates everything from the origins and meaning of counting in early civilizations to numbers in proverbs, myths and nursery rhymes and the ancient `science' of numerology. It also focuses on the quirks of odds and evens, primes, on numbers in popular sports - and much, much more. So whether you've ever wondered why Heinz has 57 varieties, why 999 is the UK's emergency phone number but 911 is used in America, why Coco Chanel chose No. 5 for her iconic perfume, or how the title Catch 22 was chosen, then this is the book for you. Dip in anywhere and you'll find that numbers are not just for adding and measuring but can be hugely entertaining and informative whether you're buying a diamond or choosing dinner from the menu.

Throughout his career, Keith Hossack has made outstanding contributions to the theory of knowledge, metaphysics and the philosophy of mathematics. This collection of previously unpublished papers begins with a focus on Hossack's conception of the nature of knowledge, his metaphysics of facts and his account of the relations between knowledge, agents and facts. Attention moves to Hossack's philosophy of mind and the nature of consciousness, before turning to the notion of necessity and its interaction with a priori knowledge. Hossack's views on the nature of proof, logical truth, conditionals and generality are discussed in depth. In the final chapters, questions about the identity of mathematical objects and our knowledge of them take centre stage, together with questions about the necessity and generality of mathematical and logical truths. Knowledge, Number and Reality represents some of the most vibrant discussions taking place in analytic philosophy today.

The first critical work to attempt the mammoth undertaking of reading Badiou's Being and Event as part of a sequence has often surprising, occasionally controversial results. Looking back on its publication Badiou declared: "I had inscribed my name in the history of philosophy". Later he was brave enough to admit that this inscription needed correction. The central elements of Badiou's philosophy only make sense when Being and Event is read through the corrective prism of its sequel, Logics of Worlds, published nearly twenty years later. At the same time as presenting the only complete overview of Badiou's philosophical project, this book is also the first to draw out the central component of Badiou's ontology: indifference. Concentrating on its use across the core elements Being and Event-the void, the multiple, the set and the event-Watkin demonstrates that no account of Badiou's ontology is complete unless it accepts that Badiou's philosophy is primarily a presentation of indifferent being. Badiou and Indifferent Being provides a detailed and lively section by section reading of Badiou's foundational work. It is a seminal source text for all Badiou readers.

Alain Badiou has claimed that Quentin Meillassoux's book After Finitude (Bloomsbury, 2008) "opened up a new path in the history of philosophy." And so, whether you agree or disagree with the speculative realism movement, it has to be addressed. Lacanian Realism does just that. This book reconstructs Lacanian dogma from the ground up: first, by unearthing a new reading of the Lacanian category of the real; second, by demonstrating the political and cultural ingenuity of Lacan's concept of the real, and by positioning this against the more reductive analyses of the concept by Slavoj Zizek, Alain Badiou, Saul Newman, Todd May, Joan Copjec, Jacques Ranciere, and others, and; third, by arguing that the subject exists intimately within the real. Lacanian Realism is an imaginative and timely exploration of the relationship between Lacanian psychoanalysis and contemporary continental philosophy.

Mary Leng offers a defense of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focussed on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. Leng, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized.

Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G. Heck, Jr., aims to change that, and establish it as a neglected masterpiece that must be placed at the center of Frege's philosophy. Part I of Reading Frege's Grundgesetze develops an interpretation of the philosophy of logic that informs Grundgesetze, paying especially close attention to the difficult sections of Frege's book in which he discusses his notorious 'Basic Law V' and attempts to secure its status as a law of logic. Part II examines the mathematical basis of Frege's logicism, explaining and exploring Frege's formal arguments. Heck argues that Frege himself knew that his proofs could be reconstructed so as to avoid Russell's Paradox, and presents Frege's arguments in a way that makes them available to a wide audience. He shows, by example, that careful attention to the structure of Frege's arguments, to what he proved, to how he proved it, and even to what he tried to prove but could not, has much to teach us about Frege's philosophy.

This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.

Agenda Relevance is the first volume in the authors' omnibus investigation of
the logic of practical reasoning, under the collective title, A Practical Logic
of Cognitive Systems. In this highly original approach, practical reasoning is
identified as reasoning performed with comparatively few cognitive assets,
including resources such as information, time and computational capacity. Unlike
what is proposed in optimization models of human cognition, a practical reasoner
lacks perfect information, boundless time and unconstrained access to
computational complexity. The practical reasoner is therefore obliged to be a
cognitive economizer and to achieve his cognitive ends with considerable
efficiency. Accordingly, the practical reasoner avails himself of various
scarce-resource compensation strategies. He also possesses neurocognitive
traits that abet him in his reasoning tasks. Prominent among these is the
practical agent's striking (though not perfect) adeptness at evading irrelevant
information and staying on task. On the approach taken here, irrelevancies are
impediments to the attainment of cognitive ends. Thus, in its most basic sense,
relevant information is cognitively helpful information. Information can then be
said to be relevant for a practical reasoner to the extent that it advances or
closes some cognitive agenda of his. The book explores this idea with a
conceptual detail and nuance not seen the standard semantic, probabilistic and
pragmatic approaches to relevance; but wherever possible, the authors seek to
integrate alternative conceptions rather than reject them outright. A further
attraction of the agenda-relevance approach is the extent to which its principal
conceptual findings lend themselves to technically sophisticated re-expression
in formal models that marshal the resources of time and action logics and
label led deductive systems.

Agenda Relevance is necessary reading for researchers in logic, belief
dynamics, computer science, AI, psychology and neuroscience, linguistics,
argumentation theory, and legal reasoning and forensic science, and will repay
study by graduate students and senior undergraduates in these same fields.

Key features:

relevance
action and agendas
practical reasoning
belief dynamics
non-classical logics
labelled deductive systems

"