Last updated 10th July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 7

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 7 - December 1942

Reviews

Max Steck. Ein unbekannter Brief von Gottlob Frege über Hilberts erste Vorlesung über die Grundlagen der Geometrie. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Math.-naturw. Klasse 1940, no. 6 (1940), 8 pp.

Les Entretiens de Zurich sur les fondements et la méthode des sciences mathématiques, 6–9 decembre 1938. Exposés et discussions publiés par le Président des débats, F. Gonseth, professeur a 1'École Polytechnique Fédérale. S. A. Leemann frères & Cie., Zurich1941, 209 pp.

Barkley Rosser. The Burali-Forti paradox. The journal of symbolic logic, vol. 7 (1942), pp. 1–17.

Reviews - Paul Henle. The status of emergence. The journal of philosophy, vol. 39 (1942), pp. pp. 486–493.

Wilhelm Ackermann. Ein System der typenfreien Logik I. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 7. Leipzig1941, 29 pp.

W. V. Quine. Element and number. The journal of symbolic logic, vol. 6 (1941), pp. 135–149.

Gustav Bergmann. Syntactical analysis of the class calculus. Philosophy of Science, vol. 9 (1942), pp. 227–232.

Alfred Tarski. On the calculus of relations. The journal of symbolic logic, vol. 6 (1941), pp. 73–89.

Warner Arms Wick. On the identification of philosophy with logical analysis. The philosophical review, vol. 51 (1942), pp. 508–513.

Morris T. Keeton. On defining the term “fact.”The journal of philosophy, vol. 39 (1942), pp. 123–132. - C. J. Ducasse. Is a fact a true proposition?—A reply. The journal of philosophy, vol. 39 (1942), pp. 132–136.

Ray H. Dotterer. A generalization of the antilogism. The journal of symbolic logic, vol. 6 (1941), pp. 90–95.

M. H. A. Newman and A. M. Turing. A formal theorem in Church's theory of types. The journal of symbolic logic, vol. 7 (1942), pp. 28–33.

Okrin FrinkJr. Representations of Boolean algebras. Bulletin of the American Mathematical Society, vol. 47 (1941), pp. 755–756.

Barkley Rosser. New sets of postulates for combinatory logics. The journal of symbolic logic, vol. 7 (1942), pp. 18–27.

K. Chandrasekharan. The logic of intuitionistic mathematics. The mathematics student (Madras), vol. 9 no. 4 (for 1941, pub. 1942), pp. 143–154.

Thomas Greenwood. The metaphysical ground of logical operations. The new scholasticism, vol. 16 (1942), pp. 150–166.

N. H. McCoy. Remarks on divisors of zero. The American mathematical monthly, vol. 49 (1942), pp. 286–295.

S. Pankajam. On the formal structure of the propositional calculus I. The journal of the Indian Mathematical Society, n. s. vol. 5 (1941), pp. 49–61.

M. H. A. Newman. On theories with a combinatorial definition of “equivalence.”Annals of mathematics, ser. 2 vol. 43 (1942), pp. 223–243.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 7 - December 1942

Reviews