Logic

The Laws of Truth

By: Nicholas J.J. Smith

Write A Review

Hardcover | 12 March 2012

At a Glance

Hardcover
544 Pages

Dimensions(cm)
24.3 x 16.7 x 4.3

Hardcover

$120.75

or 4 interest-free payments of $30.19 with

Ships in 15 to 25 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

The Road to Social Work and Human Service Practice

7th Edition

Public Sociology

5th Edition - An Introduction to Australian Society

Sociologic

2nd Edition - Analysing Everyday Life and Culture

Social Research Methods

6th edition

Social Work Theories in Context

3rd Edition - Creating Frameworks for Practice

Decolonizing Methodologies

3rd Edition - Research and Indigenous Peoples

Yatdjuligin 3rd Edition

Aboriginal and Torres Strait Islander Nursing and Midwifery Care

An Introduction to Language

10th Edition

Theoretical Perspectives for Direct Social Work Practice: 4th Edition

A Generalist-Eclectic Approach

The Skilled Helper 11ed

A Problem-Management and Opportunity-Development Approach to Helping

Principles and Practice of Grief Counseling

3rd Edition

Juvenile Justice

Youth and Crime in Australia

The Handbook of Adult Clinical Psychology

2nd Edition - An Evidence Based Practice Approach

Criminology

3rd edition

Making the Most of Field Placement

5th Edition

Australian Social Policy and the Human Services

3rd Edition

Growing Up Aboriginal in Australia

The Little Red Yellow Black Book 4ed

An introduction to Indigenous Australia

The Demon-Haunted World

Science as a Candle in the Dark

Practice Skills in Social Work and Welfare

4th Edition - More Than Just Common Sense

Modern Social Work Theory

5th edition

Interpersonal Process in Therapy: An Integrative Model

7th Edition

The Qur'an

Oxford World's Classics

Children, Family and Communities

6th Edition

This product is categorised by