The Journal of Symbolic Logic, Volumes 6-8 |
Contents
A homogeneous system for formal logic By R M MARTIN | 1 |
A supplementary note on the rules of the antilogism By RAY H DOTTERER | 24 |
Sixth meeting of the Association for Symbolic Logic Elections | 39 |
23 other sections not shown
Other editions - View all
Common terms and phrases
a₁ ALONZO CHURCH antilogism application assertion axiom of choice axiom of infinity axiomatic BARKLEY ROSSER Boolean algebra Burali-Forti Paradox calculus of relations cardinal number closure combinatory combinatory logic concept condition consequence contains converse domain D₁ decision problem deducible defined definition denote discussion element elementhood enumerable sequence equation equivalent ERNEST NAGEL exists expression finite classes finite ordinal follows formal formula fraction triplet Hence hypothesis Ibid induction inference infinite intuitive JOURNAL K₁ Lemma Mathematical logic Mathematik matrix means method natural numbers notation notion null occurrence one-to-one correspondence paper paradox philosophy positive real numbers postulates predicate primitive Principia probability Prof proof properties propositions prove Quine Quine's recursive reference replaced represented Review Rosser rules satisfied seg,R semantical sense sentence sentential smor statement subclass subset symbolic logic tion topological space true University variables W. V. Quine York