The Principles of Mathematics (1903)

Chapter III. Implication and Formal Implication

Table of Contents

  1. § 37. Meaning of implication
  2. § 38. Asserted and unasserted propositions
  3. § 39. Inference does not require two premisses
  4. § 40. Formal implication is to be interpreted extensionally
  5. § 41. The variable in formal implication has an unrestricted field
  6. § 42. A formal implication is a single propositional function, not a relation of two
  7. § 43. Assertions
  8. § 44. Conditions that a term in an implication may be varied
  9. § 45. Formal implication involved in rules of inference

§ 38 n. 2. Frege (loc. cit.) has a special symbol to denote assertion.

§ 45 n. 1. Logic, Book II, Part I, Chap. II (p. 227)