Wert und Ethik by Uuno SaarnioReview by: Hilppa KinosThe Journal of Symbolic Logic, Vol. 10, No. 4 (Dec., 1945), p. 130Published by: Association for Symbolic LogicStable URL: http://www.jstor.org/stable/2269019 .

Accessed: 18/06/2014 21:15

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp

.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact support@jstor.org.

.

Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to TheJournal of Symbolic Logic.

http://www.jstor.org

This content downloaded from 188.72.126.25 on Wed, 18 Jun 2014 21:15:33 PMAll use subject to JSTOR Terms and Conditions

130 REVIEWS

calculus to a finite number of prime formulas. But the like passage is also possible wher- ever, instead of a finite model, a constructive model is at our disposal, as it has been proved, and illustrated by the example of axiomatic geometry, in volume 2, pp. 33-48, of Grund- lagen der Mathematik (V16). The account there refers to the usual form of the logical calculus, but it applies likewise to the calculus LK in virtue of Gentzen's proof of the equiv- alence of these calculi (4422, pp. 429-431).

Just of this kind is the case of the above-mentioned strengthening of Skolem's result. In fact Skolem's reasoning shows generally, for every incidence theorem of plane geometry which has purely general form and further has the property that the incidence or disjunction of incidences asserted to follow from the conditions on the configuration cannot be obtained by applying to these conditions the axioms I-IV of Skolem's list (used as deductive sche- mata), how a model (in the usual sense) of a plane projective geometry can be constructed, by an inductive procedure, so that it satisfies the axioms I-V but refutes the theorem in question.

Of course there would also be the possibility of deriving the general consistency theorem of V16, in the modified form relating to the calculus LK, as a consequence of the conditions of provability stated by Ketonen. But then it would be desirable that this be done in such a way as to admit generally of direct application, without entering anew into detailed discussions.

Perhaps the manner of discussing the details of- formal proofs which the author follows will prove superior for inquiries which are not, like the questions of non-contradiction and independence, on the impossibility of certain proofs, but on actually possible proofs.

PAUL BERNAYS

UUNO SAARNIO. Arvo ja eetillisyys (Wert und Ethik). Ajatus, Bd. 13 (1944), S.113-235. Verf. wendet die logistische Methode auf die schwierigen Fragen der Geisteswissen-

schaften an. Von der Zweideutigkeit des Wortes "gut" ausgehend zeigt er, daf3 man die Werttheorie und die Ethik voneinander unabhangig aufbauen kann und muBl. Das Gute im Sinne der Werttheorie kann man begrifflich und formal von dem Guten der Ethik scharf unterscheiden. Ein wesentliches Moment dabei ist, daI jener Begriff subjektiv, dieser intersubjektiv ist. Die funktionale Behandlung der Werttheorie fuhrt zu einigen philoso- phisch interessanten Resultaten. Der Begriff "wertvoll" zeigt sich als eine vierstellige Funktion, W(x, a(x), y, 0(y)), die als einer der Argumente das bewertende Subjekt enthalt. Der Begriff des absoluten Wertes wird dadurch als fehlerhaft erwiesen. Der Begriff des "Sollen" verliert seinen mystischen und metaphysischen Inhalt. Er ist die Konverse der allgemeinen Imperativitat (I) der Befehlsfunktion, was sich durch die Formel I(y, x, 4(x)) _ TI(x, y, t(x)) ausdrucken lif3t. Das ethisch Gute ist intersubjektiv und kann formal definiert werden. Seine fuinf Kennzeichen sind: 1. Der ethische Imperativ, fur den eine eigentumliche Reflexivitat kennzeichnend ist, welche man durch den in den naturlichen Srrachen fehlenden Imp. 1 Pers. Sing. ausdrucken k6nnte; 2. Die Xquivalenz, die in Satzen wie Liebe deinen Nachsten wie dich selbst (und umgekehrt) ihren Ausdruck findet; 3. Die Abstraktheit: Auf Grund der Gleichheit des Lebensgefuhls bildet sich eine Abstraktions- klasse; der Campus der von dem Guten implizierten Relationen ist unbegrenzt; 4. Das Symbolische: Das Ethische gehort zum Kreis des Geistigen, die ethischen Erlebnisse in- tendieren das Gute, das sie nicht konstituieren; 5. Das Hedonische: Jedes ethische Erlebnis ist von einem Gefuhl der Freude durchdrungen. Die Einsicht, daB das Bose vollkommen in die Werttheorie gehort und gar nicht in das Gebiet des Ethischen, wird auf die formale Tatsache zuruckgefuhrt, daB das ethisch Gute eine einfache Eigenschaft, das werttheo- retisch Gute, das Wertvolle, eine Relation von hoherem Typus, d.h. eine zusammengesetzte Funktion ist. Hierbei ist der Begriff der von Ref. eingefuhrten relativen Negation ent- scheidend. Die formale unterscheidung des ethisch Guten von dem Wertvollen bedeutet eine Neubegrundung der Ethik. HILPPA KINOS

VEIKKO SALONEN. Reduktioteorian periaatteista (On the principles of reduction theory). Ibid., pp. 262-293.

The author discusses the formal criteria of confirmability and testability of propositions and of the reducibility of predicates. Special attention is devoted to the well-known diffi-

This content downloaded from 188.72.126.25 on Wed, 18 Jun 2014 21:15:33 PMAll use subject to JSTOR Terms and Conditions