Selected Logic Papers

Front Cover
Harvard University Press, 1995 - Mathematics - 307 pages
0 Reviews

For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.

 

What people are saying - Write a review

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

Contents

Whitehead and the Rise of Modern Logic 1941
3
Logic Symbolic 1954
37
A Method of Generating Part of Arithmetic Without Use of Intuitive Logic 1934
52
Definition of Substitution 1936
61
Concatenation as a Basis for Arithmetic 1946
70
Settheoretic Foundations for Logic 1936
83
Logic Based on Inclusion and Abstraction 1937
100
On Ordered Pairs and Relations 194546
110
Interpretations of Sets of Conditions 1953
205
Churchs Theorem on the Decision Problem 1954
212
Quantification and the Empty Domain 1953
220
Reduction to a Dyadic Predicate 1953
224
Variables Explained Away I960
227
Truth Paradox and Godels Theorem 1992
236
Immanence and Validity 1991
242
MacHale on Boole 1985
251

On Inconsistency and a Socalled Axiom of Infinity 1952
114
Element and Number 1941
121
On Freges Way Out 1954
146
Completeness of the Propositional Calculus 1937
159
On Cores and Prime Implicants of Truth Functions 1958
164
Two Theorems about Truth Functions 1951
172
On Boolean Functions 1949
176
On the Logic of Quantification 1945
181
A Proof Procedure for Quantification Theory 1954
196
Peirces Logic 1989
258
Peano as Logician 1982
266
Free Logic Description and Virtual Classes 1994
278
The Inception of New Foundations 1987
286
Pythagorean Triples and Fermat s Last Theorem 1992
290
REFERENCES
293
INDEX
301
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information