ABSTRACT

The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this authoritative book explores both formal and philosophical logic, and the ways in which we can achieve good reasoning. Individual chapters include:

* Propositions and Arguments
* Truth Tables
* Trees
* Conditionality
* Natural Deduction
* Predicates, Names and Quantifiers
* Definite Descriptions.

This exceptionally clear introduction to the subject is ideally suited to students taking introductory courses in logic.

chapter |4 pages

Introduction

part |1 pages

PART 1 Propositional logic

chapter 1|8 pages

Propositions and arguments

chapter 2|12 pages

Connectives and argument forms

chapter 3|14 pages

Truth tables

chapter 4|17 pages

Trees

chapter 5|8 pages

Vagueness and bivalence

chapter 6|10 pages

Conditionality

chapter 7|7 pages

Natural deduction

part |1 pages

PART 2 Predicate logic

chapter 8|11 pages

Predicates, names and quantifiers

chapter 9|16 pages

Models for predicate logic

chapter 10|15 pages

Trees for predicate logic

chapter 11|12 pages

Identity and functions

chapter 12|7 pages

Definite descriptions

chapter 13|11 pages

Some things do not exist

chapter 14|5 pages

What is a predicate?

chapter 15|4 pages

What is logic?