an:03335866
Zbl 0212.00902
??ukasiewicz, Jan
Selected works. Edited by L. Borkowski
EN
Studies in Logic and the Foundations of Mathematics. Amsterdam etc.: North-Holland Publishing Company; Warszawa: PWN - Polish Scientific Publishers. xii, 405 p. (1970).
1970
b
03-03 01A75 00B60
Selected works
This book differs considerably from the Polish publication of J. ??ukasiewicz's selected papers [z zagadnien logiki i filozofii. Pisma wybrane (Warsaw, 1961)]. Several articles (mainly of historical interest) are omitted and 10 new articles on mathematical logic are included.
The first period of ??ukasiewicz's activity is represented by ``Creative element in science'' (1912), ``The logical foundations of probability theory'' (1913), ``On the concept of magnitude'' (1916; JFM 47.0898.04) and the ``Farewell lecture'' (1918) that makes earliest reference to three-valued logic.
Papers on mathematical logic published between the two world wars and included into the present publication are: ``On the three-valued logic'' (1920), ``Two-valued logic'' (1921; JFM 48.1125.05), ''A numerical interpretation of the theory of propositions'' (1922/3), ``Investigations into sentential calculus'' (1930; JFM 57.1319.01), ``Comments on Nicod's axiom and on `generalizing deduction' '' and ``The equivalential calculus'' (1939; Zbl 0022.28901; JFM 65.0022.01).
Some philosophical articles of the same period are also included: ``On determinism'', ``Philosophical remarks on many-valued systems of propositional logic'' (1930; JFM 57.1319.02), ''Logistic and philosophy'' (1936), ``In defence of logistic'' (1937), ``Logic and, the problem of the foundations of mathematics'' (1941; Zbl 0061.00804); it includes the following credo: The propositional calculus is the fundamental logical discipline. Other logical disciplines in particular functional calculus, are based on the propositional calculus, and the whole of mathematics is in turn based on logic. Thus the propositional calculus forms the deepest foundation of all deductive sciences.)
The paper ``On the history of the logic of propositions'' (1935; Zbl 0011.24204; JFM 61.0004.03) is concerned with the history of logic. After World War II ??ukasiewicz published 12 works, all of them on logic, seven of which have been included in the publication under review: ``The shortest axiom of the implicational calculus of propositions'' (1948; Zbl 0029.09801), ``On the system of axioms of the implicational propositional calculus'' (1951; Zbl 0045.14811), ``On variable functors of propositional arguments'' (1951), ''On the intuitionistic theory of deduction'' (1952), ``Formalization of mathematical theories'' (1953), ``A system of modal logic'' (1953), ``Arithmetic and modal logic'' (1954).
The book does not include any of ??ukasiewicz's works on Aristotle's syllogistic. This is due to the fact that his monograph ``Aristotle's syllogistic from the standpoint of modern formal logic.'' Oxford: Clarendon Press (1951; Zbl 0043.24601) is easily accessible to English-speaking readers.
G. E. Mints (Leningrad)
Zbl 0022.28901; Zbl 0061.00804; Zbl 0011.24204; Zbl 0029.09801; Zbl 0045.14811; Zbl 0043.24601; JFM 47.0898.04; JFM 48.1125.05; JFM 57.1319.01; JFM 65.0022.01; JFM 57.1319.02; JFM 61.0004.03