Overview of the John Corcoran papers
Finding aid prepared by Hoover Institution Library and Archives Staff
Hoover Institution Library and Archives
© 2023
434 Galvez Mall
Stanford University
Stanford, CA 94305-6003
hoover-library-archives@stanford.edu
Title: John Corcoran papers
Date (inclusive): approximately 1980-approximately 1999
Collection Number: 2023C14
Contributing Institution: Hoover Institution Library and Archives
Language of Material: In English
Physical Description:
1 manuscript box
(0.4 Linear Feet)
Abstract: John Corcoran (20 March 1937 – 8 January 2021) was an American logician, philosopher, mathematician, and historian of logic.
Includes documents, correspondence, and further materials originating from John Corcoran's personal archive.
Creator:
Corcoran, John, 1937-
Physical Location: Hoover Institution Library & Archives
The collection is open for research; materials must be requested in advance via our reservation system. If there are audiovisual
or digital media material in the collection, they must be reformatted before providing access.
For copyright status, please contact the Hoover Institution Library & Archives.
Acquired by the Hoover Institution Library & Archives in 2023.
[Identification of item], John Corcoran papers, [Box no., Folder no. or title], Hoover Institution Library & Archives.
John Corcoran (1937-2021) was an American author, professor of logic and philosophy, mathematician, and historian of logic.
Scope and Content of Collection
Approximately 500 pages of documents, correspondence, and further materials originating from John Corcoran's personal archive.
The bulk of the collection (ca. 400 pages) consists of documents concerning the preparation of the second edition of Alfred
Tarski's "Logic, Semantics and Metamathematics" (Hackett 1984). The majority of these documents consist of the exchange between
John Corcoran, the editor of the second edition, and Alfred Tarski. Almost all the material by Tarski consists of the original
handwritten comments that Tarski sent to Corcoran. It also includes correspondence with the publisher, contract drafts, requests
for comments, correspondence with Jan Tarski, and letters by prominent logicians (Quine, Davidson, Kripke, Lyndon, etc.).
The collection also includes documents related to the award to Alonzo Church (1903-1995) of a doctorate honoris causa, and
some letters by Solomon Feferman, Georg Kreisel, Roger Lyndon, and others.
Subjects and Indexing Terms
Logic, Symbolic and mathematical
Logicians
Logic
Mathematicians
Personal correspondence
Feferman, Solomon
Kreisel, Georg
Lyndon, Roger C.
Quine, W. V. (Willard Van Orman)
Davidson, Donald, 1917-2003
Kripke, Saul A., 1940-2022
Material not yet described
box 1
Material not yet described