Methods of logic

>> Google Books

所蔵情報QRコード

Methods of logic / W.V. Quine

版:: 4th ed
資料種別:: 図書
出版情報:: Cambridge, Mass. : Harvard University Press, 1982
形態:: x, 333 p. ; 24 cm
著者名:: Quine, W. V. (Willard Van Orman), 1908-2000 <DA00442031>
ISBN:: 9780674571754 [0674571754] (: hbk)
9780674571761 [0674571762] (: pbk)
書誌ID:: BA04585599

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. 320-326
Includes index

主題:

Logic

言語:

英語

目次情報:

Introduction

Truth Functions / Part I：

Negation, Conjunction, and Alternation / 1：

The Conditional / 2：

Grouping / 4：

Truth-Value Analysis / 5：

Consistency and Validity / 6：

Implication / 7：

Words into Symbols / 8：

Equivalence / 9：

Alternational Normal Schemata / 10：

Simplification / 11：

Duality / 12：

Axioms / 13：

General Terms and Quantifiers / Part II：

Categorical Statements / 14：

Venn's Diagrams / 15：

Syllogisms / 16：

Limits of These Methods / 17：

Boolean Schemata / 18：

Tests of Validity / 19：

Some Boolean Incidentals / 20：

The Bound Variable / 21：

Quantification / 22：

Rules of Passage. Monadic Schemata / 23：

Prenexity and Purity / 24：

Validity Again / 25：

Substitution / 26：

General Theory of Quantification / Part III：

Schemata Extended / 27：

Substitution Extended / 28：

Pure Existentials / 29：

The Main Method / 30：

Application / 31：

Completeness / 32：

Louml;wenheim's Theorem / 33：

Decisions and the Undecidable / 34：

Functional Normal Forms / 35：

Herbrand's Method / 36：

Other Methods for Validity / 37：

Deduction / 38：

Soundness / 39：

Deductive Strategy / 40：

Glimpses Beyond / Part IV：

Singular Terms / 41：

Identity / 42：

Descriptions / 43：

Elimination of Singular Terms / 44：

Elimination of Variables / 45：

Classes / 46：

Number / 47：

Axiomatic Set Theory Partial Answers to Exercises / 48：

Bibliography

Index

Introduction

Truth Functions / Part I：

Negation, Conjunction, and Alternation / 1：

The Conditional / 2：

Grouping / 4：

Truth-Value Analysis / 5：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Methods of logic Quine, W. V. (Willard Van Orman), 1908- Holt	7 図書論理学の哲学 Quine, W. V. (Willard Van Orman), 1908-2000, 山下, 正男(1931-) 培風館
2 図書 Set theory and its logic Quine, W. V. (Willard Van Orman), 1908- Belknap Press of Harvard University Press	8 図書 Words and objections : Essays on the work of W. V. Quine Davidson, Donald, 1917-, Quine, W. V. (Willard Van Orman), 1908-, Hintikka, Jaakko, 1929- D. Reidel
3 図書 Set theory and its logic Quine, W. V. (Willard Van Orman), 1908- Belknap Press of Harvard University Press	9 図書現代論理入門 : ことばと論理 Quine, W. V. (Willard Van Orman), 1908-2000, 杖下, 隆英(1929-) 大修館書店
4 図書 Elementary logic Quine, W. V. (Willard Van Orman), 1908-2000 Harper & Row	10 図書クワイン : ホーリズムの哲学丹治, 信春(1949-), Quine, W. V. (Willard Van Orman), 1908-2000 講談社
5 図書 From a logical point of view : 9 logico-philosophical essays Quine, W. V. (Willard Van Orman), 1908-2000 Harper & Row	11 図書集合論とその論理 Quine, W. V. (Willard Van Orman), 1908-, 藤村, 龍雄(1936-), 大出, 晁(1926-) 岩波書店
6 図書 Word and object Quine, W. V. (Willard Van Orman), 1908-2000 Technology Press of the Massachusetts Institute of Technology	12 図書ことばと対象 Quine, W. V. (Willard Van Orman), 1908-2000, 宮館, 恵(1954-), 大出, 晁(1926-) 勁草書房