Guest editor's introduction: JvH100
type: Item
instance of: scholarly article
title: Guest editor's introduction: JvH100
zbMATH Open document ID: 1268.03002
author: Irving H. Anellis
published in: Logica Universalis
publication date: 2013-03-15T00:00:00Z
review text: Irving H.\ Anellis, a student of Jean van Heijenoort (1912--1986), edited, under the title ``Perspectives on the history and philosophy of modern logic: van Heijenoort centenary'', a special issue of the journal \textit{Logica Universalis} to commemorate the centennial of his teacher's birth. The article under review is the general introduction to that collection. (For the casual reader's convenience, we list the entire contents of that special issue below.) The author briefly sketches the life and work of Jean van Heijenoort (pp.~249--251) before he introduces all other contributions. These introductions vary considerably in length -- from one sentence (e.g., on Hin\-tik\-ka) to five pages (e.g., on Wirth). They often do not coincide with the boundaries of paragraphs nor are their beginnings always indicated by topic sentences, so a quick ``thumb index'' seems to be in order: pp.~251\,f.: Dawson -- pp.~252\,f.: Anellis (``historical development'' and ``historical perspective'') -- p.~253: Hintikka -- pp.~253\,ff.: Angelelli -- pp.~255--258: Wirth -- p.~259: Abeles -- p.~259: Anellis (``proof theory'') -- p.~259: Feferman -- pp.~259\,f: de Rouilhan -- p.~260\,f.: Woleński -- p.~261: Korhonen. Kreisel, we learn (p.~262), was prevented from finishing his contribution due to health issues. A bibliography covers the remaining pages (pp.~262--267). Reviewer's remarks. I feel expert readers won't miss much, if anything, when they decide to skip the editor's introduction. Authors have generally provided useful abstracts beyond which the introduction doesn't offer much additional guidance; the one exception might be on p.~257, where a noteworthy but, I believe, still little known discrepancy in the sources for Herbrand's unification algorithm is noted. Signs of poor copy-editing somewhat taint the reading experience: besides a number of typos, we see infelicitous formulations likely to cause some headache (e.g., p.~258: ``satisfiable proof'' or ``equivalence of propositiona…
reviewed by: Bernd Buldt
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A70
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6145476
zbMATH Keywords: Jean van Heijenoort
MaRDI profile type: Publication
full work available at URL: s11787-012-0068-3
OpenAlex ID: W2164724240
cites work: Q3489967
cites work: Q4289239
cites work: Lewis Carroll's Formal Logic
cites work: Russell’s earliest reactions to Cantorian set theory, 1896–1900
cites work: RUSSELL'S EARLIEST INTERPRETATION OF CANTORIAN SET THEORY, 1896–1900
cites work: Some unpublished papers of Jean van Heijenoort
cites work: Q3489966
cites work: Q4014783
cites work: Q4325982
cites work: How Peircean was the "'Fregean' Revolution" in Logic?
cites work: Q4821597
cites work: THE EVOLUTION OF IDEAS L'ÉVOLUTION DES IDÉES ZUR IDEENGESCHICHTE HUNDRED YEARS OF SYMBOLIC LOGIC A RETROSPECT ON THE OCCASION OF THE BOOLE DE MORGAN CENTENARY
cites work: Q4522882
cites work: Q4365301
cites work: Q4014775
cites work: False lemmas in Herbrand
cites work: A supplement to Herbrand
cites work: The Gödel Editorial Project: A Synopsis
cites work: Untersuchungen über das logische Schliessen. I
cites work: The Fregean revolution in logic
cites work: Q4697297
cites work: Q5625113
cites work: On the development of the model-theoretic viewpoint in logical theory
cites work: Q4236324
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q3864488
cites work: Q5560258
cites work: On locally convex manifolds
cites work: Q5573940
cites work: Logic as calculus and logic as language
cites work: Sense in Frege
cites work: Frege on sense identity
cites work: Q4014778
DOI: 10.1007/S11787-012-0068-3
description: scientific article; zbMATH DE number 6145476