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

• Digitized Content [PDF - 9.58 MB]

Folder

10b

Skeleton for AS, Chapters 1-19 (Items 8-10), 1959-1961

• Digitized Content [PDF - 8.38 MB]

Folder

10c

Skeleton for AS, Chapters 1-19 (Items 11-13), 1960-1961

• Digitized Content [PDF - 12.29 MB]

Folder

10d

Skeleton for AS, Chapters 1-19 (Items 14-16), 1961

• Digitized Content [PDF - 11.71 MB]

Folder

10e

Skeleton for AS, Chapters 1-19 (Items 17-19), 1961-1962

• Digitized Content [PDF - 15.56 MB]

Folder

10f

Skeleton for AS, Chapters 1-19 (Items 20-22), 1961-1964

• Digitized Content [PDF - 12.74 MB]

Folder

10g

Skeleton for AS, Chapters 1-19 (Item 23), 1960-1965

• Digitized Content [PDF - 7.31 MB]

Folder

10h

Skeleton for AS, Chapters 1-19 (Item 24), 1960-1965

• Digitized Content [PDF - 11.90 MB]

Folder

11

An Axiom System of Inductive Logic: Introduction, 1964

• Digitized Content [PDF - 3.61 MB]

Folder

12

An Axiom System of Inductive Logic, Chapter 17: Some Special Kind of Families, 1963-1964

• Digitized Content [PDF - 9.59 MB]

Folder

13a

An Axiom System of Inductive Logic, Chapter 18: Lambda-Families (Item 1a), 1963-1964

• Digitized Content [PDF - 21.08 MB]

Folder

13b

An Axiom System of Inductive Logic, Chapter 18: The Lambda-Families (Item 1b), 1963-1964

• Digitized Content [PDF - 21.18 MB]

Folder

14

An Axiom System of Inductive Logic, Chapter 19: The Limit Axioms, 1963-1965

• Digitized Content [PDF - 18.98 MB]

Folder

15

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 1. Introductory Remarks, 1959

• Digitized Content [PDF - 1.37 MB]

Folder

16

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 2. The Basic Axioms

• Digitized Content [PDF - 1.08 MB]

Folder

17

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 3. Models

• Digitized Content [PDF - 918 KB]

Folder

18

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 4. Predicate Languages

• Digitized Content [PDF - 1.19 MB]

Folder

19

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 5. A-Postulates

• Digitized Content [PDF - 1.50 MB]

Folder

20

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 6. Sublanguages, 1960

• Digitized Content [PDF - 2.58 MB]

Folder

21

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 7. Regularity

• Digitized Content [PDF - 2.02 MB]

Folder

22

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 8. General Concept of Regularity (Omitted in BS)

• Digitized Content [PDF - 4.20 MB]

Folder

23

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 9. Coherent C

• Digitized Content [PDF - 4.83 MB]

Folder

24

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 10. Symmetric C, 1961

• Digitized Content [PDF - 1.79 MB]

Folder

25

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 11. One Family

• Digitized Content [PDF - 2.66 MB]

Folder

26

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 12. Representative Functions for Symmetric M and C

• Digitized Content [PDF - 4.81 MB]

Folder

27

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 12. MS

• Digitized Content [PDF - 3.38 MB]

Folder

28

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 12. Cj

• Digitized Content [PDF - 4.56 MB]

Folder

29

An Axiom System of Inductive Logic, Chapters 1-13 (old uncorrected): 13. Instantatial Relevance

• Digitized Content [PDF - 2.05 MB]