Henry S. Leonard Papers
UA.17.361

Summary Information

Repository
Michigan State University Archives and Historical Collections
Creator
Leonard, Henry Siggins, 1905-1967
Title
Henry S. Leonard papers
ID
UA.17.361
Date
1914, 1934-1967
Extent
9.0 Cubic feet
Language
English

Preferred Citation

Researchers wishing to cite this collection should include the following information: "Item title, Collection title, Collection Identifier, Michigan State University Archives & Historical Collections, East Lansing, Michigan."

Return to Table of Contents »

Biographical/Historical

Henry S. Leonard was born on December 19, 1905 in West Newton, Massachusets. He received his A.B., M.A. and Ph.D. degrees from Harvard University where he became an instructor. From 1930-1937 he was an instructor at the University of Rochester. He then became an associate professor at Duke University where, in 1942, he was the Director of Undergraduate Studies in the Philosophy department. He became chairman of the department in 1949. Leonard came to Michigan State College (now Michigan State University) in September 1949 as the chair of the Philosophy department. From 1959-1961 Leonard was a fellow in the Institute for Advanced Study at Princeton University. In 1961 the MSU Board of Trustees named him University Professor which was given to distinguished scholars of international reputation. He was the third faculty member to receive the title. Leonard passed away on July 11, 1967.

Return to Table of Contents »

Scope and Contents note

The Henry S. Leonard papers contain materials from Leonard's academic career beginning as a student, course materials including syllabi from Leonard's time teaching at Duke University and Michigan State University, notes, drafts of Leonard's publications, and finished articles and publications. There is also material related to societies Leonard belonged to as well as a small amount of correspondence. A book honoring Leonard and his work, as well as two Process Studies journals from 2013 about Alfred Whitehead which also contain mentions of Leonard round out the collection.

Return to Table of Contents »

Arrangement

Folders have been kept in the order in which they arrived.

Return to Table of Contents »

Administrative Information

Publication Information

Michigan State University Archives and Historical Collections April 2015

Conrad Hall
888 Wilson Road, Room 101
East Lansing , MI, 48824
517-355-2330
archives@msu.edu

Conditions Governing Access

Collection is open for research.

Legal Status

Copyright: Michigan State University. Property Rights: Michigan State University.

Conditions Governing Use

Permission to publish material from this collection must be obtained from University Archives & Historical Collections, Michigan State University.

Return to Table of Contents »

Controlled Access Headings

Corporate Name(s)

  • Duke University.
  • Harvard University.
  • Michigan State University. Department of Philosophy.

Genre(s)

  • Correspondence
  • Course materials
  • Notebooks
  • Outlines and syllabi
  • Publications

Personal Name(s)

  • Leonard Jr., Henry
  • Whitehead, Alfred North, 1861-1947

Subject(s)

  • Decidability (Mathematical logic)
  • Logic
  • Mathematics
  • Modality (Logic)
  • Philosophy -- Study and teaching
  • Semantics (Philosophy)

Return to Table of Contents »

Collection Inventory

Box Folder

Undergraduate Curricula Committee Reports - Duke University 1941 

 5360 1

Univ. et Dept. [Duke University] 1947-1948 

 5360 2

Hargitt, George T. - Duke Library 1944 

 5360 3

Harmon, Mrs. H. L. [correspondence] 1947 

 5360 4

Schneider, Herbert W. [includes Ethical Predicates by Henry Leonard] 1949 

 5360 5

Mr. Willis Smith 1947 

 5360 6

Williams, D.C. Correspondence 1937 possible appt. UCLA 1937 

 5360 7

[Equations, Notes or Draft of Article] undated 

 5360 8

[Equations] undated 

 5360 9

Nelson [chapter draft] undated 

 5360 10

[Chapter VI Molecular Logic, III Matrix Tables] undated 

 5360 11

[Notes Principia Math] undated 

 5360 12

[Lectures 1-6 and Notes] undated 

 5360 13

[Lectures 1a-4a] 

 5360 14

Singular Terms - Leonard's Doctoral Thesis undated 

 5360 15

[Notes] undated 

 5360 16

[Notes on Descartes] undated 

 5360 17

The Pragmatism and Scientific Metaphysis of C. S. Peirce A Review of Volumes V and VI of the Collected Papers of Charles Sanders Pierce edited by Charles Hartshorne and Paul Weiss Harvard University Press by Henry S. Leonard 1936, undated 

 5360 18

Pinchot, Governor Gifford [correspondence and report of interview] 1936 

 5360 19

Assoc for Symbolic Logic Correspondence 1938-1940 

 5360 20

Assoc. for Sym Logic Proposed Agreement with Duke 1939-1940 

 5360 21

Proof of Godel's Theorem undated 

 5360 22

[Pre- Platonics notes] undated 

 5360 23

[Early Drafts] undated 

 5360 24

[Draft] undated 

 5360 25

[Plato's Theory of Logical Division draft] undated 

 5360 26

[Draft] undated 

 5360 27

Lectures in Whitehead's Course and Beginning of a Text in Logic 1934, undated 

 5360 28-28A

[A Treatise of Human Nature Introduction outline] undated 

 5360 29

Professor Lewis and Epistemology undated 

 5360 30-30A

International Implication Second Draft undated 

 5360 31

International Implication Final Draft undated 

 5360 32

Wand and Piper: the Fields and Methods of Kin [chapter draft and letter] 1944, undated 

 5360 33

[Plato Reading Outlines] undated 

 5360 34

[Draft or Lecture] undated 

 5360 35

[Notes] Russell Stevenson 

 5360 36-38

[Notes and equations] undated 

 5360 39

[Equations] undated 

 5360 40

[Chapter 2 Classes and Type ] undated 

 5360 41

[Notes] 

 5360 42

[Equations] undated 

 5360 43

[Notes logic, inference and thinking] undated 

 5360 44

[The Elements of Logic Table of Contents] undated 

 5360 45

Logic - Book to Examine undated 

 5360 46

[Notes] undated 

 5360 47-48

[Notes] 1936, undated 

 5360 49

[Notes] 

 5360 50

[The University of Rochester Philosophy 5 --- Logic] [test?] January 30, 1935 

 5360 51

[Equations and Notes] undated 

 5360 52

[Lecture Notes] undated 

 5360 53

[Philosophy 1-2 Final Examination for Seniors] May 1935 

 5360 54

[Notes] undated 

 5360 55

[Henry S. Leonard notes on Whitehead Course] undated 

 5360 56

[Notes and Syllabus Draft ] undated 

 5360 57

[Question with solution] circa 1935 

 5360 58

[Chapter for book and notes] undated 

 5360 59

[Notes and Equations] undated 

 5360 60

[Permutations and Combinations ] undated 

 5360 61

[Notes on Fundamental Principles of the Meta of Morals by Abbott in hist Kant's Theory of Ethics] undated 

 5360 62

[Philosophy Tests - Harvard, University of Rochester] 1927-1936, undated 

 5361 1

[Draft or Lecture Ch 3 Consequences of Crit C sensim undated 

 5360 63

[Philosophy -syllabus, lecture notes, exercises] 1935-1936 

 5361 2

[Philosophy - information about senior exams, texts for tutoring] 1931, 1936, undated 

 5361 3

Notes on Work of Theorem undated 

 5361 4

Manuscripts by Sheldon V. Coleman undated 

 5361 5

Notes on Work of Drake undated 

 5361 6

Notes on Work of Hocking undated 

 5361 7

Notes on Dever and Tufts, etc. undated 

 5361 8

[Notes] undated 

 5361 9

Logic Book Manuscript 1933-1935 

 5361 10-10A

[Chapter VII Molecular Logic, IV Matrix Tables, Continued] undated 

 5361 11

Phil. 5 Lecture Notes 1934-1935 

 5361 12

Notes for Philosophy B [includes syllabus] 1934 

 5361 13

Lecture Notes [logic] Fall 1935 

 5361 14

[Philosophy Lecture Notes and Exams, Harvard] 1936 

 5361 15
Box

A Logical Analysis of Tolman's Theory of Learning by Joseph Lambert, thesis for Ph.D. MSU 1956 

 5368

A History of Some Aspects of the Theory of Logic 1850- Present by James Van Evra, thesis for Ph.D. MSU 1966 

 5368

A Program for Analysis of Emperical Mean in Religious Expressions by Paul Manson Hurrell, dissertation for PhD University of Michigan 1961 

 5368
Box Folder

Unit 1 [Part 1 Introduction to the Principles of Correct Thinking] undated 

 5361 16

Unit 2 [The Recognition of a Problem] undated 

 5360 17

Unit 3 [Valid Grounds for Belief] undated 

 5361 18

Unit 4 [Invalid Grounds for Belief Methods of Problem - Solving] undated 

 5361 19

Unit 5 [Diagnostic Languages] undated 

 5361 20

Part 2 Unit 6 [The Truth Functional Algebra of Propositions] undated 

 5361 21

Unit 7 [Conjunction, Alternation, and Equivalence] undated 

 5361 22

Unit 8 [Implication] undated 

 5361 23

Unit 9 [Truth Tables] undated 

 5361 24

Unit 10 [Truth Tables continued, Logical Forms] undated 

 5361 25

Unit 11 [Analytic Test of the Truth and Falsity Validity and Invalidity] undated 

 5361 26

Unit 12 [Detachment] undated 

 5361 27

Unit 13 [Dilemmas and Fallacies] undated 

 5361 28

Unit 14 [Short Cut Substitutions for Table Construction] undated 

 5361 29

Part 3 Unit 15 [Indirect Demonstrations] undated 

 5361 30

Unit 16 [Indirect Exhibitions of Validity] undated 

 5361 31

Unit 17 [Adjunction, Reorganization and Quotation] undated 

 5361 32

Unit 18 [Replacement] undated 

 5361 33

Unit 19 [Replacement cont'd] undated 

 5361 34

Unit 20 [Distribution of Conclusion Part III] undated 

 5361 35

Part 4 Unit 21 [Modal Logic] undated 

 5361 36

Unit 22 [Strict Implication] undated 

 5361 37

Unit 23 [Strict Equivalence] undated 

 5361 38

Unit 24 [Possibility and Consistency] undated 

 5361 39

Part 5 Unit 25 [The Logic of Quantifiers ] undated 

 5361 40

Unit 26 [Universal Propositions] undated 

 5361 41

Unit 27 [Particular Propositions and Multiple Quantification] undated 

 5361 42

Unit 28 [Bound and Free Variables] undated 

 5361 43

Unit 29 [Substitution] undated 

 5361 44

Unit 30 [Abstractions] undated 

 5361 45

Unit 31 [Laws of Scope] undated 

 5361 46

Unit 32 [The Distribution and Collection of Quantifiers] undated 

 5361 47

Unit 33 [Q- MP and Q- Syll] undated 

 5361 48

Unit 34 [Order Among Quantifiers] undated 

 5361 49

[Part 6 Unit 34] undated 

 5361 50

[Part 6 Unit 35] undated 

 5361 51

Unit 36 undated 

 5361 52

Philosophy 107 The World We Live In Plan [lecture or course outline] undated 

 5361 53

Miscellaneous Notes [notes, chapter outlines, equations, exercises] undated 

 5361 54

Philosophy 231 [Duke University final exam, notes] 1939 

 5361 55

[Notes Philosophy 3B] October 1926-May 1927 

 5361 56

[Algebra of Relatives by C.S. Pierce; On the Algebra of Logic by C.S. Pierce] 1882, undated 

 5361 57

[Topics in the Aristotelian Philosophy] undated 

 5361 58

[Philosophy classes reading lists, course outlines] 1930-1935, undated 

 5361 59

[Chapter I Meaning of Probability Outline] undated 

 5361 60

[Abstracts of Articles] undated 

 5361 61

[Notes - Mechanism, Vitalism] undated 

 5361 62

[Notes] undated 

 5361 63

Studies and Exercises in Formal Logic - John M Keynes [notes] undated 

 5361 64

[Freedom of Opinion and Speech notes] undated 

 5361 65

North Carolina Philosophical Society correspondence 1938-1940 

 5361 66

North Carolina Philosophical Society correspondence 1940-1941 

 5361 67

Some Implications for Sociology and Sociological Methodology of Conceptualistic Pragmatism thesis by Émile Benoît Smullyan undated 

 5361 68

The Positivist Tradition in Philosophy and Sociology - essay by Émile Benoît Smullyan undated 

 5361 69

[Chapter 6 notes and equations] undated 

 5362 1

[J.H. Woodger Rote Learning] 1939, undated 

 5362 2

[Manuscript Draft, Notes related to Woodger] undated 

 5362 3

[Fourth Report on a Lamarckian Experiment by William McDougall; Draft - The Meaning of Proof; The Meaning of Proof , Dr. William McDougall's Lamarckian Experiment: A Study of the Methods Employed term paper by Kenneth D. McDougall ] 1938, 1939, undated 

 5362 4

Koeller: Gestalt Psychology [notes] undated 

 5362 5

Gestalt Psych Article [Gestalt Psychology and Physicalism by Henry Leonard] 1939-1940 

 5362 6

Gestalt Psych and Physicalism [notes] undated 

 5362 7

Koeller's Gestalt Psychology Address to Psych [notes] 1938 

 5362 8

Kautor: Role of Language in Logic & Reasoning [notes] undated 

 5362 9

[L- Old Forum, equations] undated 

 5362 10

[Old Postulates to prove, equations, notes] 

 5362 11

Defs. Postulates and Theorems of 2 Calc. [equations and notes] Summer 1938 

 5362 12

I.21-I543 Derivs. of 2 Calc undated 

 5362 13

Philosophy 241 [syllabus and lectures] 1938 

 5362 14

Article on Types [draft] undated 

 5362 15

Theory of Types [notes] undated 

 5362 16

Language Analysis and Theory on Types [notes] undated 

 5362 17

S'yc Logic Speech Substitution for Function Variables [Propositional Functions and Substitutes for Function Variables speech by Leonard] December 1938 

 5362 18

Psych Colloquium Speech [notes] October 1939 

 5362 19

Math Seminar Speech [notes] November 1939 

 5362 20

Lockes Essay. Notes on 1940 

 5362 21

Address U. of Va. Phil. Club April 1941 

 5362 22

Hypostasis: Speech at N.C. Phil. Soc. May 1938 

 5362 23

Logic 48 Left over 1938-1939 

 5362 24

[Nelson Goodman Correspondence] 1937-1940 

 5362 25

[Letter from R. M. Martin] February 1938 

 5362 26

Scientific Methodologies. Phil. 242 1939 

 5362 27

Philosophy 232 Philosophy of Science 1937 

 5362 28

Philosophy 232 1939-1940 

 5362 29

Logical Positivism 1939, undated 

 5362 30

[Propositions and Principals Notes] undated 

 5362 31

[Logic - No Such thing as Pure Demonstratives Notes] undated 

 5362 32

The Logical Syntax of Language [book review by Leonard and notes] 1939, undated 

 5362 33

[Letter and information about Juliette Annette Pourtalai wife of Charles Saunders Peirce] 1936 

 5362 34

[Notes on Classes as Logical Constructions] undated 

 5362 35

[Notes] 

 5362 36-38

[Correspondence from George Sarton?] 1937, 1939 

 5362 39

[The Calculus of Individuals by Henry S. Leonard and H.N. Goodman, drafts] 1937, 1939 undated 

 5362 40

[Correspondence, Draft of paper with Goodman] 1937--1938, undated 

 5362 41

[The meaning of Variables with a Criticism of the Primitive Ideas in Principia Mathematica; and draft] undated 

 5362 42

"Logical Positivism and Speculative Philosophy" reprints, [and draft of article relating to Lewis, C.I. and essays for A.N. Whitehead] circa 1936, undated 

 5362 43

[Summary of 1st Half of 2nd Semester, Phil B, 1935, 1936 Lectures by Lewis reading in Hoching and Drake; Review Lecture by Henry S. Leonard of the lecture and reading of Phil B for the second semester 1935-1936 - lecturer C.I. Lewis] 1935 

 5362 44

[Philosophy 101.2] 1938 

 5362 45

[Notes and equations, letter to Nelson about flaw in definition of x+Y]] 1934, undated 

 5362 46

[Notes] 

 5362 47

[Notes and lecture notes Phil 9G] 1936, undated 

 5362 48

[corrections to article, letter from Van] 1937, undated 

 5362 49

[Review Questions] undated 

 5362 50

[Notes] undated 

 5362 51

[Miss Saw Letter] 1932 

 5362 52

[Synosium - Plato] undated 

 5362 53

Smith College Philosophy 21 1936 

 5362 54

Philosophy Letters - Correspondence TA Goadge 1936-1937 

 5362 55

[Postulates of Boolean Algebra] undated 

 5362 56

Leonard's Review of Carnap's Testability and Meaning 1936-1937 

 5362 57

Philosophy 241 1941-1942 

 5362 58

Phil. 214 1939-1940 

 5362 59

Phil. 242 1948 

 5362 60

[Notes] undated 

 5362 61

[Potential Material] 1936 undated 

 5362 62

[Notes] undated 

 5362 63

[Carnap: Philosophical & Logical Syntax] undated 

 5362 64

[Notes -Carnap: Logische Aufbaur] undated 

 5363 1

[Notes] undated 

 5363 2

[Duke University, Philosophy Department Correspondence and book lists] 1937-1938, undated 

 5363 3

[Duke University Philosophy Department] 1940-1941 

 5363 4

[Duke University Philosophy Department meeting about Graduate Students] 1940 

 5363 5

Lecture on Plato's Forerunners by James Haughton Woods undated 

 5363 6

[Duke University Philosophy exams, lectures, course materials] 1937-1938 

 5363 7

Philosophy 103 [Duke University] 1940 

 5363 8

[Philosophy class lectures and course materials] 1937, 1939, undated 

 5363 9

Vellen & Young Projective Geometry [notes] undated 

 5363 10

Shull: Animal Biology [notes] undated 

 5363 11

Work w. Katseff Summer 1938 [notes] 1938 

 5363 12

Kinball College Physics [notes] undated 

 5363 13

On Powers of 2 and the number of distinct m-place predicates of n elements. undated 

 5363 14

Philosophy 48, Duke University [lectures and class materials] 1939 

 5363 15

Philosophy 48, Logic 1939-1940 

 5363 16

Physics Course Notes 1939 

 5363 17

Herbert Dingle Notes 1939 

 5363 18

[Problem] undated 

 5363 19

Philosophy 48 February 1, 1944 

 5363 20

Philosophy 95 November 1943-March 1944 

 5363 21

Philosophy 103 1946-1947 

 5363 22

Philosophy 101 Barret 1944 

 5363 23

Philosophy 105 1943-1944 

 5363 24

Philosophy 106 November 1943-March 1944 

 5363 25

Philosophy 223 undated 

 5363 26

Philosophy 242 March-June 1945 

 5363 27

Philosophy 106 1944-1945 

 5363 28

[Duke University Philosophy Class material] 1942-1944, 1949, undated 

 5363 29

Philosophy 321 1949 

 5363 30

Philosophy 101, [406] 1944, 1951, undated 

 5363 31

Philosophy 204 Max Block undated 

 5363 32

Philosophy 432, 403 1950 

 5363 33

Philosophy 204 1951-1952, undated 

 5363 34

Philosophy 101 1951-1952 

 5363 35

Philosophy 204 1951, undated 

 5363 36

[Philosophy] Courses 1950s 1950-1951, 1953, 1958 

 5363 37

Philosophy 101 1952, undated 

 5363 38

Philosophy 101 1953-1954 

 5363 39

Philosophy 324B 1953-1954 

 5363 40

Philosophy 406, 445 1954, undated 

 5363 41

Philosophy 524 Principle Math, [432] 1950, 1954 

 5363 42

Philosophy 315 1955, 1958, undated 

 5363 43

Philosophy 101 1956 

 5363 44

Philosophy 101A 1957 

 5363 45

Philosophy 103 1957 

 5363 46

324B 1957 

 5363 47

C. I. Lewis Course 1958 

 5363 48

Philosophy 101A 1958-1959 

 5363 49

Philosophy 101 1958 

 5363 50

C. I. Lewis Notes undated 

 5363 51

523 Metaphysics 1956 

 5363 52

Philosophy 524 1954 

 5363 53

Philosophy 524 1958 

 5363 54

524 1959 

 5363 55

Philosophy 837 1961-1962 

 5363 56

Phil. 837 1963 

 5363 57

Philosophy 870 1966 

 5363 58

Assigned Books Phl. 825 Leonard, Seminar- Whitehead 1962 

 5363 59

Seminar, MSU circa 1960-circa 1969 

 5363 60

Philosophy 409 1958 

 5363 61

Philosophy 103 1957 

 5363 62

Philosophy 445 1961 

 5363 63

[Philosophy 137 Class Material and Staff Meetings] 1962-1963 

 5363 64

Philosophy 137, Section 901 1962 

 5363 65

Philosophy 137 Principles of Right Reason Course Material 1962 

 5363 66

Philosophy 137 1962 

 5363 67

Philosophy 137 exams and quizes 1963 

 5363 68

Philosophy 137 Lectures 1963 

 5363 69

Philosophy 137 Spring 1963 

 5364 1

Philosophy 137 Lecture 1963 

 5364 2

Philosophy 137 Recitation Spring 1963 

 5364 3

Philosophy 137 Materials Used Fall 1963 

 5364 4

Philosophy 137 Staff Meetings Fall 1963 

 5364 5

Philosophy 137 Syllabus 1964-1965 

 5364 6

Philosophy 137 Winter 1964 

 5364 7

Philosophy 137 Winter 1965 

 5364 8

Philosophy 494, Whitehead 1965-1966 

 5364 9

The Principles of Right Reason by Henry S. Leonard 1953 

 5364 10-11

Volume - The Ethical Intuitionism of Richard Price by Lloyd D. Hays 1966 

 5364 12

Diag larg: Early Draft undated 

 5364 13

Reply to Wheatley [article] 1961 

 5364 14

"All Thought is Abstract" undated 

 5364 15

C. I. Lewis on Whitehead [notes] undated 

 5364 16

Proposition as Impure Potentiality undated 

 5364 17

Early Memos undated 

 5364 18

Things, Thoughts & Designations undated 

 5364 19

Non-Ideal Languages undated 

 5364 20

Language and Thought undated 

 5364 21

The Diagnostic Language, M undated 

 5364 22

Misc. Preliminaries 

 5364 23

Rules for Definition undated 

 5364 24

Identity undated 

 5364 25

Lecture III undated 

 5364 26

Unclassified undated 

 5364 27

Membership and Sets undated 

 5364 28

Rules of Experience undated 

 5364 29

[Notes, Equations, Diagnostic Language, Civil Defense brochure- Protection of Essential Facilities, Radioactive fallout on the farm brochure] 1959, 1960 undated 

 5364 30

Undergraduate Preparation for the Study of Law symposium, Duke University, Philosophy and the Law by Henry S. Leonard 1948-1949 

 5364 31

Comments by Henry S. Leonard on A.N. Whitehead's Theory of Knowledge by Farnklin P. Mangrum undated 

 5364 32

Notes on G. W. Leibniz undated 

 5364 33

Truth and Falsity in Definition by Henry S. Leonard undated 

 5364 34

The Meaning of Freedom, A First Approximation by Henry S. Leonard circa 1952 

 5364 35

Leonard Bibliography undated 

 5364 36

University of Pennsylvania, philosophy symposium, talk by Leonard 1960-1961 

 5364 37

Russell Paradox undated 

 5364 38

*9, *10 and Existence undated 

 5364 39

The Diagnostic Language, M undated 

 5364 40

Real Internal Essences and God undated 

 5364 41

'Admit', 'Confess', 'Believe' etc. undated 

 5364 42

Godel conference 1960 

 5364 43

Symmetry and Other Semantical Concepts undated 

 5364 44

1st and 2nd Draft [Tokens] undated 

 5364 45

Sentential Calculus undated 

 5364 46

Square and Round Quantifiers undated 

 5364 47

T Is to Be Conceived as F [notes and equations undated 

 5364 48

Storage and Retrieval Theory, System and Devices Symposium, draft working papers 1958 

 5364 49

The Use and Abuse of Measurement as a Facet of Scientific Research by Henry S. Leonard, publication and lecture, University of Washington School of Medicine 1961-1962 

 5364 50

Correspondence on Research 1965-1967 

 5364 51

MSU [The Place of Philosophy in the Program of the Basic College by Henry S. Leonard, correspondence, department material] 1949-1960 

 5364 52

Correspondence on research [includes notes and articles] 1961-1964 

 5364 53

Research and Lectures etc. 1961-1964 

 5364 54

Science and Religion [talk by Henry S. Leonard undated 

 5364 55

Information on Principles of Right Reason [correspondence] 1958-1959 

 5364 56

American Philosophical Association 1951, 1954-1958 

 5364 57

American Philosophical Association 1959-1967 

 5364 58

Correspondence 1960-1961 

 5364 59

"What the Author Means by Theory of Science," "Authorship" by Henry S. Leonard, discussion of verification and individual sciences 1954, undated [late 1950s] 

 5364 60

Correspondence on research 1960 

 5364 61

Miscellaneous reprints, notes, etc. [not by Leonard] 1957-1960 

 5364 62

Notes on Truth and Denotation by R. M. Martin 1958 

 5364 63

Misc. Early [Equations] undated 

 5365 1

Language W [Sentential Calculus] undated 

 5365 2

Ideal Language W undated 

 5365 3

Sentential Calculus: Early Drafts undated 

 5365 4

Martin and Rescher [Toward an Extensional Logic of Belief by R.M. Martin, Preface and Table of Contents from Intension and Decision , A Philosophical Study, in preparation by R.M. Martin, A New Approach to Modality by Nicolas Rescher] undated 

 5365 5

Review [article reviews] circa 1959 

 5365 6

Quantification [notes on various concepts] undated 

 5365 7

M.S.U. [philosophy exams, 1965, correspondence] 1961-1967 

 5365 8

Measurement [includes the article The Theory of Measurement by Henry S. Leonard] undated 

 5365 9

Modal Logic [Two-Valued Truth Tables for Modal Functions by Henry S. Leonard] 1951, undated 

 5365 10

Application of Logic to Problem Solving [Notes for presentation by Henry S. Leonard and conference information] 1954 

 5365 11

What is Metaphysics? Informal talk [by Henry S. Leonard] circa 1950 

 5365 12

Manuscript [written by Leonard] of Review of paper or book by D.S. Shwayder 1958, undated 

 5365 13

Induction by Everett J. Nelson and Henry S. Leonard circa 1956 

 5365 14

Speech, Detroit Philosophical Society [by Henry S. Leonard] circa 1956 

 5365 15

Concrete and Abstract Entities [speech by Henry S. Leonard for Philosophy Club] circa 1960 

 5365 16

"Toward a Theory of Measurement" by Henry S. Leonard undated 

 5365 17

Lecture I [University of Washington School of Medicine lecture The Use and Abuse of Scientific Measurement by Henry S. Leonard] 1961 

 5365 18

[A Theory of Measurement by Henry S. Leonard] undated 

 5365 19

Axioms [for the Arithmetic of Real Numbers] from Alfred Tarski undated 

 5365 20

Symbolic Ethics [notes] undated 

 5365 21

[The Thought of C.S. Peirce by Thomas Goudge book review by Henry S. Leonard] circa 1950 

 5365 22

On God Exists [notes or presentation] undated 

 5365 23

Theory on Measurement, The Theory & Methods of Social Measurement by Henry S. Leonard undated 

 5365 24

Formalized Theory of Truth Tables circa 1957 

 5365 25

Phi Kappa Phi correspondence 1963 

 5365 26

Preprints: Gerald J. Massey and Others circa 1964, 1965, undated 

 5365 27

Language W undated 

 5365 28

Leonard's Talk at Symposium MSU [Synonymy and Language W, A Theory of Measurement] 1967 

 5365 29

Language W [Seminar, 1965 and Symposium 1967 1965, 1967 

 5365 30

Logic [A Theory of Two-Valued Truth Tables by Henry S. Leonard, undated; Authorship and Purpose by Henry S. Leonard, 1959; Discussion: Interrogatives, Testability, and Truth-value by Paul Manson Hurrell, 1964; notes circa 1965] 1959, 1964, circa 1965 

 5365 31

Washington University Seminar [Philosophy of Logic] 1965 

 5365 32

[Interrogative, Testability and Truth-value by Paul Manson Hurrell] 1964 

 5365 33

Reprints by other authors 1949-1966, undated 

 5365 34

The Epimenides Paradox by Henry S. Leonard undated 

 5365 35

[Presidential address American Philosophical Association - Essences, Attributes, and Predicates by Henry S. Leonard] 1964 

 5365 36

[The Calculous of Individuals and its Uses by Henry S. Leonard and Nelson Goodman; correspondence with Godel, 1961; notes on sentential calculus; Some of H. M. Sheffers' Contributions to Logic by Henry S. Leonard, undated] 1940, 1961, undated 

 5365 37

Sheffer Memorial, speech by Henry S. Leonard [ Some of H. M. Sheffers' Contributions to Logic], 1964 

 5365 38

Definitions, Postulates, and Modal Logic by Henry S. Leonard 1961, undated 

 5365 39

Logic of Existence Articles by Other Authors 1959-1966 

 5365 40

[Notes and Drafts] undated 

 5365 41

[Notes] undated 

 5365 42

Quantification and Ontological Commitment by Henry S. Leonard, speech?] circa 1965 

 5365 43

Research on H. M. Sheffer 1913, 1921, 1947, circa 1964 

 5365 44

The Mental and the Physical by Henry S. Leonard 1964 

 5365 45

Notes circa February 1964 

 5365 46

Speech - The Place of Philosophy in the College Program by Henry S. Leonard undated 

 5365 47

What is Logical Form 1967, undated 

 5365 48

Draft Book of Collected Papers undated 

 5365 49

Lewis and Langford notes circa 1966 

 5365 50

Language W [research for work entitled Part of a Meta Language for Language W] circa 1962 

 5365 51

Henry S. Leonard Biographical and Correspondence 1913-1967 

 5365 52

Correspondence- Fan Mail. Right Reason etc. 1957-1961 

 5366 1

[Translation of unlabeled book from German?] undated 

 5366 2-2a

[Paper (partial) probably by N. Goodman] undated 

 5366 3

Two Valued Truth Tables for Modal Function by Henry S. Leonard draft undated 

 5366 4-5

[Matrix tables for six truth functions, logic sentence problems] unlabeled 

 5366 6

Modal Functions Truth Tables undated 

 5366 7

[Two Valued Truth Tables for Modal Functions by Henry S. Leonard draft] undated 

 5366 8

Two-Valued Truth Tables for Modal Functions Henry S. Leonard draft undated 

 5366 9

[Two Valued Truth Tables for Modal Functions by Henry S. Leonard draft] undated 

 5366 10

Rough Ideas undated 

 5366 11

Truth Tables [notes] undated 

 5366 12

Left-Overs [notes for Two Valued Truth Tables for Modal Functions] undated 

 5366 13

Footnotes Two Valued Truth Tables for Modal Functions undated 

 5366 14

Two-Valued Truth: Tables for Modal Functions Correspondence and reprint 1944-1951 

 5366 15

American Philosophical Association 1937-1949 

 5366 16

Myers, E. D. [correspondence] 1949 

 5366 17

Hook, Sidney [correspondence] 1949 

 5366 18

Langford, C.H. [correspondence] 1937, undated 

 5366 19

Logical Positivism and Speculative Philosophy [by Henry S. Leonard manuscript for Philosophical Essays for Alfred North Whitehead, and correspondence] 1935, undated 

 5366 20

Early Logic Manuscript undated 

 5366 21-21b

Tarski 1943-1944 

 5366 22

Philosophy 104 July 1943 

 5366 23

Philosophy 231 1940 

 5366 24

Philosophy 231 1941-1942 

 5366 25

Philosophy 232 1947, 1949 

 5366 26

Philosophy 406A 1957 

 5366 27

Philosophy 406B 1956 

 5366 28

Temporary, '61 [Philosophy class] 1957, 1961 

 5366 29

Metaphysics 406A 1951, 1955 

 5366 30

MSC [philosophy class exams and exercises] 1949-1951, undated 

 5366 31

Philosophy 406B 1956, 1958, 1962 

 5366 32

[equations, notes, drafts] undated 

 5366 33

Whitehead [notes] undated 

 5366 34

Philosophy 494 1957, 1965 

 5366 35

Whitehead Philosophy 494 Section 1, Back Lectures 1965 

 5366 36

Association of American University Professors- Duke 1946 

 5366 37

Book Publishers Correspondence 1941-1949 

 5366 38

[notebook, lectures?] July-August 1936 

 5366 39

Henry S. Leonard student notes and reports 
Box Folder

Philosophy 13c Medieval Philosophy 1925 

 5367 1

Philosophy 14b English Philosophy 1927 

 5367 2

Introduction to Logic 1926 

 5367 3

[Notes] undated 

 5367 4

[Logic Notes] 1930 

 5367 5

[Knowledge and Probability handouts] undated 

 5367 6

[Notes] 1930 

 5367 7

[Notes] 1925-1926 

 5367 8

[Philosophy 15 Notes] 1926 

 5367 9-10

[Philosophy 15 Notes - Kant Metaphysics of Morale] 1926 

 5367 11

[Notes Aristotle and Plato] 1926-1927 

 5367 12

The Meditations of Marcus Aurelius 1929 

 5367 13

Topics in Aristotelian Philosophy 1927 

 5367 14

[Philosophy 12 - Plato] 1925 

 5367 15

Dichotomy and Division in Plato 1928 

 5367 16

St. Anselm's Ontological Argument fpr the Proof of the Existence of God 1925 

 5367 17

Henry S. Leonard student notebooks 
Box Folder

[Notebook] 1928 

 5367 18

Psychology 5. Advanced Psychology Notes by HSL. on lectures by Professor Treland. 1928 

 5367 19

Philosophy 12b "Later Platonic Dialogues" Notes by HSL on Lectures by Prof. Lodge. 1928 

 5367 20

Philosophy 8. "Relational Logic" Notes by HSL on Lectures by Prof. Lewis and Prof. Sheffer 1927 

 5367 21

Philosophy 9c. "The Theory of Knowledge" Notes by HSL on Lectures by Prof. Eaton 1927-1928 

 5367 22

Philosophy 18. "Present Philosophical Tendencies." Notes by HSL on Lectures by Prof. Perry 1928 

 5367 23

Philosophy 20j. "Philosophy of Leibniz" Professor Etienne Gilson. Notes by HSL undated 

 5367 24

Psychology undated 

 5367 25

Mathematics 27 1929 

 5367 26

Philosophy 27c. "Descartes." Notes by HSL on Lectures by Professor Etienne Gilson 1928 

 5367 27

[Plato] 1930 

 5367 28

[Loose notes from Plato notebook- Philosophy 12 and Plato] 1925, 1930 

 5367 29
Box Folder

Singular Terms by Henry S. Leonard, dissertation, 1930; includes Principia Mathematica by Henry Sheffer 1926, 1930 

 5367 30

Philosophy A, Philosophy 1, Psychology A notes 1924-1925 

 5367 31

Essays and Reports from HSL as a Student 1925-1928 

 5367 32-33

Publications by Henry S. Leonard 
Box Folder

A Theory of Measurement, by Henry S. Leonard undated 

 5368 1

Authorship and Purpose, by Henry S. Leonard October 1959 

 5368 2

Authorship of Signs, by Henry S. Leonard 1960 

 5368 3

Definitions, by Henry S. Leonard undated 

 5368 4

Discussion - A Reply to Professor Wheatley, by Henry S. Leonard January 1961 

 5368 5

Discussion - Note on Professor Leonard's Analysis of Interrogatives, Etc., by J.M.O. Wheatley ca. December 1959 

 5368 6

Essences, Attributes, and Predicates, by Henry S. Leonard October 1964 

 5368 7

Ethical Predicates, by Henry S. Leonard September 15, 1949 

 5368 8

Interrogatives, Imperatives, Truth, Falsity and Lies, by Henry S. Leonard July 1959 

 5368 9

Review - A system of logistic December 1935 

 5368 10

Review - Testability and meaning ca. 1937 

 5368 11

Synonymy and Language W, by Henry S. Leonard (2 copies) undated 

 5368 12

Synonymy and Systematic Definitions, by Henry S. Leonard January 1967 

 5368 13

The Calculus of Individuals and its Uses, by Henry S. Leonard and Nelson Goodman (2 copies) June 1940 

 5368 14

The Logic of Existence, by Henry S. Leonard June 1956 

 5368 15

The Mental and the Physical, by Henry S. Leonard Summer 1964 

 5368 16

The Pragmatism and Scientific Metaphysics of C.S. Peirce: A Review of Volumes V and VI of the Collected Papers of Charles Sanders Peirce edited by Charles Hartshorne and Paul Weiss, by Henry S. Leonard January 1937 

 5368 17

The Use and Abuse of Measurement as a Facet of Scientific Research, by Henry S. Leonard 1962 

 5368 18

Truth and Falsity in Definition undated 

 5368 19

Two-Valued Truth Tables for Modal Functions, by Henry S. Leonard (2 copies) 1951 

 5368 20
Box Folder

The Logical Way of Doing Things, edited by Karel Lambert 1969 

 5368 21

Philosophy 505 Seminar Logic 1965 

 5368 22

Process Studies Journal Fall/Winter 2012 focus on Whitehead and Analytic Tradition - Intro Mentions Whitehead letter to Leonard 2012 

 5368 23

Correspondence - Condolences about Henry S. Leonard's Death 1967-1968 

 5368 24

Correspondence - replies to news of Priscilla Leonard's Death 1980 

 5368 25

Process Studies Journal Spring/Summer 2012 - Roland Faber article on Whitehead 2012 

 5368 26

Language Logic and the Methods of the Sciences, by Henry S. Leonard 1947 

 5368 27-28
Box

Three card file boxes containing notes and book titles 

 5673