Logic: The Laws of Truth

Princeton University Press
5
Free sample

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website.

Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject.

  • Provides an essential introduction to classical logic
  • Emphasizes the how and why of logic
  • Covers both formal and philosophical issues
  • Presents all the major forms of proof--from trees to sequent calculus
  • Features numerous exercises, with solutions available at http://www-personal.usyd.edu.au/~njjsmith/lawsoftruth
  • The ideal textbook for undergraduates and graduate students
Read more

About the author

Nicholas J. J. Smith is senior lecturer in philosophy at the University of Sydney in Australia. He is the author of Vagueness and Degrees of Truth.
Read more

Reviews

3.2
5 total
Loading...

Additional Information

Publisher
Princeton University Press
Read more
Published on
Apr 1, 2012
Read more
Pages
544
Read more
ISBN
9781400842315
Read more
Language
English
Read more
Genres
Philosophy / Logic
Read more
Content Protection
This content is DRM protected.
Read more
Read Aloud
Available on Android devices
Read more

Reading information

Smartphones and Tablets

Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.

Laptops and Computers

You can read books purchased on Google Play using your computer's web browser.

eReaders and other devices

To read on e-ink devices like the Sony eReader or Barnes & Noble Nook, you'll need to download a file and transfer it to your device. Please follow the detailed Help center instructions to transfer the files to supported eReaders.
Jordan Ellenberg
The Freakonomics of math—a math-world superstar unveils the hidden beauty and logic of the world and puts its power in our hands

The math we learn in school can seem like a dull set of rules, laid down by the ancients and not to be questioned. In How Not to Be Wrong, Jordan Ellenberg shows us how terribly limiting this view is: Math isn’t confined to abstract incidents that never occur in real life, but rather touches everything we do—the whole world is shot through with it.

Math allows us to see the hidden structures underneath the messy and chaotic surface of our world. It’s a science of not being wrong, hammered out by centuries of hard work and argument. Armed with the tools of mathematics, we can see through to the true meaning of information we take for granted: How early should you get to the airport? What does “public opinion” really represent? Why do tall parents have shorter children? Who really won Florida in 2000? And how likely are you, really, to develop cancer?

How Not to Be Wrong presents the surprising revelations behind all of these questions and many more, using the mathematician’s method of analyzing life and exposing the hard-won insights of the academic community to the layman—minus the jargon. Ellenberg chases mathematical threads through a vast range of time and space, from the everyday to the cosmic, encountering, among other things, baseball, Reaganomics, daring lottery schemes, Voltaire, the replicability crisis in psychology, Italian Renaissance painting, artificial languages, the development of non-Euclidean geometry, the coming obesity apocalypse, Antonin Scalia’s views on crime and punishment, the psychology of slime molds, what Facebook can and can’t figure out about you, and the existence of God.

Ellenberg pulls from history as well as from the latest theoretical developments to provide those not trained in math with the knowledge they need. Math, as Ellenberg says, is “an atomic-powered prosthesis that you attach to your common sense, vastly multiplying its reach and strength.” With the tools of mathematics in hand, you can understand the world in a deeper, more meaningful way. How Not to Be Wrong will show you how.
Nicholas J. J. Smith
In Vagueness and Degrees of Truth, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. A predicate is said to be vague if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates - both in everyday talk, and in a wide array of theoretical vocabularies, from law to psychology to engineering - are vague. Smith argues, on the basis of a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy - the view that vague statements need not have unique meanings - into the degree-theoretic framework. As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the era - both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background.
Nicholas J. J. Smith
In Vagueness and Degrees of Truth, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. A predicate is said to be vague if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates - both in everyday talk, and in a wide array of theoretical vocabularies, from law to psychology to engineering - are vague. Smith argues, on the basis of a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy - the view that vague statements need not have unique meanings - into the degree-theoretic framework. As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the era - both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background.
©2018 GoogleSite Terms of ServicePrivacyDevelopersArtistsAbout Google
By purchasing this item, you are transacting with Google Payments and agreeing to the Google Payments Terms of Service and Privacy Notice.