First-order Logic: An Introduction

Front Cover
Walter de Gruyter, 1998 - Philosophy - 343 pages
An introduction to principles and notation of modern symbolic logic, for those with no prior courses. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll. Annotation copyrighted by Book News, Inc., Portland, OR
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
Chapter
11
Principles of Inference
145
Truth Trees for Predicate Logic
187
New Restrictions on the Rules
229
Truth Trees for Relational Logic
257
The Logic of Identity
277
Definite Descriptions
302
On Names and Variables
331
Index
337
Copyright

Common terms and phrases

Bibliographic information