Selected logic papers
著者
書誌事項
Selected logic papers
Harvard University Press, 1995
Enlarged ed
- : pbk
大学図書館所蔵 件 / 全29件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references and index
内容説明・目次
- 巻冊次
-
ISBN 9780674798366
内容説明
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 60 years.
目次
- Whitehead and the Rise of Modern Logic (1941)
- Logic, Symbolic (1954)
- A Method of Generating Part of Arithmetic Without Use of Intuitive Logic (1934)
- Definition of Substitution (1936)
- Concatenation as a Basis for Arithmetic (1946)
- Set-theoretic Foundations for Logic (1936)
- Logic Based on Inclusion and Abstraction (1937)
- On Ordered Pairs and Relations (1945-46)
- On w-Inconsistency and a So-called Axiom of Infinity (1952)
- Element and Number (1941)
- On an Application of Tarski's Theory of Truth (1952)
- On Frege's Way Out (1954)
- Completeness of the Propositional Calculus (1937)
- On Cores and Prime Implicants of Truth Functions (1958)
- Two Theorems about Truth Functions (1951)
- On Boolean Functions (1949)
- On the Logic of Quantification (1945)
- A Proof Procedure for Quantification Theory (1954)
- Interpretations of Sets of Conditions (1953)
- Church's Theorem on the Decision Problem (1954)
- Quantification and the Empty Domain (1953)
- Reduction to a Dyadic Predicate (1953)
- Variables Explained Away (1960)
- Truth, Paradox, and Godel's Theorem (1992)
- Immanence and Validity (1991)
- MacHale on Boole (1985)
- Peirce's Logic (1989)
- Peano as Logician (1982)
- Free Logic, Description, and Virtual Classes (1994)
- The Inception of "New Foundations" (1987)
- Pythagorean Triples and Fermat's Last Theorem (1992).
- 巻冊次
-
: pbk ISBN 9780674798373
内容説明
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.
目次
- Whitehead and the Rise of Modern Logic (1941)
- Logic, Symbolic (1954)
- A Method of Generating Part of Arithmetic Without Use of Intuitive Logic (1934)
- Definition of Substitution (1936)
- Concatenation as a Basis for Arithmetic (1946)
- Set-theoretic Foundations for Logic (1936)
- Logic Based on Inclusion and Abstraction (1937)
- On Ordered Pairs and Relations (1945-46)
- On w-Inconsistency and a So-called Axiom of Infinity (1952)
- Element and Number (1941)
- On an Application of Tarski's Theory of Truth (1952)
- On Frege's Way Out (1954)
- Completeness of the Propositional Calculus (1937)
- On Cores and Prime Implicants of Truth Functions (1958)
- Two Theorems about Truth Functions (1951)
- On Boolean Functions (1949)
- On the Logic of Quantification (1945)
- A Proof Procedure for Quantification Theory (1954)
- Interpretations of Sets of Conditions (1953)
- Church's Theorem on the Decision Problem (1954)
- Quantification and the Empty Domain (1953)
- Reduction to a Dyadic Predicate (1953)
- Variables Explained Away (1960)
- Truth, Paradox, and Godel's Theorem (1992)
- Immanence and Validity (1991)
- MacHale on Boole (1985)
- Peirce's Logic (1989)
- Peano as Logician (1982)
- Free Logic, Description, and Virtual Classes (1994)
- The Inception of "New Foundations" (1987)
- Pythagorean Triples and Fermat's Last Theorem (1992).
「Nielsen BookData」 より