A Philosophical Companion to First-order Logic

Front Cover
R. I. G. Hughes
Hackett Publishing, 1993 - Philosophy - 309 pages
1 Review

This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.

 

What people are saying - Write a review

User Review - Flag as inappropriate

Upon reading part of this upper-level logic course material, I would say it will thoroughly confuse students. Which is what most of this type course does. Just go to Thomas Aquinas. The more simple one makes the material, the more brilliant is the teacher.

Contents

Logical Appraisal
6
Semantics
28
What Do Q and R Stand for Anyway?
50
Theories of Truth
62
Definite Descriptions
69
Proof Theory
76
Metalogic
85
Truth and Proof
101
Existence and Quantification
162
The Significance of On Denoting
178
Proof Theory
202
13b On the Idea of a General Proof Theory
212
Overviews
225
On FirstOrder Logic
259
Bibliography
291
Index
303

Semantics
126
Quantifiers
136

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information