Book Review | Published:

Philosophy

Nature volume 142, pages 664665 (08 October 1938) | Download Citation

Subjects

Abstract

THIS is a very useful introduction to mathematical logic, which does full justice to its title, in so far as it really carries the reader into the principles of mathematics interpreted mainly in terms of logical notions. Most elementary works on this subject make a mountain of a molehill by confining themselves to the exposition of its purely logical prolegomena and dismissing their application to mathematics with the excuse that they are too difficult for lay readers. Dr. Tarski rightly thinks otherwise. After a restricted account of the leading doctrines of symbolic logic (pp. 1-97), he gives a short exposition of the idea of number, of the simple arithmetical operations, followed by a short discussion of the methodology and the axiom-system of arithmetic. This is an illuminating and sufficient introduction to the analysis of the logical foundations of elementary arithmetic. But once the purpose and technique of the method are thoroughly understood, it will be easier for the reader to tackle the more advanced works on the subject. Dr. Tarski helps him in this connexion by suggesting a number of easy examples after each chapter. Controversial questions are carefully avoided, and the technical apparatus is reduced to a minimum, though one may have wished for practice' sake more symbolic formulae and proofs. Yet, as it is, Dr. Tarski's book, with the authority of its author, who is a leading member of the Polish school of mathematical logicians, fulfils a real want and is well worthy of an English translation.

Access optionsAccess options

Rent or Buy article

Get time limited or full article access on ReadCube.

from$8.99

All prices are NET prices.

About this article

Publication history

Published

DOI

https://doi.org/10.1038/142664e0

Authors

  1. Search for T. G. in:

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.