Book picks similar to
An Introduction to Substructural Logics by Greg Restall
logic
logic-and-math
nonclassical-logics
philosophy
The Courtier and the Heretic: Leibniz, Spinoza & the Fate of God in the Modern World
Matthew Stewart - 2005
a personal confession of its creator and a kind of involuntary and unperceived memoir.". Stewart affirms this maxim in his colorful reinterpretation of the lives and works of 17th-century philosophers Spinoza and Leibniz. In November 1676, the foppish courtier Leibniz, "the ultimate insider... an orthodox Lutheran from conservative Germany," journeyed to The Hague to visit the self-sufficient, freethinking Spinoza, "a double exile... an apostate Jew from licentious Holland." A prodigious polymath, Leibniz understood Spinoza's insight that "science was in the process of rendering the God of revelation obsolete; that it had already undermined the special place of the human individual in nature." Spinoza embraced this new world. Seeing the orthodox God as a "prop for theocratic tyranny," he articulated the basic theory for the modern secular state. Leibniz, on the other hand, spent the rest of his life championing God and theocracy like a defense lawyer defending a client he knows is guilty. He elaborated a metaphysics that was, at bottom, a reaction to Spinoza and collapses into Spinozism, as Stewart deftly shows. For Stewart, Leibniz's reaction to Spinoza and modernity set the tone for "the dominant form of modern philosophy"—a category that includes Kant, Hegel, Bergson, Heidegger and "the whole 'postmodern' project of deconstructing the phallogocentric tradition of western thought." Readers of philosophy may find much to disagree with in these arguments, but Stewart's wit and profluent prose make this book a fascinating read.
Everything and More: A Compact History of Infinity
David Foster Wallace - 2003
Now he brings his considerable talents to the history of one of math's most enduring puzzles: the seemingly paradoxical nature of infinity.Is infinity a valid mathematical property or a meaningless abstraction? The nineteenth-century mathematical genius Georg Cantor's answer to this question not only surprised him but also shook the very foundations upon which math had been built. Cantor's counterintuitive discovery of a progression of larger and larger infinities created controversy in his time and may have hastened his mental breakdown, but it also helped lead to the development of set theory, analytic philosophy, and even computer technology.Smart, challenging, and thoroughly rewarding, Wallace's tour de force brings immediate and high-profile recognition to the bizarre and fascinating world of higher mathematics.
76 Fallacies
Michael LaBossiere - 2012
That is, it is a piece of bad logic. Just as it is a good idea to avoid eating bad food, it is also a rather good idea to avoid bad reasoning. Unfortunately, bad reasoning is all too common—it pours out of the television and infests the web like an army of venomous spiders. Perhaps even worse than the fallacies inflicted from the outside are self-inflicted fallacies. These can lead people to make poor decisions about matters great and small.Fortunately, there is a defense against bad reasoning, namely knowledge. This concise book provides the reader with definitions and examples of seventy-six common fallacies—the knowledge a person needs to defend herself in a world awash in fallacies.In addition to combining the content of my 42 Fallacies and 30 More Fallacies, this book features some revisions as well as a new section on common formal fallacies. The focus is on providing the reader with definitions and examples of these common fallacies rather than being a handbook on winning arguments or a text on general logic.The book presents the following 73 informal fallacies:Accent, Fallacy ofAccident, Fallacy ofAd HominemAd Hominem Tu QuoqueAmphiboly, Fallacy ofAnecdotal Evidence, Fallacy OfAppeal to the Consequences of a BeliefAppeal to Authority, FallaciousAppeal to BeliefAppeal to Common PracticeAppeal to EmotionAppeal to EnvyAppeal to FearAppeal to FlatteryAppeal to Group IdentityAppeal to GuiltAppeal to NoveltyAppeal to PityAppeal to PopularityAppeal to RidiculeAppeal to SpiteAppeal to TraditionAppeal to SilenceAppeal to VanityArgumentum ad HitlerumBegging the QuestionBiased GeneralizationBurden of ProofComplex QuestionComposition, Fallacy ofConfusing Cause and EffectConfusing Explanations and ExcusesCircumstantial Ad HominemCum Hoc, Ergo Propter HocDivision, Fallacy ofEquivocation, Fallacy ofFallacious ExampleFallacy FallacyFalse DilemmaGambler’s FallacyGenetic FallacyGuilt by AssociationHasty GeneralizationHistorian’s FallacyIllicit ConversionIgnoring a Common CauseIncomplete EvidenceMiddle GroundMisleading VividnessMoving the Goal PostsOversimplified CauseOverconfident Inference from Unknown StatisticsPathetic FallacyPeer PressurePersonal AttackPoisoning the WellPositive Ad HominemPost HocProving X, Concluding YPsychologist's fallacyQuestionable CauseRationalizationRed HerringReification, Fallacy ofRelativist FallacySlippery SlopeSpecial PleadingSpotlightStraw ManTexas Sharpshooter FallacyTwo Wrongs Make a RightVictim FallacyWeak AnalogyThe book contains the following three formal (deductive) fallacies:Affirming the ConsequentDenying the AntecedentUndistributed Middle
The Compleat Strategyst: Being a Primer on the Theory of Games of Strategy
J.D. Williams - 1965
D. Williams wrote this entertaining, witty introduction for the nonscientist, game theory was still a somewhat mysterious subject familiar to very few scientists beyond those researchers, like himself, working for the military. Now, over thirty years after its original publication as a Rand Corporation research study, his light-hearted though thoroughly effective primer is the recognized classic introduction to an increasingly applicable discipline. Used by amateurs, professionals, and students throughout the world in the classroom, on the job, and for personal amusement, the book has been through ten printings, and has been translated into at least five languages (including Russian and Japanese).Revised, updated, and available for the first time in an inexpensive paperback edition, The Compleat Strategyst is a highly entertaining text essential for anyone interested in this provocative and engaging area of modern mathematics. In fully illustrated chapters complete with everyday examples and word problems, Williams offers readers a working understanding of the possible methods for selecting strategies in a variety of situations, simple to complex. With just a basic understanding of arithmetic, anyone can grasp all necessary aspects of two-, three-, four-, and larger strategy games with two or more sets of inimical interests and a limitless array of zero-sum payoffs.As research and study continues not only in this new discipline but in the related areas of statistics, probability and behavioral science, understanding of games, decision making, and the development of strategies will be increasingly important. In the areas of economics, sociology, politics, and the military, game theory is sure to have an even wider impact. For students and amateurs fascinated by game theory's implications there is no better, immediately applicable, or more entertaining introduction to the subject than this engaging text by the late J. D. Williams, Professor of Mathematics at Princeton University and a member of the Research Council of The Rand Corporation.
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life Plus the Secrets of Enigma
Alan Turing - 2004
In 1935, aged 22, he developed the mathematical theory upon which all subsequent stored-program digital computers are modeled.At the outbreak of hostilities with Germany in September 1939, he joined the Government Codebreaking team at Bletchley Park, Buckinghamshire and played a crucial role in deciphering Engima, the code used by the German armed forces to protect their radio communications. Turing's work on the versionof Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as Fish, which were used by the German High Command for the encryption of signals during the latter part of the war. His contribution helped toshorten the war in Europe by an estimated two years.After the war, his theoretical work led to the development of Britain's first computers at the National Physical Laboratory and the Royal Society Computing Machine Laboratory at Manchester University.Turing was also a founding father of modern cognitive science, theorizing that the cortex at birth is an unorganized machine which through training becomes organized into a universal machine or something like it. He went on to develop the use of computers to model biological growth, launchingthe discipline now referred to as Artificial Life.The papers in this book are the key works for understanding Turing's phenomenal contribution across all these fields. The collection includes Turing's declassified wartime Treatise on the Enigma; letters from Turing to Churchill and to codebreakers; lectures, papers, and broadcasts which opened upthe concept of AI and its implications; and the paper which formed the genesis of the investigation of Artifical Life.
Gödel, Escher, Bach
Agnes F. Vandome - 2010
C. Escher and composer Johann Sebastian Bach, discussing common themes in their work and lives. At a deeper level, the book is a detailed and subtle exposition of concepts fundamental to mathematics, symmetry, and intelligence. Through illustration and analysis, the book discusses how self-reference and formal rules allow systems to acquire meaning despite being made of "meaningless" elements. It also discusses what it means to communicate, how knowledge can be represented and stored, the methods and limitations of symbolic representation, and even the fundamental notion of "meaning" itself. In response to confusion over the book's theme, Hofstadter has emphasized that GEB is not about mathematics, art, and music but rather about how cognition and thinking emerge from well-hidden neurological mechanisms.
Exact Thinking in Demented Times: The Vienna Circle and the Epic Quest for the Foundations of Science
Karl Sigmund - 2015
Composed of such luminaries as Kurt Gödel and Rudolf Carnap, and stimulated by the works of Ludwig Wittgenstein and Karl Popper, the Vienna Circle left an indelible mark on science.Exact Thinking in Demented Times tells the often outrageous, sometimes tragic, and never boring stories of the men who transformed scientific thought. A revealing work of history, this landmark book pays tribute to those who dared to reinvent knowledge from the ground up.
The First Six Books of the Elements of Euclid
Oliver Byrne - 1847
Euclid in living color Nearly a century before Mondrian made geometrical red, yellow, and blue lines famous, 19th century mathematician Oliver Byrne employed the color scheme for the figures and diagrams in his most unusual 1847 edition of Euclid's Elements. The author makes it clear in his subtitle that this is a didactic measure intended to distinguish his edition from all others: “The Elements of Euclid in which coloured diagrams and symbols are used instead of letters for the greater ease of learners.” As Surveyor of Her Majesty’s Settlements in the Falkland Islands, Byrne had already published mathematical and engineering works previous to 1847, but never anything like his edition on Euclid. This remarkable example of Victorian printing has been described as one of the oddest and most beautiful books of the 19th century. Each proposition is set in Caslon italic, with a four-line initial, while the rest of the page is a unique riot of red, yellow, and blue. On some pages, letters and numbers only are printed in color, sprinkled over the pages like tiny wild flowers and demanding the most meticulous alignment of the different color plates for printing. Elsewhere, solid squares, triangles, and circles are printed in bright colors, expressing a verve not seen again on the pages of a book until the era of Dufy, Matisse, and Derain.
Realm of numbers
Isaac Asimov - 1959
Mathematics, Applied & Natural Sciences
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel - 1992
Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.
Discrete Mathematics and Its Applications
Kenneth H. Rosen - 2000
These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced problem-solving skills through modeling. Its intent is to demonstrate the relevance and practicality of discrete mathematics to all students. The Fifth Edition includes a more thorough and linear presentation of logic, proof types and proof writing, and mathematical reasoning. This enhanced coverage will provide students with a solid understanding of the material as it relates to their immediate field of study and other relevant subjects. The inclusion of applications and examples to key topics has been significantly addressed to add clarity to every subject. True to the Fourth Edition, the text-specific web site supplements the subject matter in meaningful ways, offering additional material for students and instructors. Discrete math is an active subject with new discoveries made every year. The continual growth and updates to the web site reflect the active nature of the topics being discussed. The book is appropriate for a one- or two-term introductory discrete mathematics course to be taken by students in a wide variety of majors, including computer science, mathematics, and engineering. College Algebra is the only explicit prerequisite.
Introduction to the Theory of Computation
Michael Sipser - 1996
Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.
Advanced Engineering Mathematics
K.A. Stroud - 2003
You proceed at your own rate and any difficulties you may encounter are resolved before you move on to the next topic. With a step-by-step programmed approach that is complemented by hundreds of worked examples and exercises, Advanced Engineering Mathematics is ideal as an on-the-job reference for professionals or as a self-study guide for students.Uses a unique technique-oriented approach that takes the reader through each topic step-by-step.Features a wealth of worked examples and progressively more challenging exercises.Contains Test Exercises, Learning Outcomes, Further Problems, and Can You? Checklists to guide and enhance learning and comprehension.Expanded coverage includes new chapters on Z Transforms, Fourier Transforms, Numerical Solutions of Partial Differential Equations, and more Complex Numbers.Includes a new chapter, Introduction to Invariant Linear Systems, and new material on difference equations integrated into the Z transforms chapter.
KLB Mathematics: SHS; Form 1
Kenya Literature Bureau - 2013
Worldreader addresses that problem using e-reader technology. Worldreader works with textbook publishers across the developing world to offer a range of digital textbooks to schools as part of their wider goal to promote literacy by bringing books to all.
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos - 1976
Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.