Spinoza's Ethics: An Index of Implication Prepared by Lancelot R. Fletcher (lance.fletcher@freelance.com) The following is a "logical index" to Spinoza's Ethics. It was generated with the assistance of Houdini 3.0, a hypertext network editor designed by Neil Larson of MaxThink, Inc. The index is displayed in a format know as HIPO, which is an IBM acronym that stands for "Hierarchy plus Inputs, Processing, and Outputs." The index contains three columns. The middle column contains the terms referenced. The left-hand column contains the "inputs" for the referenced term. In this case, inputs are the terms cited in the proof or explanation of the referenced term (for which reason definitions and axioms generally have no inputs). The right-hand column contains the "outputs" of the referenced term. The outputs are all the subsequent terms in the Ethics in which the referenced term is cited. ETHICS: Logical Index node 1 --------------------- |1. PART I-- | | DEFINITIONS | --------------------- ETHICS: Logical Index node 2 --------------------- -------------------------- |2. ID1 |===>|26. IP7 | --------------------- | | |62. IP24 | | | |608. VP35 | -------------------------- ETHICS: Logical Index node 3 --------------------- -------------------------- |3. ID2 |===>|27. IP8 | --------------------- | | |59. IP21 | -------------------------- ETHICS: Logical Index node 4 --------------------- -------------------------- |4. ID3 |===>|19. IP1 | --------------------- | | |20. IP2 | | | |22. IP4 | | | |23. IP5 | | | |25. IP6C | | | |31. IP10 | | | |52. IP18 | | | |69. IP28 | | | |42. IP15 | -------------------------- ETHICS: Logical Index node 5 --------------------- -------------------------- |5. ID4 |===>|22. IP4 | --------------------- | | |30. IP9 | | | |31. IP10 | | | |35. IP12 | | | |53. IP19 | | | |55. IP20 | | | |102. IIP1S | -------------------------- ETHICS: Logical Index node 6 --------------------- -------------------------- |6. ID5 |===>|19. IP1 | --------------------- | | |22. IP4 | | | |25. IP6C | | | |42. IP15 | | | |61. IP23 | | | |66. IP25C | | | |69. IP28 | | | |74. IP31 | | | |101. IIP1 | -------------------------- ETHICS: Logical Index node 7 --------------------- -------------------------- |7. ID6 |===>|32. IP10S | --------------------- | | |33. IP11 | | | |39. IP14 | | | |40. IP14C1 | | | |44. IP16 | | | |53. IP19 | | | |61. IP23 | | | |74. IP31 | | | |101. IIP1 | | | |102. IIP1S | | | |205. IIP45 | | | |431. IVP28 | | | |608. VP35 | -------------------------- ETHICS: Logical Index node 8 --------------------- -------------------------- |8. ID7 |===>|50. IP17C2 | --------------------- | | |76. IP32 | | | |81. IP33S2 | | | |161. IIP17S | | | |309. IIIP49 | -------------------------- ETHICS: Logical Index node 9 --------------------- -------------------------- |9. ID8 |===>|53. IP19 | --------------------- | | |55. IP20 | | | |61. IP23 | | | |596. VP29 | | | |598. VP30 | -------------------------- ETHICS: Logical Index node 10 --------------------- |10. PART I-- | | AXIOMS | --------------------- ETHICS: Logical Index node 11 --------------------- -------------------------- |11. IA1 |===>|22. IP4 | --------------------- | | |25. IP6C | | | |33. IP11 | | | |41. IP14C2 | | | |42. IP15 | | | |69. IP28 | -------------------------- ETHICS: Logical Index node 12 --------------------- |12. IA2 | --------------------- ETHICS: Logical Index node 13 --------------------- -------------------------- |13. IA3 |===>|68. IP27 | --------------------- | | |434. IVP31 | | | |603. VP33 | -------------------------- ETHICS: Logical Index node 14 --------------------- -------------------------- |14. IA4 |===>|21. IP3 | --------------------- | | |25. IP6C | | | |64. IP25 | | | |107. IIP5 | | | |108. IIP6 | | | |110. IIP7 | | | |156. IIP16 | | | |205. IIP45 | | | |588. VP22 | -------------------------- ETHICS: Logical Index node 15 --------------------- -------------------------- |15. IA5 |===>|21. IP3 | --------------------- -------------------------- ETHICS: Logical Index node 16 --------------------- -------------------------- |16. IA6 |===>|23. IP5 | --------------------- | | |73. IP30 | | | |177. IIP29 | | | |183. IIP32 | | | |201. IIP44 | | | |204. IIP44C2 | -------------------------- ETHICS: Logical Index node 17 --------------------- -------------------------- |17. IA7 |===>|33. IP11 | --------------------- -------------------------- ETHICS: Logical Index node 18 --------------------- |18. PART I-- | | PROP.1-20 | --------------------- ETHICS: Logical Index node 19 ------------------------- --------------------- -------------------------- |4. ID3 |===>|19. IP1 |===>|23. IP5 | | | --------------------- -------------------------- |6. ID5 | ------------------------- ETHICS: Logical Index node 20 ------------------------- --------------------- -------------------------- |4. ID3 |===>|20. IP2 |===>|24. IP6 | ------------------------- --------------------- | | |33. IP11 | | | |35. IP12 | -------------------------- ETHICS: Logical Index node 21 ------------------------- --------------------- -------------------------- |14. IA4 |===>|21. IP3 |===>|24. IP6 | | | --------------------- -------------------------- |15. IA5 | ------------------------- ETHICS: Logical Index node 22 ------------------------- --------------------- -------------------------- |4. ID3 |===>|22. IP4 |===>|23. IP5 | | | --------------------- -------------------------- |5. ID4 | | | |6. ID5 | | | |11. IA1 | ------------------------- ETHICS: Logical Index node 23 ------------------------- --------------------- -------------------------- |4. ID3 |===>|23. IP5 |===>|24. IP6 | | | --------------------- | | |16. IA6 | |27. IP8 | | | | | |19. IP1 | |35. IP12 | | | | | |22. IP4 | |36. IP13 | ------------------------- | | |39. IP14 | | | |43. IP15S | | | |119. IIP10S | | | |133. IIP13L1 | -------------------------- ETHICS: Logical Index node 24 ------------------------- --------------------- -------------------------- |20. IP2 |===>|24. IP6 |===>|34. IP11S | | | --------------------- | | |21. IP3 | |35. IP12 | | | -------------------------- |23. IP5 | ------------------------- ETHICS: Logical Index node 25 ------------------------- --------------------- -------------------------- |4. ID3 |===>|25. IP6C |===>|26. IP7 | | | --------------------- | | |6. ID5 | |43. IP15S | | | -------------------------- |11. IA1 | | | |14. IA4 | ------------------------- ETHICS: Logical Index node 26 ------------------------- --------------------- -------------------------- |2. ID1 |===>|26. IP7 |===>|27. IP8 | | | --------------------- | | |25. IP6C | |28. IP8S1 | ------------------------- | | |29. IP8S2 | | | |33. IP11 | | | |35. IP12 | | | |53. IP19 | | | |118. IIP10 | -------------------------- ETHICS: Logical Index node 27 ------------------------- --------------------- -------------------------- |3. ID2 |===>|27. IP8 |===>|35. IP12 | | | --------------------- | | |23. IP5 | |38. IP13S | | | | | |26. IP7 | |43. IP15S | ------------------------- | | |133. IIP13L1 | -------------------------- ETHICS: Logical Index node 28 ------------------------- --------------------- |26. IP7 |===>|28. IP8S1 | ------------------------- --------------------- ETHICS: Logical Index node 29 ------------------------- --------------------- -------------------------- |26. IP7 |===>|29. IP8S2 |===>|43. IP15S | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 30 ------------------------- --------------------- |5. ID4 |===>|30. IP9 | ------------------------- --------------------- ETHICS: Logical Index node 31 ------------------------- --------------------- -------------------------- |4. ID3 |===>|31. IP10 |===>|35. IP12 | | | --------------------- | | |5. ID4 | |57. IP20C2 | ------------------------- | | |107. IIP5 | | | |108. IIP6 | -------------------------- ETHICS: Logical Index node 32 ------------------------- --------------------- -------------------------- |7. ID6 |===>|32. IP10S |===>|40. IP14C1 | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 33 ------------------------- --------------------- -------------------------- |7. ID6 |===>|33. IP11 |===>|36. IP13 | | | --------------------- | | |11. IA1 | |39. IP14 | | | | | |17. IA7 | |50. IP17C2 | | | | | |20. IP2 | |53. IP19 | | | | | |26. IP7 | |54. IP19S | ------------------------- | | |59. IP21 | | | |71. IP29 | | | |79. IP33 | | | |82. IP34 | | | |608. VP35 | -------------------------- ETHICS: Logical Index node 34 ------------------------- --------------------- |24. IP6 |===>|34. IP11S | ------------------------- --------------------- ETHICS: Logical Index node 35 ------------------------- --------------------- -------------------------- |5. ID4 |===>|35. IP12 |===>|43. IP15S | | | --------------------- -------------------------- |20. IP2 | | | |23. IP5 | | | |24. IP6 | | | |26. IP7 | | | |27. IP8 | | | |31. IP10 | ------------------------- ETHICS: Logical Index node 36 ------------------------- --------------------- |23. IP5 |===>|36. IP13 | | | --------------------- |33. IP11 | ------------------------- ETHICS: Logical Index node 37 --------------------- -------------------------- |37. IP13C |===>|43. IP15S | --------------------- -------------------------- ETHICS: Logical Index node 38 ------------------------- --------------------- |27. IP8 |===>|38. IP13S | ------------------------- --------------------- ETHICS: Logical Index node 39 ------------------------- --------------------- -------------------------- |7. ID6 |===>|39. IP14 |===>|43. IP15S | | | --------------------- | | |23. IP5 | |52. IP18 | | | | | |33. IP11 | |42. IP15 | ------------------------- -------------------------- ETHICS: Logical Index node 40 ------------------------- --------------------- -------------------------- |7. ID6 |===>|40. IP14C1 |===>|50. IP17C2 | | | --------------------- | | |32. IP10S | |63. IP24C | ------------------------- | | |72. IP29S | | | |73. IP30 | | | |79. IP33 | | | |106. IIP4 | -------------------------- ETHICS: Logical Index node 41 ------------------------- --------------------- |11. IA1 |===>|41. IP14C2 | ------------------------- --------------------- ETHICS: Logical Index node 42 ------------------------- --------------------- -------------------------- |4. ID3 |===>|42. IP15 |===>|48. IP17 | | | --------------------- | | |6. ID5 | |52. IP18 | | | | | |11. IA1 | |61. IP23 | | | | | |39. IP14 | |64. IP25 | ------------------------- | | |66. IP25C | | | |70. IP28S | | | |71. IP29 | | | |73. IP30 | | | |74. IP31 | | | |104. IIP3 | | | |184. IIP33 | | | |188. IIP36 | | | |431. IVP28 | | | |447. IVP37 | | | |576. VP14 | | | |611. VP36S | -------------------------- ETHICS: Logical Index node 43 ------------------------- --------------------- -------------------------- |23. IP5 |===>|43. IP15S |===>|133. IIP13L1 | | | --------------------- -------------------------- |25. IP6C | | | |27. IP8 | | | |29. IP8S2 | | | |35. IP12 | | | |37. IP13C | | | |39. IP14 | ------------------------- ETHICS: Logical Index node 44 ------------------------- --------------------- -------------------------- |7. ID6 |===>|44. IP16 |===>|48. IP17 | ------------------------- --------------------- | | |51. IP17S | | | |65. IP25S | | | |67. IP26 | | | |71. IP29 | | | |79. IP33 | | | |82. IP34 | | | |84. IP36 | | | |85. IApp | | | |104. IIP3 | | | |105. IIP3S | | | |204. IIP44C2 | | | |206. IIP45S | | | |383. IVPREF | | | |397. IVP4 | | | |588. VP22 | -------------------------- ETHICS: Logical Index node 45 --------------------- -------------------------- |45. IP16C1 |===>|51. IP17S | --------------------- | | |52. IP18 | | | |82. IP34 | -------------------------- ETHICS: Logical Index node 46 --------------------- -------------------------- |46. IP16C2 |===>|82. IP34 | --------------------- -------------------------- ETHICS: Logical Index node 47 --------------------- |47. IP16C3 | --------------------- ETHICS: Logical Index node 48 ------------------------- --------------------- -------------------------- |42. IP15 |===>|48. IP17 |===>|50. IP17C2 | | | --------------------- -------------------------- |44. IP16 | ------------------------- ETHICS: Logical Index node 49 --------------------- |49. IP17C1 | --------------------- ETHICS: Logical Index node 50 ------------------------- --------------------- -------------------------- |8. ID7 |===>|50. IP17C2 |===>|72. IP29S | | | --------------------- | | |33. IP11 | |210. IIP48 | | | -------------------------- |40. IP14C1 | | | |48. IP17 | ------------------------- ETHICS: Logical Index node 51 ------------------------- --------------------- -------------------------- |44. IP16 |===>|51. IP17S |===>|81. IP33S2 | | | --------------------- -------------------------- |45. IP16C1 | ------------------------- ETHICS: Logical Index node 52 ------------------------- --------------------- |4. ID3 |===>|52. IP18 | | | --------------------- |39. IP14 | | | |42. IP15 | | | |45. IP16C1 | ------------------------- ETHICS: Logical Index node 53 ------------------------- --------------------- -------------------------- |5. ID4 |===>|53. IP19 |===>|55. IP20 | | | --------------------- -------------------------- |7. ID6 | | | |9. ID8 | | | |26. IP7 | | | |33. IP11 | ------------------------- ETHICS: Logical Index node 54 ------------------------- --------------------- |33. IP11 |===>|54. IP19S | ------------------------- --------------------- ETHICS: Logical Index node 55 ------------------------- --------------------- |5. ID4 |===>|55. IP20 | | | --------------------- |9. ID8 | | | |53. IP19 | ------------------------- ETHICS: Logical Index node 56 --------------------- |56. IP20C1 | --------------------- ETHICS: Logical Index node 57 ------------------------- --------------------- -------------------------- |31. IP10 |===>|57. IP20C2 |===>|59. IP21 | ------------------------- --------------------- | | |579. VP17 | -------------------------- ETHICS: Logical Index node 58 --------------------- |58. PART I-- | | PROP.21-36 | --------------------- ETHICS: Logical Index node 59 ------------------------- --------------------- -------------------------- |3. ID2 |===>|59. IP21 |===>|60. IP22 | | | --------------------- | | |33. IP11 | |69. IP28 | | | | | |57. IP20C2 | |71. IP29 | ------------------------- | | |85. IApp | | | |122. IIP11 | | | |180. IIP30 | | | |397. IVP4 | | | |620. VP40S | -------------------------- ETHICS: Logical Index node 60 ------------------------- --------------------- -------------------------- |59. IP21 |===>|60. IP22 |===>|69. IP28 | ------------------------- --------------------- | | |85. IApp | | | |122. IIP11 | -------------------------- ETHICS: Logical Index node 61 ------------------------- --------------------- -------------------------- |6. ID5 |===>|61. IP23 |===>|76. IP32 | | | --------------------- | | |7. ID6 | |85. IApp | | | -------------------------- |9. ID8 | | | |42. IP15 | ------------------------- ETHICS: Logical Index node 62 ------------------------- --------------------- |2. ID1 |===>|62. IP24 | ------------------------- --------------------- ETHICS: Logical Index node 63 ------------------------- --------------------- -------------------------- |40. IP14C1 |===>|63. IP24C |===>|69. IP28 | ------------------------- --------------------- | | |70. IP28S | | | |206. IIP45S | | | |397. IVP4 | -------------------------- ETHICS: Logical Index node 64 ------------------------- --------------------- -------------------------- |14. IA4 |===>|64. IP25 |===>|67. IP26 | | | --------------------- | | |42. IP15 | |588. VP22 | ------------------------- | | |591. VP24 | -------------------------- ETHICS: Logical Index node 65 ------------------------- --------------------- |44. IP16 |===>|65. IP25S | ------------------------- --------------------- ETHICS: Logical Index node 66 ------------------------- --------------------- -------------------------- |6. ID5 |===>|66. IP25C |===>|69. IP28 | | | --------------------- | | |42. IP15 | |84. IP36 | ------------------------- | | |87. IID1 | | | |101. IIP1 | | | |107. IIP5 | | | |120. IIP10C | | | |230. IIIP6 | | | |609. VP36 | -------------------------- ETHICS: Logical Index node 67 ------------------------- --------------------- -------------------------- |44. IP16 |===>|67. IP26 |===>|69. IP28 | | | --------------------- | | |64. IP25 | |71. IP29 | ------------------------- -------------------------- ETHICS: Logical Index node 68 ------------------------- --------------------- -------------------------- |13. IA3 |===>|68. IP27 |===>|71. IP29 | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 69 ------------------------- --------------------- -------------------------- |4. ID3 |===>|69. IP28 |===>|76. IP32 | | | --------------------- | | |6. ID5 | |116. IIP9 | | | | | |11. IA1 | |135. IIP13L3 | | | | | |59. IP21 | |180. IIP30 | | | | | |60. IP22 | |181. IIP31 | | | | | |63. IP24C | |210. IIP48 | | | | | |66. IP25C | |432. IVP29 | | | | | |67. IP26 | |565. VP6 | ------------------------- -------------------------- ETHICS: Logical Index node 70 ------------------------- --------------------- |42. IP15 |===>|70. IP28S | | | --------------------- |63. IP24C | ------------------------- ETHICS: Logical Index node 71 ------------------------- --------------------- -------------------------- |33. IP11 |===>|71. IP29 |===>|78. IP32C2 | | | --------------------- | | |42. IP15 | |79. IP33 | | | | | |44. IP16 | |182. IIP31C | | | | | |59. IP21 | |201. IIP44 | | | | | |67. IP26 | |231. IIIP7 | | | | | |68. IP27 | |565. VP6 | ------------------------- -------------------------- ETHICS: Logical Index node 72 ------------------------- --------------------- -------------------------- |40. IP14C1 |===>|72. IP29S |===>|74. IP31 | | | --------------------- -------------------------- |50. IP17C2 | ------------------------- ETHICS: Logical Index node 73 ------------------------- --------------------- -------------------------- |16. IA6 |===>|73. IP30 |===>|106. IIP4 | | | --------------------- -------------------------- |40. IP14C1 | | | |42. IP15 | ------------------------- ETHICS: Logical Index node 74 ------------------------- --------------------- |6. ID5 |===>|74. IP31 | | | --------------------- |7. ID6 | | | |42. IP15 | | | |72. IP29S | ------------------------- ETHICS: Logical Index node 75 --------------------- |75. IP31S | --------------------- ETHICS: Logical Index node 76 ------------------------- --------------------- |8. ID7 |===>|76. IP32 | | | --------------------- |61. IP23 | | | |69. IP28 | ------------------------- ETHICS: Logical Index node 77 --------------------- -------------------------- |77. IP32C1 |===>|85. IApp | --------------------- | | |105. IIP3S | -------------------------- ETHICS: Logical Index node 78 ------------------------- --------------------- -------------------------- |71. IP29 |===>|78. IP32C2 |===>|105. IIP3S | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 79 ------------------------- --------------------- |33. IP11 |===>|79. IP33 | | | --------------------- |40. IP14C1 | | | |44. IP16 | | | |71. IP29 | ------------------------- ETHICS: Logical Index node 80 --------------------- -------------------------- |80. IP33S1 |===>|182. IIP31C | --------------------- | | |387. IVD4 | | | |409. IVP11 | -------------------------- ETHICS: Logical Index node 81 ------------------------- --------------------- |8. ID7 |===>|81. IP33S2 | | | --------------------- |51. IP17S | ------------------------- ETHICS: Logical Index node 82 ------------------------- --------------------- -------------------------- |33. IP11 |===>|82. IP34 |===>|83. IP35 | | | --------------------- | | |44. IP16 | |84. IP36 | | | | | |45. IP16C1 | |105. IIP3S | | | | | |46. IP16C2 | |230. IIIP6 | ------------------------- | | |397. IVP4 | -------------------------- ETHICS: Logical Index node 83 ------------------------- --------------------- -------------------------- |82. IP34 |===>|83. IP35 |===>|104. IIP3 | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 84 ------------------------- --------------------- -------------------------- |44. IP16 |===>|84. IP36 |===>|127. IIP13 | | | --------------------- | | |66. IP25C | |222. IIIP1 | | | | | |82. IP34 | |231. IIIP7 | ------------------------- | | |563. VP4S | -------------------------- ETHICS: Logical Index node 85 ------------------------- --------------------- -------------------------- |44. IP16 |===>|85. IApp |===>|158. IIP16C2 | | | --------------------- | | |59. IP21 | |211. IIP48S | | | | | |60. IP22 | |383. IVPREF | | | | | |61. IP23 | |449. IVP37S2 | | | -------------------------- |77. IP32C1 | ------------------------- ETHICS: Logical Index node 86 --------------------- |86. ========== | | PART II-- | | DEF. | --------------------- ETHICS: Logical Index node 87 ------------------------- --------------------- -------------------------- |66. IP25C |===>|87. IID1 |===>|134. IIP13L2 | ------------------------- --------------------- | | |135. IIP13L3 | | | |224. IIIP2 | -------------------------- ETHICS: Logical Index node 88 --------------------- -------------------------- |88. IID2 |===>|118. IIP10 | --------------------- | | |188. IIP36 | | | |189. IIP37 | | | |212. IIP49 | -------------------------- ETHICS: Logical Index node 89 --------------------- -------------------------- |89. IID3 |===>|211. IIP48S | --------------------- -------------------------- ETHICS: Logical Index node 90 --------------------- -------------------------- |90. IID4 |===>|493. IVP62 | --------------------- | | |579. VP17 | -------------------------- ETHICS: Logical Index node 91 --------------------- |91. IID5 | --------------------- ETHICS: Logical Index node 92 --------------------- -------------------------- |92. IID6 |===>|383. IVPREF | --------------------- | | |608. VP35 | | | |618. VP40 | -------------------------- ETHICS: Logical Index node 93 --------------------- |93. IID7 | --------------------- ETHICS: Logical Index node 94 --------------------- |94. PART II-- | | AXIOMS | --------------------- ETHICS: Logical Index node 95 --------------------- -------------------------- |95. IIA1 |===>|118. IIP10 | --------------------- | | |180. IIP30 | -------------------------- ETHICS: Logical Index node 96 --------------------- -------------------------- |96. IIA2 |===>|122. IIP11 | --------------------- -------------------------- ETHICS: Logical Index node 97 --------------------- -------------------------- |97. IIA3 |===>|122. IIP11 | --------------------- | | |212. IIP49 | -------------------------- ETHICS: Logical Index node 98 --------------------- -------------------------- |98. IIA4 |===>|127. IIP13 | --------------------- -------------------------- ETHICS: Logical Index node 99 --------------------- -------------------------- |99. IIA5 |===>|127. IIP13 | --------------------- -------------------------- ETHICS: Logical Index node 100 --------------------- |100. PART II-- | | PROP. | --------------------- ETHICS: Logical Index node 101 ------------------------- --------------------- -------------------------- |6. ID5 |===>|101. IIP1 |===>|103. IIP2 | | | --------------------- | | |7. ID6 | |104. IIP3 | | | | | |66. IP25C | |165. IIP20 | ------------------------- -------------------------- ETHICS: Logical Index node 102 ------------------------- --------------------- |5. ID4 |===>|102. IIP1S | | | --------------------- |7. ID6 | ------------------------- ETHICS: Logical Index node 103 ------------------------- --------------------- |101. IIP1 |===>|103. IIP2 | ------------------------- --------------------- ETHICS: Logical Index node 104 ------------------------- --------------------- -------------------------- |42. IP15 |===>|104. IIP3 |===>|107. IIP5 | | | --------------------- | | |44. IP16 | |117. IIP9C | | | | | |83. IP35 | |165. IIP20 | | | | | |101. IIP1 | |170. IIP24 | ------------------------- | | |588. VP22 | | | |608. VP35 | -------------------------- ETHICS: Logical Index node 105 ------------------------- --------------------- |44. IP16 |===>|105. IIP3S | | | --------------------- |77. IP32C1 | | | |78. IP32C2 | | | |82. IP34 | ------------------------- ETHICS: Logical Index node 106 ------------------------- --------------------- |40. IP14C1 |===>|106. IIP4 | | | --------------------- |73. IP30 | ------------------------- ETHICS: Logical Index node 107 ------------------------- --------------------- |14. IA4 |===>|107. IIP5 | | | --------------------- |31. IP10 | | | |66. IP25C | | | |104. IIP3 | ------------------------- ETHICS: Logical Index node 108 ------------------------- --------------------- -------------------------- |14. IA4 |===>|108. IIP6 |===>|116. IIP9 | | | --------------------- | | |31. IP10 | |135. IIP13L3 | ------------------------- | | |205. IIP45 | | | |224. IIIP2 | | | |237. IIIP11S | | | |401. IVP7 | | | |432. IVP29 | -------------------------- ETHICS: Logical Index node 109 --------------------- -------------------------- |109. IIP6C |===>|188. IIP36 | --------------------- | | |557. VP1 | -------------------------- ETHICS: Logical Index node 110 ------------------------- --------------------- -------------------------- |14. IA4 |===>|110. IIP7 |===>|113. IIP8 | ------------------------- --------------------- | | |116. IIP9 | | | |117. IIP9C | | | |155. IIP15 | | | |164. IIP19 | | | |165. IIP20 | | | |170. IIP24 | | | |171. IIP25 | | | |172. IIP26 | | | |236. IIIP11 | | | |238. IIIP12 | | | |557. VP1 | -------------------------- ETHICS: Logical Index node 111 --------------------- -------------------------- |111. IIP7C |===>|183. IIP32 | --------------------- | | |190. IIP38 | | | |192. IIP39 | | | |270. IIIP28 | -------------------------- ETHICS: Logical Index node 112 --------------------- -------------------------- |112. IIP7S |===>|113. IIP8 | --------------------- | | |126. IIP12S | | | |167. IIP21S | | | |225. IIIP2S | -------------------------- ETHICS: Logical Index node 113 ------------------------- --------------------- -------------------------- |110. IIP7 |===>|113. IIP8 |===>|237. IIIP11S | | | --------------------- -------------------------- |112. IIP7S | ------------------------- ETHICS: Logical Index node 114 --------------------- -------------------------- |114. IIP8C |===>|116. IIP9 | --------------------- | | |122. IIP11 | | | |155. IIP15 | | | |205. IIP45 | | | |237. IIIP11S | | | |587. VP21 | | | |589. VP23 | -------------------------- ETHICS: Logical Index node 115 --------------------- -------------------------- |115. IIP8S |===>|116. IIP9 | --------------------- | | |237. IIIP11S | -------------------------- ETHICS: Logical Index node 116 ------------------------- --------------------- -------------------------- |69. IP28 |===>|116. IIP9 |===>|117. IIP9C | | | --------------------- | | |108. IIP6 | |164. IIP19 | | | | | |110. IIP7 | |165. IIP20 | | | | | |114. IIP8C | |170. IIP24 | | | | | |115. IIP8S | |171. IIP25 | ------------------------- | | |222. IIIP1 | -------------------------- ETHICS: Logical Index node 117 ------------------------- --------------------- -------------------------- |104. IIP3 |===>|117. IIP9C |===>|125. IIP12 | | | --------------------- | | |110. IIP7 | |127. IIP13 | | | | | |116. IIP9 | |180. IIP30 | ------------------------- | | |235. IIIP10 | -------------------------- ETHICS: Logical Index node 118 ------------------------- --------------------- -------------------------- |26. IP7 |===>|118. IIP10 |===>|120. IIP10C | | | --------------------- -------------------------- |88. IID2 | | | |95. IIA1 | ------------------------- ETHICS: Logical Index node 119 ------------------------- --------------------- |23. IP5 |===>|119. IIP10S | ------------------------- --------------------- ETHICS: Logical Index node 120 ------------------------- --------------------- -------------------------- |66. IP25C |===>|120. IIP10C |===>|122. IIP11 | | | --------------------- | | |118. IIP10 | |432. IVP29 | ------------------------- -------------------------- ETHICS: Logical Index node 121 --------------------- |121. IIP10CS | --------------------- ETHICS: Logical Index node 122 ------------------------- --------------------- -------------------------- |59. IP21 |===>|122. IIP11 |===>|125. IIP12 | | | --------------------- | | |60. IP22 | |127. IIP13 | | | | | |96. IIA2 | |210. IIP48 | | | | | |97. IIA3 | |224. IIIP2 | | | | | |114. IIP8C | |226. IIIP3 | | | | | |120. IIP10C | |235. IIIP10 | ------------------------- | | |381. GDE | | | |447. IVP37 | | | |570. VP9 | | | |609. VP36 | | | |614. VP38 | -------------------------- ETHICS: Logical Index node 123 --------------------- -------------------------- |123. IIP11C |===>|125. IIP12 | --------------------- | | |127. IIP13 | | | |164. IIP19 | | | |168. IIP22 | | | |169. IIP23 | | | |180. IIP30 | | | |185. IIP34 | | | |190. IIP38 | | | |199. IIP43 | | | |200. IIP43S | | | |222. IIIP1 | | | |270. IIIP28 | -------------------------- ETHICS: Logical Index node 124 --------------------- |124. IIP11S | --------------------- ETHICS: Logical Index node 125 ------------------------- --------------------- -------------------------- |117. IIP9C |===>|125. IIP12 |===>|127. IIP13 | | | --------------------- | | |122. IIP11 | |154. IIP14 | | | | | |123. IIP11C | |159. IIP17 | ------------------------- | | |160. IIP17C | | | |164. IIP19 | | | |166. IIP21 | | | |168. IIP22 | | | |190. IIP38 | | | |225. IIIP2S | | | |244. IIIP15C | | | |401. IVP7 | | | |561. VP4 | -------------------------- ETHICS: Logical Index node 126 ------------------------- --------------------- |112. IIP7S |===>|126. IIP12S | ------------------------- --------------------- ETHICS: Logical Index node 127 ------------------------- --------------------- -------------------------- |84. IP36 |===>|127. IIP13 |===>|155. IIP15 | | | --------------------- | | |98. IIA4 | |164. IIP19 | | | | | |99. IIA5 | |166. IIP21 | | | | | |117. IIP9C | |167. IIP21S | | | | | |122. IIP11 | |169. IIP23 | | | | | |123. IIP11C | |170. IIP24 | | | | | |125. IIP12 | |172. IIP26 | ------------------------- | | |177. IIP29 | | | |190. IIP38 | | | |192. IIP39 | | | |226. IIIP3 | | | |235. IIIP10 | | | |381. GDE | | | |589. VP23 | | | |596. VP29 | -------------------------- ETHICS: Logical Index node 128 --------------------- -------------------------- |128. IIP13C |===>|161. IIP17S | --------------------- -------------------------- ETHICS: Logical Index node 129 --------------------- -------------------------- |129. IIP13S |===>|314. IIIP51S | --------------------- -------------------------- ETHICS: Logical Index node 130 --------------------- -------------------------- |130. IIP13A1 |===>|135. IIP13L3 | --------------------- -------------------------- ETHICS: Logical Index node 131 --------------------- |131. IIP13A2 | --------------------- ETHICS: Logical Index node 132 --------------------- |132. PART II-- | | LEMMAS | --------------------- ETHICS: Logical Index node 133 ------------------------- --------------------- -------------------------- |23. IP5 |===>|133. IIP13L1 |===>|135. IIP13L3 | | | --------------------- | | |27. IP8 | |141. IIP13L4 | | | -------------------------- |43. IP15S | ------------------------- ETHICS: Logical Index node 134 ------------------------- --------------------- -------------------------- |87. IID1 |===>|134. IIP13L2 |===>|189. IIP37 | ------------------------- --------------------- | | |191. IIP38C | | | |561. VP4 | -------------------------- ETHICS: Logical Index node 135 ------------------------- --------------------- |69. IP28 |===>|135. IIP13L3 | | | --------------------- |87. IID1 | | | |108. IIP6 | | | |130. IIP13A1 | | | |133. IIP13L1 | ------------------------- ETHICS: Logical Index node 136 --------------------- |136. IIP13L3C | --------------------- ETHICS: Logical Index node 137 --------------------- -------------------------- |137. IIP13L3A1 |===>|156. IIP16 | --------------------- | | |170. IIP24 | | | |248. IIIP17S | | | |313. IIIP51 | | | |327. IIIP57 | -------------------------- ETHICS: Logical Index node 138 --------------------- -------------------------- |138. IIP13L3A2 |===>|160. IIP17C | --------------------- -------------------------- ETHICS: Logical Index node 139 --------------------- -------------------------- |139. IIP13L3D |===>|144. IIP13L7 | --------------------- | | |170. IIP24 | | | |451. IVP39 | -------------------------- ETHICS: Logical Index node 140 --------------------- |140. IIP13L3A3 | --------------------- ETHICS: Logical Index node 141 ------------------------- --------------------- -------------------------- |133. IIP13L1 |===>|141. IIP13L4 |===>|142. IIP13L5 | ------------------------- --------------------- | | |170. IIP24 | -------------------------- ETHICS: Logical Index node 142 ------------------------- --------------------- -------------------------- |141. IIP13L4 |===>|142. IIP13L5 |===>|220. IIIPOST1 | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 143 --------------------- -------------------------- |143. IIP13L6 |===>|145. IIP13L7S | --------------------- -------------------------- ETHICS: Logical Index node 144 ------------------------- --------------------- -------------------------- |139. IIP13L3D |===>|144. IIP13L7 |===>|220. IIIPOST1 | ------------------------- --------------------- -------------------------- ETHICS: Logical Index node 145 ------------------------- --------------------- |143. IIP13L6 |===>|145. IIP13L7S | ------------------------- --------------------- ETHICS: Logical Index node 146 --------------------- |146. PART II-- | | POST. | --------------------- ETHICS: Logical Index node 147 --------------------- -------------------------- |147. POST1 |===>|155. IIP15 | --------------------- | | |170. IIP24 | | | |220. IIIPOST1 | | | |248. IIIP17S | -------------------------- ETHICS: Logical Index node 148 --------------------- |148. POST2 | --------------------- ETHICS: Logical Index node 149 --------------------- -------------------------- |149. POST3 |===>|154. IIP14 | --------------------- | | |175. IIP28 | | | |313. IIIP51 | | | |451. IVP39 | -------------------------- ETHICS: Logical Index node 150 --------------------- -------------------------- |150. POST4 |===>|164. IIP19 | --------------------- | | |419. IVP18S | | | |451. IVP39 | -------------------------- ETHICS: Logical Index node 151 --------------------- -------------------------- |151. POST5 |===>|160. IIP17C | --------------------- | | |221. IIIPOST2 | -------------------------- ETHICS: Logical Index node 152 --------------------- -------------------------- |152. POST6 |===>|154. IIP14 | --------------------- | | |451. IVP39 | -------------------------- ETHICS: Logical Index node 153 --------------------- |153. PART II- | | PROP 14-49 | --------------------- ETHICS: Logical Index node 154 ------------------------- --------------------- -------------------------- |125. IIP12 |===>|154. IIP14 |===>|236. IIIP11 | | | --------------------- | | |149. POST3 | |450. IVP38 | | | -------------------------- |152. POST6 | ------------------------- ETHICS: Logical Index node 155 ------------------------- --------------------- -------------------------- |110. IIP7 |===>|155. IIP15 |===>|226. IIIP3 | | | --------------------- -------------------------- |114. IIP8C | | | |127. IIP13 | | | |147. POST1 | ------------------------- ETHICS: Logical Index node 156 ------------------------- --------------------- -------------------------- |14. IA4 |===>|156. IIP16 |===>|159. IIP17 | | | --------------------- | | |137. IIP13L3A1 | |169. IIP23 | ------------------------- | | |171. IIP25 | | | |172. IIP26 | | | |174. IIP27 | | | |175. IIP28 | | | |190. IIP38 | | | |192. IIP39 | | | |264. IIIP27 | -------------------------- ETHICS: Logical Index node 157 --------------------- -------------------------- |157. IIP16C1 |===>|159. IIP17 | --------------------- | | |172. IIP26 | | | |208. IIP47 | -------------------------- ETHICS: Logical Index node 158 ------------------------- --------------------- -------------------------- |85. IApp |===>|158. IIP16C2 |===>|161. IIP17S | ------------------------- --------------------- | | |242. IIIP14 | | | |249. IIIP18 | | | |381. GDE | | | |394. IVP1S | | | |404. IVP9 | | | |605. VP34 | -------------------------- ETHICS: Logical Index node 159 ------------------------- --------------------- -------------------------- |125. IIP12 |===>|159. IIP17 |===>|160. IIP17C | | | --------------------- | | |156. IIP16 | |203. IIP44S | | | | | |157. IIP16C1 | |208. IIP47 | ------------------------- | | |237. IIIP11S | | | |238. IIIP12 | | | |239. IIIP13 | | | |249. IIIP18 | | | |250. IIIP18S1 | | | |252. IIIP19 | | | |261. IIIP25 | | | |270. IIIP28 | | | |325. IIIP56 | | | |394. IVP1S | | | |404. IVP9 | | | |567. VP7 | -------------------------- ETHICS: Logical Index node 160 ------------------------- --------------------- -------------------------- |125. IIP12 |===>|160. IIP17C |===>|161. IIP17S | | | --------------------- | | |138. IIP13L3A2 | |162. IIP18 | | | | | |151. POST5 | |195. IIP40S1 | | | | | |159. IIP17 | |203. IIP44S | ------------------------- | | |214. IIP49S | | | |249. IIIP18 | | | |261. IIIP25 | | | |274. IIIP30S | | | |307. IIIP47S | | | |412. IVP13 | -------------------------- ETHICS: Logical Index node 161 ------------------------- --------------------- -------------------------- |8. ID7 |===>|161. IIP17S |===>|173. IIP26C | | | --------------------- | | |128. IIP13C | |187. IIP35S | | | | | |158. IIP16C2 | |195. IIP40S1 | | | | | |160. IIP17C | |214. IIP49S | ------------------------- | | |221. IIIPOST2 | | | |237. IIIP11S | | | |238. IIIP12 | | | |264. IIIP27 | | | |325. IIIP56 | | | |404. IVP9 | | | |587. VP21 | | | |605. VP34 | -------------------------- ETHICS: Logical Index node 162 ------------------------- --------------------- -------------------------- |160. IIP17C |===>|162. IIP18 |===>|195. IIP40S1 | ------------------------- --------------------- | | |203. IIP44S | | | |237. IIIP11S | | | |242. IIIP14 | | | |315. IIIP52 | | | |412. IVP13 | | | |557. VP1 | | | |572. VP10S | | | |574. VP12 | | | |575. VP13 | -------------------------- ETHICS: Logical Index node 163 --------------------- -------------------------- |163. IIP18S |===>|196. IIP40S2 | --------------------- | | |237. IIIP11S | | | |315. IIIP52 | | | |336. DE4 | | | |412. IVP13 | | | |587. VP21 | -------------------------- ETHICS: Logical Index node 164 ------------------------- --------------------- -------------------------- |110. IIP7 |===>|164. IIP19 |===>|169. IIP23 | | | --------------------- | | |116. IIP9 | |178. IIP29C | | | | | |123. IIP11C | |200. IIP43S | | | | | |125. IIP12 | |208. IIP47 | | | | | |127. IIP13 | |273. IIIP30 | | | | | |150. POST4 | |317. IIIP53 | ------------------------- -------------------------- ETHICS: Logical Index node 165 ------------------------- --------------------- -------------------------- |101. IIP1 |===>|165. IIP20 |===>|168. IIP22 | | | --------------------- | | |104. IIP3 | |169. IIP23 | | | | | |110. IIP7 | |199. IIP43 | | | | | |116. IIP9 | |200. IIP43S | ------------------------- -------------------------- ETHICS: Logical Index node 166 ------------------------- --------------------- -------------------------- |125. IIP12 |===>|166. IIP21 |===>|168. IIP22 | | | --------------------- | | |127. IIP13 | |200. IIP43S | ------------------------- | | |403. IVP8 | | | |559. VP3 | -------------------------- ETHICS: Logical Index node 167 ------------------------- --------------------- -------------------------- |112. IIP7S |===>|167. IIP21S |===>|200. IIP43S | | | --------------------- | | |127. IIP13 | |403. IVP8 | ------------------------- | | |559. VP3 | -------------------------- ETHICS: Logical Index node 168 ------------------------- --------------------- -------------------------- |123. IIP11C |===>|168. IIP22 |===>|169. IIP23 | | | --------------------- | | |125. IIP12 | |200. IIP43S | | | | | |165. IIP20 | |208. IIP47 | | | | | |166. IIP21 | |403. IVP8 | ------------------------- -------------------------- ETHICS: Logical Index node 169 ------------------------- --------------------- -------------------------- |123. IIP11C |===>|169. IIP23 |===>|178. IIP29C | | | --------------------- | | |127. IIP13 | |200. IIP43S | | | | | |156. IIP16 | |208. IIP47 | | | | | |164. IIP19 | |233. IIIP9 | | | | | |165. IIP20 | |317. IIIP53 | | | | | |168. IIP22 | |333. DE1 | ------------------------- -------------------------- ETHICS: Logical Index node 170 ------------------------- --------------------- -------------------------- |104. IIP3 |===>|170. IIP24 |===>|175. IIP28 | | | --------------------- | | |110. IIP7 | |188. IIP36 | | | | | |116. IIP9 | |200. IIP43S | | | -------------------------- |127. IIP13 | | | |137. IIP13L3A1 | | | |139. IIP13L3D | | | |141. IIP13L4 | | | |147. POST1 | ------------------------- ETHICS: Logical Index node 171 ------------------------- --------------------- -------------------------- |110. IIP7 |===>|171. IIP25 |===>|173. IIP26C | | | --------------------- | | |116. IIP9 | |174. IIP27 | | | | | |156. IIP16 | |175. IIP28 | ------------------------- | | |178. IIP29C | | | |190. IIP38 | | | |200. IIP43S | -------------------------- ETHICS: Logical Index node 172 ------------------------- --------------------- -------------------------- |110. IIP7 |===>|172. IIP26 |===>|173. IIP26C | | | --------------------- | | |127. IIP13 | |178. IIP29C | | | | | |156. IIP16 | |200. IIP43S | | | | | |157. IIP16C1 | |587. VP21 | ------------------------- | | |596. VP29 | -------------------------- ETHICS: Logical Index node 173 ------------------------- --------------------- -------------------------- |161. IIP17S |===>|173. IIP26C |===>|200. IIP43S | | | --------------------- -------------------------- |171. IIP25 | | | |172. IIP26 | ------------------------- ETHICS: Logical Index node 174 ------------------------- --------------------- -------------------------- |156. IIP16 |===>|174. IIP27 |===>|177. IIP29 | | | --------------------- | | |171. IIP25 | |178. IIP29C | ------------------------- | | |190. IIP38 | | | |200. IIP43S | | | |273. IIIP30 | -------------------------- ETHICS: Logical Index node 175 ------------------------- --------------------- -------------------------- |149. POST3 |===>|175. IIP28 |===>|178. IIP29C | | | --------------------- | | |156. IIP16 | |188. IIP36 | | | | | |170. IIP24 | |200. IIP43S | | | -------------------------- |171. IIP25 | ------------------------- ETHICS: Logical Index node 176 --------------------- -------------------------- |176. IIP28S |===>|178. IIP29C | --------------------- | | |200. IIP43S | -------------------------- ETHICS: Logical Index node 177 ------------------------- --------------------- -------------------------- |16. IA6 |===>|177. IIP29 |===>|178. IIP29C | | | --------------------- | | |127. IIP13 | |200. IIP43S | | | | | |174. IIP27 | |499. IVP64 | ------------------------- -------------------------- ETHICS: Logical Index node 178 ------------------------- --------------------- -------------------------- |164. IIP19 |===>|178. IIP29C |===>|196. IIP40S2 | | | --------------------- | | |169. IIP23 | |200. IIP43S | | | | | |171. IIP25 | |226. IIIP3 | | | -------------------------- |172. IIP26 | | | |174. IIP27 | | | |175. IIP28 | | | |176. IIP28S | | | |177. IIP29 | ------------------------- ETHICS: Logical Index node 179 --------------------- -------------------------- |179. IIP29S |===>|200. IIP43S | --------------------- -------------------------- ETHICS: Logical Index node 180 ------------------------- --------------------- -------------------------- |59. IP21 |===>|180. IIP30 |===>|181. IIP31 | | | --------------------- | | |69. IP28 | |200. IIP43S | | | -------------------------- |95. IIA1 | | | |117. IIP9C | | | |123. IIP11C | ------------------------- ETHICS: Logical Index node 181 ------------------------- --------------------- -------------------------- |69. IP28 |===>|181. IIP31 |===>|182. IIP31C | | | --------------------- | | |180. IIP30 | |200. IIP43S | ------------------------- | | |494. IVP62S | -------------------------- ETHICS: Logical Index node 182 ------------------------- --------------------- -------------------------- |71. IP29 |===>|182. IIP31C |===>|200. IIP43S | | | --------------------- | | |80. IP33S1 | |347. DE15 | | | -------------------------- |181. IIP31 | ------------------------- ETHICS: Logical Index node 183 ------------------------- --------------------- -------------------------- |16. IA6 |===>|183. IIP32 |===>|184. IIP33 | | | --------------------- | | |111. IIP7C | |185. IIP34 | ------------------------- | | |188. IIP36 | | | |200. IIP43S | | | |393. IVP1 | -------------------------- ETHICS: Logical Index node 184 ------------------------- --------------------- -------------------------- |42. IP15 |===>|184. IIP33 |===>|186. IIP35 | | | --------------------- | | |183. IIP32 | |200. IIP43S | ------------------------- | | |393. IVP1 | -------------------------- ETHICS: Logical Index node 185 ------------------------- --------------------- -------------------------- |123. IIP11C |===>|185. IIP34 |===>|197. IIP41 | | | --------------------- | | |183. IIP32 | |199. IIP43 | ------------------------- | | |200. IIP43S | -------------------------- ETHICS: Logical Index node 186 ------------------------- --------------------- -------------------------- |184. IIP33 |===>|186. IIP35 |===>|197. IIP41 | ------------------------- --------------------- | | |200. IIP43S | | | |214. IIP49S | | | |393. IVP1 | -------------------------- ETHICS: Logical Index node 187 ------------------------- --------------------- -------------------------- |161. IIP17S |===>|187. IIP35S |===>|200. IIP43S | ------------------------- --------------------- | | |214. IIP49S | | | |359. DE27 | | | |394. IVP1S | | | |564. VP5 | -------------------------- ETHICS: Logical Index node 188 ------------------------- --------------------- |42. IP15 |===>|188. IIP36 | | | --------------------- |88. IID2 | | | |109. IIP6C | | | |170. IIP24 | | | |175. IIP28 | | | |183. IIP32 | ------------------------- ETHICS: Logical Index node 189 ------------------------- --------------------- -------------------------- |88. IID2 |===>|189. IIP37 |===>|191. IIP38C | | | -----