Repository
ULS Archives & Special Collections
Title Nuel Belnap Papers Creator
Belnap, Nuel, 1930-
Collection Number ASP.2018.02 Extent
19.2 Linear Feet
(47 boxes)
Extent
6.96 Gigabytes
Date 1955-2020 Abstract Nuel Dinsmore Belnap, Jr. (1930-2024) was an American logician and philosopher who was a professor in the philosophy department at the University of Pittsburgh from 1963 to 2011. Belnap made many contributions to philosophical logic, including in relevance logics, the logic of questions, the logic of agency, and branching space-times theory. The Nuel Belnap Papers consists of material created or collected by Belnap, dating from his time as a student at Yale to his later academic career as a professor at Yale and then University of Pittsburgh, into his later retirement. It documents much of Belnap's work on issues in philosophical logic, including both his writing projects, his teaching, and his correspondence with others in the field. Language The material in this collection is in English. Author Ben Snyder Publisher ULS Archives & Special Collections Address University of Pittsburgh Library Systemhttp://library.pitt.edu/archives-special-collections Copyright
The University of Pittsburgh holds both the property rights to this collection and the copyright for all material in this collection authored by Nuel Belnap. However, for other material in this collection the copyright may still be held by the original creator/author. Researchers are therefore advised to follow the regulations set forth in the U.S. Copyright Code when publishing, quoting, or reproducing material from this collection without the consent of the creator/author or that go beyond what is allowed by fair use.
Acquistion Information
Gift of Nuel Belnap in late 2017, with additions in 2020. The oral history interviews in Series VI. Audiovisual were donated by Anil Gupta in 2024.
Access Restrictions.
Files in Series V. Letters of Recommendation are closed until the death of the subject. Please contact Archives & Special Collections for more information about a specific file.
Files in Boxes 45 and 46 are closed for research until 2067.
Biography/History
Nuel Dinsmore Belnap, Jr. (1930-2024) was an American logician and philosopher who was a professor in the philosophy department at the University of Pittsburgh from 1963 to 2011. With his collaborator Alan Ross Anderson he developed relevance logic as an alternative means of understanding logical implication/entailment, going beyond both classical logic and earlier modal interpretations. Throughout his career Belnap would continue to make influential contributions to entailment logics and similar issues in philosophical logic.
Belnap was born on May 1st, 1930. He grew up in Winnetka, Illinois, close to Chicago. He went to University of Illinois at Urbana-Champaign, graduating in 1952 with a bachelors in philosophy. After graduating, he served in the U.S. Air Force for two years, working on an IBM 701 computer for the National Security Agency in Washington, D.C. After his service, Belnap would study at Yale, where he acquired an M.A. in philosophy in 1957 and then a PhD in philosophy in 1960. Belnap's dissertation advisor was Alan Ross Anderson, and his dissertation would mark the start of the two's collaboration on relevance logic and related work on entailment.
In 1960 he became an Assistant Professor at Yale. However, he would leave for the University of Pittsburgh in 1963, alongside former Yale Philosophy Department colleagues, including Wilfrid Sellars, Jerry Schneewind, and later Alan Ross Anderson. At the University of Pittsburgh, Belnap would continue his work on relevance logic and make influential contributions in various other fields of logic and philosophy. His work often involved collaborations, many with students he was advising. This included his work with Michael Dunn, the two developing Belnap-Dunn logic, also known as first-degree entailment logic. He also worked on the logic of questions and answers with Thomas B. Steel; developed the revision theory of truth with Anil Gupta; developed the prosentential theory of truth with Dorothy Grover and Joseph Camp; created a means of discussing agency in terms of "seeing to it that" (stit) with Michael Perloff and Ming Xu; and, with Thomas Mueller and Tomasz Placek, he developed branching space-times, introducing concepts from relativity theory into earlier branching times theories originating from Arthur Prior's work. Belnap's work on branching space-times theory and stit both show his interest in providing a rigorous semantics and metaphysics for talk about indeterminism and free agency. Among his rewards and honors, Belnap received a Fulbright Fellowship that allowed him to study in Louvain, Belgium, 1957-58; he received grants from the Guggenheim Foundation (1975), National Science Foundation, and the National Endowment for the Humanities. He received an Honorary Doctorate from Leipzig Univeristy in 2000. He became a Fellow of the American Academy of Arts and Sciences in 2008.
Belnap married Joan Gohde Belnap (1930-1991) in 1953, later divorcing. Children from his first marriage include: Nuel Belnap, III, Christopher Belnap, Tyler Belnap, and Mary Jo Belnap Greene.
Belnap retired in 2011. He died on June 12, 2024 in Whitefield, New Hampshire.
Preferred Citation
Nuel Belnap Papers, 1955 - 2020, ASP.2018.02. Archives of Scientific Philosophy, Archives & Special Collections, University of Pittsburgh Library System
Arrangement
The Nuel Belnap Papers is arranged into six series:
I. Writing By Belnap
II. Writing By Other Authors
III. Classes and Teaching
IV. Correspondence
V. Letters of Recommendation
VI. Audiovisual
Processing Information
This collection was processed by Jonathan Patrick Howorth and Lance Lugar between Nov. 2018 and July 2019, by Jason Rampelt in 2021, and by Ben Snyder in 2024.
Scope and Contents The Nuel Belnap Papers consists of material created or collected by Nuel Belnap. They date from his time as a student at Yale University to his later academic career as a professor at Yale and then University of Pittsburgh, into his later retirement. It documents much of Belnap's work on issues in philosophical logic, including both his writing projects, his teaching, and his correspondence with others in the field. Subjects covered include relevance logic, seeing to it that (stit), and branching space-times. There are also audio recordings of a 2009 conference held in Belnap's honor, and video recordings of interviews conducted by Anil Gupta where Belnap discusses his life and career.
Subjects Personal Names Belnap, Nuel, 1930- Anderson, Alan Ross Bressan, Aldo Gupta, Anil, 1949- Müller, Thomas, 1969- Placek, Tomasz, 1960- Genres Manuscripts (Documents) Correspondence Lecture notes Articles Faculty papers Letters of recommendation Other Subjects Philosophers -- Pennsylvania -- Pittsburgh Philosophy -- Study and teaching (Higher) Philosophy -- Research Logic -- Research Metaphysics -- Research College teachers -- Pennsylvania -- Pittsburgh Container List Series I. Writing By Belnap , 1955-2016 Scope and Contents This series includes reprints, draft manuscripts, and proofs of articles and book chapters written or coauthored by Nuel Belnap. A version of Belnap's dissertation is included under the name A Formal Analysis of Entailment , published as Technical Report No. 7 by the Office of Naval Research, Group Psychology Branch (Box 1, Folder 14). Writings cover topics such as relevance logic, the logic of questions, many-valued logic, display logic, seeing to it that (stit), and branching space-times.
Other writing by Belnap, including lecture notes and papers he wrote as a student, can be found in Series III. Classes and Teaching.
Bibliography , 1955-1998 Containers box 1 , folder 1 List of Publications , 2016 Containers box 1 , folder 2 "Two Components of Existence," Ideas , vol. 5, Nuel Belnap , 1955 Containers box 1 , folder 3 "A Modification of Ackermann's 'Rigorous Implication'," Journal of Symbolic Logic , vol. 23, Alan Ross Anderson and Nuel Belnap , 1958 Containers box 1 , folder 4 "Modalities in Ackermann's 'Rigorous Implication'," Journal of Symbolic Logic , vol. 24, Alan Ross Anderson and Nuel Belnap , 1959 Containers box 1 , folder 5 "Pure Rigorous Implication as a 'Sequenzen-Kalkül'," Journal of Symbolic Logic , vol. 24, Nuel Belnap , 1959 Containers box 1 , folder 6 "A Proof of the Loewenheim-Skolem Theorem," Journal of Symbolic Logic , vol. 24, Nuel Belnap , 1959 Containers box 1 , folder 7 "Tautological Entailments" (Abstract), The Journal of Symbolic Logic , vol. 24, Nuel Belnap , 1959 Containers box 1 , folder 8 "A Simple Treatment of Truth Functions," The Journal of Symbolic Logic , vol. 24, Alan Ross Anderson and Nuel Belnap , 1959 Containers box 1 , folder 9 "A Simple Proof of Goedel's Completeness Theorem" (Abstract), The Journal of Symbolic Logic , vol. 24, Alan Ross Anderson and Nuel Belnap , 1959 Containers box 1 , folder 10 Reviews , 1960-1966 Containers box 1 , folder 11 "EQ and the First Order Functional Calculus," Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 6, Nuel Belnap , 1960 Containers box 1 , folder 12 "Independent Axiom Schemata for the Pure Theory of Entailment," Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 6, Nuel Belnap , 1960 Containers box 1 , folder 13 A Formal Analysis of Entailment , Technical Report No. 7, Office of Naval Research, Group Psychology Branch, Nuel BelnapJune 1960 Containers box 1 , folder 14 Review of Suppes, P., Axiomatic Set Theory , Review of Metaphysics , vol. 14, Nuel Belnap , 1960 Containers box 1 , folder 15 Review of Hintikka, Jaakko. Existential Presuppositions and Existential Commitments , Journal of Symbolic Logic , vol. 25, Nuel Belnap , 1960 Containers box 1 , folder 16 Review of Leblanc, Hugues and Theodore Hailperin. Nondesignating Singular Terms , Journal of Symbolic Logic , vol. 25, Nuel Belnap , 1960 Containers box 1 , folder 17 Review of Hintikka, Jaakko. Towards a Theory of Definite Descriptions , Journal of Symbolic Logic , vol. 25, Nuel Belnap , 1960 Containers box 1 , folder 18 "Entailment and Relevance," Journal of Symbolic Logic , vol. 25, Nuel Belnap , 1960 Containers box 1 , folder 19 "First Degree Formulas" (Abstract), Journal of Symbolic Logic , vol. 25, Nuel Belnap , 1960 Containers box 1 , folder 20 First Degree Entailments , Technical Report No. 10, Office of Naval Research, Group Psychology Branch, Alan Ross Anderson and Nuel BelnapNovember 1961 Containers box 1 , folder 21 A Decision Procedure for the System EĪ of Entailment with Negation , Technical Report No. 11, Office of Naval Research, Group Psychology Branch, Nuel Belnap and John R. WallaceNovember 1961 Containers box 1 , folder 22 Review of Rome, B.K. and Rome, S.C. Leviathan: A Simulation of Behavioral Systems, to Operate Dynamically on a Digital Computer , Review of Metaphysics , vol. 15, Nuel Belnap , 1961 Containers box 1 , folder 23 Review of Rome, B.K. and Rome, S.C. Formal Representation of Intentionally Structured Systems , Review of Metaphysics , vol. 15, Nuel Belnap , 1961 Containers box 1 , folder 24 Review of Suppes, P. and Atkinson, R.C. Markov Learning Models for Multiperson Interactions , Review of Metaphysics , vol. 15, Nuel Belnap , 1961 Containers box 1 , folder 25 "Enthymemes," The Journal of Philosophy , vol. 58, Alan Ross Anderson and Nuel Belnap , 1961 Containers box 1 , folder 26 "Tautological Entailments," Philosophical Studies , vol. 13, Alan Ross Anderson and Nuel Belnap , 1962 Containers box 1 , folder 27 "Tonk, Plonk and Plink," Analysis , vol. 22, Nuel Belnap , 1962 Containers box 1 , folder 28 "Intuitionism Reconsidered," Notre Dame Journal of Formal Logic , vol. 3, No. 2, Hugues Leblanc and Nuel Belnap , 1962 Containers box 1 , folder 29 "The Pure Calculus of Entailment," Journal of Symbolic Logic , vol. 27, Alan Ross Anderson and Nuel Belnap , 1962 Containers box 1 , folder 30 "First Degree Entailments," Mathematische Annalen , vol. 149, Alan Ross Anderson and Nuel Belnap , 1963 Containers box 1 , folder 31 Review of Taube, Mortimer. Computers and Common Sense , Modern Uses of Logic in Law , Nuel Belnap , March 1963 Containers box 1 , folder 32 "A Rule-Completeness Theorem," Notre Dame Journal of Formal Logic , vol. 4, Nuel Belnap and Richmond H. Thomason , 1963 Containers box 1 , folder 33 An Analysis of Questions: Preliminary Report , System Development Corporation, Technical Memorandum, Nuel BelnapJune 1963 Containers box 1 , folder 34 Review of Anderson, John M. and Henry W. Johnstone, Jr. Natural Deduction , American Mathematical Monthly , Nuel Belnap , 1963 Containers box 1 , folder 35 Review of Harrison, Michael A. "The Number of Classes of Invertible Boolean Functions," Computing Reviews , vol. 4, Nuel Belnap , 1963 Containers box 1 , folder 36 Review of Faris, J.A. Truth-Functional Logic , Computing Reviews , vol. 4, Nuel Belnap , 1963 Containers box 1 , folder 37 "On Not Strengthening Intuitionistic Logic," Notre Dame Journal of Formal Logic , vol. 4, Nuel Belnap et al. , 1963 Containers box 1 , folder 38 "On Not Strengthening Intuitionistic Logic" (Abstract), Journal of Symbolic Logic , vol. 28, Nuel Belnap et al. , 1963 Containers box 1 , folder 39 Review of Harrah, David, "A Logic of Questions and Answers," Communication: A Logical Model , and "A Model for Applying Information and Utility Functions," Journal of Symbolic Logic vol. 29, Nuel Belnap , 1964 Containers box 1 , folder 40 "What To Say When Things Go Wrong" ("An Extension of Deontic Logic"), Draft Manuscript, Nuel Belnap , May 1964 Containers box 1 , folder 41 "What To Say When Things Go Wrong" ("An Extension of Deontic Logic"), Draft Manuscript, Nuel Belnap , May 1964 Containers box 1 , folder 42 "What To Say When Things Go Wrong" ("An Extension of Deontic Logic"), Draft Manuscript, Nuel Belnap , May 1964 Containers box 1 , folder 43 "What To Say When Things Go Wrong" ("An Extension of Deontic Logic"), Nuel Belnap, Notes and Correspondence , May 1964 Containers box 1 , folder 44 Review of Wells, Rulon, "A Measure of Subjective Information," Journal of Symbolic Logic vol. 30, Nuel Belnap , 1965 Containers box 1 , folder 45 "A Decision Procedure for the System EĪ of Entailment with Negation," Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 11, Nuel Belnap et al. , 1965 Containers box 1 , folder 46 "Exemplars and Negation: Comments on 'Identity, Quantification and Predicables' by John Heinz," Draft Manuscript, Nuel Belnap , December 28, 1965 Containers box 1 , folder 47 "Questions, Answers, and Presuppositions," Journal of Philosophy , vol. 63, Nuel Belnap , 1966 Containers box 1 , folder 48 Combined Review of Three Articles by B. Sobocinski and Six Articles by Ivo Thomas on Lewis-Like Model Logics, Journal of Symbolic Logic , vol. 31, Nuel Belnap , 1966 Containers box 1 , folder 49 "Intensionally Complemented Distributive Lattices," Portugaliae Mathematica , vol. 25, Nuel Belnap and Joel H. Spencer , 1966 Containers box 2 , folder 1 "Which Entailments Entail Which Entailments? Conjecture," Draft Manuscript, Nuel Belnap , November 17, 1966 Containers box 2 , folder 2 "Intensional Models for First Degree Formulas," Journal of Symbolic Logic , vol. 32, Nuel Belnap , 1967 Containers box 2 , folder 3 "Special Cases of the Decision Problem for Entailment and Relevant Implication" (Abstract), Journal of Symbolic Logic , vol. 32, Nuel Belnap , 1967 Containers box 2 , folder 4 "Homomorphisms of Intensionally Complemented Distributive Lattices" (Abstract), Journal of Symbolic Logic , vol. 32, Nuel Belnap , 1967 Containers box 2 , folder 5 "Comments on H. Simon's 'The Logic of Heuristic Decision Making'," The Logic of Decision and Action , Nuel Belnap , 1967 Containers box 2 , folder 6 "Tonk, Plonk and Plink," Philosophical Logic , Nuel Belnap , 1967 Containers box 2 , folder 7 "Homomorphisms of Intensionally Complemented Distributive Lattices," Mathematische Annalen , vol. 176, Nuel Belnap , 1968 Containers box 2 , folder 8 "Entailment," Logic and Philosophy: Selected Readings , Alan Ross Anderson and Nuel Belnap , 1968 Containers box 2 , folder 9 "The Substitution Interpretation of the Quantifiers," Nous , J. Michael Dunn and Nuel Belnap , 1968 Containers box 2 , folder 10 Reviews of Three Articles by L.A. Meridith and A.N. Prior, One by A.F. Bausch and One by M.J. Cresswell, Zentralblatt für Mathematik und Ihre Grenzgebiete , vol. 146, Nuel Belnap , 1968 Containers box 2 , folder 11 "Aqvist's Corrections-Accumulating Question-Sequences," Philosophical Logic , Nuel Belnap , 1969 Containers box 2 , folder 12 "Questions: Their Presuppositions, and How They Can Fail to Arise," The Logical Way of Doing Things , Nuel Belnap , 1969 Containers box 2 , folder 13 "Every Functionally Complete m -Valued Logic Has A Post-Complete Axiomatization," Notre Dame Journal of Formal Logic , Nuel Belnap and Storrs McCall , 1970 Containers box 2 , folder 14 "Conditional Assertion and Restricted Quantification," Nous , Nuel Belnap , 1970 Containers box 2 , folder 15 Review of Angell, R.B., "A Propositional Logic with Subjunctive Conditionals," Journal of Symbolic Logic , Nuel Belnap , 1970 Containers box 2 , folder 16 "S-P Interrogatives," Journal of Philosophical Logic , Nuel Belnap , 1972 Containers box 2 , folder 17 Foreword, A General Interpreted Modal Calculus , Nuel Belnap , 1972 Containers box 2 , folder 18 "Quantifying In and Out of Quotes," Truth, Syntax and Modality , Nuel Belnap and Dorothy L. Grover , 1973 Containers box 2 , folder 19 "Restricted Quantification and Conditional Assertion," Truth, Syntax and Modality , Nuel Belnap , 1973 Containers box 2 , folder 20 "A Memorial Note on Alan Ross Anderson," Metaphilosophy , vol. 5, Nuel Belnap , 1974 Containers box 2 , folder 21 "A Prosentential Theory of Truth," Philosophical Studies , vol. 27, Dorothy L. Grover et al. , 1975 Containers box 2 , folder 22 Entailment: The Logic of Relevance and Necessity , Alan Ross Anderson and Nuel Belnap, Reviews1975-1995 Containers box 2 , folder 23 "A Useful Four-Valued Logic," Proceedings of the 1975 International Symposium on Multiple-Valued Logic , Dorothy L. Grover et al. , 1975 Containers box 2 , folder 24 "Grammatical Propaedeutic," The Logical Enterprise , Nuel Belnap , 1975 Containers box 2 , folder 25 "Testing Matrix Claims Interactively on a Computer," CIRPHO, Nuel Belnap , 1975 Containers box 2 , folder 26 The Logic of Questions and Answers , Nuel Belnap and Thomas B. Steel1976 Containers box 2 , folder 27 "The Two-Property," Relevance Logic Newsletter , Nuel Belnap , 1976 Containers box 2 , folder 28 "How a Computer Should Think," Contemporary Aspects of Philosophy , Nuel Belnap , 1977 Containers box 2 , folder 29 "Relevant Analytic Tableaux" (Abstract), Relevance Logic Newsletter , Michael A. McRobbie and Nuel Belnap , 1977 Containers box 2 , folder 30 "Entailment (vol. 1) Errata," Relevance Logic Newsletter , 1977 Containers box 2 , folder 31 "A Useful Four-Valued Logic," Modern Uses of Multiple-Valued Logic , Nuel Belnap , 1977 Containers box 2 , folder 32 "BINDEX: A Book Indexing System," Scholarly Publishing , vol. 9, Nuel Belnap , 1978 Containers box 2 , folder 33 "Tonk, Plonk and Plink," Contemporary Philosophical Logic , Nuel Belnap , 1978 Containers box 2 , folder 34 "Rescher's Hypothetical Reasoning: An Amendment," The Philosophy of Nicholas Rescher: Discussion and Replies , Nuel Belnap , 1978 Containers box 2 , folder 35 Questions, Notes on Hiz Volume , c. 1978 Containers box 2 , folder 36 Questions, Notes , c. 1980 Containers box 2 , folder 37 "Relevant Analytic Tableaux," Studia Logica , vol. 38, Michael A. McRobbie and Nuel Belnap , 1979 Containers box 2 , folder 38 "A Consecution Calculus for Positive Relevant Implication with Necessity," Journal of Philosophical Logic , vol. 9, Nuel Belnap , 1979 Containers box 2 , folder 39 "Modal and Relevance Logics: 1977," Modern Logic - A Survey , Nuel Belnap , 1980 Containers box 2 , folder 40 Mind Design , Inside Cover1980 Containers box 2 , folder 41 "Entailment and the Disjunctive Syllogism," Contemporary Philosophy: A New Survey , Vol. 1, Nuel Belnap and J. Michael Dunn , 1981 Containers box 2 , folder 42 "Logica Docens and Relevance," Teaching Philosophy , Vol. 4, Nuel Belnap , 1981 Containers box 3 , folder 1 "Современные Семантические Исследования: Модальных И Интенсиональ Ых Логик (Вступительная Статья)," Семантика Модальных И Интенсиональных Логик , 1981 Containers box 3 , folder 2 "Questions and Answers in Montague Grammar," Processes, Beliefs, and Questions , Nuel Belnap , 1982 Containers box 3 , folder 3 "Intuitionism Reconsidered," Existence, Truth, and Provability , Hugues Leblanc and Nuel Belnap , 1982 Containers box 3 , folder 4 "Display Logic," Journal of Philosophical Logic , Vol. 11, Nuel Belnap , 1982 Containers box 3 , folder 5 "Gupta's Rule of Revision Theory of Truth," Journal of Philosophical Logic , Vol. 11, Nuel Belnap , 1982 Containers box 3 , folder 6 "Approaches to the Semantics of Questions in Natural Language (I)," Meaning, Use, and Interpretation of Language , Nuel Belnap , 1983 Containers box 3 , folder 7 "Approaches to the Semantics of Questions in Natural Language (II)," Philosophical Essays Dedicated to Lennart Aqvist on his Fiftieth Birthday , Nuel Belnap , 1983 Containers box 3 , folder 8 "Symbolization Trees," Understanding Symbolic Logic , Virginia Klenk , 1983 Containers box 3 , folder 9 "Display Logic" (Abstract), Journal of Symbolic Logic , Vol. 48, Nuel Belnap , 1983 Containers box 3 , folder 10 "Proof Tableau Formulations of Some First-Order Relevant Ortho-Logics" (Abstract), Bulletin of the Section of Logic , Vol. 13, Nuel Belnap , 1983 Containers box 3 , folder 11 "Approaches to the Semantics of Questions in Natural Language," Draft Manuscript, Nuel Belnap , January 1983 Containers box 3 , folder 12 "Return to Relevance," Draft Manuscript, Nuel Belnap , 1984 Containers box 3 , folder 13 "Approaches to the Semantics of Questions in Natural Language: Part I," From Models to Modules: Studies in Cognitive Sciences from the McGill Workshops , Nuel Belnap , 1985 Containers box 3 , folder 14 "A Note on Extension, Intension, and Truth," Journal of Philosophy , Vol. 84, Anil Gupta and Nuel Belnap , 1987 Containers box 3 , folder 15 Foreword to Imperatives , Nuel Belnap , 1987 Containers box 3 , folder 16 "Eine Prosententiale Theorie der Wahrheit," Der Wahrheitsbegriff , Dorothy L. Grover et al. , 1987 Containers box 3 , folder 17 "Seeing To It That: A Canonical Form for Agentives," Theoria , Vol. 54, Nuel Belnap and Michael Perloff , 1988 Containers box 3 , folder 18 "Seeing To It That: A Canonical Form for Agentives," Proofs Text Correction, Nuel Belnap and Michael Perloff , 1988 Containers box 3 , folder 19 Stit and Branching Space-Time, Draft Manuscripts , 1988-1992 Containers box 3 , folder 20-21 Foreword to Directions in Relevant Logic , Nuel Belnap , 1989 Containers box 4 , folder 1 "Conjunctive Containment," Directions in Relevant Logic , Nuel Belnap , 1989 Containers box 4 , folder 2 "Which Entailments Entail which Entailments," Directions in Relevant Logic , Nuel Belnap , 1989 Containers box 4 , folder 3 Stit Diagrams , March 2, 1989 Containers box 4 , folder 4 "Patience," Draft Manuscript, Nuel Belnap , March 7, 1989 Containers box 4 , folder 5 "Kanger and Chellas," Draft Manuscript, Nuel Belnap , March 8, 1989 Containers box 4 , folder 6 "Who Wants a Logic of stit?" Draft Manuscript, Nuel Belnap , March 11, 1989 Containers box 4 , folder 7 "Backwards and Forwards in the Modal Logic of Agency," Draft Manuscript, Nuel Belnap , April 26, 1989 Containers box 4 , folder 8 "Backwards and Forwards in the Modal Logic of Agency," Draft Manuscript, Nuel Belnap , September 18, 1989 Containers box 4 , folder 9 "Stit History Notes," Draft Manuscript, Nuel Belnap , 1989 Containers box 4 , folder 10-11 "Semantic Holism," Studia Logica , Vol. 49, Nuel Belnap and Gerald J. Massey , 1990 Containers box 4 , folder 12 "Transition Probabilities in Branching Space-Time," Draft Manuscript, Nuel Belnap , April 4, 1990 Containers box 4 , folder 13 "Declaratives Are Not Enough," Philosophical Studies , Vol. 59, Nuel Belnap , 1990 Containers box 4 , folder 14 "Linear Logic Displayed," Notre Dame Journal of Formal Logic , Vol. 31, Nuel Belnap , 1990 Containers box 4 , folder 15 "Seeing To It That: A Canonical Form for Agentives," Knowledge, Representation and Defeasible Reasoning , Nuel Belnap and Michael Perloff , 1990 Containers box 4 , folder 16 "Before Refraining: Concepts for Agency," Erkenntnis , Vol. 34, Nuel Belnap , 1991 Containers box 4 , folder 17 "In the Realm of Agents," Annals of Mathematics and Artificial Intelligence , Vol. 9, Nuel Belnap and Michael Perloff , 1993 Containers box 4 , folder 18 "Backwards and Forwards in the Modal Logic of Agency," Philosophy and Phenomenological Research , Vol. 51, Nuel Belnap , 1991 Containers box 4 , folder 19 No Common Cause Theory, Draft Manuscripts , 1991-1999 Containers box 4 , folder 20-21 "Branching Space-Time," Synthese , Vol. 92, Nuel Belnap , 1992 Containers box 4 , folder 22 Branching Space-Time, Draft Manuscripts , 1989-1995 Containers box 4 , folder 23-24 Branching Space-Time, Draft Manuscripts , 1989-1995 Containers box 5 , folder 1 "The Way of the Agent," Studia Logica , Vol. 51, Nuel Belnap and Michael Perloff , 1992 Containers box 5 , folder 2 "The Way of the Agent," Draft Manuscript, Nuel Belnap , June 29, 1990 Containers box 5 , folder 3 Strategies, Draft Manuscripts , 1992-1994 Containers box 5 , folder 4 The Revision Theory of Truth , Anil Gupta and Nuel Belnap1993 Containers box 5 , folder 5 "In the Realm of Agents," Annals of Mathematics and Artificial Intelligence , Vol. 9, Nuel Belnap and Michael Perloff , 1993 Containers box 5 , folder 6 "On Rigorous Definitions," Philosophical Studies , Vol. 72, Nuel Belnap , 1993 Containers box 5 , folder 7 "Indeterminism and the Thin Red Line," Philosophical Perspectives , Vol. 8, Nuel Belnap and Mitchell Green , 1994 Containers box 5 , folder 8 "Life in the Undistributed Middle," Substructural Logics , Nuel Belnap , 1993 Containers box 5 , folder 9 Bets, Draft Manuscripts , 1993 Containers box 5 , folder 10 "Linear Analytic Tableaux," Proceedings of the Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods , Michael A. McRobbie et al. , 1994 Containers box 5 , folder 11 "The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation," Journal of Philosophical Logic , Vol. 24, John F. Horty and Nuel Belnap , 1995 Containers box 5 , folder 12 "Marcus and the Problem of Nested Deontic Modalities," Modality, Morality, and Belief , Vol. 24, Nuel Belnap and Paul Bartha , 1995 Containers box 5 , folder 13 "Reply to Robert Koons," Notre Dame Journal of Formal Logic , Vol. 35, Anil Gupta and Nuel Belnap , 1995 Containers box 5 , folder 14 Branching Space-Time, Outcomes, Draft Manuscripts , 1995-2006 Containers box 5 , folder 15 "Various Notes on Outcomes in Branching Histories," Draft Manuscript, Nuel Belnap , May 1995 Containers box 5 , folder 16-17 "Various Notes on Outcomes in Branching Histories," Draft Manuscript, Nuel Belnap , January 21, 1996 Containers box 5 , folder 18 "The Display Problem," Proof Theory of Modal Logic , Nuel Belnap , 1996 Containers box 6 , folder 1 "Branching Space-Time Analysis of the GHZ Theorem," Foundations of Physics , Vol. 26, Nuel Belnap and Laszlo E. Szabo , 1996 Containers box 6 , folder 2 "Agents in Branching Time," Logic and Reality: Essays on the Legacy of Arthur Prior , Nuel Belnap , 1996 Containers box 6 , folder 3 "The Very Idea of an Outcome," Scientific Review , Nuel Belnap , 1996 Containers box 6 , folder 4 "Deontic Kinematics and Austere Strategics," Logica , Nuel Belnap , 1996 Containers box 6 , folder 5 "The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation," Philosopher's Annual , John F. Horly and Nuel Belnap , 1996 Containers box 6 , folder 6 "Semantic Foundations for Tense and Modality in Branching Time," Draft Manuscript, Nuel Belnap , January 28, 1997 Containers box 6 , folder 7 "LTD: The Language of Those Who Dwell in Branching Time," Draft Manuscript, Nuel Belnap , February 18, 1997 Containers box 6 , folder 8 "Semantics for Tense and Modality in Branching Time," Draft Manuscript, Nuel Belnap , February 25, 1997 Containers box 6 , folder 9 "The Language of the Tree Dwellers as Illuminated by Carnap's Lamp," Draft Manuscript, Nuel Belnap , June 9, 1998 Containers box 6 , folder 10 "Concrete Transitions," Actions, Norms, Values: Discussions with Georg Henrik von Wright , Nuel Belnap , 1999 Containers box 6 , folder 11 "Truth By Ascent," Dialectica , Nuel Belnap , 1999 Containers box 6 , folder 12 "Modest Notions of Free Will and Indeterminism," Proceedings of the Creighton Club , Nuel Belnap , 1998 Containers box 6 , folder 13 "Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting," Advances in Modal Logic , Vol. 3, Nuel Belnap , 1998 Containers box 6 , folder 14 Branching Space-Times Book, Chapters 1-5, Draft Manuscript , c. 2000s-2010s Containers box 6 , folder 15 "A Study in Branching Space-Time," Draft Manuscript, Nuel Belnap , September 6, 2001 Containers box 6 , folder 16 "A Study in Branching Space-Time," Draft Manuscript, Nuel Belnap , May 19, 2003 Containers box 6 , folder 17 Introduction to Stit , c. 2001 Containers box 6 , folder 18 Branching Space-Time Book, Draft Manuscript , 2001 Containers box 6 , folder 19 Branching Space-Time Book, Draft Manuscript , 2003 Containers box 6 , folder 20 "A Review of Some Ideas of the BST-92 Version of Branching Space-Times," Draft Manuscript, Nuel Belnap , January 31, 2002 Containers box 7 , folder 1 "A Review of Some Ideas of the BST-92 Version of Branching Space-Times," Draft Manuscript, Nuel Belnap , May 19, 2003 Containers box 7 , folder 2 "EPR-Like 'Funny Business' in the Theory of Branching Space-Times," Non-Locality and Modality , Nuel Belnap , 2002 Containers box 7 , folder 3 "Two Ideas of EPR-Like 'Funny Business' in the Theory of Branching Space-Times: Generalized Primary Space-Like Related Modal Correlations and Cause-Like Loci That Are Not in the Past," Draft Manuscript, Nuel Belnap , July 13, 2001 Containers box 7 , folder 4 "Two Ideas of EPR-Like Funny Business in Branching Space-Times: Examples," Draft Manuscript, Nuel Belnap , April 6, 2002 Containers box 7 , folder 5 "EPR-Like 'Funny Business' in the Theory of Branching Space-Times," Postprint, Nuel Belnap , September 3, 2002 Containers box 7 , folder 6 "Concrete Transitions," Draft Manuscript, Nuel Belnap , September 27, 2002 Containers box 7 , folder 7 "Branching Space-Time," Draft Manuscript, Nuel Belnap , January 7, 2003 Containers box 7 , folder 8 "Branching Space-Time, Postprint," Draft Manuscript, Nuel Belnap , January 8, 2003 Containers box 7 , folder 9 "Branching Space-Time, Postprint," Draft Manuscript, Nuel Belnap , February 11, 2003 Containers box 7 , folder 10 "No-Common-Cause EPR-Like Funny Business in Branching Space-Times," Philosophical Studies , Vol. 114, Nuel Belnap , 2003 Containers box 7 , folder 11 "No-Common-Cause EPR-Like Funny Business in Branching Space-Times," Draft Manuscript, Nuel Belnap , June 24, 2002 Containers box 7 , folder 12 "Some Non-Classical Logics Seen From a Variety of Perspectives," Journal of Sun Yatsen University , Vol. 43, Nuel Belnap , 2003 Containers box 7 , folder 13 "Agents in Branching Space-Times," Journal of Sun Yatsen University , Nuel Belnap , 2003 Containers box 7 , folder 14 "Under Carnap's Lamp: Flat Pre-semantics," Studia Logica , Nuel Belnap , 2005 Containers box 7 , folder 15 "The Practice of Assertion Under Carnap's Lamp," Draft Manuscript, Nuel Belnap , December 2, 1997 Containers box 7 , folder 16 "Under Carnap's Lamp: Flat Pre-Semantics," Draft Manuscript, Nuel Belnap , January 27, 1998 Containers box 7 , folder 17 "Agents and Agency in Branching Space-Times," Logic, Thought & Action , Nuel Belnap , 2005 Containers box 7 , folder 18 "Agents and Agency in Branching Space-Times," Draft Manuscript, Nuel Belnap , January 18, 2003 Containers box 7 , folder 19 "Agents and Agency in Branching Space-Times," Draft Manuscript, Nuel Belnap , December 4, 2005 Containers box 7 , folder 20 "A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Time," British Journal for the Philosophy of Science , Vol. 56, Nuel Belnap , 2005 Containers box 7 , folder 21 "A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times," Draft Manuscript, Nuel Belnap , September 2, 2003 Containers box 8 , folder 1 "How Causal Probabilities Might Fit Into Our Objectively Indeterministic World," Synthese , Vol. 149, Matthew Weiner and Nuel Belnap , 2006 Containers box 8 , folder 2 "Branching Histories Approach to Indeterminism and Free Will," Truth and Probability: Essays in Honour of Hugues Leblanc , Nuel Belnap , 2005 Containers box 8 , folder 3 "Branching Histories Approach to Indeterminism and Free Will," Draft Manuscript, Nuel Belnap , January 18, 2003 Containers box 8 , folder 4 "Branching Histories Approach to Indeterminism and Free Will," Draft Manuscript, Nuel Belnap , January 28, 2003 Containers box 8 , folder 5 "Branching Histories Approach to Indeterminism and Free Will," Draft Manuscript, Nuel Belnap , September 20, 2005 Containers box 8 , folder 6 Propensities, Draft Manuscripts, Nuel Belnap , 2005 Containers box 8 , folder 7 "Epistle to Paul," Manuscript, Nuel Belnap , August 20, 2005 Containers box 8 , folder 8 "Propensities in Branching Space-Times Are Causal Probabilities," Draft Manuscript, Nuel Belnap , January 2, 2006 Containers box 8 , folder 9 Projective Geometry, Diagrams , 2006 Containers box 8 , folder 10 "Bressan's Type-Theoretical Combination of Quantification and Modality," Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg , Nuel Belnap , 2006 Containers box 8 , folder 11 "Bressan's Type-Theoretical Combination of Quantification and Modality," Draft Manuscript, Nuel Belnap , November 30, 2005 Containers box 8 , folder 12 "Bressan's Type-Theoretical Combination of Quantification and Modality," Draft Manuscript, Nuel Belnap , April 11, 2006 Containers box 8 , folder 13 "How Causal Probabilities Might Fit Into Our Objectively Indeterministic World,"Synthese , Matthew Weiner and Nuel Belnap , 2006 Containers box 8 , folder 14 "How Causal Probabilities Might Fit Into Our Objectively Indeterministic World," Draft Manuscript, Matthew Weiner and Nuel Belnap , May 19, 2006 Containers box 8 , folder 15 "Prosentence, Revision, Truth, and Paradox," Philosophy and Phenomenological Research , Vol. 73, Nuel Belnap , 2006 Containers box 8 , folder 16 "Prosentence, Revision, Truth, and Paradox," Draft Manuscript, Nuel Belnap , June 16, 2005 Containers box 8 , folder 17 BST Book, Chapters 1-3 , November 29, 2006 Containers box 8 , folder 18 "Propensities and Probabilities," Studies in History and Philosophy of Modern Physics , Vol. 38, Nuel Belnap , 2007 Containers box 8 , folder 19 "Propensities and Probabilities," Draft Manuscript, Nuel Belnap , November 19, 2007 Containers box 8 , folder 20 "Can Propensities Be Single-Case Causal Probabilities?" Draft Manuscript, Nuel Belnap , May 18, 2006 Containers box 8 , folder 21 "Can Propensities Be Single-Case Causal Probabilities?" Draft Manuscript, Nuel Belnap , May 19, 2006 Containers box 8 , folder 22 "From Newtonian Determinism to Branching Space-Time Indeterminism," Logik, Begriffe, Prinzipien des Handelns , Nuel Belnap , 2007 Containers box 8 , folder 23 "An Indeterminist View of the Parameters of Truth," Philosophie der Zeit , Nuel Belnap , 2007 Containers box 8 , folder 24 "An Indeterminist View of the Parameters of Truth," Draft Manuscript, Nuel Belnap , December 7, 2006 Containers box 9 , folder 1 "An Indeterminist View of the Parameters of Truth," Draft Manuscript, Nuel Belnap , no date Containers box 9 , folder 2 "Funny Business in Branching Space-Times: Infinite Modal Correlations," Synthese , Vol. 164, Thomas Mueller et al. , 2007 Containers box 9 , folder 3 "Funny Business in Branching Space-Times: Infinite Cases," Draft Manuscript, Thomas Mueller et al. , March 21, 2005 Containers box 9 , folder 4 "Funny Business in Branching Space-Times: Infinite Cases," Draft Manuscript, Thomas Mueller et al. , May 24, 2005 Containers box 9 , folder 5 "Retirement Notes for Gerald J. Massey--A Sample," Draft Manuscript, Nuel Belnap , April 23, 2007 Containers box 9 , folder 6 "The Everett Interpretation," Draft Manuscript, Nuel Belnap , July 14, 2007 Containers box 9 , folder 7 "The Everett Interpretation," Draft Manuscript, Nuel Belnap , July 17, 2007 Containers box 9 , folder 8 "BSTP: Branching Space-Times with Probabilities," Draft Manuscript, Nuel Belnap , October 7, 2007 Containers box 9 , folder 9 Notes on the Art of Logic , Nuel Belnap, Draft Manuscript2008 Containers box 9 , folder 10 "Branching with Uncertain Semantics: Discussion Note on Saunders and Wallace, 'Branching and Uncertainty'," Draft Manuscript, Nuel Belnap and Thomas Mueller , July 1, 2008 Containers box 9 , folder 11 "Generalized Truth Values. A Reply to Dubois," Draft Manuscript, Heinrich Wansing and Nuel Belnap , May 2009 Containers box 9 , folder 12 "Generalized Truth Values. A Reply to Dubois," Proofs, Heinrich Wansing and Nuel Belnap , 2009 Containers box 9 , folder 13 "Truth Values, Neither-True-Nor-False, and Supervaluations," Studio Logica , Nuel Belnap , 2009 Containers box 9 , folder 14 "Truth Values, Neither-True-Nor-False, and Supervaluations," Draft Manuscript, Nuel Belnap , October 25, 2008 Containers box 9 , folder 15 "Truth Values, Neither-True-Nor-False, and Supervaluations," Peer Review , 2009 Containers box 9 , folder 16 "Truth Values, Neither-True-Nor-False, and Supervaluations," Presentation Slides, Nuel Belnap , March 2009 Containers box 9 , folder 17 Facing the Future: Agents and Choices in Our Indeterminist World , Nuel Belnap and Michael Perloff, Book Review2009 Containers box 9 , folder 18 "Response to Earman Paper," Draft Manuscript, Nuel Belnap , 2009 Containers box 9 , folder 19 "How You Ought To Talk If You Reject the Rigid Determinism of Kant and Hume," Draft Manuscript, Nuel Belnap , June 14, 2009 Containers box 9 , folder 20 "The Slightshot in Case-Intensional Semantics," Presentation Slides, Nuel Belnap , December 8, 2009 Containers box 9 , folder 21 "Future Contingents and the Battle Tomorrow," Review of Metaphysics , Vol. 64, Michael Perloff and Nuel Belnap , 2010 Containers box 9 , folder 22 "Future Contingents and the Battle Tomorrow," Draft Manuscript, Michael Perloff and Nuel Belnap , March 9, 2010 Containers box 9 , folder 23 "Future Contingents and the Battle Tomorrow," Draft Manuscript, Michael Perloff and Nuel Belnap , March 29, 2010 Containers box 9 , folder 24 "Future Contingents and the Battle Tomorrow," Draft Manuscript, Michael Perloff and Nuel Belnap , April 1, 2010 Containers box 9 , folder 25 "Future Contingents and the Battle Tomorrow," Draft Manuscript, Michael Perloff and Nuel Belnap , November 6, 2010 Containers box 9 , folder 26 "The Language of Indeterminism: A Primer," Draft Manuscript, Nuel Belnap , July 1, 2006 Containers box 9 , folder 27 "The Language of Indeterminism: A Primer," Draft Manuscript, Nuel Belnap , September 24, 2010 Containers box 9 , folder 28 "Indeterminism is a Modal Notion: Branching Spacetimes and Earman's Pruning," Draft Manuscript, Tomasz Placek and Nuel Belnap , April 2, 2010 Containers box 9 , folder 29 "Branching Space-Time," Postprint, Nuel Belnap , July 23, 2010 Containers box 9 , folder 30 "How Case-Intensional Semantics Prevents the Slingshot From Hitting Its Target," Draft Manuscript, Nuel Belnap , January 11, 2010 Containers box 9 , folder 31 "How Case-Intensional Semantics Prevents the Slingshot From Hitting Its Target," Draft Manuscript, Nuel Belnap , March 11, 2010 Containers box 10 , folder 1 "How Case-Intensional Semantics Prevents the Slingshot From Hitting Its Target," Draft Manuscript, Nuel Belnap , August 29, 2010 Containers box 10 , folder 2 "How Case-Intensional Semantics Prevents the Slingshot From Hitting Its Target," Draft Manuscript, Nuel Belnap , January 18, 2011 Containers box 10 , folder 3 "Two Moves Take Newtonian Determinism to Branching Space-Times," Draft Manuscript, Nuel Belnap , January 3, 2011 Containers box 10 , folder 4 "Newtonian Determinism to Branching Space-Times Indeterminism in Two Moves," Draft Manuscript, Nuel Belnap , January 25, 2011 Containers box 10 , folder 5 "Newtonian Determinism to Branching Space-Times Indeterminism in Two Moves," Revised Postprint, Nuel Belnap , February 20, 2011 Containers box 10 , folder 6 "From Newtonian Determinism to Branching Space-Times," Draft Manuscript, Nuel Belnap , March 22, 2007 Containers box 10 , folder 7 "From Newtonian Determinism to Branching-Space-Time Indeterminism," Draft Manuscript, Nuel Belnap , c. 2012 Containers box 10 , folder 8 "From Newtonian Determinism to Branching Space-Time, Indeterminism," Draft Manuscript, Nuel Belnap , no date Containers box 10 , folder 9 "Notes on Wilson's 'EQM Without Branching Times'," Draft Manuscript, Nuel Belnap , March 11, 2011 Containers box 10 , folder 10 "Causal Probability Charts," Draft Manuscript, Nuel Belnap , March 14, 2011 Containers box 10 , folder 11 "A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times," Draft Manuscript, Nuel Belnap , March 16, 2011 Containers box 10 , folder 12 Notes on Stages, Draft Manuscripts , July, 2011 Containers box 10 , folder 13 "Prolegomenon to Norms in Branching Space-Times," Journal of Applied Logic , Nuel Belnap , 2011 Containers box 10 , folder 14 "Prolegomenon to Norms in Branching Space-Times," Draft Manuscript, Nuel Belnap , July 30, 2008 Containers box 10 , folder 15 "Prolegomenon to Norms in Branching Space-Times," Draft Manuscript, Nuel Belnap , August 20, 2008 Containers box 10 , folder 16 "Prolegomenon to Norms in Branching Space-Times," Draft Manuscript, Nuel Belnap , February 5, 2009 Containers box 10 , folder 17 "Prolegomenon to Norms in Branching Space-Times," Draft Manuscript, Nuel Belnap , September 23, 2009 Containers box 10 , folder 18 "Norms in Branching Space-Time," Draft Manuscript, .tex File , March 31, 2008 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser1_ASP201802_LETTER "Newtonian Determinism to Branching Space-Times Indeterminism in Two Moves," Proofs, Nuel Belnap , 2012 Containers box 10 , folder 19 "On Topological Issues of Indeterminism," Correspondence, Tomasz Placek et al. , 2012 Containers box 10 , folder 20 "On Topological Issues of Indeterminism," Draft Manuscript, Tomasz Placek et al. , no date Containers box 10 , folder 21 "On Topological Issues of Indeterminism," Proofs, Tomasz Placek et al. , 2014 Containers box 10 , folder 22 Truth and Semantics, Draft Manuscript , April 6, 2012 Containers box 10 , folder 23 "CIFOL: Case-Intensional First Order Logic: (I) Toward a Theory of Sorts," Draft Manuscript, Nuel Belnap and Thomas Mueller , October 15, 2012 Containers box 10 , folder 24 "Internalizing Case-Relative Truth in CIFOL+," Draft Manuscript, Nuel Belnap , March 13, 2013 Containers box 10 , folder 25 "Internalizing Case-Relative Truth in CIFOL+," Draft Manuscript, Nuel Belnap , May 23, 2012 Containers box 10 , folder 26 "Internalizing Case-Relative Truth in CIFOL+," Draft Manuscript, Nuel Belnap , May 10, 2013 Containers box 10 , folder 27 "Internalizing Case-Relative Truth in CIFOL+," Draft Manuscript, Nuel Belnap , March 11, 2013 Containers box 11 , folder 1 "Internalizing Case-Relative Truth in CIFOL+," Proofs, Nuel Belnap , 2014 Containers box 11 , folder 2 "Looking for Cases in BST," Notes, Thomas Mueller , March 15, 2013 Containers box 11 , folder 3 "Looking for Cases in BST," Notes from Discussion, Thomas Nueller and Nuel Belnap , 2013 Containers box 11 , folder 4 "BH-CIFOL: Case-Intensional First Order Logic,: (II) Branching Histories," Journal of Philosophical Logic , Nuel Belnap and Thomas Mueller , 2013 Containers box 11 , folder 5 "BH-CIFOL: Case-Intensional First Order Logic,: (II) Branching Histories," Draft Manuscript, Nuel Belnap and Thomas Mueller , December 15, 2012 Containers box 11 , folder 6 "BH-CIFOL: Case-Intensional First Order Logic,: (II) Branching Histories," Proofs, Nuel Belnap and Thomas Mueller , 2013 Containers box 11 , folder 7 "On Individuals in Branching Histories," Draft Manuscript, Nuel Belnap and Tomasz Placek , 2016 Containers box 11 , folder 8 "On Individuals in Branching Histories," Draft Manuscript, Nuel Belnap and Tomasz Placek , 2016 Containers box 11 , folder 9 Display Logic, Proof of S3 and Notes on Hacking , no date Containers box 11 , folder 10 Series II. Writing By Other Authors , 1958-2020 Scope and Contents This series includes writing by other authors that Belnap collected and read. This includes photocopies and reprints of published articles, along with some copies of manuscripts. Some articles are annotated, and others have letters or notes from the author to Belnap discussing the written material. Manuscripts can be noted as being read, sometimes with a date of reading also recorded.
Anderson, Alan Ross , 1962 Containers box 11 , folder 11 Anonymous , no date Containers box 11 , folder 12 Anscombe, G.E. M. , 1974 Containers box 11 , folder 13 Antonelli, G. Aldo , 2010 Containers box 11 , folder 14 Aqvist, Lennart , 1974-1978 Containers box 11 , folder 15 Aqvist, Lennart, "On the 'Tell Me Truly' Approach to the Analysis of Interrogatives," Manuscript , December 1980 Containers box 11 , folder 16 Arieli, Ofer and Arnon Avron , 1998 Containers box 11 , folder 17 Artemov, Sergei , 2008 Containers box 11 , folder 18 Association Francophone pour le Savoir, Conference, Program and Draft Manuscripts , 2014 Containers box 11 , folder 19 Bacon, Francis , no date Containers box 11 , folder 20 Baier, Annette , 1971 Containers box 11 , folder 21 Baker, Carl LeRoy, Indirect Questions in English , Dissertation , 1968 Containers box 11 , folder 22 Bartha, Paul , 1989-1993 Containers box 11 , folder 23 Barwise, Jon and John Perry , 1981 Containers box 11 , folder 24 Bennet, Jonathan , 1981 Containers box 11 , folder 25 Benthem, Johan van and Eric Pacuit , 2012 Containers box 11 , folder 26 Bollinger, Dwight , 1967 Containers box 11 , folder 27 Borghini, Andrea and Giuliano Torrengo , c. 2010 Containers box 11 , folder 28 Boudon, Raymond and Lazarsfeld, Paul , 1946 Containers box 12 , folder 1 Bovens, Luc , 1996 Containers box 12 , folder 2 Branching Space-Time , 2002-2004 Containers box 12 , folder 3-4 Brandom, Robert, "Seven Big Ideas," Manuscript , June 25, 2013 Containers box 12 , folder 5-6 Bressan, Aldo , 1995-2014 Containers box 12 , folder 7 Bressan, Aldo, De Re and De Dicto , 1970-1980 Containers box 12 , folder 8 Bressan, Aldo, Physical Possibility , 1974-1995 Containers box 12 , folder 9 Brotherston, James , 2009 Containers box 12 , folder 10 Brown, Mark , 1988 Containers box 12 , folder 11 Brown, Mark , 2009 Containers box 12 , folder 12 Bulnes, Matias , 2012 Containers box 12 , folder 13 Carnap, Rudolf , 1949 Containers box 12 , folder 14-16 Carr, David , 1979 Containers box 12 , folder 17 Case-Intensional Semantics , 1981-2009 Containers box 12 , folder 18 Castaneda, Hector-Neri , 1972-1980 Containers box 12 , folder 19 Causality , c. 2000s Containers box 12 , folder 20 Causality , c. 2000s Containers box 13 , folder 1-3 Chellas, Brian , 1969-1986 Containers box 13 , folder 4 Chellas, Brian , 1990-1993 Containers box 13 , folder 5 Chisholm, Roderick , 1964-1989 Containers box 13 , folder 6 Clark, Romane , 1981-1986 Containers box 13 , folder 7 Clouston, Ranald , 2013 Containers box 13 , folder 8 Common Cause , 1990s-2000s Containers box 13 , folder 9 Common Cause , 1990s-2000s Containers box 14 , folder 1 Criley, Mark , 1993 Containers box 14 , folder 2 Curry, Haskell B., "Foundations of Mathematical Logic," Research Notes , 1978 Containers box 14 , folder 3 Davidson, Donald , 1967-1985 Containers box 14 , folder 4 Dazeley, Howard and Wolfgang Gombocz , 1979 Containers box 14 , folder 5 Dorr, Cian , 2003-2005 Containers box 14 , folder 6 Du, Shan , 2011 Containers box 14 , folder 7 Dubois, Didier , 2007 Containers box 14 , folder 8 Dunn, Michael , 2015 Containers box 14 , folder 9 Earman, John , 2007-2009 Containers box 14 , folder 10 Earman, John, Quantum Mechanics Course , 1990 Containers box 14 , folder 11 Earman, John, Quantum Mechanics Course , 1990 Containers box 15 , folder 1-2 Edelberg, Walter , 1989 Containers box 15 , folder 3 Elgesem, Dag , 1989-1992 Containers box 15 , folder 4 Fitch, Frederic , 1963 Containers box 15 , folder 5 Frankfurt, Harry G. , 1969 Containers box 15 , folder 6 Gibbard, Allan and William Harper , 1981 Containers box 15 , folder 7 Glueer, Kathrin and Peter Pagin , 2005 Containers box 15 , folder 8 Goble, Lou , 1988 Containers box 15 , folder 9 Greenspan, P.S. , 1975 Containers box 15 , folder 10 Gruner, Rolf , 1976 Containers box 15 , folder 11 Gupta, Anil , no date Containers box 15 , folder 12 Haag, Rudolf , 1990 Containers box 15 , folder 13 Hacking, Ian , no date Containers box 15 , folder 14 Halpin, John F. , 1988 Containers box 15 , folder 15 Hamblin, C.L. , 1970-1972 Containers box 16 , folder 1 Hare, R.M. , 1967 Containers box 16 , folder 2 Harrah, David , 1970-1980 Containers box 16 , folder 3 Hauser, Kai , 2010 Containers box 16 , folder 4 Henry, Desmond Paul , 1960-1967 Containers box 16 , folder 5 Higgins, F.R., The Pseudo-Cleft Construction in English , Dissertation , 1976 Containers box 16 , folder 6 Hilpinen, Risto , 1973 Containers box 16 , folder 7 Hitchcock, Jon , 2012 Containers box 16 , folder 8 Hohfeld, Wesley Newcomb , 1919-1923 Containers box 16 , folder 9 Holster, Andrew, "An Introduction to Pavel Tichy and Transparent Intensional Logic," Preprint Manuscript , 2003 Containers box 16 , folder 10 Hornsby, Jennifer , 1986 Containers box 16 , folder 11 Horty, John F. , 1990 Containers box 16 , folder 12 Horty, John F. , 2007-2010 Containers box 16 , folder 13 Horty, John F. , 2013-2015 Containers box 16 , folder 14 Horty, John F., "Proposed Act Utilarianism," Draft Manuscript , July 29, 2008 Containers box 16 , folder 15 Humberstone, I. L. , 1976-1977 Containers box 16 , folder 16 Huntley, Martin , 1980-1984 Containers box 16 , folder 17 Indeterminism , 2005 Containers box 17 , folder 1 Indeterminism, Ltd., Causation and Agency in Our Indeterministic World, Workshop , 2013 Containers box 17 , folder 2 Jarrett on Bell's Theorem, Notes , 1996 Containers box 17 , folder 3 "Junk," Humor and Games, Excerpts and Correspondence , c. 1970-1980 Containers box 17 , folder 4 Kamp, Hans , 1973-1978 Containers box 17 , folder 5 Kanger, Stig and Helle Kanger , 1966 Containers box 17 , folder 6 Kanger, Stig , 1972 Containers box 17 , folder 7 Kaplan, David , 1989 Containers box 17 , folder 8 Kendall, Patricia & Paul Lazarsfeld , 1950 Containers box 17 , folder 9 Kenny, A. J. , 1965 Containers box 17 , folder 10 Kishida, Kohei , 2009 Containers box 17 , folder 11 Kolodny, Niko , 2008 Containers box 17 , folder 12 Kratzer, Angelika , 1977 Containers box 17 , folder 13 Kripke, Saul A. , 1972 Containers box 17 , folder 14 Kutschera, Franz von , no date Containers box 17 , folder 15 Ladd, John , 1965 Containers box 17 , folder 16 Lazarsfeld, Paul F. , 1958-1978 Containers box 17 , folder 17 Lehrer, Keith , 1976 Containers box 17 , folder 18 Lemmon, E. J. , 1962-1965 Containers box 18 , folder 1 Locke, Don , 1976 Containers box 18 , folder 2 Londey, David , 1978 Containers box 18 , folder 3 MacFarlane, John , 1993 Containers box 18 , folder 4 MacFarlane, John , 2003-2005 Containers box 18 , folder 5 MacFarlane, John , 2004-2008 Containers box 18 , folder 6 Magnetic Tapes , 1980-1985 Containers box 18 , folder 7 Makinson, David , 1986-1988 Containers box 18 , folder 8 Manders, Kenneth , no date Containers box 18 , folder 9 Many-Valued Logic for Artificial Intelligence , 2003-2007 Containers box 18 , folder 10 Marcus, Ruth Barcan , 1966 Containers box 18 , folder 11 Massey, Gerald J. , 1976 Containers box 18 , folder 12 McCall, Storrs , 1989 Containers box 18 , folder 13 McCullouch, Mark , 1991 Containers box 18 , folder 14 Migotti, Mark , 2003 Containers box 18 , folder 15 Modal Logic , no date Containers box 18 , folder 16 Modal Logic and Causation , 2010-2011 Containers box 18 , folder 17 Montague, Richard , 1981 Containers box 18 , folder 18 Montanaro, A. and A. Bressan, "Contributions to Foundations of Probability Calculus on the Basis of the Modal Logical Calculus MCv or MCv*," Rendiconti del Seminario Matematico della Università di Padova, Vol. 64 , 1981 Containers box 18 , folder 19 Mott, Peter L. , 1973 Containers box 18 , folder 20 Mourelatos, Alexander P.D. , 1978 Containers box 18 , folder 21 Mueller, Thomas , 2000-2007 Containers box 18 , folder 22 Mueller, Thomas , 2005-2008 Containers box 19 , folder 1 Mueller, Thomas , 2011-2012 Containers box 19 , folder 2 Mueller, Thomas, "Branching Space-Times, General Relativity, the Hausdorff Property, and Modal Consistency," Technical Report , April 20, 2011 Containers box 19 , folder 3 Multi-Valued Logic, 5th International Symposium , 1975 Containers box 19 , folder 4 Mundy, Brent , 1986 Containers box 19 , folder 5 Nelson, Jude, TankWar, Video Game Instructions , December 7, 2006 Containers box 19 , folder 6 Nunez, Tyke , 2014 Containers box 19 , folder 7 O'Brien, Lucy , 2005 Containers box 19 , folder 8 Øhrstrøm, Peter , 2012 Containers box 19 , folder 9 Partee, Barbara H. , no date Containers box 19 , folder 10 Pendlebury, Michael , 1986 Containers box 19 , folder 11 Percival, Philip , 2013 Containers box 19 , folder 12 Perloff, Michael , 1979-1995 Containers box 19 , folder 13 Placek, Thomasz , 2003-2007 Containers box 19 , folder 14 Placek, Thomasz , 2008-2009 Containers box 19 , folder 15 Poggiolesi, Francesca , 2008 Containers box 20 , folder 1 Pratt, Vaughn R. , 1980 Containers box 20 , folder 2 Prior, Arthur , no date Containers box 20 , folder 3 Propensities , 1984-2006 Containers box 20 , folder 4-5 Qing, Jia , no date Containers box 20 , folder 6 Quantified Modal Logic , 1980-2001 Containers box 20 , folder 7-9 Quantifying into Questions, Research File , 1972-1981 Containers box 20 , folder 10-12 Quantum Mechanics , no date Containers box 20 , folder 13 Questions, Bibliography , c. 1970 Containers box 20 , folder 14 Questions, Research File , 1969-1981 Containers box 20 , folder 15 Questions (Harrah, Karttanen), Research File , c. 1978-1981 Containers box 21 , folder 1 Questions (Harrah, Boer, Hamblin), Research File , c. 1978-1981 Containers box 21 , folder 2 Questions (Bennet, Montague), Research File , c. 1978-1981 Containers box 21 , folder 3 Questions (Hoepelman, Faraci, Tichy), Research File , c. 1981 Containers box 21 , folder 4 Questions (Kartunnen, Bennett, Rescher), Research File , 1975-1978 Containers box 21 , folder 5 Questions (Kartunnen, Hauser, Lazerfeld), Research File , 1975-1978 Containers box 47 , folder 1 Questions (Ruth Manor, Montague), Research File , 1976-1981 Containers box 21 , folder 6 Questions (Tichy, Bennett, Hull, Hauser, Groenendijk, Booer), Research File , 1976-1981 Containers box 47 , folder 2 Research Data, Unknown Project , c. 2001 Containers box 21 , folder 7 Restall, Greg , 2012 Containers box 21 , folder 8 Roberts, Bryan W. , 2007 Containers box 21 , folder 9 Salmon, Wesley C. , 1977-1980 Containers box 21 , folder 10 Saunders, Simon , 2016 Containers box 22 , folder 1 Saurer, W. , no date Containers box 22 , folder 2 Scott, Dana, "Continuous Lattices," Toposes, Algebraic Geometry and Logic , 1972 Containers box 47 , folder 3 Scott, Dana, "Lattice-Theoretic Models for the Lambda Calculus," Manuscript , 1970 Containers box 22 , folder 3 Scott, Dana, "Outline of a Mathematical Theory of Computation," Manuscript , June 1970 Containers box 22 , folder 4 Segerberg, Krister , 1980-1989 Containers box 22 , folder 5 Sellars, Wilfrid , 1963 Containers box 22 , folder 6 Shear, Ted , October 9, 2013 Containers box 22 , folder 7 Smith, Logan Pearsall, All Trivia , Photocopy , no date Containers box 22 , folder 8 Smith, Peter, "The Galois Connection Between Syntax and Semantics," Manuscript , no date Containers box 22 , folder 9 Spohn, Wolfgang , 1990-1991 Containers box 22 , folder 10 Stahl, Gerold, "Question Sequences," Draft Manuscript , August 16, 1968 Containers box 22 , folder 11 Standefer, Shawn , 2009-2013 Containers box 22 , folder 12 Stein, Howard , c. 1992-2020 Containers box 23 , folder 1 Stit Papers and Bibliography , 1989-1996 Containers box 23 , folder 2 Suppes, Patrick and Mario Zanotti, "When Are Probabilistic Explanations Possible?" Photocopy , 1981 Containers box 23 , folder 3 Talja, Jari , 1980 Containers box 23 , folder 4 Temporal Logic , c. 2010 Containers box 23 , folder 5 Tennant, Neil , 2014 Containers box 23 , folder 6 Thalberg, ? , 1972 Containers box 23 , folder 7 Thomason, Richmond , 1970-1984 Containers box 23 , folder 8 Tichy, Pavel and Graham Oddie , 1983 Containers box 23 , folder 9 Tuomela, Raimo , 1989 Containers box 23 , folder 10 Tuomela, Raimo and Gabriel Sandu , 1992 Containers box 23 , folder 11 Utrecht University, "What Is Really Possible for Nuel," Workshop Program , May 11, 2012 Containers box 23 , folder 12 Vanderveken, Daniel , 2012 Containers box 23 , folder 13 Van Fraassen, Bas C. , 1971-1973 Containers box 23 , folder 14 Van Fraassen, Bas C. , 1982 Containers box 23 , folder 15 Van Inwagen, Peter , 1986 Containers box 23 , folder 16 Vendler, ? , 1972 Containers box 23 , folder 17 Von Kutschera, Franz , 1980-1986 Containers box 23 , folder 18 Von Wright, Georg Henrik , 1967-1970 Containers box 23 , folder 19 Wajch, Eliza , c. 2010 Containers box 23 , folder 20 Walton, Douglas N. , 1975-1980 Containers box 23 , folder 21 Wansing, Heinrich , 2009 Containers box 24 , folder 1-2 Wawer, Jacek, Branching Time and the Semantics of Future Contingents , Dissertation , 2016 Containers box 24 , folder 3-4 Williamson, Timothy , 2015 Containers box 24 , folder 5 Wilson, Alastair , 2010-2011 Containers box 24 , folder 6 Xu, Ming , 1994 Containers box 24 , folder 7 Zaitsev, Dmitry , 2009 Containers box 24 , folder 8 Zampieri, Gaetano , 1983 Containers box 24 , folder 9 Series III. Classes and Teaching , 1955-2013 Scope and Contents This series consists of material used in Belnap's teaching, along with some material on Alfred North Whitehead from Belnap's time as a student at Yale. There are lecture notes by Belnap, assignment handouts, minutes of class discussions taken by participants, Belnap's outlines of lectures, and support material such as articles by Belnap or other philosophers on the topic of the course. Subjects covered include Belnap's branching space-times theory, seeing to it that (stit), combinatory logic, display logic, Aldo Bressan's modal logic, and Alfred North Whitehead's philosophy. Among the files on Whitehead there are papers written by Belnap when he was a student at Yale.
Algebra and Entailment, Lecture Notes , c. 1967 Containers box 24 , folder 10 Boolean Algebra, Lecture Notes , c. 1971 Containers box 24 , folder 11 Bressan, Aldo, Class Notes, University of California, Irvine , 1970-1973 Containers box 25 , folder 1-2 Change Predicates, Determinations, Question-Embedding Verbs, Notes , no date Containers box 25 , folder 3 "Cohen: Set Theory and Continuum Hypothesis," Lecture Notes , c. 1968 Containers box 25 , folder 4 Combinatory Logic, Lecture Notes , Fall 1966 Containers box 25 , folder 5 Course Evaluations , 1977-1978 Containers box 25 , folder 6 Course Evaluations , 1971-1980 Containers box 25 , folder 7 CV and Doctoral Students , 2007 Containers box 25 , folder 8 Display Logic, Lecture Notes , 1980-1981 Containers box 25 , folder 9 Garson, Modal Logic, Notes , 2007 Containers box 25 , folder 10 Non-Classical Logic, Course Notes , 2003 Containers box 25 , folder 11 Notes on Science of Logic , 1985 Containers box 26 , folder 1 PHIL 11B, Course Evaluations , Winter 1977 Containers box 26 , folder 2 PHIL 101a, Symbolic Logic: Introduction, Lecture Notes and Exams , 1966-1967 Containers box 26 , folder 3 PHIL 102a, Logic, Lecture Notes and Handouts , 1960-1962 Containers box 26 , folder 4-5 PHIL 102a, Logic, Handouts and Exams , c. 1960-1962 Containers box 26 , folder 6 PHIL 150, Exam , Fall 1977 Containers box 26 , folder 7 PHIL 151, Assignments , 1972 Containers box 26 , folder 8 PHIL 151, Class Exercises , 1969-1970 Containers box 26 , folder 9 PHIL 151, Class Handouts , 1974-1978 Containers box 26 , folder 10 PHIL 151, Exams , 1968-1976 Containers box 27 , folder 1 PHIL 151, Handouts and Exam , 1976-1977 Containers box 27 , folder 2 PHIL 151, Handouts, Notes, and Exam , 1972-1977 Containers box 27 , folder 3 PHIL 151, Lecture Notes , 1972-1974 Containers box 27 , folder 4 PHIL 151, Lecture Notes, Exams, and Handouts , 1972-1979 Containers box 27 , folder 5 PHIL 151, Lecture Notes, Exams, and Handouts , 1979-1980 Containers box 27 , folder 6 PHIL 151, Syllabus and Handouts , Spring 1980 Containers box 27 , folder 7 PHIL 151, Thomason, Assignments , Fall 1972 Containers box 27 , folder 8 PHIL 151, Thomason, Lecture Notes , 1972 Containers box 27 , folder 9 PHIL 151 "With Jeffries," Class Handouts , 1975 Containers box 27 , folder 10 PHIL 152, Lecture Notes, Handouts and Exams , 1966-1967 Containers box 28 , folder 1-3 PHIL 152, Symbolic Logic, Lecture Notes , 1974 Containers box 28 , folder 4 PHIL 154, Notes by John Chidgey , Winter 1978 Containers box 28 , folder 5 PHIL 154, Semantics Course, Notes by John Chidgey , Winter 1978 Containers box 28 , folder 6 PHIL 212, Exam and Syllabus , 1971 Containers box 28 , folder 7 PHIL 245, Advanced Logic, Library Reserve List , Fall 1980 Containers box 28 , folder 8 PHIL 245, Advanced Logic, Student Lecture Notes , Fall 1980 Containers box 28 , folder 9 PHIL 252, Bressan's Modal Logic, Course Material , 1980 Containers box 28 , folder 10 PHIL 252, Bressan's Modal Logic, Course Material , 1980 Containers box 29 , folder 1 PHIL 252, Bressan's Modal Logic, Course Material , 2005 Containers box 29 , folder 2 PHIL 253, Imperatives , 1988 Containers box 29 , folder 4-6 PHIL 500, Introduction to Logic, Lecture Slides and Exams , 2007 Containers box 29 , folder 7 PHIL 2500, Advanced Logic, Course Material , Spring 2009 Containers box 29 , folder 8 PHIL 2500, Exams , 2010 Containers box 46 , folder 5 PHIL 2500, Lecture Notes , c. 2010 Containers box 29 , folder 10 PHIL 2505, Indeterminism, Branching Time, and Branching Space-Time, Course Material , Spring 2011 Containers box 29 , folder 11 Possible World Semantics, Proofs, Justin Bisceglia , no date Containers box 29 , folder 12 Ryll-Nardzewski Fixed-Point Theorem, Beth Definability, Joint Consistency Theorem, Notes , c. 1969 Containers box 29 , folder 13 Scottish Combinatory Logic, Lecture Notes , May-June 1970 Containers box 30 , folder 1 Scottish Combinatory Logic, Lecture Notes , 1976 Containers box 30 , folder 2-3 Scottish Combinatory Logic, Lecture Notes , 1976 Containers box 47 , folder 4 Scottish Combinatory Logic, Strict Polyadic Combinatorial Logics, Lecture Notes , no date Containers box 30 , folder 4 Scottish Combinatory Logic and Propositional Logic, Lecture Notes , 1970 Containers box 30 , folder 5 Some Remarks on Stit Trees , 1988 Containers box 30 , folder 6 Stit, Class Notes , 1989 Containers box 30 , folder 7-9 Stit, Seminar Notes , 2013 Containers box 30 , folder 10 Tense and Agency, Course Outline , 1991 Containers box 30 , folder 11 Topics in Philosophical Logic, Lecture Notes , 1991 Containers box 30 , folder 12 University of Pittsburgh, Department of Philosophy, Directory , 2013 Containers box 30 , folder 13 Urquhart Semantics, Lecture Notes and Handouts , c. 1971 Containers box 30 , folder 14 "Simultaneity and Uniformity: Einstein and Whitehead," Draft Manuscript, Nuel Belnap , 1956 Containers box 30 , folder 15 Whitehead and Einstein, Notes for F.C.S. Northrop Class , c. 1956 Containers box 30 , folder 16 Whitehead Course, Lecture Notes , June-August 1961 Containers box 30 , folder 17 Whitehead Course, Lecture Notes , 1968-1973 Containers box 30 , folder 18 Whitehead Course with Nathaniel Lawrence, Extensive Abstraction, Notes , February 1956 Containers box 31 , folder 1 Whitehead Course with Nathaniel Lawrence, Lecture Notes , Spring 1956 Containers box 31 , folder 2 Whitehead Course with Nathaniel Lawrence, "Modes of Existence in Process and Reality ," Paper , February 1956 Containers box 31 , folder 3 Whitehead Course with Nathaniel Lawrence, Philosophy of Nature, Notes , Fall 1955 Containers box 31 , folder 4 Whitehead, Process and Reality , Notes , Summer 1973 Containers box 31 , folder 5 Series IV. Correspondence , 1967-2015 Scope and Contents This series includes correspondence between Nuel Belnap and philosophers, logicians, and others in related academic or professional fields. There are some manuscripts and offprints included along with letters. Much of the correspondence involves discussion of Belnap's and other's work in philosophical logic, covering subjects such as relevance logics, stit, and branching space-times. Correspondence can also concern the publishing of Belnap's books, submitting (or requests to submit) to journals, possible academic appointments or visits, and computer programs (for this see, for example, correspondence with Patrick Suppes). There is also a folder of photos of faculty from the University of Pittsburgh philosophy department (Box 38, Folder 9).
The arrangement of files reflects the original order maintained by Belnap, organized alphabetically by name of individual, organization, or subject matter. The files labeled with Belnap's own name include material focused on his own academic activities and biographical information, including academic appointments, his curriculum vitae, and updates to his entry in Who's Who in America .
American Association for the Advancement of Science , 1978-1988 Containers box 31 , folder 6 Alanen, Lilli , 1988-1992 Containers box 31 , folder 7 Alan Ross Anderson Memorial Fund , 1973-1984 Containers box 31 , folder 8 Akman, Varol , 1992 Containers box 31 , folder 9 Aqvist, Lennart , 1974-1992 Containers box 31 , folder 10 Association for Symbolic Logic , 1972-1987 Containers box 31 , folder 11 Audi, Robert , 1991 Containers box 31 , folder 12 Avron, Arnon , 1988-1991 Containers box 31 , folder 13 A - Various , 1983-1989 Containers box 31 , folder 14 Batens, Diderik , 1982-1987 Containers box 31 , folder 15 Belnap, Nuel , 1988-1989 Containers box 31 , folder 16 Belnap, Nuel , 1983-1989 Containers box 31 , folder 17 Belnap, Nuel , 1983-1987 Containers box 32 , folder 1 Belnap Conference , 2009 Containers box 32 , folder 2 Bennett, Michael, Memorial Fund , 1977-1980 Containers box 32 , folder 3 Bindex , 1975-1983 Containers box 32 , folder 4 Bressan, Aldo , 1984-1990 Containers box 32 , folder 5 Bressan, Aldo , December 3, 2007 Containers box 32 , folder 6 B - Various , no date Containers box 32 , folder 7 B - Various , no date Containers box 32 , folder 8 Center for Advanced Studies in the Behaviorial Sciences , 1979-1989 Containers box 32 , folder 9 Chidgey, John , 1977 - 1984 Containers box 32 , folder 10 C - Various , 1983-1994 Containers box 32 , folder 11 C - Various , 1987-1991 Containers box 32 , folder 12 Dean Reports , 2006-2010 Containers box 33 , folder 1 Dunn, J. Michael , 1987-1990 Containers box 33 , folder 2 Dunn, J. Michael , 1980-1986 Containers box 33 , folder 3 Dunn, J. Michael , 1977-1979 Containers box 33 , folder 4 D - Various , 1988-1993 Containers box 33 , folder 5 D - Various , 1983-1987 Containers box 33 , folder 6 Earman, John , 1986-1989 Containers box 33 , folder 7 Elgesem, Dag , 1989-1990 Containers box 33 , folder 8 Entailment , 1970-1996 Containers box 33 , folder 9 E - Various , 1983-1989 Containers box 33 , folder 10 Filion, Gail (Princeton University Press) , 1973-1976 Containers box 33 , folder 11 Fine, Kit , 1985-1988 Containers box 33 , folder 12 Fitch, Frederick , 1986-1987 Containers box 33 , folder 13 Floistad, Guttorm , 1976-1981 Containers box 33 , folder 14 F - Various , 1983-1991 Containers box 33 , folder 15 Garson, James , 1970-1986 Containers box 33 , folder 16 Giambone, Steve , 1987-1992 Containers box 34 , folder 1 Goble, Lou , 1986-1988 Containers box 34 , folder 2 Grunbaum, Adolf , 1972-1992 Containers box 34 , folder 3 Guggenheim Foundation , 1975 Containers box 34 , folder 4 Gupta, Anil , 1983-1993 Containers box 34 , folder 5 Gupta, Anil , 2012 Containers box 34 , folder 6 G - Various , 1983-1994 Containers box 34 , folder 7 Hajdin, Mane , 1991 Containers box 34 , folder 8 Harrah, David , 1970-1992 Containers box 34 , folder 9 Harsanyi, John , 1989 Containers box 34 , folder 10 Hellman, Geoffrey , 1983-1989 Containers box 34 , folder 11 Honderich, Ted , 1992 Containers box 34 , folder 12 Humberstone, Lloyd , 1984-1989 Containers box 34 , folder 13 H - Various , 1982-1994 Containers box 34 , folder 14 H - Various , 1982-1994 Containers box 34 , folder 15 Isay, Jane , 1975-1979 Containers box 34 , folder 16 I - Various , 1982-1987 Containers box 34 , folder 17 Janis, Allen I. , 1983-1993 Containers box 34 , folder 18 Journal of Philsophical Logic , 1986-1988 Containers box 34 , folder 19 J - Various , 1987-1990 Containers box 35 , folder 1 Keene, Geoffrey , 1991 Containers box 35 , folder 2 Klenk, Virginia , 1972-1988 Containers box 35 , folder 3 Knowledge Availability Systems Center , 1963-1968 Containers box 35 , folder 4 Koons, Robert , August 30, 1994 Containers box 35 , folder 5 Kraut, Robert , 1982 Containers box 35 , folder 6 Kripke, Saul , 1984 Containers box 35 , folder 7 Kron, Alexander , 1972-1994 Containers box 35 , folder 8 Kyburg, Henry E. Jr. , 1988-1989 Containers box 35 , folder 9 K - Various , 1985-1988 Containers box 35 , folder 10 Leblanc, Hugues , 1971-1989 Containers box 35 , folder 11 Logic Task Force , 1981 Containers box 35 , folder 12 L - Various , 1982-1994 Containers box 35 , folder 13 Mackenzie, James , no date Containers box 35 , folder 14 Malpass, Alex , April 2009 Containers box 35 , folder 15 Marcus, Ruth Barcan , 1991 Containers box 35 , folder 16 Marcus, Ruth Barcan , 1971-1997 Containers box 35 , folder 17 McCall, Storrs , 1971-1991 Containers box 35 , folder 18 McCawley, James D. , 1993 Containers box 35 , folder 19 McGhee, Vann , 1994 Containers box 35 , folder 20 McRobbie, Michael , 1976-1988 Containers box 36 , folder 1 Meyer, Robert , 1976-1994 Containers box 36 , folder 2 Morado, Raymundo , 1987-1988 Containers box 36 , folder 3 Morgan, Charles , 1974-1978 Containers box 36 , folder 4 Mueller, Thomas , May 5, 2013 Containers box 36 , folder 5 M - Various , 1982-1983 Containers box 36 , folder 6 N - Various , 1982-1988 Containers box 36 , folder 7 O - Various , 1984-1990 Containers box 36 , folder 8 Obituaries and Memorials for Friends , 2008 Containers box 37 , folder 1 Parker, Dorothy , 1971-1981 Containers box 37 , folder 2 Placek, Tomasz , 2012 Containers box 37 , folder 3 Pottinger, Garrel , 1971-1981 Containers box 37 , folder 4 P - Various , 1983-1994 Containers box 37 , folder 5 Q - Various , 1989 Containers box 37 , folder 6 Routley, Richard , 1971-1990 Containers box 37 , folder 7 R - Various , 1983-1992 Containers box 37 , folder 8 Seiler, T. , 1972-1981 Containers box 37 , folder 9 Shapiro, Stewart , 1975-1989 Containers box 37 , folder 10 Stanford , 1982 Containers box 37 , folder 11 Steel, Thomas , 1967-1987 Containers box 37 , folder 12 Stit , 1989-1992 Containers box 38 , folder 1 Studia Logika , 1976-1978 Containers box 38 , folder 2 Studia Logika , 1977-1988 Containers box 38 , folder 3 Sun Yat-sen University, Institute of Logic and Cognition, Group Photo , April 29, 2002 Containers box 47 , folder 5 Suppes, Patrick , 1975-1983 Containers box 38 , folder 4 S - Various , 1983-1996 Containers box 38 , folder 5 Thomason, Richmond , 1973-1986 Containers box 38 , folder 6 Tinderbox , 1977-1978 Containers box 38 , folder 7 T - Various , 1982-1994 Containers box 38 , folder 8 University of Pittsburgh, Philosophy Department, Photographs , c. 1980s-1990s Containers box 38 , folder 9 Urquhart, Alisdair , 1971-1987 Containers box 39 , folder 1 U - Various , 1985 Containers box 39 , folder 2 van Fraassen, Bas , 1970-1984 Containers box 39 , folder 3 V - Various , 1983-1993 Containers box 39 , folder 4 Wansing, Heinrich , 2015 Containers box 39 , folder 5 Wolf, Robert , 1975-1990 Containers box 39 , folder 6 Wolf Register , 1976 Containers box 39 , folder 7 Woodruff, Peter , 1982-1990 Containers box 39 , folder 8 W - Various , 1983-1997 Containers box 39 , folder 9 X - Various , 1997 Containers box 39 , folder 10 Y - Various , 1983-1990 Containers box 39 , folder 11 Z - Various , 1989-1991 Containers box 39 , folder 12 Series V. Letters of Recommendation , 1963-2011 Scope and Contents This series includes letters of recommendation written by Nuel Belnap for various students and colleagues. These can be for faculty positions, graduate programs, or grants. In these recommendations, Belnap discusses the individual's work and his history with them, including giving some of his own opinions on their projects in logic and philosophy. Some files can contain multiple letters of recommendation across many years. Other files do not contain a recommendation, instead having a letter from Belnap explaining he cannot provide one. Files can also include supplementary material such as CVs for the individual.
Conditions Governing Access Each file in this series is closed until the death of the subject. Please contact Archives & Special Collections for more information about a specific file.
Acord, Rodger , 1984-1988 Containers box 40 , folder 1 Ainsle, Donald , 1988 Containers box 40 , folder 2 Alt, James , 1970 Containers box 40 , folder 3 Amaral, Jorge Pedro , 1973-1974 Containers box 40 , folder 4 Antonelli, Aido , 1992-2001 Containers box 40 , folder 5 Aqvist, Lennart , 1974-1992 Containers box 40 , folder 6 Aragergis, Aristidas , 1989 Containers box 40 , folder 7 Asquith, Peter , 1966-1990 Containers box 40 , folder 8 Atherton, Michelle , 2002 Containers box 40 , folder 9 Auclair, Joseph , 1980 Containers box 40 , folder 10 Bacon, John , 1976 Containers box 40 , folder 11 Badecker, William , 1980 Containers box 40 , folder 12 Barfield, Esther , 1978 Containers box 40 , folder 13 Barker, John , 1971-1975 Containers box 40 , folder 14 Bartha, Paul , 1994 Containers box 40 , folder 15 Baykan, Aysegul , 1988 Containers box 40 , folder 16 Bencivenga, Ermanno , 1976-1980 Containers box 40 , folder 17 Bender, Mary , 1974 Containers box 40 , folder 18 Birmingham, Robert , 1975 Containers box 40 , folder 19 Bloomberg, Jason , 1986 Containers box 40 , folder 20 Bolotov, Alexander , 1994-2000 Containers box 40 , folder 21 Brandom, Robert , 1987 Containers box 40 , folder 22 Broido, Jonathan , 1975-1978 Containers box 40 , folder 23 Bromberger, Sylvain , 1967 Containers box 40 , folder 24 Brown, Mark , 1999 Containers box 40 , folder 25 Brown, Martin Bryson , 1977-1982 Containers box 40 , folder 26 Brownstein, Larry , 1971-1978 Containers box 40 , folder 27 Bruckner, Donald , 1987-1994 Containers box 40 , folder 28 Buhmann, Elizabeth , 1974 Containers box 40 , folder 29 Burian, Richard , 1966-1968 Containers box 40 , folder 30 Burton, Charles , 1975 Containers box 40 , folder 31 Byrd, Michael , 1977 Containers box 40 , folder 32 Camp, Joseph , 1971-1988 Containers box 40 , folder 33 Castañeda, Hector , 1986 Containers box 40 , folder 34 Chidgey, John , 1974-1979 Containers box 40 , folder 35 Clark, Romane , 1980-1982 Containers box 40 , folder 36 Cocchiarella, Nino , 1972 Containers box 40 , folder 37 Coffa, Alberto , 1969-1972 Containers box 40 , folder 38 Cohen, Daniel , 1982-1990 Containers box 40 , folder 39 Cohen, Jeffery , 1975 Containers box 40 , folder 40 Cohen, Margaret , 1971 Containers box 40 , folder 41 Collier, Kenneth , 1970-1975 Containers box 40 , folder 42 Conway, Molly , 1980 Containers box 40 , folder 43 Covey, Preston , 1983 Containers box 40 , folder 44 Cresswell, M. , 1972 Containers box 40 , folder 45 Cross, Charles , 1985-1987 Containers box 40 , folder 46 Dau, Paolo , 1977-1985 Containers box 40 , folder 47 Davey, Kevin , 1998-2000 Containers box 40 , folder 48 Davis, Steven , 1971-1978 Containers box 40 , folder 49 Dawson, Edward , 1977 Containers box 40 , folder 50 DeBruin, Debra , 1986-1987 Containers box 40 , folder 51 Deleney, Nancy , 1965 Containers box 40 , folder 52 Deutsch, Harry , 1981-1985 Containers box 40 , folder 53 Dockens, Reginald , 1971 Containers box 40 , folder 54 Donovan, Carol , 1975-1976 Containers box 40 , folder 55 Dunham, William , 1969 Containers box 40 , folder 56 Dunn, J. Michael , 1975-1996 Containers box 40 , folder 57 Dwyer, Robin , 1974 Containers box 40 , folder 58 Falk, Ted , 1977 Containers box 40 , folder 59 Fanchor, William , 1972 Containers box 40 , folder 60 Fine, Kit , 1991-1996 Containers box 40 , folder 61 Friedman, Martin , 1970 Containers box 40 , folder 62 Gale, Stephen , 1977 Containers box 40 , folder 63 Gallagher, Cornelius , 1966-1978 Containers box 40 , folder 64 Gangadean , 1973 Containers box 40 , folder 65 Garfield, Jay , 1978-1979 Containers box 40 , folder 66 Garson, James , 1973-1980 Containers box 40 , folder 67 Gaus, Gerald , 1978-1981 Containers box 40 , folder 68 Giambrone, Leffer , 1986-1987 Containers box 40 , folder 69 Giannoni, Carlo , 1966-1973 Containers box 40 , folder 70 Glaister, Stephen , 1996 Containers box 40 , folder 71 Glascock, Anthony , 1973 Containers box 41 , folder 1 Goble, Lou , 1966-1989 Containers box 41 , folder 2 Gore, Rajeev , 1994-2001 Containers box 41 , folder 3 Gottlieb, Dale , 1978-1979 Containers box 41 , folder 4 Greco, Anna , 1982 Containers box 41 , folder 5 Green, James , 1968-1969 Containers box 41 , folder 6 Green, Mitchell , 1995-1998 Containers box 41 , folder 7 Grover, Dorothy , 1969-1982 Containers box 41 , folder 8 Grunstra, Bernard , 1968 Containers box 41 , folder 9 Gupta, Anil , 1987-1994 Containers box 41 , folder 10 Gurskos, Alexandra , 1992 Containers box 41 , folder 11 Haack, Susan , 1976 Containers box 41 , folder 12 Harrah, David , 1984-1987 Containers box 41 , folder 13 Hart, George , 1978 Containers box 41 , folder 14 Hausser, Roland , 1977 Containers box 41 , folder 15 Hawthorne, John , 1980-1988 Containers box 41 , folder 16 Hazen, Allen , 1972-1979 Containers box 41 , folder 17 Helman, Geoffrey , 1978-1981 Containers box 41 , folder 18 Helman, Glen , 1976-1986 Containers box 41 , folder 19 Henderson, Richard , 1986 Containers box 41 , folder 20 Henry , 1969 Containers box 41 , folder 21 Hertz, Richard , 1966 Containers box 41 , folder 22 Hessler, Richard , 1966 Containers box 41 , folder 23 Hicks, Michael , 2001 Containers box 41 , folder 24 Higgins, Roger , 1979 Containers box 41 , folder 25 Hitchcock, Christopher , 1988-1992 Containers box 41 , folder 26 Hiz, Henry , 1975 Containers box 41 , folder 27 Hoey, Carol , 1973 Containers box 41 , folder 28 Horowitz, Tamara , 1978 Containers box 41 , folder 29 Horty, John , 1985-2004 Containers box 41 , folder 30 Horty, John , May 31, 2009 Containers box 41 , folder 31 Houser, Schuyler , 1965 Containers box 41 , folder 32 Huber, Mary , 1975 Containers box 41 , folder 33 Janc, Mirko , 1994 Containers box 41 , folder 34 Jones, Christopher , 1993 Containers box 41 , folder 35 Kadarauch, Robert , 1967 Containers box 41 , folder 36 Kielkopf, Charles , 1975 Containers box 41 , folder 37 Kim, Yea-Sook , 1981 Containers box 41 , folder 38 Kirchner, Philip , 1971 Containers box 41 , folder 39 Klein, Peter , 1983 Containers box 41 , folder 40 Klemencic, Donald , 1973 Containers box 41 , folder 41 Klenk, Virginia , 1967-1989 Containers box 41 , folder 42 Knezevich, Lily , 1984 Containers box 41 , folder 43 Kremer, Michael , 1989-1995 Containers box 41 , folder 44 Kremer, Philip , 1992-2001 Containers box 41 , folder 45 Kron, Aleksander , 1993-1994 Containers box 41 , folder 46 Kurtzmann, David , 1979 Containers box 41 , folder 47 Kvart, Igal , 1972 Containers box 41 , folder 48 Labbad, Joy , 1992 Containers box 41 , folder 49 LaFave, Laura , 1992 Containers box 41 , folder 50 Lambert, Karel , 1967-1991 Containers box 42 , folder 1 Lambl, Barbara , 1981 Containers box 42 , folder 2 Lance, Mark , 1994 Containers box 42 , folder 3 Lance, Mark , 1987-1990 Containers box 42 , folder 4 Lance, Norris , 1994-1997 Containers box 42 , folder 5 Lang, Bonnie , 1968 Containers box 42 , folder 6 Lang, Brian , 1998 Containers box 42 , folder 7 Leivant, Daniel , 1990 Containers box 42 , folder 8 Levenson, Bruce , 1973 Containers box 42 , folder 9 Lewis, Neil , 1982 Containers box 42 , folder 10 Lim, Mah Hui , 1972 Containers box 42 , folder 11 Luckenbach, Sidney , 1965 Containers box 42 , folder 12 Luke, Brian , 1990-1991 Containers box 42 , folder 13 Lula, Roxanne , 1976-1988 Containers box 42 , folder 14 MacFarlane, John , 1993-2004 Containers box 42 , folder 15 Mackenzie, James , 1987-1988 Containers box 42 , folder 16 Machamer, Amanda , 1994-1996 Containers box 42 , folder 17 Maher, Patrick , 1980-1983 Containers box 42 , folder 18 Manders, Kenneth , 1979-1986 Containers box 42 , folder 19 Manor, Ruth , 1973-1991 Containers box 42 , folder 20 Manor, Ruth , 1971-1991 Containers box 42 , folder 21 Marostica, Ana , 1986-1989 Containers box 42 , folder 22 Marcus, Ruth Barcan , 1973-1980 Containers box 42 , folder 23 Marsonet, Michele , 1979 Containers box 42 , folder 24 Martin, Errol , 1976-1984 Containers box 42 , folder 25 Martin, Michael , 1976 Containers box 42 , folder 26 Masciantonio, Michael , 1982 Containers box 42 , folder 27 Mason, H.E. , 1989 Containers box 42 , folder 28 Massey, Gerald , 1973 Containers box 42 , folder 29 Mau, Frank , 1993 Containers box 42 , folder 30 Maxwell, Donald , 1988 Containers box 42 , folder 31 McArthur, Robert , 1981 Containers box 42 , folder 32 McCafferty, Andrew , 1986 Containers box 42 , folder 33 McCall, Storrs , 1993 Containers box 42 , folder 34 McCord, Edward , 1978 Containers box 42 , folder 35 McCullagh, Mark , 1991-2000 Containers box 42 , folder 36 McDonough, Richard , 1970 Containers box 42 , folder 37 McRobbie, Michael , 1981 Containers box 42 , folder 38 McVay, Margaret , 1981 Containers box 42 , folder 39 Mercer, Sara , 1974-1975 Containers box 42 , folder 40 Mervine, Clark , 1966 Containers box 42 , folder 41 Meyer, Robert , 1965-2000 Containers box 42 , folder 42 Miller, Lauren , 1965 Containers box 42 , folder 43 Moll, William , 1991 Containers box 42 , folder 44 Morgan, Charles , 1976-1979 Containers box 42 , folder 45 Morris, Jason , 1998 Containers box 42 , folder 46 Mueler, Gert , 1972 Containers box 42 , folder 47 Muravitsky, Alexi , 1996-1999 Containers box 43 , folder 1 Nally, Elizabeth , 1986 Containers box 43 , folder 2 Nassau, Myra , 1965 Containers box 43 , folder 3 Neidelman, Keith , 1966 Containers box 43 , folder 4 Nerney, Gayne , 1978 Containers box 43 , folder 5 Nery, Daniel , 1978 Containers box 43 , folder 6 Neta , 1988 Containers box 43 , folder 7 Newman, William , 1972 Containers box 43 , folder 8 Nicholson, Susan , 1968 Containers box 43 , folder 9 Norman, John , 1972 Containers box 43 , folder 10 O'Hara, James , 1974 Containers box 43 , folder 11 Orgass, Richard , 1976-1977 Containers box 43 , folder 12 Pailthorp, Charles , 1967-1968 Containers box 43 , folder 13 Paprzycka, Katarzyna , 1994 Containers box 43 , folder 14 Parker, Charles , 1978 Containers box 43 , folder 15 Parker, Lisa , 1985 Containers box 43 , folder 16 Parks, Zane , 1975-1989 Containers box 43 , folder 17 Pastin, Mark , 1972 Containers box 43 , folder 18 Payne, Amy , 1998 Containers box 43 , folder 19 Pendlebury, Michael , 1978 Containers box 43 , folder 20 Penman, Carol , 1973 Containers box 43 , folder 21 Perloff, Michael , 1971-1990 Containers box 43 , folder 22 Peyton, John , 1966 Containers box 43 , folder 23 Placek, Tomasz , 2007 Containers box 43 , folder 24 Posey, Carl , 1973-1980 Containers box 43 , folder 25 Pottinger, Garrel , 1965-1993 Containers box 43 , folder 26 Powers, Lawrence , 1978-1991 Containers box 43 , folder 27 Prinzhorn, Paul , 1971 Containers box 43 , folder 28 Quinn, Philip , 1968 Containers box 43 , folder 29 Raeder, Stephen , 1977 Containers box 43 , folder 30 Redei, Miklos , 1995 Containers box 43 , folder 31 Restall, Gregory , 1995-2001 Containers box 43 , folder 32 Reynolds, Blair , 1985-1996 Containers box 43 , folder 33 Roberts, John , 1994-1995 Containers box 43 , folder 34 Roberts, Peter , 1981 Containers box 43 , folder 35 Romesberg, Dan , 1992 Containers box 43 , folder 36 Roper, Sandy , 1966-1967 Containers box 43 , folder 37 Rosenberg, Jay , 1965 Containers box 43 , folder 38 Rosenthal, Victor , 1971 Containers box 43 , folder 39 Routley, Richard , 1986 Containers box 43 , folder 40 Sandler, Arthur , 1966 Containers box 43 , folder 41 Saurer, Werner , 1980 Containers box 43 , folder 42 Savion, Leah , 1989 Containers box 43 , folder 43 Sawyer, Frederick , 1974-1975 Containers box 43 , folder 44 Schleichert & Egli , 1975-1976 Containers box 43 , folder 45 Schmid, Carol , 1987 Containers box 43 , folder 46 Schuldenfrei, Richard , 1965-1973 Containers box 43 , folder 47 Schwartz, Thomas , 1968-1972 Containers box 43 , folder 48 Seelinger, Gary , 1974 Containers box 43 , folder 49 Seibt, Joanna , 1989 Containers box 43 , folder 50 Seidenfeld, Teddy , 1980 Containers box 43 , folder 51 Seiferth, David , 1978-1979 Containers box 43 , folder 52 Shaffer, Caroline , 1974 Containers box 43 , folder 53 Shapiro, Stewart , 1991 Containers box 43 , folder 54 Shapiro, Stewart , 1990-1991 Containers box 43 , folder 55 Siciliano, Thomas , 1971-1973 Containers box 43 , folder 56 Skyrms, Brian , 1966 Containers box 43 , folder 57 Smith, Carol , 1971 Containers box 43 , folder 58 Snavely, William , 1969 Containers box 43 , folder 59 Spencer, Joel , 1963-1966 Containers box 43 , folder 60 Standefer, Shawn , January 23, 2011 Containers box 43 , folder 61 Steel, Thomas , 1987-1993 Containers box 43 , folder 62 Stelzner, Werner , 1995 Containers box 43 , folder 63 Stenson, Thomas , 1974 Containers box 43 , folder 64 Sterrett, Susan , 1997 Containers box 43 , folder 65 Stone, John , 1981-1982 Containers box 43 , folder 66 Sullivan, Deirdre , 1987 Containers box 44 , folder 1 Tam, Ping Kwam , 1970 Containers box 44 , folder 2 Tan, Rachael , 1991-1992 Containers box 44 , folder 3 Tenure Council , 1977 Containers box 44 , folder 4 Tester , 1974-1978 Containers box 44 , folder 5 Theisen, Carrie , 2001 Containers box 44 , folder 6 Thomas, Larry , 1972 Containers box 44 , folder 7 Thomason, Richmond , 1965-1972 Containers box 44 , folder 8 Ulrich, Dolph , 1976-1983 Containers box 44 , folder 9 Urquhart, Alisdair , 1969-1986 Containers box 44 , folder 10 Vasconez, Fernando , 1994-1997 Containers box 44 , folder 11 van Fraassen, Bas , 1966-1979 Containers box 44 , folder 12 Vander Nat, Arnold , 1970 Containers box 44 , folder 13 Vann McGee , 1995 Containers box 44 , folder 14 Vinci, Thomas , 1976 Containers box 44 , folder 15 Voss, Stephen , 1984 Containers box 44 , folder 16 Waletzky, Jacob , 1995-1996 Containers box 44 , folder 17 Wansing, Heinrich , 1996-1997 Containers box 44 , folder 18 Ward, James , 1981 Containers box 44 , folder 19 Weissinger, Thomas , 1979 Containers box 44 , folder 20 Wells, Cynthia , 1978 Containers box 44 , folder 21 Westinghouse , 1981 Containers box 44 , folder 22 Wiederhold, , 1980 Containers box 44 , folder 23 Wilson, Kent , 1964-1972 Containers box 44 , folder 24 Wilson, Norman , 1970 Containers box 44 , folder 25 Wimsatt, William , 1968-1972 Containers box 44 , folder 26 Woodruff, Peter , 1967-1975 Containers box 44 , folder 27 Wu, Johnson, Kathleen , 1994 Containers box 44 , folder 28 Xu, Ming , 1995-1998 Containers box 44 , folder 29 Zanardo, Alberto , 1991-1992 Containers box 44 , folder 30 Zipursky, Benjamin , 1986 Containers box 44 , folder 31 Series VI. Audiovisual , 2009-2016 Scope and Contents This series includes audio recordings of a conference held at University of Pittsburgh in Belnap's honor in 2009, titled Logics of Consequence but also known by the name "Nuelfest." These recordings feature talks about subjects in logic that Belnap made influential contributions to, as well as discussion of individuals' personal relationships with Belnap. Speakers at this conference included in the audio recordings are Mark Nordenberg, Michael McRobbie, John Horty, Michael Dunn, Mark Lance, Heinrich Wansing, Mitchell Green, Alasdair Urquhart, Robert Brandom, Michael and Paul Kremer, Dorothy Grover, Gian Aldo Antonelli, Tomasz Placek, Thomas Mueller, and Nuel Belnap.
There is also a set of video recordings of oral history interviews that Anil Gupta conducted with Nuel Belnap, discussing both his personal life, including his childhood and family, as well as his career. He discusses his memories of faculty at Yale and University of Pittsburgh; his move from Yale to University of Pittsburgh alongside Sellars; his collaborations with Alan Ross Anderson, Michael Dunn, Gupta, and others; and his other interests in philosophy (including, for example, his early reading and continued admiration of Alfred North Whitehead).
Logics of Consequence: A Celebration of Nuel Belnap's Work in Philosophical Logic ("Nuelfest"), Fri. a.m. Nordenberg, McRobbie, Horty, Dunn , April 3, 2009 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_Nuelfest200901. Fri. a.m. Nordenberg, McRobbie, Horty, Dunn Logics of Consequence: A Celebration of Nuel Belnap's Work in Philosophical Logic ("Nuelfest"), Fri. p.m. Lance, Wansing, Green, Urquhart , April 3, 2009 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_Nuelfest200902. Fri. p.m. Lance, Wansing, Green, Urquhart Logics of Consequence: A Celebration of Nuel Belnap's Work in Philosophical Logic ("Nuelfest"), Sat a.m. Brandom, Kremer, Grover , April 4, 2009 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_Nuelfest200904. Sat a.m. Brandom, Kremer, Grover Logics of Consequence: A Celebration of Nuel Belnap's Work in Philosophical Logic ("Nuelfest"), Sat p.m. Antonelli, P. Kremer, Placek, Mueller, NB , April 4, 2009 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_Nuelfest200905. Sat p.m. Antonelli, P. Kremer, Placek, Mueller, NB Oral History Interview, Family and Childhood , September 9, 2016 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_OralHistory2016-09-09 Oral History Interview, High School and College , September 28, 2016 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_OralHistory2016-09-28 Oral History Interview, Yale , October 6, 2016 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_OralHistory2016-10-06 Yale Oral History Interview, Yale and Pittsburgh , October 31, 2016 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_OralHistory2016-10-31 Yale & Pittsburgh Oral History Interview, Children , December 16, 2016 Containers Electronic-Record ASP2018_02_Belnap , folder ASP201802_Ser6_OralHistory2016-12-16 Children 