close
1.

図書
図書
1. Ancient formal logic
I.M. Bocheński
出版情報: Amsterdam : North-Holland, 1951  vi, 122 p., [1] folded leaf ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
2.

図書
図書
2. Logique, langage et théorie de l'information. 1re éd
par L. Apostel, B. Mandelbrot et A. Morf
出版情報: Paris : Presses universitaires de France, 1957  vi, 207 p. ; 23 cm
シリーズ名: Bibliothèque scientifique internationale ; . Études d'épistémologie génétique / sous la direction de Jean Piaget ; 3
所蔵情報: loading…
3.

図書
図書
3. The material logic of John of St. Thomas : basic treatises
translated by Yves R. Simon, John J. Glanville, G. Donald Hollenhorst ; with a preface by Jacques Maritain
出版情報: Chicago : University of Chicago Press, 1955  xxxiv, 638 p. ; 22 cm
所蔵情報: loading…
4.

図書
図書
4. Logic and the nature of reality
by Louis O. Kattsoff
出版情報: Hague : Martinus Nijhoff, 1956  247 p. ; 24 cm
所蔵情報: loading…
5.

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

図書
図書
6. Introduction to logic (: hard ; : International student ed)
by Patrick Suppes
出版情報: Princeton, N.J. : D. Van Nostrand, c1957  xviii, 312 p. ; 24 cm
シリーズ名: The university series in undergraduate mathematics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Principles of Inference and Definition / Part I：
The Sentential Connectives / Chapter 1.：
Negation and Conjunction / 1.1：
Disjunction / 1.2：
Implication: Conditional Sentences / 1.3：
Equivalence: Biconditional Sentences / 1.4：
Grouping and Parentheses / 1.5：
Truth Tables and Tautologies / 1.6：
Tautological Implication and Equivalence / 1.7：
Sentential Theory of Inference / Chapter 2.：
Two Major Criteria of Inference and Sentential Interpretations / 2.1：
The Three Sentential Rules of Derivation / 2.2：
Some Useful Tautological Implications / 2.3：
Consistency of Premises and Indirect Proofs / 2.4：
Symbolizing Everyday Language / Chapter 3.：
Grammar and Logic / 3.1：
Terms / 3.2：
Predicates / 3.3：
Quantifiers / 3.4：
Bound and Free Variables / 3.5：
A Final Example / 3.6：
General Theory of Inference / Chapter 4.：
Inference Involving Only Universal Quantifiers / 4.1：
Interpretations and Validity / 4.2：
Restricted Inferences with Existential Quantifiers / 4.3：
Interchange of Quantifiers / 4.4：
General Inferences / 4.5：
Summary of Rules of Inference / 4.6：
Further Rules of Inference / Chapter 5.：
Logic of Identity / 5.1：
Theorems of Logic / 5.2：
Derived Rules of Inference / 5.3：
Postscript on Use and Mention / Chapter 6.：
Names and Things Named / 6.1：
Problems of Sentential Variables / 6.2：
Juxtaposition of Names / 6.3：
Transition From Formal to Informal Proofs / Chapter 7.：
General Considerations / 7.1：
Basic Number Axioms / 7.2：
Comparative Examples of Formal Derivations and Informal Proofs / 7.3：
Examples of Fallacious Informal Proofs / 7.4：
Further Examples of Informal Proofs / 7.5：
Theory of Definition / Chapter 8.：
Traditional Ideas / 8.1：
Criteria for Proper Definitions / 8.2：
Rules for Proper Definitions / 8.3：
Definitions Which are Identities / 8.4：
The Problem of Division by Zero / 8.5：
Conditional Definitions / 8.6：
Five Approaches to Division by Zero / 8.7：
Padoa's Principle and Independence of Primitive Symbols / 8.8：
Elementary Intuitive Set Theory / Part II：
Sets / Chapter 9.：
Membership / 9.1：
Inclusion / 9.3：
The Empty Set / 9.4：
Operations on Sets / 9.5：
Domains of Individuals / 9.6：
Translating Everyday Language / 9.7：
Venn Diagrams / 9.8：
Elementary Principles About Operations on Sets / 9.9：
Relations / Chapter 10.：
Ordered Couples / 10.1：
Definition of Relations / 10.2：
Properties of Binary Relations / 10.3：
Equivalence Relations / 10.4：
Ordering Relations / 10.5：
Operations on Relations / 10.6：
Functions / Chapter 11.：
Definition / 11.1：
Operations on Functions / 11.2：
Church's Lambda Notation / 11.3：
Set-Theoretical Foundations of the Axiomatic Method / Chapter 12.：
Set-Theoretical Predicates and Axiomatizations of Theories / 12.1：
Isomorphism of Models for a Theory / 12.3：
Example: Probability / 12.4：
Example: Mechanics / 12.5：
Index
Preface
Introduction
Principles of Inference and Definition / Part I：
7.

図書
図書
7. Ancient formal logic
I.M. Bocheński
出版情報: Amsterdam : North-Holland Publishing Co., 1951  vi, 122 p., 1 folded leaves of plate ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
8.

図書
図書
8. Die Idee und ihre philosophischen Voraussetzungen
Günther, Gotthard
出版情報: Hamburg : Meiner, c1959  xxii, 417 p. ; 24 cm
シリーズ名: Idee und Grundriß einer nicht-Aristotelischen Logik / Gotthard Günther ; Bd. 1
所蔵情報: loading…
9.

図書
図書
9. The propositional logic of Boethius
Karl Dürr
出版情報: Amsterdam : North-Holland Pub, 1951  x, 79 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼