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.

Young Einstein: From the Doxerl Affair to the Miracle Year


L. Randles Lagerstrom - 2013
    In 1905 an unknown 26-year-old clerk at the Swiss Patent Office, who had supposedly failed math in school, burst on to the scientific scene and swept away the hidebound theories of the day. The clerk, Albert Einstein, introduced a new and unexpected understanding of the universe and launched the two great revolutions of twentieth-century physics, relativity and quantum mechanics. The obscure origin and wide-ranging brilliance of the work recalled Isaac Newton’s “annus mirabilis” (miracle year) of 1666, when as a 23-year-old seeking safety at his family manor from an outbreak of the plague, he invented calculus and laid the foundations for his theory of gravity. Like Newton, Einstein quickly became a scientific icon--the image of genius and, according to Time magazine, the Person of the Century.The actual story is much more interesting. Einstein himself once remarked that “science as something coming into being ... is just as subjectively, psychologically conditioned as are all other human endeavors.” In this profile, the historian of science L. Randles Lagerstrom takes you behind the myth and into the very human life of the young Einstein. From family rifts and girlfriend troubles to financial hardships and jobless anxieties, Einstein’s early years were typical of many young persons. And yet in the midst of it all, he also saw his way through to profound scientific insights. Drawing upon correspondence from Einstein, his family, and his friends, Lagerstrom brings to life the young Einstein and enables the reader to come away with a fuller and more appreciative understanding of Einstein the person and the origins of his revolutionary ideas.About the cover image: While walking to work six days a week as a patent clerk in Bern, Switzerland, Einstein would pass by the famous "Zytglogge" tower and its astronomical clocks. The daily juxtaposition was fitting, as the relative nature of time and clock synchronization would be one of his revolutionary discoveries in the miracle year of 1905.

A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation


John Stuart Mill - 1843
    A System of Logic is the first major installment of his comprehensive restatement of an empiricist and utilitarian position. It begins the attack on ""intuitionism"" which Mill carried on throughout his life, and makes plain his belief that social planning and political action should rely primarily on scientific knowledge, not on authority, custom, revelation, or prescription.Contents Include: OF NAMES AND PROPOSITIONS Of the Necessity of commencing with an Analysis of Language Of Names Of the Things denoted by Names Of Proposition Of the Import of Propositions Of Propositions merely Verbal Of the nature of Classification and the five Predicables Of Definition OF REASONING Of Inference, or Reasoning in General Of Ratiocination, or Syllogism Of the Functions, and logical Values of Syllogism Of trains of Reasoning and Deductive Sciences Of Demonstration and Necessary truths OF INDUCTION Observations on Induction in General On the Ground of Induction Of the Laws of Nature Of The Law of Universal Causation Of The Composition of Causes Of Observation and Experiment, Four Methods of Experimental Enquiry Miscellaneous Examples Plurality of Causes Of the Deductive Method Explanation of Laws of Nature. Keywords: Knowledge, Theory of Logic Science Methodology

Ready-To-Use Resources for Mindsets in the Classroom: Everything Educators Need for School Success


Mary Cay Ricci - 2015
    The book features ready-to-use, interactive tools for students, teachers, parents, administrators, and professional development educators. Parent resources include a sample parent webpage and several growth mindset parent education tools. Other resources include: mindset observation forms, student and teacher “look fors," lists of books that contribute to growth mindset thinking, critical thinking strategy write-ups and samples, and a unique study guide for the original book that includes book study models from various schools around the country. This book is perfect for schools looking to implement the ideas in Mindsets in the Classroom so that they can build a growth mindset learning environment. When students believe that dedication and hard work can change their performance in school, they grow to become resilient, successful students. This book contains many of the things that schools need to create a growth mindset school culture in which perseverance can lead to success!

2062: The World that AI Made


Toby Walsh - 2018
    But what will this future look like? In 2062, world-leading researcher Toby Walsh considers the impact AI will have on work, war, economics, politics, everyday life and even death. Will automation take away most jobs? Will robots become conscious and take over? Will we become immortal machines ourselves, uploading our brains to the cloud? How will politics adjust to the post-truth, post-privacy digitised world? When we have succeeded in building intelligent machines, how will life on this planet unfold?Based on a deep understanding of technology, 2062 describes the choices we need to make today to ensure that the future remains bright.‘Clarity and sanity in a world full of fog and uncertainty – a timely book about the race to remain human.’—RICHARD WATSON, author of Digital Vs. Human and futurist-in-residence at Imperial College, London‘One of the deepest questions facing humanity, pondered by a mind well and truly up to the task.’—ADAM SPENCER, broadcaster

Prajna: Ayurvedic Rituals For Happiness


Mira Manek - 2019
    This book extracts the essence of this Indian philosophy and provides a wealth of timeless rituals to effect positive change.Prajna offers rituals and routines for the entire day, from the moment you wake up and need the energy and positive mindset to help you start the morning, to night-time practices that allow you to wind down, relax and get the most benefit from the healing power of sleep. In between there are numerous breathing exercises, mindfulness techniques, yoga stretches and simple recipes to enjoy, all to help you destress and reset, bringing you back to yourself and to lasting peace and happiness.

Fluid Concepts and Creative Analogies


Douglas R. Hofstadter - 1991
    Readers of earlier works by Douglas Hofstadter will find this book a natural extension of his style and his ideas about creativity and analogy; in addition, psychologists, philosophers, and artificial-intelligence researchers will find in this elaborate web of ingenious ideas a deep and challenging new view of mind.

Faster: Demystifying the Science of Triathlon Speed


Jim Gourley - 2013
    The gear you select and how you use it can mean big results—or bigger disappointment.FASTER takes a scientific look at triathlon to see what truly makes you faster—and busts the myths and doublespeak that waste your money and race times. In this fascinating exploration of the forces at play in the swim-bike-run sport, astronautical engineer and triathlete Jim Gourley shows where to find free speed, speed on a budget, and the gear upgrades that are worth it.FASTER offers specific, science-based guidance on the fastest techniques and the most effective gear, answering questions like: •    Which wetsuit is best for me? •    What’s the best way to draft a swimmer? •    Should I buy a lighter bike? •    Deep dish or disc wheels? •    Are lighter shoes faster? •    Who’s right about running technique? Gourley reviews published studies in peer-reviewed journals to show what scientists have learned about swim drafting, pacing the bike leg, race strategy for short and long-course racing, and the fastest ways to handle transitions.FASTER will change how you think about your body, your gear, and the world around you. With science on your side, you'll make the smart calls that will make you a better, faster triathlete.

Introducing philosophy


Open University - 2016
    This 8-hour free course introduced the study of philosophy and the methods employed by The Open University in teaching philosophy.

Shores of Knowledge: New World Discoveries and the Scientific Imagination


Joyce Appleby - 2013
    Inspired by the promise of riches, countless seafarers poured out of the Iberian Peninsula and wider Europe in search of spices, treasure, and land. Many returned with strange tales of the New World.Curiosity began to percolate through Europe as the New World’s people, animals, and plants ruptured prior assumptions about the biblical description of creation. The Church, long fearful of challenges to its authority, could no longer suppress the mantra “Dare to know!”Noblemen began collecting cabinets of curiosities; soon others went from collecting to examining natural objects with fresh eyes. Observation led to experiments; competing conclusions triggered debates. The foundations for the natural sciences were laid as questions became more multifaceted and answers became more complex. Carl Linneaus developed a classification system and sent students around the globe looking for specimens. Museums, botanical gardens, and philosophical societies turned their attention to nature. National governments undertook explorations of the Pacific.Eminent historian Joyce Appleby vividly recounts the explorers’ triumphs and mishaps, including Magellan’s violent death in the Philippines; the miserable trek of the “new Argonauts” across the Andes on their mission to determine the true shape of the earth; and how two brilliant scientists, Alexander Humboldt and Charles Darwin, traveled to the Americas for evidence to confirm their hypotheses about the earth and its inhabitants. Drawing on detailed eyewitness accounts, Appleby also tells of the turmoil created in the all societies touched by the explorations.This sweeping, global story imbues the Age of Discovery with fresh meaning, elegantly charting its stimulation of the natural sciences, which ultimately propelled Western Europe toward modernity.

Epistemology: A Contemporary Introduction to the Theory of Knowledge


Robert Audi - 1997
    It aims to reach students who have already done an introductory philosophy course.Topics covered include perception and reflection as grounds of knowledge, and the nature, structure, and varieties of knowledge. The character and scope of knowledge in the crucial realms of ethics, science and religion are also considered.Unique features of Epistemology: * Provides a comprehensive survey of basic concepts and major theories* Gives an up-to-date account of important developments in the field* Contains many lucid examples to support ideas* Cites key literature in an annotated bibliography.

Philosophical Essays


Gottfried Wilhelm Leibniz - 1716
    In addition, the wide range of Leibniz's work--letters, published papers, and fragments on a variety of philosophical, religious, mathematical, and scientific questions over a fifty-year period--heightens the challenge of preparing an edition of his writings in English translation from the French and Latin.

Saucer Wisdom


Rudy Rucker - 1999
    That's an odd way to begin a work of popular science . . . . but amusing.Please heed the warning from the Introduction by Bruce Sterling: "If you are examining Saucer Wisdom imagining that Rudy (or some fictional 'Frank Shook') has been actually logging a lot of on board saucer time, well, you can knock that off right now. Rudy Rucker made up the flying saucer part. There is no actual flying saucer. The saucer is not an interplanetary faster-than-light device. Its what we professional authors like to call a narrative device."I'm going to spill the beans as directly as I can here: Saucer Wisdom is a work of popular science speculation. Its a nonfiction book in which Prof. Rucker takes a few quirky grains of modern scientific fact, drops them into the colorful tide pool of his own imagination, and harvests a major swarm of abalones, jellyfish, and giant anemones."Pop-science writers didn't used to treat 'science' in this boisterous way, but there might well be a trend here, there may be a real future in this. Saucer Wisdom is a book by a well-qualified mathematician and computer scientist, a veteran pop science writer, in which 'science' is treated, not as some distant and rarefied quest for absolute knowledge, but as naturally great source material for a really long, cool rant."Rucker, in character, describes, and illustrates with delightful cartoon sketches (the way he would use chalk and a blackboard while talking science), the world of the progressively more distant future as it is transformed by computer technology, biotechnology, and human evolution. He also describes a hell of a party in Berkeley. Popular science writing will never be the same.

The Faceless Villain: A Collection of the Eeriest Unsolved Murders of the 20th Century: Volume One


Jenny Ashford - 2017
    This volume is comprised of the years 1900 through 1959, and includes all of the best known cases of the period, as well as many more lesser-known murders, all presented in a compelling chronological narrative that takes the reader on a grisly journey through the blood-soaked avenues of early twentieth century crime. Featuring: The Peasenhall Murder. The Seal Chart Murder. The Atlanta Ripper. The Villisca Axe Murders. The Axeman of New Orleans. The Green Bicycle Case. Little Lord Fauntleroy. Hinterkaifeck Farm. The St. Aubin Street Massacre. The Wallace Case. The Atlas Vampire. The Brighton Trunk Crime. The Cleveland Torso Murderer. The Horror in Room 1046. Who Put Bella in the Wych Elm? The Pitchfork Murder. The Sodder Children. The Phantom Killer. The Black Dahlia. Somerton Man. The Grimes Sisters. The Boy in the Box. And Much More!

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.