bibliography and index of authors - HIST

BIBLIOGRAPHY AND INDE:K OF AUTHORS
BIBL IOG RA P HY A ND INDE X OF A UT HO RS
The numbers immediately following an author's name indicate
the pages of this book on which he is mentioned. The main references are printed in black type.
The shortened forms of titles which precede them in square
brackets are those used in citation throughout the book.
* The publications marked with an asterisk have appeared since
the writing of the German original, and hence are not mentioned
in the text. The most important of these are: Hilbert and Bernays
fGrundl. 19341; Quine fSystanl (see the author's review in
Erkmntnis,5, r935r p, 28S); Tarski [Wahrh.] (cf. Kokoszynska
fWabheit)).
Exhaustive bibliographies of the literature of logistics and logical
syntzrx are to be found in: Ftaenkel fMaqenlehrel; Jdrgensen
fTreatisef; and Lewis lSurueyJ.
Ackermann, W.
Zum Hilbertschen Aufbau der reellen Zahlen. Math. Ann, gg,
ry28.
Uber die ErfullbarkeitgewisserZitrlausdriicke.Math. Ann.roo,
r928.
See also Hilbert.
Ajdukiewicz, K., 167, 176,
"27. Erk. 4, 1934.
[Sprache] Sprache und Sinn.
Das Weltbild und die Begriffsapparatur. Erh.4, rg3+.
*Die syntaktische Konnexiril.
Studia Philos. t, rg35.
Ayer, A. J.
*Language, Truth and Logic. l-ondon, 1936.
Bachmann, F., see Carnap.
Becker, O., 46,245,246, z1o,2S4.
Mathematische Existenz. Jahrb. Phdnom. ry27 i also published
separately.
Zur [-ogik der Modalitlten.
lModalitdtnl
Jahrb. Pfuinon. rr,
r930.
Behmann, H., 49 f., !.39, r97,246.
Beitriige zur Algebra der Logik, insbesonderc zun Entscheidungsproblem. Math. Ann.86, rgzz.
[Logih] Mathenatih und, I-ogik, Leipzig, rgz7.
Entscheidungsproblem und Logik der Beziehungen. Jben Math.
Ver.36, rgz8.
Zu den Widersprtichen der Logik. . . . Ibet. Math. Ver.40, r93r.
Sind die mathematischen Urteile analytisch oder synthetisch?
Erk,4, rgg4.
Bernays, P., 96, 97, r73'
lJntersuchungen
-fAussagenhalh2{l Axiomatische
kalkuls der Principia Mathematica, Math. ZS'
With Schonfinkel: Zum Entscheidungsproblem
tischen Logik. Math. Ann. gg, tgz8'
[Fhitosophie] Die Fhilosophie der l\llathematik und
Beweistheorie. Bl.f. dt. Philos.4, r93o.
See also Hilbert.
335
des Aussagen25, tgz6.
der mathcmadie Hilbertsche
Black, M.
The Nature of Mathematics. London, 1933.
Blumberg, A. E. and Feigl, FI.
Logical Positivism. Journ. of Philos. 48, r93r.
Borel, E.
Legons sur la ThCorie des Fonctiom. 3rd ed. Paris, 1928.
(Appendix: Discussion between R. Wavre and P' Ldvy on
intuitionist logic, reprinted from Reoue MCtaphys' 33, 19z6.)
Br6al, M,, 9.
Bridgman, P. W.
The Logic of Modern Physics. New York, 1927.
tA Physicist's Second Reaction to Mengenlehre- Scripta Math.
z, rg34 (cf. Fraenkel fDiagonplaerfahtenf).
Brouwer, L. E. J., 46ff., r48, 16r, 222, z69,28r,3o5. (See also
Inuitioni.sm.)
BulI. Atner. Math,
and Formalism.
llntuitionismf Intuitionism
,Soc.20' r9r3'
Intuitionistische Mengenlehre. Jber. Math' Ver- 28, rgzo.
Intuitionistische Zerlegung mathematischer Grundbegrttre- Jbet.
Math. Ver,33, 1925.
Uber die Bedeutung des Satzes vom ausgeschlossenenDritten.. . .
Joum. Math' r54, 1925.
Innritionistische Betrachtungen iiber den Formalismus. Ber.
Akad.. Berlin, Phys.-math. Kl., rgz8.
fsprachef Mathematik, Wissenschaft und Sprache. fuIonatsh.
Math. Phys' 36, r.929Btthler, K., 9.
Cantor, G,, r37 f,, 267 f ,, z7o'
Carnap, R.
(now Meiner,
LAi\baul Der logische Aufbau der Welt' Berlin
Leipzig), ry28.
Scheinproblerne in der Plt'ilosophie. Da1 Ftemd'
lScheinyioblernel
'
ptytiitrht und du Rialismusstreit. tserlin (now Leipzig),.1928'
Abriss der Logistik. (Schr. z. wiss. Weltauff') Vienna,
tfisktihl
r929.
Die-aite und die neue Logik. Etk. t, r93o' (French transl"
L'Ancienne et la Noutelle Logique. Paris, r933')
336
BTBLTOGMPHY AND INDEX OF AUTHORS
BTBLTOCRAPHY AND INDEf, OF AUTHORS
Camap,R.
lAxiomatih] Bericht tiber Untersuchungen zur allgemeinen
Axiomatik. Erh. r, rg3o,
Die Mathematik als Zweig der Logik. Bl. f. dt. Philos. 4, rg3o.
lLogizismusl Die logizistische Grundlegung der Mathematik.
Erh. z, rggt.
fMaaphysihl Uberwindung der Metaphysik durch logische
Analyse der Sprache.Erh, z, 1932. (French transl.t La Scimce
et la MCtaphysi.que.Paris, 1934.)
lPhys. Sprachel Die physikalische Sprache als Universalsprache
der Wissenschaft.Erh.2, tg3z. (English transl.: The Unity oJ
Science.(PsycheMin.) London, 1934.)
fPsychol.l Psychologiein physikalischer Sprache. Mit Erwiderungen. Erh.3, rggz.
fProtohotlsdtze]Uber Protokollsltze. Erk. 3, rg3z.
On the Characterof Philosophic Problems. Philos. of Scicnce,r,
1934.
LogischeSynta* der Spruche. (Schr. z. wiss. Weltaufr.) Vienna,
1934. (The original of this book.)
Die Aufgabe der Wissenschaftslogih.(Einheitswiss.) Vienna,
1934. (French tranel.: Lc hobllme de la Logige de Science.
Paria,1935.)
lAntinomiml Dio Antinomien und die UnvolletAndigkeit der
Mrthemrtik. Monatsh,Math, Phys.4r, 193,4,
lGilltighcitthitcriunf Ein Gultigkcitskriterium for die Sutzc der
klaseiachcn
Mathematik. Monatsh.Math. Phys,42, r93S.
*Philosophyand Logical Syntax. (PsycheMin.) London, 1935,
rFormalwiseenechaftund Realwie'senschaft.,
Erh, 5, rg35,
*Les ConceptsPsychologiques,.
. . Reo. Synth)se,ro, r9j5.
With Bachmann, F., rUber Extremalaxiome. Appearing in l
Erh.6, 1936.
*Testability and Meaning. Appearing in : Philos. of Science,g, r 936.
Church,A., 16o.
A Set of Postulatesfor the Foundation of Logic. Ann. oJ Math.
33, rg32i 34, 1933.
*The Richard Paradox. Amtr. Math. Monthly,4r, 1934.
*An UnsolvableProblem of ElementaryNumber Theory. amer.
Joum. Math.58, 1936.
Chwistek,L,, g, ztg, z4S, 246,249.
Uber die Antinomien der Prinzipien der Mathematik. Math. ZS.
14, 1922.
Sur les Fondements de la Logique Moderne. Atti V. Congr.
fntern. Filos. (rgz4), 1925.
Neue Grundlagen der Logik und Mathematik. l, Math. ZS.3o,
rgzg; ll,34t 1932,
[Nom. Grundl.] Die nominalistische Grundlegung der Mathematik. Er&. 3, 1933.
337
Chwistek, L.
With W. Helper and J. Herzberg: Fondements de la Mdtamath€matique rationell€. Bull. Acad. PoI., Sdr. A: Math., tg33.
As above: Remarques sur la.,.M€tamath€matique
rationelle.
Loc. ci.t.
Curry, H. B.
An Analysisof LogicalSubstitution.Amer.Joum.Math. 5r , rgzg
Grundlagen der kombinatorischen Logik. Amer. Journ. Math.
52, r.93o.
Apparent Variables from the Standpoint of Combinatory Logrc.
Ann.,of Math. 34, 1933.
'Functionality in Combinatory Logic. Proc. Nat. Acad, Sci. zo,
r934.
Dedekind,R., r32.
Wassind.utd wassollendie Zahlen? Brunswick, 1888.
Dubislav,W.,44.
[Analyt.] Aber die sog. analytischen und synthetischen Utteile.
Berlin, r9a6.
Zur lralLtilmiissigenCharakterisierung der Definitionen. Ann.
Philos.7, 1928.
Elementarer Nachweis der Widerspruchslosigkeit des Logikkalkiile. Journ. Math. r6t, rgzg.
Die Definitioa. Leipzig,3rd ed., r93r.
Die Philosophieder Mathcnatih in do Gegentuafi. Berlin, 1932.
Natrrphilosopira. Berlin, 1933.
Duhem, P., 3r8.
Dtlrr, E.
[Leibtiz] Neue Beleuchtmg eincr Theoie von Leibniz. Darmstadt,
r930.
Einstein, A,., r78, gz8.
Feigl, H.
*The Logical Character of the Principle of Induction. Philos. ot
Sci.t, 1934.
*Logical Analysis of the Psycho-PhysicalProblem. Philos. of Sci.
r, 1934.
See also Blumberg.
FraenkelA, ,r 97 f., 16z,zrg, 267ff,, 27o, 274, 275, 335.
fUntusuchungm] Untersuchungen tiber die Grundlagen der
Mengenlehre. Math, ZS. zz, rgz5,
ZeIm Vorlesttngmiiba die Grwdlegung der Mengnkhre, l*ipzig,
1927.
fMengenlehrelEinleitung in d.ieMengenlehre. Berlin,3rd ed., 1928.
Das Problem des Unendlichen in der neueren Mathematik.
Bl. f. dt. Philos. 4, \93o.
SL
338
BIBLIOGRAPHY AND INDD( OF AUTHORS
Fraenkel,A.
Die heutigen Gegens[tzein der Grundlegung der Mathernatik'
Erh. t, rg3o,
tsur la Notion d'Existence dans les Mathdmatiques- Enseign'
Math.34, rgg5,
*Sur I'Axiome du Choix. Loc. cit.
*fDiagonaloerfabm] Zum Diagonalverfahren Cantors- Fand'
Math.25, t935.
Frank, Ph., z8o f.
Was bedeuten die gegenwdrtigenphysikalischen Theorien fiir die
allgemeineErkenntnislehre? Natunttiss.17' rg2gi also in: ErA'
I, rg3o.
DasKausafuesetsutd seine(irenzen. (Schr. z. wies'
lKasilsaazl
1934.
Vienna'
Weltauff.)
Frege,G., 44r 49,99, r34, 136ff., r43, r44, r58, r97 2o3,259,
295,!25fr,.
Begriffsschrift. Halle, 1879.
(New
l@undtagml Die hndlagm der Aithmetih. Breelau, 1884.
cd. 1934.)
l3nmd1ietrcl Gttndgcsettc dq Aithmetih. Jena, I, 1893; II,
r903.
lZahtml AUr a;c Zahlar desHan H. Schuhert- Jena, 1899.
GlnchcnbcrEer, R.
Karlsnrhe, rgzo'
Symbola. Anfangsslflnde
-Ftatdimnte einq Ethntntnistheoic.
des Wissens-Eine Absage an die Philo'
die
irirh*,
soPhie, Stluttgatt' rg32Gentzen, G.
fDie Widerspruchsfreiheit der reinen Zahlentheorie' Math'
Ann. ttz, 1996.
$Die Widerspruchsfreiheitder Stufenlogik. Math. ZS.4r, tg36'
Glivenko, Y., zz7.
Gddel, K,, 48, 55, 96 f., 99, r@, 1016f.,r2gr r3o' r3r fr., t34, r3g,
t6o, t7g, t89, tg7, 2og, 2rl' 219, 227t 2So.
Oie VoUstZinaigiieitder Ariome des logischen Funktionenkalkiils.
Monatsh.Math. PhYs.37, r93o.
unentscheidbare Setze der Prin$bt f;;al
lUnen*cheidbare'i
'
cipia Mathematica und verwandter Systeme' l' Moru*h'
Math, Phys.3t, r93r.
lKohoqriunj V"tiottJ notes in: Eryebn. e' nath' Kolloquiuns
(K. Menger). Vols. r-4, r93r-33.
K. and Nelson, L., ztr fr.
Grelling,
b"*Jit rttgen zu den Paradoxien von Russell und Burali-Forti'
Abh. d. FriesschenSchule,N.F. z, r9o8.
BIBLTOGRAPHY
ANDrNDEr OFAUTHORS
339
Hahn, H., z8o.
lWiss. Welnqfi.l Die Bedeutung der wissenschaftlichenWeltaufiassung,insbes. filr Mathematik und Physik, Erk. t, rg3o,
Logih, Mathematih und.Naturerhennen (Einheitswiss.) Vienna,
r933.
Helmer, O.
*A$omatischer A4fbau der Geometriein formalisiefier Darstellung.
Diss., Berlin, r935.
He'npel, C. G., 3r7.
*Beitdge zur logischenAnalyse des WahrschcinJithhzitsbegriffes,
Diss., Berlin, 1934.
rAnalyse Logique de la Psychologie. Reu. S3mthlse,ro, 1935.
rUber den Gehalt von Wahrscheinlichkeitsaussagen. Erh.
5,
r935.
tDu
With P. Oppenheim.
Typusbegrifi im Lichte der neuen
Logih. Leyden, 1936.
Herbrand,J., 53, r34, r73.
Recherchessurla ThCoriede la DCmonsttation Thdse Fac. Sciences
Paris (Nr. zrzr, s6rie A, rz5z), r93o. Also inl. Traoaux Soc.
Sciences
Varsozth,Cl. rrr, Nr. 33, r93o.
fNon-Contrad.l Sur la Non-Contradiction de l'Arithmdtique.
Jown. Math. 165, r93r.
Sur le Probl0me fondamental de la Logique mathematique.
Varcovier24, Cl. III, r93r.
C.R. Soc. Scienccs
}Iet.tz,;P.,275.
fAxiom.llJber Axiomensysteme fi,ir beliebige Satzsysteme. Math.
Arm. l.ot, r9zg,
Vom Wesen des Logischen,. . . Erh, z, rg3z.
Herzberg, J. See Chwistek.
Hetper, W.
tSemantische Arithmetik. C.R. ,Soc.SciencesVarcovie,27, Cl, ur.
r934t
See also Chwistek.
Heyting, A., 46 ff., 166, zog, 222,227, 245,246,
"4gf.Logtk. BeL
lLogrhl Die formalen Regeln der intuitionistischen
Ahad. Berlin, r93o.
LMath.T Die forsralen Regeln der intuitionistischen Mathematik.
l, ll. Loc. cit.
Die innritionistische Grundlegung der Mathelhndlzsungl
matih. Erh.2, r93r.
Anwendung der intuitionistischen Logik auf die Definition der
Vollstiindigkeit eines Kalkiils. Intem. Math.-Kongt. Zltrich,
1932.
rMat:hemathche Gnndlaget{orschung, fntuitionismus, Beweistluoric. (Erg. d. Math., III, +.) Berlin, rgra.
22-2
34o
AND INDBXOFAUTHORS
BTBLToGRAPTTY
Hilbert, D., g, r2, r9, 35r 36,44f., 48,49,79,911,99,r04, r2t f.,
r4o, r47, r58, 160, 173, r8g, rgTt ?o3t 2-44,259,2721 274,
32'5,9"7,
"8rr
Geom.'J Grundlagen dq Geonetrie. Leipzig 1899.
[hntdl.
7th ed. r93o.
AxiomatischesDenken. Math. Ann.78, r9r8.
Neubegriiurdung der Mathematik, Abh. Math. Sern.Hamburg, t,
r 9, .
[Gwrdl. r9a3] Die logischen Grundlagen der Mathematik.
Math. Ann.88, r9a3.
luneftIliclel Uber das Unendliche. Math. Atm.95, 19z6.
Die Gnrndlagen der Mathematik. Mit Bemerkungen von Weyl
und Bemays. Abh. Math. Setn.Hanbutg,6, 1928,
With Ackermann: Ilneihl Cnnas$e der theoretisclen logih.
Berlin, r9a8.
Proble,ureder Grundlegung der Mathematik. Math, Ann. ro2,
r930.
fGrundl. r93rl Grundlegung der elementaren Zahlenlehre.
Math. Ann. ro4, r93r.
lTmiunt] Beweis des Tertium non datur. Nachr. Ges. Wiss.
Gdtthgm, math.-phys.Kl., lggr.
With Bernaye: rffundl. rgg4l Grundl4m det Mathematih. L.
Bcrlin, 1934.
Hume, D., z8o.
Huntington, E. V.
Sete of Independent Poetulatesfor the Algebra of,Logic. Ttans.
Amq. Math. Soc.5, r9o4.
A New Set of Poshrlatesfor Betweennese,with Proof of Complete
Independence. Trans. Amer. Math. Soc.26, tgz4.
A New Set of Independent Posnrlatesfor the Algebra of Logic,
udtl Special Reference to Whitehead and Russell's Principia
Matlrematica. hoc. Nat. Acad. Ser'.t8, 1934.
Husserl,8.,49.
Jaskowski, St.
*On the Rules of Suppositionsin Fomtal lognc. (Studia Logica,
Nr. r.) Warsaw, 1934.
Jdrgensen,J., zS8, 335.
fTreatisef A Treatise of Fonul Logic. Ix Evolutiott and Main
Brancles ruith itl Relation to Mathe*utics and Philosoplry.
3 vols. Copenhagen,r93r.
lZielel lJber die Ziele und Probleme der Logistik. Erh. 3, rggz,
Kaufrnann,Felix, 46, Sr f., r39, 16r, 165.
[Unmillichc) Das Unendlidu in det Matletntik wd seine Aussclalumg. Vienna, r93o.
lBenerhn4en] Bemerkungenzun Grundlagenstreit in Logik und
Mathenratik. Erh. z, rggt.
BIBLIOGRAPITY AND INDEI( OF AUTHORS
34r
Kleene, S. C.
*A Theory of Positive lntegers in Formal Log1c. Amo. jam.
Math. 57, rg3g.
With Rosser, J. B. *The Inconsietency of Certain Forsral
Logics. Atm. of Math. 36, 1935.
Kokoszynska,M.
*tWahrheitl Uber den absoluten Wahrheitsbegriff und einige
anderesemantischeBegriffe. Erh.6, tg36.
Kronecker, L., 3o5.
Kuratowski, C. See Tarski.
I;angford, C. H. See Lewis.
Leibniz,49.
LeSniewski,St, 24, 16o.
lNeues Systeml Grundzitge eines neuen Systems der Grundlagen
der Matlrematik. Fund. Math. 14, rgzg.
fOntologiel Uber die Grundlagen der Ontologie. C.R. Soc.
Sciences
Varsoo'ie,23,Cl. rrr, rg3o.
[Dffitionen] Uber Definitionenin der sog.Theorie der Deduktion. Ibid.24, Cl. rrr, r93r.
I#vy, P. See Borel.
Lewis, C. I., ra, 2og, 223f ., z3z, z4S,
zsz, 253f,.,zS7 f..,
"46,2So,
275,z8t, gg5.
fSuntqf A Suroq of Symbolic Logh. Berkeley, r9r8.
Alternative Systemsof Logic. Monist,42, rg3z.
With Langford, C. H. z fLogic) SyrnbolicZogdc. New York and
London, r93a.
tExperience and Meaning. Philos. Reoiew, 43, rg34.
Ldwenheim, z7o.
Lukasiewicz,I., 9, 96, 16o, z5o,254.
With Tarski: fAussagenkalhr)/]Untersuchungen iiber den Aussagenkalk{il. C.R.
SciencesVarsovie,zg, Cl. rrr, r93o.
^9oc.
fMehrwenigel Philosophische Bemerkungen zu mehrwertigen
Systemendes *A,ussageniralkiils.
Loc" cit.
MacColl, a54.
Maclane, S.
tAbgekilrzte Bewehezutn Logikkalhrll. Diss. Gdttingen, 1934.
Mannoury, G.
*Die signifischenGrundlagen der Mathematik. Erk,
4, t934.
Menger, K.r 52.
Bemerkungenzu Grundlagenfragen(especiallyII: Die mengentheoretischenParadoxien). Jber. Math. Iler.97, rgz8.
llttuitionismusl Der Intuitionismus. BL f. dt. Philos. 4, rg3o.
Die neue Logik. In: Kise und Neuaufbauin denexaktm Wissmschzftm. Vienna, 1933.
34"
BIBLrOcMpny ANDINDEKOFAUTHORS
Mises, R. v., r49.
Wafuscheinlichkeit, Statistih und Wahtheit (Schr. z. wiss.
Weltauff.) Vienna, 1928.
-.
Uber das naturwissenschaftliche Weltbild der Gegenwart.
Naturaiss,19, r93r.
Morris, C. W.
The Relation of Formal to Instrumental Logic. In Essaysin
Philosophy, ryzg.
*The Conceptof Meaning in Pragmatismand Logical Positivism.
Proc. Sth fntem. Congt. Philos. (rSS+). Prague, 1936.
Nagel, E.
*Impressions and Appraisals of Analytic Philosophy in Europe.
Joum. of Philos.33, 1936.
Nelson,E. 1.,254,257.
LlntentiorcIl Intensional Relations. Mind, gg, rg3o,
Deductive Systems and the Absoluteness of Logic. Mind, 42,
r933.
On Three Logical Principles in Intension. Monist, 43, rg3g.
Neumann,J. v., 96, 98, r39, r47, t66, r73.
lBeweisth.fZur Hilbertschen Beweistheoie. Math. ZS.26, rgz7,
Die formalistischeGrundlegung der Mathematik. Erh. z, rg3r.
Neurath, O., 28o, z8r, z8g, z86,3zof.
With others : [Wiss. Weltauf.f Wissatsclnftliclu Weltaufiasnmg.
Der Wimet Krels. (Ver0ff. d. Vereins Ernst Mach.) Vienna,
r929.
[Wege] Wege der wissenschaftlichen Weltauffassung. .E'rft. r,
r930.
Empiische Soziologie. Det wissmschaftlichcGehalt dq Geschichte
und Nationaldkonomie.(Schr. z. wiss. Weltauff.) Vienna, r93r.
[Physicalisml Physicalism. The Philosophy of the Viennese
Cfucle. Monist, 4r, rggr.
[Physihalismus]Physikalismus. Scimtia, 50, r93 r.
lSoziol. Pftys.l Soziologieim Physikalismus. Erh.2, rg3r.
lProtokollsritzelProtokollsiitze, Erh. l, 1932.
lPsychot.l Einheitstt;issanscluft nd Psychologie. (Einheitswiss.)
Vienna, 1933.
rRadikaler Physikalismusund "wirkliche Welt,'. Erh,
4, rg35.
*Le Dheloppantentd.uCercledz Vienneet l'Aoenir de t, Empiriiime
logique. Paris, 1935.
Nicod, J.
A Reduction in the Number of the Primitive Propositions of
Logic. Proc. Carnbr.Phil. Soc.rg, rgr7.
Ogden, C. K. and Richards, I. A.
The Meadng of Meaning, -4 Study of the Inflilence of Language
upon Thotqht and of the Scienceof Sytttbolim. London, r93o.
Oppenheim, P. SeeHempel.
BIBLIOGRAPHYAND INDH( OF AUTHORS
3+3
Parry, W. T., 254,257.
-l*ittt.l
-ilre. e. math. Kolloquiums (ed' bv Menger)'
Noies-ii
1933'
Heft 4'
P e a n o ,G . , 3 r f . , 4 4 , 9 7 , 9 9 , r 4 4 , r 5 8 , t6 6 , zr z'
Noiationi de Logiqte ,nath4rrratique. Turin, 1894'
de Maih&natiqres' Turin (1895), r9o8'
Fffiulaire
[f-*nt";tt'J
Ch. S.
Peirce,
- Coi"rtra Papers. Ed. by Ch. Hartshorne qd P' Weiss' 5 vols'
Cambridge, Mass. r93r ff. (Especially Vols' z-4')
A. and Saarnio, U.
Penttilii,
*Ei"ii"
grundlegende Tatsachen der Worttheorie" ' ' Eth' 4'
r934.
Poincar6, H., 46, r6t, z69, gt8.
Wissensch.tftund Hypothese. Leipzig (r9o4), r9r4'
Wissenschaft utd' Methoile. Leipzig, t9r4'
lGedanhnf Letzte Gedanhen. Leipzig, r9r3'
K.r 3r7r 3zt.
Popper,
|-Z"ein aripLrirn""s'
Zut Erhenntnistheoie der modetnm Naturulissenschaft. (Schr. z. wiss. Weltauff') Vienna' 1935'
-Post, E. L., zo8.
a General Theory of Elementary
ll"troauitl.on] Introduction to
Propositions. Amer, Journ' Math' 43, r92r'
M.
-UU*
-Presburger,
ii" V"llsthndigkeit eines gewissen Systems der Arithmetik' ' ' '
Congr. Math. Wanchau (rgzg), r93o'
W. V'' r9o.
Quine,
- *lsystem)
A Systen of Logistic., Cambridge, Mass', 1934'
*bitological Remarks on the Propositional Calculus' Mind, 43'
r934'
tToliards a Calculus of Concepts- Journ. Symbol' Logic,t, 1936,
riruth
In: Philosophical Essays for A' N'
by Convention.
Whitehead, edited bY O' H' Lee, r936'
*l iheory of Classes-Presupposing No Canons of Type' Ptoc'
Nal Acad' Sci- zz, 1936,
*Definition of Substitution. BuIl- Amer' Math' Soc' 42, ry36'
*Set-Theoretic Foundations for Logic. Joutn' Synbol' Logic, t'
r 936.
F' P., 5o, 86, rr4, 2llf',-2-r3, z8g,3zt'
Ramsey,
"
fou"a"tions of Mathematics, and Othet Logical
F"r;;d";t""tl"fn
Essays'London, r93r.
Reichenbach,H', 78, z8t, gtr,3r7'
Raum-Zeit-Lehre.
det relatioistischm
Axiomatik
LA*iomatikl
Brunswick, r9z4'
Z eit' Lehre' Berlin, 1928.
lPhilosophiel Philosophie der Raum'
34+
AND INDEX OF AUTHORS
BTBLTOCRAPHY
Reichenbach, II.
fWabseheinlichheitslogihf
Bnlin,29, 1932.
*Wahrscheinlichkeitslehre.
Wahrscheinlichkeitslogik.
.
Bet
Ahnd.
Eine Untersuchung ilber die logischen
und mathematis chen Grundhgm dq Waht scheinlichheitst echmng.
Leyden, 1935.
Richard, I,r 2t3,2tgt
222, z7o.
Richards, I. A. See Ogden.
Rosser, J. B.
*A Mathematical Logic without Variables. l. Ann. of Math,36,
, 1935. lI. Duke Math. lourn. r, 1935.
See also Kleene.
Rostow, A,,, zrg.
Der Liigna. Theorie, Geschichte und Aufl.dnnq.
1 9ro .
Diss. Erlangen,
Russell, 8., rg, zz, 35, 44f ,, 47 ff., 49 ff., 86, 96f ., gg, r34, 136 fr.,
r4o, r43, I44f., rS8, r60, 162, r64f., t73,t89, rg2, rgS, r97,
2o3, 2rr f ., 2gr, ru, a4s f ., z4g, 251a35, 257 f ., z 59 f ., z6t,
z8 r, zgr,2 93 , z gS, r z 1f . , 327.
lhinciplas) Tha hinciltlcs of Mathamatics. Cambridgo, r9o3.
Thc Thoory of Implication. Amal Joun. Math. r8, r9o6.
With Whitchcad: [F.rhc. Math,] hincipia Mathanutica, I (r9ro),
t9z5; II (r9rz), tgzT; lll (rgtg), rgz7,
Our Knowlcdge of the External World. New York, r9r4.
lMath. Phil.l Introduction to Mathetnatical Philosoplry. rytg.
flntrod. Wiltg:.1 r9zz. See Wittgenstein.
S chlick, M., 5r, ror, 28o f . , , z i4, 3r o, 32r .
Allgeneine Erhenntnislehre. Berlin (1918), and ed. r9a5.
IM etaphy sik] Erleben, Erkennen, Metaphysik. Kants tud. 3r, r 9z6,
LWndel Die Wende der Philosophie. Erh, r, r93o.
fKausalitdtf Die Kausalitiit in der gegenwirtigen Physik. Nahnuoris.19, r93r.
fPositioinnusf Positivismus und Realismus. Erh. ?, 1932,
*fFtmdamentf Uber das Fundament der Erkenntnis. Erk.4t 1934.
*Meaning and Verification. Phihs. Reaiea4
45, 1936.
Scholz, H.,258, z6o.
fGeschichtel Geschichtedn Logih. Berlin, r93r,
With Schweitzer, H.: *Die sog. Defi.nitionen durch Abstrahtian,
(Forsch. z. l,ogistik, No. g.) Leipzig, 1935.
Schdnfinkel, M.
Uber die Bausteine der mathematischen Logik.
r924.
See also Bernays.
Math. Ann. gz,
BIBLIOGMPHY
AND INDEX OF AUTHORS
Schrdder, 8.,44, r58.
Vorhstngen ilber dic Algebra ds Logih (exahte LoC;h\.
I*ipzig, r89o-r9o5.
345
3 vols.
Shefier, H. M.
A Set of Five Independent Postulates for Boolean Algebras.
Traw. Amcr. Math. Soc. 14, 1913.
Mutually Prirne Postulates. BuIl. Amer. Math. Soc. zz, tgr6.
Skolem, Th., z7o.
ilber
lJntersuchungen
Logisch-kombinatorische
tErfallba*zitJ
die Erftitlbarkeit oder Beweisbarkeit mathematischer Siltze.
Vidcrgk. Shr. Kristbnia, r9zo, No.4.
Begriiuedung der elementaren Arithmetik durch die rekurrierende
Denkweise.. .. Vidensh, Skr. Kristiania' 1923' No. 6.
Sht- Norshe
Uber einige Grundlagenfragen der Mathematik.
Viil.-Ahad. OsIo. I. Mat. Nat.I(/. 1929, No. 4.
Tarski, A,, 32, 7o, 89, 96 f,, 16o, t67, r7z, r73, r97, zoo, 2o4, zo8,
2o9,275.
Sur le Terme Primitive de la Logistique. Fund. tulath. 4, t923.
Sur leo Truth-Functions au Sens de MM. Whitehead and Rusgell.
Frnd. Math.5, 1924.
C.R.
Uber einige fundamentale Begtiffe der Metamathematik.
Soc. SciencesVarotie, zS, Cl. rII, r93o.
lMethodologiel Fundamentale Begriffe der Methodologie der deduktiven Wissenechaften. I. Monatsh. Math. Phys. 37, rg3oSur les Ensembles ddfinissables de Nombres r6els. l. Fund.
Math, 17, rg3r.
With Kuratowski, C.: Les Opdrations logiques et les Ensembles
projectifs. Fund. Math, 17, rggr.
lWahrheitsbegriffl Der Wahrheitsbegriff in den Sprachen der
deduktiven Disziplinen. Anzeigu Ahad. Wim, 1932' No. 2.
(Note on a Polish treatise; German translation: [Wahrh.])
fWidzrspruchsfr.l Einige Betrachtungen iiber die Begtiffe der
Mona*h.
cr-Widerspruchsfreiheit und der orVollstiindigkeit.
Math, Phys.40, 1933.
rEinige methodologische IJntersuchungen iiber die Definierbarkeit der Begriffe. Erk.5, t935.
oGrundziige des Systemenkalkols. I. Fund. Math' 25, 1935.
tfWabh.f Der Wahrheitsbegriff in den formalisierten Sprachen.
Stud. Philos. r, r936.
See also Lukasiewicz.
Vienna Circle, 7, 44,28a,282, 3ogr 32r f. See also Carnap, Fei5f,
Frank, Gddel, Hahn, Neurath, Schlick, Waismann.
'Waismann, F.,
3ar.
Die Natur des R.eduzibilifiilsq'isms.
ry28.
Monatsh. Math. Phys.35,
346
BrBLrOcMprry ANDrNDBXOFAUIHORS
Waismann, F.
fWahrscluinlichfta'tl Logisctre Analyse des Wahrscheinlichkeitebegriffee. Erk. r, tg3o.
rUber den Begdff der Identitiit. Erh. 6, 1936.
Wajsberg, M.
Uber Axiomensysteme des Aussagenkalk0ls. Morauh. Math.
Phys. 99, tg3z.
Bin erweiterter Klassenkalk&l.Monatsh. Math. Phys.40, r933j
Untersuchungen itber den FunktionelLelLiil ftlr endliche Individuenbereiche. Math. Atm. r;o/d.,rg3g.
Beitrag zut Metamathematik. Math. Atm, ro9, 1933.
*Beitrdge zum Metaauesagenkalkiil. Monatsh. Math, Phys.
4t,
r934.
Warsaw logicians, 9, 160, 28r. See also Ledniewski. Lukasieuricz,
Tarski.
'Wavre,R. See Borel.
'Weiss,P., z5E.
Tlu Natute of Systetns. (Reprinted ftorlr Monist.) ry28.
T\vo-Volued Logic, another Approach. Erh. z, rg3r.
Wayl, H., 46, 99, r48, rt6, 3o5.
lKontiauumf Dat Kontinuum. Lcipzig, r9r8.
Ubor dio neuero Grundlagcnkrigeder Mathematik. Math. ZS.
lo, r g2r .
Dle hcutigc Erkcnntnislagein der Mathematik. Sympos.r, rgz1.
(Also publiehed ecparately.)
Philosophie der Mathematik und Naturwigsenechaft. Part I.
In: Handb. d. Philos., ed. by B[umler and Schr0ter, Munich,
1926. (Also published separately.)
Whitehead,A. N., 44, 99, r58.
Metaphysicsand Logic of Classes.Monist, 42, rg3z.
See also Russell.
L.,44,46, 49fr., Sr f., 53, ror, r3g, r4o, 16r, 186,
Wittgenstein,
rgg, 245f ., 2',o, 282fr., 2gSf.., 3o?, 3o4, 3o7, 32r f .
lTractatusl Tractahts Logico-Philosopftz'czs.With introd. by
B. Russell. London, tgzz.
Zerrnelo,8., 93, 97.
Untersuchungen tlber die Grundlagen der Mengenlehxe. Math.
Ann.55, rgo8.
INDEX OF S U BJ EC T S
areindicated
lhe Twmbosrcfu topages.Themostimporta.npassages
by blachtype.-
Abbreviation''
,l=SJltfi:f LffiEHg:
L
=
G
General Svntai
A
L, see Exptessiott
c, eee Symbol
Abbreviation, r57 f.
Accent-,Actented expression,I: r3,
a6; lI: nz
2[tu, see Exlressional function
{!, see Expresionat jtancuorh
Aggregate, see C/ass
Aggregates,Theory of, II: 83, 86,
g7 f., r38; G: zzr,267
,
Analytic, I : 28, 39 f,, 43 ; II : roo f,,
trrf., rz4, r3zf.; G: rEzff.
Antinomy, 3, r37 f., ztt fr,,, zt7 fr .,
22r
[tg,
Argument,
Argument-expression,I: z6; II: 8r, 87f.;
G: rE7ff.
Argument, Suitable, G: r88
Arithmetic, I: 3of., gg; ll: 97,
r34; G: 169, 2o5fr., 22off.,
3o4 f., 3a5 ff.
Aritlrmetization , 54 fr,, 57, 79
Atomic sentence,II: 88
Autonymous, 17, rS3, 156 f., 16o,
2,37,238,247 f,
Autonymous mode of speech, see
Mode
Axiom, see himitfue
sentencc,
Pr;nciple
Axiom-system,G: 274f.
Axiomatic method, systern, 76,
78 ft., z7r fr..
Axiomatics, 274 f.
B
Based,63, 68, 7a
Behaviourism, 3a4
c-,
Bonnd(o),I: 2r,66;l[:87;G:
Bracket, r5, 19
r9r
c
r72ft.,
Consistent,G: zo7,275
Constant,I: 16; II: 84; G: t94
Content, l: 4z; ll: no3 G: tJJ f.
Continuum, 3o5
Contra-class,-sentence,G : zoo,?o3
Contradiction, r37, 2gr, 297, 3o4i
see elso Antinomy, and, hinciple of
Contradictory, I: 28, 3gfi., 44;
II: rrr f,, rz8; G: t&z, zo7,
275
Contravalid, G : t74, 275
Convaluable. II: ro8
Convcrse, 264
Co-ordinate, rz
Co-ordinates, Language of, 12,45
wotrelate,222
Correlated syntacticsl sentcnce,
234, 235
Correlation, Syntactical, zzz
Correlative definition, 7, 78, 79
Correlator, G: 265

Download Report