Logic

The Laws of Truth

By: Nicholas J.J. Smith

Write A Review

Hardcover | 12 June 2012

At a Glance

Hardcover
544 Pages

Dimensions(cm)
24.3 x 16.7 x 4.3

Hardcover

Limited Stock Available

RRP $84.00

$73.75

12%OFF

or 4 interest-free payments of $18.44 with

In Stock and Ships in 1-2 business days

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 emphasises 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 
Emphasises 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 here 
The ideal textbook for undergraduates and graduate students

'An excellent textbook for an undergraduate course on this topic.' - Peter W. Evans, Philosophy in Review

Industry Reviews

"[I]f you are a teacher in the market for a new logic text, or a student looking for very helpful reading, this could indeed be the book for you."--Logic Matters blog "This book provides an excellent comprehensive introduction to classical first-order logic with identity. It has the expected virtues of clarity, precision and accessibility... The book deserves to be used widely, both as a text for courses and for self-study."--Greg O'Hair, Australasian Journal of Philosophy "You will find this book outstanding whenever you read it, but you'll be even smarter if you read it before other, even excellent, logic books in your library."--George Hacken, Computing Reviews

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Philosophy Philosophy & Logic Text Books Higher Education & Vocational Textbooks Social Sciences Higher Education Textbooks

Preface	p. xi
Acknowledgments	p. xv
Propositional Logic	p. 1
Propositions and Arguments	p. 3
What Is Logic?	p. 3
Propositions	p. 5
Arguments	p. 11
Logical Consequence	p. 14
Soundness	p. 21
Connectives	p. 23
The Language of Propositional Logic	p. 32
Motivation	p. 32
Basic Propositions of PL	p. 32
Connectives of PL	p. 36
Wff Variables	p. 39
Syntax of PL	p. 40
Semantics of Propositional Logic	p. 49
Truth Tables for the Connectives	p. 49
Truth Values of Complex Propositions	p. 51
Truth Tables for Complex Propositions	p. 54
Truth Tables for Multiple Propositions	p. 58
Connectives and Truth Functions	p. 59
Uses of Truth Tables	p. 63
Arguments	p. 63
Single Propositions	p. 67
Two Propositions	p. 69
Sets of Propositions	p. 74
More on Validity	p. 75
Logical Form	p. 79
Abstracting from Content: From Propositions to Forms	p. 81
Instances: From Forms to Propositions	p. 82
Argument Forms	p. 84
Validity and Form	p. 87
Invalidity and Form	p. 91
Notable Argument Forms	p. 94
Other Logical Properties	p. 95
Connectives: Translation and Adequacy	p. 97
Assertibility and Implicature	p. 97
Conjunction	p. 103
Conditional and Biconditional	p. 110
Disjunction	p. 117
Negation	p. 122
Functional Completeness	p. 124
Trees for Propositional Logic	p. 134
Tree Rules	p. 136
Applying the Rules	p. 140
Uses of Trees	p. 146
Abbreviations	p. 156
Predicate Logic	p. 161
The Language of Monadic Predicate Logic	p. 163
The Limitations of Propositional Logic	p. 164
MPL, Part I: Names and Predicates	p. 167
MPL, Part II: Variables and Quantifiers	p. 172
Syntax of MPL	p. 182
Semantics of Monadic Predicate Logic	p. 189
Models; Truth and Falsity of Uncomplicated Propositions	p. 191
Connectives	p. 196
Quantified Propositions: The General Case	p. 197
Semantics of MPL: Summary	p. 204
Analyses and Methods	p. 206
Trees for Monadic Predicate Logic	p. 211
Tree Rules	p. 212
Using Trees	p. 223
Infinite Trees	p. 228
Models, Propositions, and Ways the World Could Be	p. 242
Translation	p. 243
Valuation	p. 247
Axiomatization	p. 251
Propositions	p. 253
Logical Consequence and NTP	p. 257
Postulates	p. 261
General Predicate Logic	p. 264
The Language of General Predicate Logic	p. 264
Semantics of GPL	p. 276
Trees for General Predicate Logic	p. 282
Postulates	p. 286
Moving Quantifiers	p. 293
Identity	p. 298
The Identity Relation	p. 299
The Identity Predicate	p. 303
Semantics of Identity	p. 306
Trees for General Predicate Logic with Identity	p. 311
Numerical Quantifiers	p. 321
Definite Descriptions	p. 326
Function Symbols	p. 343
Foundations and Variations	p. 355
Metatheory	p. 357
Soundness and Completeness	p. 358
Decidability and UndecidabUity	p. 368
Other Logical Properties	p. 374
Expressive Power	p. 382
Other Methods of Proof	p. 385
Axiomatic Systems	p. 386
Natural Deduction	p. 407
Sequent Calculus	p. 421
Set Theory	p. 438
Sets	p. 438
Ordered Pairs and Ordered n-tuples	p. 449
Relations	p. 453
Functions	p. 454
Sequences	p. 458
Multisets	p. 460
Syntax	p. 462
Notes	p. 467
References	p. 509
Index	p. 515
Table of Contents provided by Ingram. All Rights Reserved.

Logic

The Laws of Truth

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Social Sciences Higher Education Textbooks

Social Work Theories in Context

3rd Edition - Creating Frameworks for Practice

Decolonizing Methodologies

3rd Edition - Research and Indigenous Peoples

Public Sociology

5th Edition - An Introduction to Australian Society

The Little Red Yellow Black Book 4ed

An introduction to Indigenous Australia

Talking To My Country

The passionate and powerful bestselling book by critically acclaimed journalist and author of Tears of Strangers and The Que

Grief Counseling and Grief Therapy

A Handbook for the Mental Health Practitioner 5th Edition

The Road to Social Work and Human Service Practice

7th Edition

Good Humanities 10 2e Student Book + Digital

Thinking, Fast and Slow

Pedagogy of the Oppressed

PMC

See What You Made Me Do: Power, Control and Domestic Violence

Winner of the 2020 Stella Prize

Discipline and Punish

The Birth of the Prison

The Qur'an

Oxford World's Classics

Gender Trouble

Feminism and the Subversion of Identity

Sociologic

2nd Edition - Analysing Everyday Life and Culture

The Skilled Helper 11ed

A Problem-Management and Opportunity-Development Approach to Helping

Interpersonal Process in Therapy: An Integrative Model

7th Edition

The Handbook of Adult Clinical Psychology

2nd Edition - An Evidence Based Practice Approach

Social Research Methods

6th edition

Children, Family and Communities

6th Edition

Our Voices

2nd Edition - Aboriginal Social Work

Human Development: A Cultural Approach

2nd Edition - Australian and New Zealand Edition

Modern Social Work Theory

5th edition

Sociology

7th Edition

This product is categorised by