Originally published in 1969. This book is for undergraduates whether specializing in philosophy or not. It assumes no previous knowledge of logic but aims to show how logical notions arise from, or are abstracted from, everyday discourse, whether technical or non-technical. It sets out a knowledge of principles and, while not historical, gives an account of the reasons for which modern systems have emerged from the traditional syllogistic logic, demonstrating how certain central ideas have developed. The text explains the connections between everyday reasoning and formal logic and works up to a brief sketch of systems of propositional calculus and predicate-calculus, using both the axiomatic method and the method of natural deduction. It provides a self-contained introduction but for those who intend to study the subject further it contains many suggestions and a sound basis for more advanced study.

The first European Congress of Mathematics was held in Paris from July 6 to July 10, 1992, at the Sorbonne and Pantheon-Sorbonne universities. It was hoped that the Congress would constitute a symbol of the development of the community of European nations. More than 1,300 persons attended the Congress. The purpose of the Congress was twofold. On the one hand, there was a scientific facet which consisted of forty-nine invited mathematical lectures that were intended to establish the state of the art in the various branches of pure and applied mathematics. This scientific facet also included poster sessions where participants had the opportunity of presenting their work. Furthermore, twenty four specialized meetings were held before and after the Congress. The second facet of the Congress was more original. It consisted of sixteen round tables whose aim was to review the prospects for the interactions of mathe matics, not only with other sciences, but also with society and in particular with education, European policy and industry. In connection with this second goal, the Congress also succeeded in bringing mathematics to a broader public. In addition to the round tables specifically devoted to this question, there was a mini-festival of mathematical films and two mathematical exhibits. Moreover, a Junior Mathematical Congress was organized, in parallel with the Congress, which brought together two hundred high school students."

There are things we routinely say that may strike us as literally false but that we are nonetheless reluctant to give up. This might be something mundane, like the way we talk about the sun setting in the west (it is the earth that moves), or it could be something much deeper, like engaging in talk that is ostensibly about numbers despite believing that numbers do not literally exist. Rather than regard such behaviour as self-defeating, a "fictionalist" is someone who thinks that this kind of discourse is entirely appropriate, even helpful, so long as we treat what is said as a useful fiction, rather than as the sober truth. "Fictionalism" can be broadly understood as a view that uses a notion of pretense or fiction in order to resolve certain puzzles or problems that otherwise do not necessarily have anything to do with literature or fictional creations. Within contemporary analytic philosophy, fictionalism has been on the scene for well over a decade and has matured during that time, growing in popularity. There are now myriad competing views about fictionalism and consequently the discussion has branched out into many more subdisciplines of philosophy. Yet there is widespread disagreement on what philosophical fictionalism actually amounts to and about how precisely it ought to be pursued. This volume aims to guide these discussions, collecting some of the most up-to-date work on fictionalism and tracing the view's development over the past decade. After a detailed discussion in the book's introductory chapter of how philosophers should think of fictionalism and its connection to metaontology more generally, the remaining chapters provide readers with arguments for and against this view from leading scholars in the fields of epistemology, ethics, metaphysics, philosophy of science, philosophy of language, and others.

This Fourth Edition updates the "Solutions Manual for Econometrics" to match the Sixth Edition of the Econometrics textbook. It adds problems and solutions using latest software versions of Stata and EViews. Special features include empirical examples replicated using EViews, Stata as well as SAS. The book offers rigorous proofs and treatment of difficult econometrics concepts in a simple and clear way, and provides the reader with both applied and theoretical econometrics problems along with their solutions. These should prove useful to students and instructors using this book.

The Third Kurt G-del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational logic and proof theory. While proof theory traditionally is a discipline of mathematical logic, the central activity in computational logic can be foundin computer science. In both disciplines methods were invented which arecrucial to one another. This volume contains the proceedings of the symposium. It contains contributions by 36 authors from 10 different countries. In addition to 10 invited papers there are 26 contributed papers selected from over 50 submissions.

This original and exciting study offers a completely new perspective on the philosophy of mathematics. Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things at all. Jody Azzouni argues that mathematical knowledge is a special kind of knowledge that must be gathered in its own unique way. He analyzes the linguistic pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics sensitive both to mathematical practice and to the ontological and epistemological issues that concern philosophers. The book will be of special interest to philosophers of science, mathematics, logic, and language. It should also interest mathematicians themselves.

This is a volume of essays and reviews that delightfully explores mathematics in all its moods - from the light and the witty, and humorous to serious, rational, and cerebral. These beautifully written articles from three great modern mathematicians will provide a source for supplemental reading for almost any math class. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and broad applications of mathematics. Readers will also find coverage of history and philosophy, including discussion of the work of Ulam, Kant, and Heidegger, among others.

This book is a sympathetic reconstruction of Henri Poincar's anti-realist philosophy of mathematics. Although Poincar is recognized as the greatest mathematician of the late 19th century, his contribution to the philosophy of mathematics is not highly regarded. Many regard his remarks as idiosyncratic, and based upon a misunderstanding of logic and logicism. This book argues that Poincar's critiques are not based on misunderstanding; rather, they are grounded in a coherent and attractive foundation of neo-Kantian constructivism.

"Creative mathematicians seldom write for outsiders, but when they do, they usually do it well. Jerry King is no exception. His informal, nontechnical book, as its title implies, is organized around what Bertrand Russell called the 'supreme beauty' of mathematics--a beauty 'capable of a stern perfection such as only the greatest art can show.'"
NATURE
In this clear, concise, and superbly written volume, mathematics professor and poet Jerry P. King reveals the beauty that is at the heart of mathematics--and he makes that beauty accessible to all readers. Darting wittily from Euclid to Yeats, from Poincare to Rembrandt, from axioms to symphonies, THE ART OF MATHEMATICS explores the difference between real, rational, and complex numbers; analyzes the intellectual underpinnings of pure and applied mathematics; and reveals the fundamental connection between aesthetics and mathematics. King also sheds light on how mathematicians pursue their research and how our educational system perpetuates the damaging divisions between the "two cultures."

Die preisgekronte Biographie des norwegische Schriftstellers Atle Naess fuhrt den Leser auf eine fesselnde Reise durch die Hohen und Tiefen des Lebens einer der schillerndsten Personlichkeiten der europaischen Wissenschaftsgeschichte - Galileo Galilei. Mit feinsinniger Empathie entwickelt Naess das Portrait eines Mannes, der sich selbst durch die Zwange der romischen Inquisition nicht von seinen wegweisenden Forschungen abbringen liess.

Aus den Rezensionen der norwegischen Ausgabe:

"Mit umfassender Kenntnis und sicherem Erzahlstil hebt Naess die epochemachenden Arbeiten hervor, die die Grundlage der modernen experimentellen Naturwissenschaften bilden. Er packt all die vielen Stationen Galileis] Lebens in ein sehr lesenswertes Buch, das in vielerlei Hinsicht hervorsticht."

Per Anders Madsen, Aftenposten Morgen

"Diese Biographie stellt eine faszinierende kulturhistorische Studie dar und ist daher nicht nur fur Leser mit Interesse an Naturwissenschaft und Wissenschaftsgeschichte geeignet. Sie kann auch hervorragend als Roman gelesen werden."

Atle Abelsen, Teknisk Ukeblad

"

Biographie des ungarischen Mathematikers Janos Bolyai (1802-1860), der etwa gleichzeitig mit dem russischen Mathematiker Nikolai Lobatschewski und unabhangig von ihm die nichteuklidische Revolution eingeleitet hat. Diese erbrachte den Nachweis, dass die euklidische Geometrie keine Denknotwendigkeit ist, wie Kant irrtumlicherweise annahm. Das Verstandnis fur die kuhnen Gedankengange verbreitete sich allerdings erst in der zweiten Halfte des 19. Jahrhunderts durch die Arbeiten von Riemann, Beltrami, Klein und Poincare. Die nichteuklidische Revolution war eine der Grundlagen fur die Entwicklung der Physik im 20. Jahrhundert und fur Einsteins Erkenntnis, dass der uns umgebende reale Raum gekrummt ist. Tibor Weszely schildert das wechselvolle Leben des Offiziers der K.u.K.-Armee, der krank und vereinsamt starb. Bolyai hat sich auch intensiv mit den komplexen Zahlen und mit Zahlentheorie befasst, ebenso auch mit philosophischen und sozialen Fragen ( Allheillehre ) sowie mit Logik und Grammatik.

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

An innovative, dramatic graphic novel about the treacherous pursuit of the foundations of mathematics.

This exceptional graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But his most ambitious goal--to establish unshakable logical foundations of mathematics--continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity.

This story is at the same time a historical novel and an accessible explication of some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a highly satisfying tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix "is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality.Apostolos Doxiadis studied mathematics at Columbia University. His international bestseller "Uncle Petros and Goldbach's Conjecture" spearheaded the impressive entrance of mathematics into the world of storytelling. Apart from his work in fiction, Apostolos has also worked in film and theater and is an internationally recognized expert on the relationship of mathematics to narrative. Christos H. Papadimitriou is C . Lester Hogan professor of computer science at the University of California, Berkeley. He was won numerous international awards for his pioneering work in computational complexity and algorithmic game theory. Christos is the author of the novel "Turing: A Novel about Computation." Alecos Papadatos worked for over twenty years in film animation in France and Greece. In 1997, he became a cartoonist for the major Athens daily "To Vima." He lives in Athens with his wife, Annie Di Donna, and their two children. Annie Di Donna studied graphic arts and painting in France and has worked as animator on many productions, among them "Babar" and "Tintin." Since 1991, she has been running an animation studio with her husband, Alecos Papadatos. This innovative graphic novel is based on the early life of the brilliant philosopher Bertrand Russell. Russell and his impassioned pursuit of truth. Haunted by family secrets and unable to quell his youthful curiosity, Russell became obsessed with a Promethean goal: to establish the logical foundation of all mathematics. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But the object of his defining quest continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity. "Logicomix" is at the same time a historical novel and an accessible explication to some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a captivating tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix" is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality. "At the heart of Logicomix stands Sir Bertrand Russell, a man determined to find a way of arriving at absolutely right answers. It's a tale within a tale, as the two authors and two graphic artists ardently pursue their own search for truth and appear as characters in the book. As one of them assures us, this won't be 'your typical, usual comic book.' Their quest takes shape and revolves around a lecture given by Russell at an unnamed American university in 1939, a lecture that is really, as he himself tells us, the story of his life and of his pursuit of real logical truth. With Proustian ambition and exhilarating artwork, "Logicomix"'s search for truth encounters head-on the horrors of the Second World War and the agonizing question of whether war can ever be the right choice. Russell himself had to confront that question personally: he endured six months in jail for his pacifism. Russell was determined to find the perfect logical method for solving all problems and attempted to remold human nature in his experimental school at Beacon Hill. Despite repeated failures, Russell never stopped being 'a sad little boy desperately seeking ways out of the deadly vortex of uncertainty.' The book is a visual banquet chronicling Russell's lifelong pursuit of 'certainty in total rationality.' As Logic and Mathematics, the last bastions of certainty, fail him, and as Reason proves not absolute, Russell is forced to face the fact that there is no Royal Road to Truth. Authors Dosiadis and Papadimitriou perfectly echo Russell's passion, with a sincere, easily grasped text amplified with breathtaking visual richness, making this the most satisfying graphic novel of 2009, a titanic artistic achievement of more than 300 pages, all of it pure reading joy."--Nick DiMartino, "Shelf Awareness" "This is an extraordinary graphic novel, wildly ambitious in daring to put into words and drawings the life and thought of one of the great philosophers of the last century, Bertrand Russell. The book is a rare intellectual and artistic achievement, which will, I am sure, lead its readers to explore realms of knowledge they thought were forbidden to them."--Howard Zinn "This magnificent book is about ideas, passions, madness, and the fierce struggle between well-defined principle and the larger good. It follows the great mathematicians--Russell, Whitehead, Frege Cantor, Hilbert--as they agonized to make the foundations of mathematics exact, consistent, and complete. And we see the band of artists and researchers--and the all-seeking dog Manga--creating, and participating in, this glorious narrative."--Barry Mazur, Gerhard Gade University Professor at Harvard University, and author of "Imagining Numbers (Particularly the Square Root of Minus Fifteen)" "The lives of ideas (and those who think them) can be as dramatic and unpredicteable as any superhero fantasy. "Logicomix" is witty, engaging, stylish, visually stunning, and full of surprising sound effects, a masterpiece in a genre for which there is as yet no name."--Michael Harris, professor of mathematics at Universite Paris 7 and member of the Institut Universitaire de France

From cells in our bodies to measuring the universe, big numbers are everywhere We all know that numbers go on forever, that you could spend your life counting and never reach the end of the line, so there can't be such a thing as a 'biggest number'. Or can there? To find out, David Darling and Agnijo Banerjee embark on an epic quest, revealing the answers to questions like: are there more grains of sand on Earth or stars in the universe? Is there enough paper on Earth to write out the digits of a googolplex? And what is a googolplex? Then things get serious. Enter the strange realm between the finite and the infinite, and float through a universe where the rules we cling to no longer apply. Encounter the highest number computable and infinite kinds of infinity. At every turn, a cast of wild and wonderful characters threatens the status quo with their ideas, and each time the numbers get larger.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic.

The world around us is saturated with numbers. They are a fundamental pillar of our modern society, and accepted and used with hardly a second thought. But how did this state of affairs come to be? In this book, Leo Corry tells the story behind the idea of number from the early days of the Pythagoreans, up until the turn of the twentieth century. He presents an overview of how numbers were handled and conceived in classical Greek mathematics, in the mathematics of Islam, in European mathematics of the middle ages and the Renaissance, during the scientific revolution, all the way through to the mathematics of the 18th to the early 20th century. Focusing on both foundational debates and practical use numbers, and showing how the story of numbers is intimately linked to that of the idea of equation, this book provides a valuable insight to numbers for undergraduate students, teachers, engineers, professional mathematicians, and anyone with an interest in the history of mathematics.

Hermann Grassmann, Gymnasiallehrer in Stettin und bekannt als Begrunder der n-dimensionalen Vektoralgebra, erwarb sich auch in der Physik und der Sprachforschung bleibende Verdienste. Gestutzt auf die Dialektik Schleiermachers entwickelte er in seinem Hauptwerk, der Ausdehnungslehre, mit philosophischer Methode eine vollig neue mathematische Disziplin. Zunachst von der Fachwelt abgelehnt, wurde sein Werk Jahrzehnte spater als wegweisend gefeiert. Die Biographie geht dem komplexen Geflecht innerer und ausserer Einflusse nach, innerhalb derer Grassmann sein Schopfertum entfaltete."

In this book, David Stump traces alternative conceptions of the a priori in the philosophy of science and defends a unique position in the current debates over conceptual change and the constitutive elements in science. Stump emphasizes the unique epistemological status of the constitutive elements of scientific theories, constitutive elements being the necessary preconditions that must be assumed in order to conduct a particular scientific inquiry. These constitutive elements, such as logic, mathematics, and even some fundamental laws of nature, were once taken to be a priori knowledge but can change, thus leading to a dynamic or relative a priori. Stump critically examines developments in thinking about constitutive elements in science as a priori knowledge, from Kant's fixed and absolute a priori to Quine's holistic empiricism. By examining the relationship between conceptual change and the epistemological status of constitutive elements in science, Stump puts forward an argument that scientific revolutions can be explained and relativism can be avoided without resorting to universals or absolutes.

The volume is the first collection of essays that focuses on Gottlob Frege's Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Frege's magnum opus. It brings together twenty-two renowned Frege scholars whose contributions discuss a wide range of topics arising from both volumes of Basic Laws of Arithmetic. The original chapters in this volume make vivid the importance and originality of Frege's masterpiece, not just for Frege scholars but for the study of the history of logic, mathematics, and philosophy.

If mathematics is the purest form of knowledge, the perfect foundation of all the hard sciences, and a uniquely precise discipline, then how can the human brain, an imperfect and imprecise organ, process mathematical ideas? Is mathematics made up of eternal, universal truths? Or, as some have claimed, could mathematics simply be a human invention, a kind of tool or metaphor? These questions are among the greatest enigmas of science and epistemology, discussed at length by mathematicians, physicians, and philosophers. But, curiously enough, neuroscientists have been absent in the debate, even though it is precisely the field of neuroscience-which studies the brain's mechanisms for thinking and reasoning-that ought to be at the very center of these discussions. How our Emotions and Bodies are Vital for Abstract Thought explores the unique mechanisms of cooperation between the body, emotions, and the cortex, based on fundamental physical principles. It is these mechanisms that help us to overcome the limitations of our physiology and allow our imperfect, human brains to make transcendent mathematical discoveries. This book is written for anyone who is interested in the nature of abstract thought, including mathematicians, physicists, computer scientists, psychologists, and psychiatrists.

Sir Walter Raleigh wollte wissen, wie Kanonenkugeln in einem Schiff am dichtesten gestapelt werden koennen. Der Astronom Johannes Kepler lieferte im Jahr 1611 die Antwort: genau so, wie Gemusehandler ihre Orangen und Tomaten aufstapeln. Noch war dies lediglich eine Vermutung - erst 1998 gelang dem amerikanischen Mathematiker Thomas Hales mit Hilfe von Computern der mathematische Beweis. Einer der besten Autoren fur popularwissenschaftliche Mathematik beschreibt auf faszinierende Art und Weise ein beruhmtes mathematisches Problem und dessen Loesung.

Originally published in 1976. This comprehensive study discusses in detail the philosophical, mathematical, physical, logical and theological aspects of our understanding of time and space. The text examines first the many different definitions of time that have been offered, beginning with some of the puzzles arising from our awareness of the passage of time and shows how time can be understood as the concomitant of consciousness. In considering time as the dimension of change, the author obtains a transcendental derivation of the concept of space, and shows why there has to be only one dimension of time and three of space, and why Kant was not altogether misguided in believing the space of our ordinary experience to be Euclidean. The concept of space-time is then discussed, including Lorentz transformations, and in an examination of the applications of tense logic the author discusses the traditional difficulties encountered in arguments for fatalism. In the final sections he discusses eternity and the beginning and end of the universe. The book includes sections on the continuity of space and time, on the directedness of time, on the differences between classical mechanics and the Special and General theories of relativity, on the measurement of time, on the apparent slowing down of moving clocks, and on time and probability.

Analytic Philosophy: An Interpretive History explores the ways interpretation (of key figures, factions, texts, etc.) shaped the analytic tradition, from Frege to Dummet. It offers readers 17 chapters, written especially for this volume by an international cast of leading scholars. Some chapters are devoted to large, thematic issues like the relationship between analytic philosophy and other philosophical traditions such as British Idealism and phenomenology, while other chapters are tied to more fine-grained topics or to individual philosophers, like Moore and Russell on philosophical method or the history of interpretations of Wittgenstein's Tractatus. Throughout, the focus is on interpretations that are crucial to the origin, development, and persistence of the analytic tradition. The result is a more fully formed and philosophically satisfying portrait of analytic philosophy.

On the General Science of Mathematics is the third of four surviving works out of ten by Iamblichus (c. 245 CE-early 320s) on the Pythagoreans. He thought the Pythagoreans had treated mathematics as essential for drawing the human soul upwards to higher realms described by Plato, and downwards to understand the physical cosmos, the products of arts and crafts and the order required for an ethical life. His Pythagorean treatises use edited quotation to re-tell the history of philosophy, presenting Plato and Aristotle as passing on the ideas invented by Pythagoras and his early followers. Although his quotations tend to come instead from Plato and later Pythagoreanising Platonists, this re-interpretation had a huge impact on the Neoplatonist commentators in Athens. Iamblichus' cleverness, if not to the same extent his re-interpretation, was appreciated by the commentators in Alexandria.