Logical Writings
In 1968 Jean van Heijenoort published an edition of Herbrand's collected logic papers (Herbrand 1968). The core of the present volume comprises translations of these papers and of the biographical notes also appearing in that edition. With two exceptions,
- PDF / 43,072,627 Bytes
- 321 Pages / 430.554 x 646.643 pts Page_size
- 85 Downloads / 226 Views
JACQUES HERBRAND (in the center) On the expedition during which he fell to his death
(Photo Courtesy of Suzanne Lalltman)
JACQUES HERBRAND
LOGICAL WRITINGS Edited by
WARREN D.OOLDFARB Harvard University
A Translation of the' Ecrits logiques·. edited by
JEAN VAN HEIJENOORT
D. REIDEL PUBLISHING COMPANY/DORDRECHT-HOLLAND
JACQUES HERB RAND: ECRITS LOGIQUES
First published by Presses Universitaires de France, 1968
Library of Congress Catalog Card Number 74-146963 ISBN-13: 978-94-010-3074-8 001: 10.1007/978-94-010-3072-4
e-ISBN-13: 978-94-010-3072-4
All Rights Reserved Copyright C 1971 by D. Reidel Publishing Company, Dordrecht, Holland Softcover reprint of the hardcover I st edition 1971 No part of this book may be reproduced in any form, by print, photoprint, microfilm, or any other means, without written permission from the publisher
PREFACE
In 1968 Jean van Heijenoort published an edition of Herbrand's collected logic papers (Herbrand 1968). The core of the present volume comprises translations of these papers and of the biographical notes also appearing in that edition. With two exceptions, this is their first appearance in English; the exceptions are Chap. 5 of Herbrand's thesis and Herbrand 1931c, both of which appeared in van Heijenoort 1967, the former translated by Burton Dreben and van Heijenoort, and the latter by van Heijenoort. These two translations have been reprinted here, thanks to the permission ofthe Harvard University Press, with only minor changes. The remainder of the present translations are my own; I am grateful to van Heijenoort for providing an English draft of 1931, which forms the basis of the translation appearing here. In these translations, the bibliographical references have been standardized (see p. 299 below) and the notation has been changed so that it is fairly uniform throughout (any differences from Herbrand's original notation are mentioned in footnotes). Herbrand's technical terminology is not always translated literally; the principal instances of this are 'reduite', translated 'expansion' (except in 1930, Chap. 3, § 3, where it is translated 'relativization'), 'champ', translated 'domain', and 'symbole de variable apparente', translated 'quantifier'. In other cases of this sort, the French terms appear in double brackets immediately following the English renderings. In addition, Herbrand's texts contain numerous oversights and typographical errors; these are corrected without note when Herbrand changed them himself in published Errata, and are noted otherwise. Herbrand also tended to express himself rather hastily, resulting in many obscurities; in these translations an attempt has been made to balance the demands of literalness and clarity. In Chap. 5 of 1930, since the subject matter is more difficult, the translators have departed somewhat more from the original than is the case in the rest of this volume.
VI
LOGICAL WRITINGS
Moreover, the present volume contains many footnotes and more extended notes which clarify or correct the text and compare Herbran
