|
|
| (2 intermediate revisions by 2 users not shown) |
| Line 14: |
Line 14: |
|
| |
|
| I. INTRODUCTION | | I. INTRODUCTION |
| * [[Elements of Symbolic Logic/1. Logic and language| § 1. Logic and language]] | | * [[Elements of Symbolic Logic/§ 1|§ 1. Logic and language]] |
| * [[Elements of Symbolic Logic/2. Language|§ 2. Language]] | | * [[Elements of Symbolic Logic/§ 2|§ 2. Language]] |
| * § 3. Different levels of language | | * [[Elements of Symbolic Logic/§ 3|§ 3. Different levels of language]] |
| * § 4. Instrumental usage of language | | * [[Elements of Symbolic Logic/§ 4|§ 4. Instrumental usage of language]] |
| * § 5. Definitions | | * [[Elements of Symbolic Logic/§ 5|§ 5. Definitions]] |
|
| |
|
| II. THE CALCULUS OF PROPOSITIONS | | II. THE CALCULUS OF PROPOSITIONS |
|
| |
|
| * § 6. Propositional operations | | * [[Elements of Symbolic Logic/6. Propositional operations|§ 6. Propositional operations]] |
| * § 7. Truth tables | | * [[Elements of Symbolic Logic/7. Truth tables|§ 7. Truth tables]] |
| * § 8. Survey of possible operations. Tautologies | | * [[Elements of Symbolic Logic/8. Survey of possible operations. Tautologies|§ 8. Survey of possible operations. Tautologies]] |
| * § 9. Interpretation of tautological operations as connective operations | | * [[Elements of Symbolic Logic/9. Interpretation of tautological operations as connective operations|§ 9. Interpretation of tautological operations as connective operations]] |
| * § 10. Reduction of operations to other operations | | * [[Elements of Symbolic Logic/10. Reduction of operations to other operations|§ 10. Reduction of operations to other operations]] |
| * § 11. Derivations | | * [[Elements of Symbolic Logic/11. Derivations|§ 11. Derivations]] |
| * § 12. The rule of substitution | | * [[Elements of Symbolic Logic/12. The rule of substitution|§ 12. The rule of substitution]] |
| * § 13. The rule of replacement | | * [[Elements of Symbolic Logic/13. The rule of replacement|§ 13. The rule of replacement]] |
| * § 14. The rule of inference | | * [[Elements of Symbolic Logic/14. The rule of inference|§ 14. The rule of inference]] |
| * § 15. Secondary rules of inference | | * [[Elements of Symbolic Logic/15. Secondary rules of inference|§ 15. Secondary rules of inference]] |
| * § 16. Remarks on the method of derivation | | * [[Elements of Symbolic Logic/16. Remarks on the method of derivation|§ 16. Remarks on the method of derivation]] |
|
| |
|
| III. THE SIMPLE CALCULUS OF FUNCTIONS | | III. THE SIMPLE CALCULUS OF FUNCTIONS |
|
| |
|
| * § 17. Propositional functions | | * [[Elements of Symbolic Logic/17. Propositional functions|§ 17. Propositional functions]] |
| * § 18. Binding of variables | | * [[Elements of Symbolic Logic/18. Binding of variables|§ 18. Binding of variables]] |
| * § 19. Negation of operators | | * [[Elements of Symbolic Logic/19. Negation of operators|§ 19. Negation of operators]] |
| * § 20. The scope of an operator and the order of operators | | * [[Elements of Symbolic Logic/20. The scope of an operator and the order of operators|§ 20. The scope of an operator and the order of operators]] |
| * § 21. Synthetic assertions containing free argument variables | | * [[Elements of Symbolic Logic/21. Synthetic assertions containing free argument variables|§ 21. Synthetic assertions containing free argument variables]] |
| * § 22. Some concepts referring to functions | | * [[Elements of Symbolic Logic/22. Some concepts referring to functions|§ 22. Some concepts referring to functions]] |
| * § 23. Truth characters of one-place functions | | * [[Elements of Symbolic Logic/23. Truth characters of one-place functions|§ 23. Truth characters of one-place functions]] |
| * § 24. Definition of tautologies containing functions | | * [[Elements of Symbolic Logic/24. Definition of tautologies containing functions|§ 24. Definition of tautologies containing functions]] |
| * § 25. The use of case analysis for the construction of tautologies in propositional functions | | * [[Elements of Symbolic Logic/25. The use of case analysis for the construction of tautologies in propositional functions|§ 25. The use of case analysis for the construction of tautologies in propositional functions]] |
| * § 26. The rules of substitution and inference in the calculus of functions | | * [[Elements of Symbolic Logic/26. The rules of substitution and inference in the calculus of functions|§ 26. The rules of substitution and inference in the calculus of functions]] |
| * § 27. The rule for free variables | | * [[Elements of Symbolic Logic/27. The rule for free variables|§ 27. The rule for free variables]] |
| * § 28. Derivation of tautologies | | * [[Elements of Symbolic Logic/28. Derivation of tautologies|§ 28. Derivation of tautologies]] |
| * § 29. Secondary rules | | * [[Elements of Symbolic Logic/29. Secondary rules|§ 29. Secondary rules]] |
| * § 30. Derivations from synthetic premises | | * [[Elements of Symbolic Logic/30. Derivations from synthetic premises|§ 30. Derivations from synthetic premises]] |
| * § 31. The formal and the material conception of language | | * [[Elements of Symbolic Logic/31. The formal and the material conception of language|§ 31. The formal and the material conception of language]] |
| * § 32. The proof of consistency | | * [[Elements of Symbolic Logic/32. The proof of consistency|§ 32. The proof of consistency]] |
| * § 33. Two objections against the proof of consistency | | * [[Elements of Symbolic Logic/33. Two objections against the proof of consistency|§ 33. Two objections against the proof of consistency]] |
| * § 34. Logical evidence | | * [[Elements of Symbolic Logic/34. Logical evidence|§ 34. Logical evidence]] |
|
| |
|
| V. THE CALCULUS OF CLASSES | | V. THE CALCULUS OF CLASSES |
|
| |
|
| * § 35. Classes | | * [[Elements of Symbolic Logic/35. Classes|§ 35. Classes]] |
| * § 36. The syllogism | | * [[Elements of Symbolic Logic/36. The syllogism|§ 36. The syllogism]] |
| * § 37. The principle of abstraction | | * [[Elements of Symbolic Logic/37. The principle of abstraction|§ 37. The principle of abstraction]] |
| * § 38. Classes of couples, triplets, and so on | | * [[Elements of Symbolic Logic/38. Classes of couples, triplets, and so on|§ 38. Classes of couples, triplets, and so on]] |
|
| |
|
| VI. THE HIGHER CALCULUS OF FUNCTIONS | | VI. THE HIGHER CALCULUS OF FUNCTIONS |
|
| |
|
| * § 39. Functions of higher types | | * [[Elements of Symbolic Logic/39. Functions of higher types|§ 39. Functions of higher types]] |
| * § 40. The antinomies and the theory of types | | * [[Elements of Symbolic Logic/40. The antinomies and the theory of types|§ 40. The antinomies and the theory of types]] |
| * § 41. The technique of the higher calculus | | * [[Elements of Symbolic Logic/41. The technique of the higher calculus|§ 41. The technique of the higher calculus]] |
| * § 42. The treatment of indefinite expressions | | * [[Elements of Symbolic Logic/42. The treatment of indefinite expressions|§ 42. The treatment of indefinite expressions]] |
| * § 43. The relation of identity | | * [[Elements of Symbolic Logic/43. The relation of identity|§ 43. The relation of identity]] |
| * § 44. The definition of number | | * [[Elements of Symbolic Logic/44. The definition of number|§ 44. The definition of number]] |
|
| |
|
| VII. ANALYSIS OF CONVERSATIONAL LANGUAGE | | VII. ANALYSIS OF CONVERSATIONAL LANGUAGE |
|
| |
|
| * § 45. The deficiencies of traditional grammar | | * [[Elements of Symbolic Logic/45. The deficiencies of traditional grammar|§ 45. The deficiencies of traditional grammar]] |
| * § 46. Proper names | | * [[Elements of Symbolic Logic/46. Proper names|§ 46. Proper names]] |
| * § 47. Descriptions | | * [[Elements of Symbolic Logic/47. Descriptions|§ 47. Descriptions]] |
| * § 48. The problem of individuals | | * [[Elements of Symbolic Logic/48. The problem of individuals|§ 48. The problem of individuals]] |
| * § 49. Fictitious existence | | * [[Elements of Symbolic Logic/49. Fictitious existence|§ 49. Fictitious existence]] |
| * § 50. Token-reflexive words | | * [[Elements of Symbolic Logic/50. Token-reflexive words|§ 50. Token-reflexive words]] |
| * § 51. The tenses of verbs | | * [[Elements of Symbolic Logic/51. The tenses of verbs|§ 51. The tenses of verbs]] |
| * § 52. Classification of functions | | * [[Elements of Symbolic Logic/52. Classification of functions|§ 52. Classification of functions]] |
| * § 53. Functions of higher types | | * [[Elements of Symbolic Logic/53. Functions of higher types|§ 53. Functions of higher types]] |
| * § 54. Descriptional functions | | * [[Elements of Symbolic Logic/54. Descriptional functions|§ 54. Descriptional functions]] |
| * § 55. Logical terms in a syntactical capacity | | * [[Elements of Symbolic Logic/55. Logical terms in a syntactical capacity|§ 55. Logical terms in a syntactical capacity]] |
| * § 56. Logical terms in a semantical capacity | | * [[Elements of Symbolic Logic/56. Logical terms in a semantical capacity|§ 56. Logical terms in a semantical capacity]] |
| * § 57. Logical terms in a pragmatic capacity | | * [[Elements of Symbolic Logic/57. Logical terms in a pragmatic capacity|§ 57. Logical terms in a pragmatic capacity]] |
| * § 58. Extraneous terms | | * [[Elements of Symbolic Logic/58. Extraneous terms|§ 58. Extraneous terms]] |
| * § 59. Classification of the parts of speech | | * [[Elements of Symbolic Logic/59. Classification of the parts of speech|§ 59. Classification of the parts of speech]] |
|
| |
|
| VIII. CONNECTIVE OPERATIONS AND MODALITIES | | VIII. CONNECTIVE OPERATIONS AND MODALITIES |
|
| |
|
| * § 60. Practical reasons for the introduction of connective operations | | * [[Elements of Symbolic Logic/60. Practical reasons for the introduction of connective operations|§ 60. Practical reasons for the introduction of connective operations]] |
| * § 61. Formal characterization of connective operations | | * [[Elements of Symbolic Logic/61. Formal characterization of connective operations|§ 61. Formal characterization of connective operations]] |
| * § 62. The logical nature of connective operations | | * [[Elements of Symbolic Logic/62. The logical nature of connective operations|§ 62. The logical nature of connective operations]] |
| * § 63. Relative nomological statements | | * [[Elements of Symbolic Logic/63. Relative nomological statements|§ 63. Relative nomological statements]] |
| * § 64. The semi-adjunctive implication | | * [[Elements of Symbolic Logic/64. The semi-adjunctive implication|§ 64. The semi-adjunctive implication]] |
| * § 65. Modalities | | * [[Elements of Symbolic Logic/65. Modalities|§ 65. Modalities]] |
| * § 66. Modal interpretation of connective operations | | * [[Elements of Symbolic Logic/66. Modal interpretation of connective operations|§ 66. Modal interpretation of connective operations]] |
|
| |
|
| | | * [[Elements of Symbolic Logic/Exercises|Exercises]] |
| *Exercises | | * [[Elements of Symbolic Logic/Solutions|Solutions]] |
| *Solutions | | * [[Elements of Symbolic Logic/Index|Index]] |
| *Index | |
| </div> | | </div> |
|
| |
|
| [[Category:1946]] | | [[Category:1946]] |
| | [[Category:Philosophy]] |
| {{PD-pma|1953}} | | {{PD-pma|1953}} |
