Suberies 1I: Lectures, Abstracts, Unpublished Papers, etc. /repositories/5/archival_objects/1195814 1 box 1928-1984 May 3 Scope and Contents

Consists of lectures, abstracts, and unpublished papers, such as "Uniqueness of the Lorentz Transformation," "Frege on the Philosophy of Time," and "A revision of Monge's method," as well as others.

Arrangement

Not arranged according to any arrangment scheme.

"Space and Time" and "Uniqueness of the Lorentz Transformation" circa 1928 AMs, 50 pp., in a folder originally labeled "Special Relativity" /repositories/5/archival_objects/1196377 1 folder circa 1928 15 1 Scope and Contents

(see 1928 letter by H. B. Fine in Correspondence series)

"Grelling's Antimony for the System of a Formulation of the Simple Theory of Types," 1949 February 14 TMs(carbon), 5 pp.; ALS (draft) /repositories/5/archival_objects/1196378 1 folder 1949 February 14 15 2 "Some Examples of Strongly Non-normal Characteristic Systems of Truth-tables for the Propositional Calculus." Lecture at the Harvard Philosophy Club, 1954 March 12 AMsS, 1 p.; 1 TMs, 1 p. /repositories/5/archival_objects/1196379 1 folder 1954 March 12 15 3 "Application of Recursive Arithmetic to Electric Circuits and Automata," University of Illinois, 1956 November 8 TMs, 7 pp.; AMs, 1 p. addenda; 1 p. of autograph corrections and insertions /repositories/5/archival_objects/1196380 1 folder 1956 November 8 15 4 "Misogyny and Ontological Commitment," Harvard University, 1958 April 18 TMs(carbon), 11 pp. /repositories/5/archival_objects/1196381 1 folder 1958 April 18 15 5 Preliminary report, presented to the American Mathematical Society, 1963 August 30 AMs, 7 pp. draft of abstract /repositories/5/archival_objects/1196382 1 folder 1963 August 30 15 6 "A revision of Monge's method," AMs, 5 pp. draft of abstract /repositories/5/archival_objects/1196383 1 box dates not examined 15 "Some generalizations of Laplace's transformation"), AMs, 4 pp. draft of abstract /repositories/5/archival_objects/1196384 1 box dates not examined 15 "Reduction of the Monge-Ampère equation," American Mathematical Society, 1966 TMs, 1 p. abstract /repositories/5/archival_objects/1196385 1 folder 1966 15 7 "Frege on the Philosophy of Time," 1969 April 17 AMs, 11 pp. /repositories/5/archival_objects/1196386 1 folder 1969 April 17 15 8 "The Translation Argument Reexamined" Lecture, 1970 February 27 AMs, 4 pp.; AMs, 1 p. of autograph notes /repositories/5/archival_objects/1196387 1 folder 1970 February 27 15 9 "Set Theory on a Universal Set" Background Material, Arthur B. Coble Memorial lectures, 1975 September 23-25 Urbana, Illinois, AMs, 16 pp. of lecture notes: "Sets of the Model Transfinitely Generated" 7 pp.; "Conditions on the Relations invm," 1 p.; Introduction Equivalences of a Set a m+1," 1 p.; "Basic Axioms," 1 p.; "Set Existence," 1 p.; "Hailperin's Axioms for the Quine Set Theory," 1 p.; "Modified n-Equivalence," 1 p.; "The Recursion Order," 1 p.; "Invariance Relations Directed towards the Hailperin Axioms," 2 pp. Also 1 photocopy and typed, mimeographed copy, 18 pp. /repositories/5/archival_objects/1196388 1 folder 1975 September 23-25 15 10 Set Theory original manuscript, 1979 January-March AMs, 42 pp.; 1 photocopy. Includes "Hailperin's Axioms for the Quine Set Theory," 1 p.; "Analysis Directed Towards Proof of P6," 2 pp.; "The Main Lemma, 1 p.; "Lemmas Needed for the Proof of the Main Lemma," 4 pp.; "Proof of the Main Lemma (for P6) from Lemmas 1-5," 2 pp. /repositories/5/archival_objects/1196389 1 folder 1979 January-March 15 11 "How Far Can Frege's Intensional Logic Be Reproduced Within Russell's Theory of Descriptions?" Unpublished abstract of a lecture presented to the American Philosophical Association, San Diego, CA, 1979 March 23 AMs, 6 pp.; 4 pp. of autograph notes /repositories/5/archival_objects/1196390 1 folder 1979 March 23 15 12 Manuscript about extensional and intensional semantical rules (distributed to students in Philosophy 127B at UCLA, 1982 Spring AMs, 12 pp. /repositories/5/archival_objects/1196391 1 folder 1982 Spring 15 13 "Intensionality and the Paradox of the Name Relation," Berkeley, CA, 1983 March 26 (invited lecture at joint symposium of the American Philosophical Association and the Association for Symbolic Logic). "Text of Lecture 1983 March 26 - first draft, to be revised," AMs, 1 pp; photocopy, 5 pp., with 1983 June 6 addendum, 3 pp. /repositories/5/archival_objects/1196392 1 folder 1983 March 26 1983 March 26 1983 June 6 15 14 "Material distributed to the audience, 1983 March 26", photocopy, 5 pp.; AMs, 2 pp. /repositories/5/archival_objects/1196393 1 box 1983 March 26 15 "Russell's Theory of Identity of Propositions," Stanford University, 1984 May 3 AMs (photocopy), 5 pp. /repositories/5/archival_objects/1196394 1 folder 1984 May 3 15 15 Untitled Lecture regarding "A Finite Automaton... Restricted Recursive Arithmetic," undated AMs, 17 pp., and one set of transparencies /repositories/5/archival_objects/1196395 1 folder undated 15 16 "A Sketch of An Extensional-Semantical Meta-Language A2s of A2," undated AMs, 3 pp. /repositories/5/archival_objects/1196396 1 folder undated 15 17 "Nominalism and Logic" [University of Ohio, 1958 April 17] TMs, 5 pp., and autograph notes /repositories/5/archival_objects/1196397 1 folder 1958 April 17 15 18 "Resolution of Berry's Antimony by Ramified Type Theory," undated TMs, 3 pp. and various AMs pages /repositories/5/archival_objects/1196398 1 folder undated 15 19 Scope and Contents

(see also "Russellian Simple Type Theory")

"Corrections and Minor Comments affecting Heyting's Intuitionism, edition of 1976" undated AMs, 6 pp. and photocopy /repositories/5/archival_objects/1196399 1 folder 1976 15 20 "A fragment about Heyting," undated AMs, 3 pp., and photocopy /repositories/5/archival_objects/1196400 1 folder undated 15 21 "Russell, The Principles of Mathematics," undated AMs, 5 pp., and photocopy /repositories/5/archival_objects/1196401 1 folder undated 15 22 "An Illustration of Frege's Theory of Meaning," undated AMs, 7 pp., and photocopy /repositories/5/archival_objects/1196402 1 folder undated 15 23 "A Formalized Language Suited for Ajdukiewicz's Resolution of the Paradox of the Name Relation, undated AMs, 7 pp. /repositories/5/archival_objects/1196403 1 folder undated 15 24 "Grelling's Antimony," undated AMs, 5 pp., photocopy and mimeographs, with autograph notes /repositories/5/archival_objects/1196404 1 folder undated 15 25 "Grelling's Antimony," undated AMss (multiple page drafts of manuscript) /repositories/5/archival_objects/1196405 1 folder undated 15 26