[Explanation of Bibliography]

Source: The Journal of Symbolic Logic, Vol. 1, No. 4, A Bibliography of Symbolic Logic (Dec.,
1936), pp. 121-123
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/2266163 .
Accessed: 11/06/2014 03:03

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 of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of 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 The
Journal of Symbolic Logic.

http://www.jstor.org

This content downloaded from 195.34.78.148 on Wed, 11 Jun 2014 03:03:52 AM

All use subject to JSTOR Terms and Conditions
THE JOURNAL OF SYMBOLIC LOGIC
Volume 1, Number 4, December 1936

A BIBLIOGRAPHY OF SYMBOLIC LOGIC

ALONZO CHURCH

There is presented herewithwhat is intended to be a complete bibliog-

raphy of symboliclogic forthe period 1666-1935 inclusive.
In the compilationuse has been made ofexistingbibliographies,including
those in Venn's Symboliclogic, Schroder's Vorlesungenuber die Algebra der
Logik (vol. 1 and vol. 2 part 2), Lewis's A survey of symbolic logic, the Royal
Society index, the International catalogue of scientificliterature,and the
bibliographical journals, Jahrbuch uber die Fortschritteder Mathematik
and Zentralblattfur Mathematik und ihre Grenzgebiete, as well as many
bibliographiesof special authors or spe-cialsubjects. In addition many titles
have been included as a resultof search throughbound volumes of journals,
or fromreferencesfound in the literature,or frominformationsupplied by
authorsthemselvesor others.So faras possible the originalwork(or a reprint
of it) has been consultedin each case beforeits inclusionin the bibliography.
In a numberof cases whereit has proved to be verydifficultto obtain a copy
of the original work, titles have been included on the basis of what was be-
lieved to be good authorityas to existence and content,checking,however,
one source of informationagainst anotherin orderto avoid the reproduction
of typographicaland othererrors.
It has been the intentionto confinethe bibliographyto symbolic logic
proper as distinguishedfrompure mathematics on the one hand and pure
philosophyon the other.The line is, of course,difficultto draw on both sides,
and perhaps has not hereinalways been drawn consistently,but the attempt
has been necessaryin orderto keep withinreasonable limitsof length.
By symboliclogic is understoodthe formalstructureof propositionsand
of deductive reasoninginvestigatedby the symbolicmethod.
Works on traditional,or Aristotelian,logic are, however,omitted unless
theycontain application of,or appear to have some especial bearingon, those
parts of formallogic whichare moreusually describedas symbolic.But many
discussions of logical questions which have a definitelyfoundationalcharac-
ter are included even when they make no use of symbolsother than words of
the English, or another, language. Included in particular are treatises on
foundationalquestions connectedwith the axiom of choice, on the paradoxes
of which Burali-Forti's and Russell's are typical, and on Intuitionismand
related topics.
Included also are foundationalinvestigationsof proofby recursionand of
definitionby recursion.But mathematicaltreatmentsof the transfinite cardi-
nals and ordinals and similar topics in the theoryof sets are omitted unless
some especial relationshipappears to symboliclogic. The Zermelo axiomatic
set theoryis included.
Works on Boolean algebra and closelyrelated topics are included. Works
121

This content downloaded from 195.34.78.148 on Wed, 11 Jun 2014 03:03:52 AM

All use subject to JSTOR Terms and Conditions
122 ALONZO CHURCH

on postulate theory (discussions of independence, etc.) are omitted unless

they have some other claim to inclusion.
Omitted furtherare mathematical treatises in which use of the notations
of symbolic logic is merely an abbreviation, or occurs only incidentally. The
test is substantial use, explicit or implicit, of formal criteria of inference, so
that the symbolism becomes a calculus rather than a mere shorthand.
Discussions of logical diagrams, such as those of Venn and Peirce, are in-
cluded when there is thought to be some relevance to symbolic logic. Discus-
sions of logical machines are omitted.
In a few instances publications have been included for the sake of their
relationship to other work by the same author, or even by another, when they
would have been omitted if they stood alone.
Brief abstracts are in general omitted. Reviews are included if of some
length and if the work reviewed falls squarely and definitely within the field
of symbolic logic.
Translations and later editions are listed so far as known to the compiler.
Offprintsof articles in journals, made at the same time as publication of the
journal are, however, not separately noticed.
The bibliography is arranged by authors. The authors are arranged chron-
ologically, according to the date of their firstpublication in the field, and the
publications of each author are arranged chronologically among themselves.
In cases, however, where several publications were made in the same year
there has been no systematic attempt to arrange these chronologically among
themselves, since the information necessary to do so is often unobtainable.
With a few exceptions forspecial reasons, publications with a joint authorship
are listed under the set of joint authors rather than under any one of the
authors separately.
In no case has the name of an author been given a separate listing merely
for the sake of one or more cross references. Otherwise cross references have
been included in all cases of joint authorships as well as frequently for other
reasons. But there has been no attempt at a comprehensive system of cross
references.
Publications which are thought to be of especial interest or importance
from the point of view of symbolic logic have been indicated by marking with
an asterisk * on the left-hand margin of the page. Among these a small num-
ber which mark the firstappearance of a new idea of fundamental importance
have received a double asterisk. It is intended that the criterion for even a
single asterisk should be a severe one and many papers of not inconsiderable
value are unmarked.
It is not to be expected that every new idea of firstimportance to symbolic
logic which has arisen in the period covered should be represented by a double
asterisk in the bibliography. Frequently the evolution of an idea of this kind
is such that no one publication can be designated with certainty as marking
its firstappearance, and the double asterisk must then be replaced by a series
of single asterisks on the separate works which together mark the growth of
the idea. Single asterisks are used also for new ideas which are held to be im-

This content downloaded from 195.34.78.148 on Wed, 11 Jun 2014 03:03:52 AM

All use subject to JSTOR Terms and Conditions
 A BIBLIOGRAPHY OF SYMBOLIC LOGIC 123

portant but of a lesser order,as well as forimprovedtreatments,of especial

merit,of ideas whose firstappearance was designated by a double or single
asterisk.
Differencesofopinionon mattersof thissortare, ofcourse,to be expected,
and it is to be rememberedthat the markingwith asteriskshereinrepresents
no more than the individual opinion of the compiler.
In addition to this markingwith asterisks,a dagger t is used to indicate
works recommendedfor their expository value in connection with topics
which fall squarely withinthe fieldof the bibliography.
Readers who know of corrections or additions which should be made to the
bibliography are requested to communicate them to the compiler so that they may
be collectedand published in a later number of the Journal. In particular, living
authors are requested to check the correctnessof referencesto their own works.
Following the bibliographywill be foundan alphabetical indexof authors.
1. G. W. v. LEIBNIZ.
1. Dissertatio de arte combinatoria in qua ex arithmeticaefundamentis complica-
tionum ac transpositionumdoctrina novis praeceptis exstruitur,et usus ambarum per
universum scientiarum orbem ostenditur; nova etiam artis meditandi seu logicae inven-
tionis semina sparguntur. Praefixa est synopsis totius tractatus, et additamenti loco
demonstratio existentiae Dei, ad mathematicam certitudinemexacta. Leipzig 1666. 2nd.
edn., Frankfurt a.M. 1690. Reprinted in God. Guil. Leibnitii opera philosophica quae
exstant latina gallica germanica omnia, ed. by J. E. Erdmann, vol. 1 (Berlin 1840), pp.
6-44; Leibnizens mathematische Schriften,ed. by C. I. Gerhardt, div. 2 vol. 1 (Halle
1858), pp. 1-79; Die philosophischen Schriften von Gottfried Wilhelm Leibniz, ed. by
C. I. Gerhardt,vol. 4 (Berlin 1880), pp. 27-102; GottfriedWilhelmLeibniz Philosophische
Schriften herausgegeben von der Preussischen Akademie der Wissenschaften, vol. 1
(Darmstadt 1930), pp. 163-230. "Ea si recte constitute fuerintet ingeniose, scripture
haec universalis aeque erit facilis quam communis, et quae possit sine omni lexico legi,
simulque imbibeturomniumrerumfundamentals cognitio.Fiet igituromnis talis scripture
quasi figurisgeometricis;et velut pictures,uti olim Aegyptii hodie Sinenses, verum eorum
picturae non reducunturad certumalphabetum seu literas,quo fitut incredibilimemoriae
affliction opus sit, quod hic contra est. Hic igitur est Usus XI. complexionum,in con-
stituenda nempe polygraphia universali"
2. G. G. L. Ars Combinatoria,a notice,by Leibniz himself,of the second editionof the
preceding.Acta eruditorum(Leipzig), 1691, pp. 63-64. Reprintedin Opuscula omnia Actis
Eruditorum Lipsiensibus inserta, quae ad universam mathesim, physicam, medicinam,
anatomiam, chirurgiam,et philologiam pertinent; necnon epitomae si quae materia vel
criticis animadversionibus celebriores, vol. 2 (Venice 1741), pp. 261-262; Gerhardt's
Philosophische Schriften,vol. 4 (1880), pp. 103-104. "Libellus ab Autore admodum juvene
anno 1665 compositus& Anno 1668 Lipsiae editus, nunc ipso inscio inconsulterecususest."
3. Difficultates quaedani logicae. Oeuvres philosophiques latines et fran aises de feu
M. de Leibniz, tirees de ses manuscritsqui se conserventdans la Bibliotheque royale de
Hanovre, ed. by Raspe, 1765, pp. 513-; Gottfried Wilhelm von Leibniz philosophische
Werke nach Raspens Sammlung, ed. by J. H. F. Ulrich,vol. 2 (Halle 1780), pp. 621-630;
Gerhardt's Philosophische Schriften,vol. 7 (Berlin, 1890), pp. 211-217. "Major haec est
difficultas,quod conversio recepta videtur aliquando inducere falsum, nempe conversio
per accidens universalis affirmativein casu tali, oninis ridensest homo,ergoquidam hamo
est ridens; nam prior vera est, etiarnsinullus homo rideret,at posteriorvera non est, nisi
aliquis hornoactu rideat."
4. Historia et commnendatio linguae chlaractericaeuniversalis, quae simul sit ars in-
veniendiet judicandi. Raspe's Oeuvres (1765), pp. 533-; Ulrich's Werke, vol. 2 (1780),
pp. 645-653; Erdmann's Opera, vol. 1 (1840), pp. 162-164.

This content downloaded from 195.34.78.148 on Wed, 11 Jun 2014 03:03:52 AM

All use subject to JSTOR Terms and Conditions