Book picks similar to
A Precis of Mathematical Logic by Józef Maria Bocheński


philosophy-of-mathematics-logic
sci-tech
logic
mathematics

Einstein's War: How Relativity Triumphed Amid the Vicious Nationalism of World War I


Matthew Stanley - 2019
    The neatly printed equations on the scrap of paper outlined his world-changing theory of general relativity, the first complete revision of our conception of the universe since Isaac Newton.Until then, Einstein's masterpiece of time and space had been trapped behind the physical and ideological lines of battle, unknown. Many Britons were rejecting anything German, but Eddington realized the importance of the letter: perhaps Einstein's esoteric theory could not only change the foundations of science but also lead to international co-operation in a time of brutal war.Few recognize how the Great War, the industrialized slaughter that bled Europe from 1914 to 1918, shaped Einstein's life and work. While Einstein never held a rifle, he formulated general relativity blockaded in Berlin, literally starving. His name is now synonymous with 'genius', but it was not an easy road.Einstein spent a decade creating relativity and his ascent to global celebrity owed much to against-the-odds international collaboration, including Eddington's globe-spanning expedition of 1919 - two years before they finally met - to catch a fleeting solar eclipse for a rare opportunity to confirm Einstein's bold prediction that light has weight.We usually think of scientific discovery as a flash of individual inspiration, but here we see it is the result of hard work, gambles and wrong turns. Einstein's War is a celebration of what science can offer when bigotry and nationalism are defeated. Using previously unknown sources and written like a thriller, it shows relativity being built brick-by-brick in front of us, as it happened 100 years ago.

A Brief History of the Paradox: Philosophy and the Labyrinths of the Mind


Roy Sorensen - 2003
     Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before He made the world, he wastold: Preparing hell for people who ask questions like that. A Brief History of the Paradox takes a close look at questions like that and the philosophers who have asked them, beginning with the folk riddles that inspired Anaximander to erect the first metaphysical system and ending with suchthinkers as Lewis Carroll, Ludwig Wittgenstein, and W.V. Quine. Organized chronologically, the book is divided into twenty-four chapters, each of which pairs a philosopher with a major paradox, allowing for extended consideration and putting a human face on the strategies that have been taken towardthese puzzles. Readers get to follow the minds of Zeno, Socrates, Aquinas, Ockham, Pascal, Kant, Hegel, and many other major philosophers deep inside the tangles of paradox, looking for, and sometimes finding, a way out. Filled with illuminating anecdotes and vividly written, A Brief History of the Paradox will appeal to anyone who finds trying to answer unanswerable questions a paradoxically pleasant endeavor.

Introduction to Logic


Harry J. Gensler - 2001
    Harry Gensler engages students with the basics of logic through practical examples and important arguments both in the history of philosophy and from contemporary philosophy. Using simple and manageable methods for testing arguments, students are led step-by-step to master the complexities of logic.The companion LogiCola instructional program and various teaching aids (including a teacher's manual) are available from the book's website: www.routledge.com/textbooks/gensler_l...

Language, Proof and Logic: Text and CD


Jon Barwise - 1999
    The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

Mass: The Quest to Understand Matter from Greek Atoms to Quantum Fields


Jim Baggott - 2017
    Whatever it is, we call it matter or material substance. It is solid; it has mass. But what is matter, exactly? We are taught in school that matter is not continuous, but discrete. As a few of the philosophers of ancient Greece once speculated, nearly two and a half thousand years ago, matter comes in 'lumps', and science has relentlessly peeled away successive layers of matter to reveal its ultimate constituents.Surely, we can't keep doing this indefinitely. We imagine that we should eventually run up against some kind of ultimately fundamental, indivisible type of stuff, the building blocks from which everything in the Universe is made. The English physicist Paul Dirac called this 'the dream of philosophers'. But science has discovered that the foundations of our Universe are not as solid or as certain and dependable as we might have once imagined. They are instead built from ghosts and phantoms, of a peculiar quantum kind. And, at some point on this exciting journey of scientific discovery, we lost our grip on the reassuringly familiar concept of mass.How did this happen? How did the answers to our questions become so complicated and so difficult to comprehend? In Mass Jim Baggott explains how we come to find ourselves here, confronted by a very different understanding of the nature of matter, the origin of mass, and its implications for our understanding of the material world. Ranging from the Greek philosophers Leucippus and Democritus, and their theories of atoms and void, to the development of quantum field theory and the discovery of a Higgs boson-like particle, he explores our changing understanding of the nature of matter, and the fundamental related concept of mass.

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.

Believing Bullshit: How Not to Get Sucked into an Intellectual Black Hole


Stephen Law - 2011
    The author suggests that, like the black holes of outer space, from which nothing, not even light, can escape, our contemporary cultural landscape contains numerous intellectual black-holes—belief systems constructed in such a way that unwary passers-by can similarly find themselves drawn in. While such self-sealing bubbles of belief will most easily trap the gullible or poorly educated, even the most intelligent and educated of us are potentially vulnerable. Some of the world’s greatest thinkers have fallen in, never to escape. This witty, insightful critique will help immunize readers against the wiles of cultists, religious and political zealots, conspiracy theorists, promoters of flaky alternative medicines, and various other nutcases by clearly setting out the tricks of the trade by which such insidious belief systems are created and maintained.

Probability Theory: The Logic of Science


E.T. Jaynes - 1999
    It discusses new results, along with applications of probability theory to a variety of problems. The book contains many exercises and is suitable for use as a textbook on graduate-level courses involving data analysis. Aimed at readers already familiar with applied mathematics at an advanced undergraduate level or higher, it is of interest to scientists concerned with inference from incomplete information.

The Cambridge Companion to Wittgenstein


Hans D. Sluga - 1993
    This volume provides a comprehensible guide to his work by a wide range of experts who are actively engaged in new work on Wittgenstein. The essays, which are both expository and original, address central themes in his philosophy of mind, language, logic, and mathematics and clarify the connections among the different stages in the development of his work.

The Logic of Scientific Discovery


Karl Popper - 1934
    It remains the one of the most widely read books about science to come out of the twentieth century.(Note: the book was first published in 1934, in German, with the title Logik der Forschung. It was "reformulated" into English in 1959. See Wikipedia for details.)

The Value of Science: Essential Writings of Henri Poincare


Henri Poincaré - 1905
    A genius who throughout his life solved complex mathematical calculations in his head, and a writer gifted with an inimitable style, Poincaré rose to the challenge of interpreting the philosophy of science to scientists and nonscientists alike. His lucid and welcoming prose made him the Carl Sagan of his time. This volume collects his three most important books: Science and Hypothesis (1903); The Value of Science (1905); and Science and Method (1908).

The Psychology of Invention in the Mathematical Field


Jacques Hadamard - 1945
    Role of the unconscious in invention; the medium of ideas — do they come to mind in words? in pictures? in mathematical terms? Much more. "It is essential for the mathematician, and the layman will find it good reading." — Library Journal.

Euclid in the Rainforest: Discovering Universal Truth in Logic and Math


Joseph Mazur - 2004
    Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure stories and historical narratives populated with a rich and quirky cast of characters, Mazur artfully reveals the less-than-airtight nature of logic and the muddled relationship between math and the real world. Ultimately, Mazur argues, logical reasoning is not purely robotic. At its most basic level, it is a creative process guided by our intuitions and beliefs about the world.

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.

Fads and Fallacies in the Name of Science


Martin Gardner - 1952
    Not just a collection of anecdotes but a fair, reasoned appraisal of eccentric theory, it is unique in recognizing the scientific, philosophic, and sociological-psychological implications of the wave of pseudoscientific theories which periodically besets the world.To this second revised edition of a work formerly titled In the Name of Science, Martin Gardner has added new, up-to-date material to an already impressive account of hundreds of systematized vagaries. Here you will find discussions of hollow-earth fanatics like Symmes; Velikovsky and wandering planets; Hörbiger, Bellamy, and the theory of multiple moons; Charles Fort and the Fortean Society; dowsing and the other strange methods for finding water, ores, and oil. Also covered are such topics as naturopathy, iridiagnosis, zone therapy, food fads; Wilhelm Reich and orgone sex energy; L. Ron Hubbard and Dianetics; A. Korzybski and General Semantics. A new examination of Bridey Murphy is included in this edition, along with a new section on bibliographic reference material.