Selected Logic PapersHarvard University Press, 1995 - 307 Seiten 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. |
Inhalt
Whitehead and the Rise of Modern Logic 1941 | 3 |
Logic Symbolic 1954 | 37 |
III | 44 |
A Method of Generating Part of Arithmetic Without | 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 |
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 1960 | 227 |
Truth Paradox and Gödels Theorem 1992 | 236 |
Immanence and Validity 1991 | 242 |
MacHale on Boole 1985 | 251 |
Peirces Logic 1989 | 258 |
VIII | 110 |
Element and Number 1941 | 121 |
ΧΙ | 141 |
Completeness of the Propositional Calculus 1937 | 159 |
XV | 172 |
On the Logic of Quantification 1945 | 181 |
A Proof Procedure for Quantification Theory 1954 | 196 |
Interpretations of Sets of Conditions 1953 | 205 |
Peano as Logician 1982 | 266 |
Free Logic Description and Virtual Classes 1994 | 278 |
The Inception of New Foundations 1987 | 286 |
Pythagorean Triples and Fermats Last Theorem 1992 | 290 |
| 293 | |
| 301 | |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
A-formula a₁ applied arithmetic assignment atoms attributes axiom axiom of infinity Boole Boole's Boolean algebra Boolean function calculus called cardinal number class abstraction clause concatenation conjunction construed defined definition derivable elementary elementhood elements empty class equivalent existence prefixes existential existential quantifiers expressions finite follows formula free variables Frege functional normal form Gödel hence identity implies infinite interpretation Lemma lexical instances Mathematical Logic matical medadically monadic natural numbers negation notation notion number theory objects occurrences open sentences ordered pair ordinal Ɔ q paper paradox Peano Peirce phrase equation positive integers predicate letters prime implicants Proof propositional propositional calculus protosyntax proved quantification theory recursive relation Russell Russell's Russell's paradox schema schemata sequence set theory singular terms statements substitution subsumes T-theorem Tarski theorem theory of types tion true truth functions truth values truth-function unit class universal quantifiers valid w-inconsistency Whitehead