Book picks similar to
Foundations of Inductive Logic Programming by Shan-Hwei Nienhuys-Cheng
logics
mathematics
tier-3-1-logics
computer_science
The Logical Leap: Induction in Physics
David Harriman - 2010
Inspired by and expanding on a series of lectures presented by Leonard Peikoff, David Harriman presents a fascinating answer to the problem of induction-the epistemological question of how we can know the truth of inductive generalizations.Ayn Rand presented her revolutionary theory of concepts in her book Introduction to Objectivist Epistemology. As Dr. Peikoff subsequently explored the concept of induction, he sought out David Harriman, a physicist who had taught philosophy, for his expert knowledge of the scientific discovery process.Here, Harriman presents the result of a collaboration between scientist and philosopher. Beginning with a detailed discussion of the role of mathematics and experimentation in validating generalizations in physics-looking closely at the reasoning of scientists such as Galileo, Kepler, Newton, Lavoisier, and Maxwell-Harriman skillfully argues that the inductive method used in philosophy is in principle indistinguishable from the method used in physics.
What Is Mathematics, Really?
Reuben Hersh - 1997
Reuben Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the humanist idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of his book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Descartes, and Spinoza, to Bertrand Russell, David Hilbert, and Rudolph Carnap--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, and Lakatos.What is Mathematics, Really? reflects an insider's view of mathematical life, and will be hotly debated by anyone with an interest in mathematics or the philosophy of science.
How to Think Like a Mathematician
Kevin Houston - 2009
Working through the book you will develop an arsenal of techniques to help you unlock the meaning of definitions, theorems and proofs, solve problems, and write mathematics effectively. All the major methods of proof - direct method, cases, induction, contradiction and contrapositive - are featured. Concrete examples are used throughout, and you'll get plenty of practice on topics common to many courses such as divisors, Euclidean algorithms, modular arithmetic, equivalence relations, and injectivity and surjectivity of functions. The material has been tested by real students over many years so all the essentials are covered. With over 300 exercises to help you test your progress, you'll soon learn how to think like a mathematician.
Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets
David Papineau - 2012
Notions like denumerability, modal scope distinction, Bayesian conditionalization, and logical completeness are usually only elucidated deep within difficultspecialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists.The book contains four sections, each of three chapters. The first section is about sets and numbers, starting with the membership relation and ending with the generalized continuum hypothesis. The second is about analyticity, a prioricity, and necessity. The third is about probability, outliningthe difference between objective and subjective probability and exploring aspects of conditionalization and correlation. The fourth deals with metalogic, focusing on the contrast between syntax and semantics, and finishing with a sketch of Godel's theorem.Philosophical Devices will be useful for university students who have got past the foothills of philosophy and are starting to read more widely, but it does not assume any prior expertise. All the issues discussed are intrinsically interesting, and often downright fascinating. It can be read withpleasure and profit by anybody who is curious about the technical infrastructure of contemporary philosophy.
Atheism 101: Answers, Explanations and Rebuttals
Grigory Lukin - 2011
What is the meaning of life? What was Hitler's religion? What's the deal with the Flying Spaghetti Monster? And what was Mother Teresa's dark secret? This book is highly recommended for everyone curious about America's most misunderstood minority, as well as for those who wish to better understand their atheist friends, neighbors or coworkers.
The Art of Computer Programming, Volume 1: Fundamental Algorithms
Donald Ervin Knuth - 1973
-Byte, September 1995 I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line-up. -Charles Long If you think you're a really good programmer... read [Knuth's] Art of Computer Programming... You should definitely send me a resume if you can read the whole thing. -Bill Gates It's always a pleasure when a problem is hard enough that you have to get the Knuths off the shelf. I find that merely opening one has a very useful terrorizing effect on computers. -Jonathan Laventhol This first volume in the series begins with basic programming concepts and techniques, then focuses more particularly on information structures-the representation of information inside a computer, the structural relationships between data elements and how to deal with them efficiently. Elementary applications are given to simulation, numerical methods, symbolic computing, software and system design. Dozens of simple and important algorithms and techniques have been added to those of the previous edition. The section on mathematical preliminaries has been extensively revised to match present trends in research. Ebook (PDF version) produced by Mathematical Sciences Publishers (MSP), http: //msp.org
The Complete Works: The Revised Oxford Translation, Vol. 1
Aristotle
It is universally recognized as the standard English version of Aristotle. This revised edition contains the substance of the original translation, slightly emended in light of recent scholarship; three of the original versions have been replaced by new translations; and a new and enlarged selection of Fragments has been added. The aim of the translation remains the same: to make the surviving works of Aristotle readily accessible to English speaking readers.
Naive Set Theory
Paul R. Halmos - 1960
This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.
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.
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold - 2008
Turing
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
The Universal Computer: The Road from Leibniz to Turing
Martin D. Davis - 2000
How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.
Philosophical Writings of Peirce
Charles Sanders Peirce - 1955
It should prove a real boon to the student of Peirce." — The Modern SchoolmanCharles S. Peirce was a thinker of great originality and power. Although unpublished in his lifetime, he was recognized as an equal by such men as William James and John Dewey and, since his death in 1914, has come to the forefront of American philosophy. This volume, prepared by the Johnsonian Professor of Philosophy at Columbia University, formerly chairman of Columbia's philosophy department, is a carefully balanced exposition of Peirce's complete philosophical system as set forth in his own writings.The 28 chapters, in which appropriate sections of Peirce's work are interwoven into a brilliant selection that reveals his essential ideas, cover epistemology, phenomenology, cosmology, and scientific method, with especially interesting material on logic as the theory of signs, pure chance vs, pure law in the universe, symbolic logic, common sense, pragmatism (of which he was the founder), and ethics.Justus Buchler is author of Charles Peirce's Empiricism (1939), Philosophy: An Introduction (with J. H. Randall, Jr., 1942), and more recently, a series of books which form an ongoing philosophic structure: Toward a General Theory of Human Judgement (1951), Nature and Judgment (1855), and The Concept of Method (1961). It has been said of these volumes, "A fresh and vital system of ideas has been introduced into the world of contemporary philosophy." (Journal of Philosophy)."It is a very signal advantage to have this collection of Peirce's most important work within the covers of a single substantial volume. We should all be very grateful to Mr. Buchler." — John Laird, Philosophy
Mathematics With Applications in Management and Economics/Solutions Manual
Earl K. Bowen - 1987
Future Babble: Why Expert Predictions Fail - and Why We Believe Them Anyway
Dan Gardner - 2010
In 1967, they said the USSR would have one of the fastest-growing economies in the year 2000; in 2000, the USSR did not exist. In 1911, it was pronounced that there would be no more wars in Europe; we all know how that turned out. Face it, experts are about as accurate as dart-throwing monkeys. And yet every day we ask them to predict the future — everything from the weather to the likelihood of a catastrophic terrorist attack. Future Babble is the first book to examine this phenomenon, showing why our brains yearn for certainty about the future, why we are attracted to those who predict it confidently, and why it’s so easy for us to ignore the trail of outrageously wrong forecasts.In this fast-paced, example-packed, sometimes darkly hilarious book, journalist Dan Gardner shows how seminal research by UC Berkeley professor Philip Tetlock proved that pundits who are more famous are less accurate — and the average expert is no more accurate than a flipped coin. Gardner also draws on current research in cognitive psychology, political science, and behavioral economics to discover something quite reassuring: The future is always uncertain, but the end is not always near.
Gravity True For You But Not For Me
Michael Edwards - 2011
There are many contradictory beliefs about God that claim to be the truth. But since truth never contradicts itself, who really has the truth? Utilizing objective evidence like a detective does in an investigation, the facts point to the one belief that can be proven beyond a reasonable doubt. One truth that applies to everyone if they believe it or not. Follow the evidence and see for yourself.Setting feelings and what others believe aside for a moment learn why objective evidence is the best way to find truth in any investigation, including the truth about God. See for yourself exactly why Christianity is the most reasonable belief available based on the facts and why it applies to everyone, everywhere even if they do not believe it. Learn the two things we all encounter daily that the Bible states is absolute proof of God's existence and leave every person without excuse, even those who have never read the Bible. Learn why trying to be a good person is not good enough.Weigh the objective evidence for yourself and make a reasonable decision about God and then pass the evidence on to others so they can discover the truth. Everyone deserves the opportunity to examine the evidence for themselves.Perfect for the seeker and the believer who want to eliminate doubts and have a reasonable assurance that their faith is actually placed in the truth.If you are a believer you have an obligation to share the truth. Let this book show your friends and family the sound foundation your belief rests upon. It's not about religion, it's about truth.