search terms in context | full text File Size: 222 K bytes | Add this to my bookbag

Series XXIII. An Axiom System of Inductive Logic (AS): Drafts and Dittos, 1959-1965

Scope and Content Notes:

"An Axiom System of Inductive Logic" later evolved into "A Basic System of Inductive Logic." Carnap circulated a draft of the Axiom System (AS) privately for review.


Box 106a
Folder 1 An Axiom System of Inductive Logic, First Part, First Version, 1959
Folder 2 An Axiom System of Inductive Logic, Second Part, First Version, 1960
Folder 3 An Axiom System of Inductive Logic, Third Part, First Version (incomplete), 1961
Folder 4 An Axiom System of Inductive Logic, Chapters 12 and 13
Folder 5 An Axiom System of Inductive Logic, pp. 411-503
Folder 6a An Axiom System of Inductive Logic, Chapters 17, 12, 13, 14, 15, 16, 18 (Items 1-6)
Folder 6b An Axiom System of Inductive Logic, Fragments (Items 7-11), 1964
Folder 6c An Axiom System of Inductive Logic, §18: Lambda-Families (Item 12)
Folder 7 An Axiom System of Inductive Logic, Chapters 1-13, without Chapters 1-5, 7, 1960
Folder 8 An Axiom System of Inductive Logic, Part V: Chapters 17-19
Folder 9a An Axiom System of Inductive Logic: 14. The Attribute Space (Items 1-2), 1963
Folder 9b An Axiom System of Inductive Logic: 15. On Methodological Rules (Item 3), 1963
Folder 9c An Axiom System of Inductive Logic: 16. The Analogy Influence (Item 4), 1963

Box 106c
Folder 10a Skeleton for AS, Chapters 1-19 (Items 1-7), 1959-1960
Folder 10b Skeleton for AS, Chapters 1-19 (Items 8-10), 1959-1961
Folder 10c Skeleton for AS, Chapters 1-19 (Items 11-13), 1960-1961
Folder 10d Skeleton for AS, Chapters 1-19 (Items 14-16), 1961
Folder 10e Skeleton for AS, Chapters 1-19 (Items 17-19), 1961-1962
Folder 10f Skeleton for AS, Chapters 1-19 (Items 20-22), 1961-1964
Folder 10g Skeleton for AS, Chapters 1-19 (Item 23), 1960-1965
Folder 10h Skeleton for AS, Chapters 1-19 (Item 24), 1960-1965
Folder 11 An Axiom System of Inductive Logic: Introduction, 1964
Folder 12 An Axiom System of Inductive Logic, Chapter 17: Some Special Kind of Families, 1963-1964
Folder 13a An Axiom System of Inductive Logic, Chapter 18: Lambda-Families (Item 1a), 1963-1964
Folder 13b An Axiom System of Inductive Logic, Chapter 18: The Lambda-Families (Item 1b), 1963-1964
Folder 14 An Axiom System of Inductive Logic, Chapter 19: The Limit Axioms, 1963-1965
Folder 15 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 1. Introductory Remarks, 1959
Folder 16 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 2. The Basic Axioms
Folder 17 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 3. Models
Folder 18 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 4. Predicate Languages
Folder 19 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 5. A-Postulates
Folder 20 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 6. Sublanguages, 1960
Folder 21 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 7. Regularity
Folder 22 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 8. General Concept of Regularity (Omitted in BS)
Folder 23 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 9. Coherent C
Folder 24 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 10. Symmetric C, 1961
Folder 25 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 11. One Family
Folder 26 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 12. Representative Functions for Symmetric M and C
Folder 27 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 12. MS
Folder 28 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 12. Cj
Folder 29 An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 13. Instantatial Relevance