close
1.

図書
図書
1. Methods of logic. Rev. ed
Willard Van Orman Quine
出版情報: New York : Holt, c1959  xix, 272 p. ; 22 cm
所蔵情報: loading…
2.

図書
図書
2. Elementary logic. Rev. ed
Willard Van Orman Quine
出版情報: New York : Harper & Row, 1965  x, 129 p. ; 21 cm
シリーズ名: Harper torchbooks ; TB 577J . The science library
所蔵情報: loading…
3.

図書
図書
3. From a logical point of view : 9 logico-philosophical essays. 2nd ed., revised
Willard Van Orman Quine
出版情報: New York : Harper & Row, 1963  viii, 184 p. ; 22 cm
シリーズ名: Harper torchbooks ; TB 566 . The Science library
所蔵情報: loading…
4.

図書
図書
4. Set theory and its logic
[by] Willard Van Orman Quine
出版情報: Cambridge : Belknap Press of Harvard University Press, 1963  xv, 359 p. ; 22 cm
所蔵情報: loading…
5.

図書
図書
5. Words and objections : Essays on the work of W. V. Quine
edited by Donald Davidson and Jaakko Hintikka
出版情報: Dordrecht : D. Reidel, c1969  vii, 366 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
6.

図書
図書
6. Word and object
Willard Van Orman Quine
出版情報: Cambridge, Mass : Technology Press of the Massachusetts Institute of Technology, [1960]  xv, 294 p. ; 24 cm
シリーズ名: Studies in communication
所蔵情報: loading…
7.

図書
図書
7. Methods of logic. 4th ed (: hbk ; : pbk)
W.V. Quine
出版情報: Cambridge, Mass. : Harvard University Press, 1982  x, 333 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
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：
8.

図書
図書
8. 現代論理入門 : ことばと論理
W.O. クワイン著 ; 杖下隆英訳
出版情報: 東京 : 大修館書店, 1972.11  xi, 224p ; 19cm
所蔵情報: loading…
9.

図書
図書
9. 論理学の哲学
ウイラード・V・クワイン著 ; 山下正男訳
出版情報: 東京 : 培風館, 1972.6  ix, 171p ; 22cm
シリーズ名: 哲学の世界 ; 13
所蔵情報: loading…
10.

図書
図書
10. 論理学の方法
W.V.O.クワイン著 ; 中村秀吉, 大森荘蔵訳
出版情報: 東京 : 岩波書店, 1961.12  xiii, 275p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼