Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought

Description

Title page Preface I. DEFINITION OF THE SYMBOLS 1. Letters and other signs Judgment 2. Possibility that a content become a judgment. Content stroke, judgment stroke 3. Subject and predicate. Conceptual content 4. Universal, particular; negative; categoric, hypothetic, disjunctive; apodictic, assertory, problematic judgments Conditionality 5. If. Condition stroke 6, Inference. The Aristotelian modes of inference Negation 7. Negation stroke. Or, either-or, and, but, and not, neither-nor Identity of content 8. Need for a sign for identity of content, introduction of such a sign Functions 9. Definition of the words "function" and" argument". Functions of several arguments. Argument places. Subject, object 10. Use of letters as function signs. "A has the property Φ." "B has the relation Ψ to A." "B is a result of an application of the procedure Ψ to the object A." The function sign as argument Generality 11. German letters. The concavity in the content stroke. Replaceability of German letters. Their scope. Latin letters 12. There are some objects that do not --. There is no -. There are some -. Every. All. Causal connections. None. Some do not. Some. It is possible that -. Square of logical opposition II. REPRESENTATION AND DERIVATION OF SOME JUDGMENTS OF PURE THOUGHT 13. Usefulness of the deductive mode of presentation 14. The first two fundamental laws of conditionality 15. Some of their consequences 16. The third fundamental law of conditionality, consequences 17. The first fundamental law of negation, consequences 18. The second fundamental law of negation, consequences 19. The third fundamental law of negation, consequences 20. The first fundamental law of identity of content, consequence 21. The second fundamental law of identity of content, consequences 22. The fundamental law of generality, consequences III. SOME TOPICS FROM A GENERAL THEORY OF SEQUENCES 23. Introductory remarks 24. Heredity. Doubling of the judgment stroke. Lower-case Greek letters 25. Consequences 26. Succession in a sequence 27. Consequences 28. Further consequences 29. "z belongs to the f-sequence beginning with x." Definition and consequences 30. Further consequences 31. Single-valuedness of a procedure. Definition and consequences