Books on Amazon
Definition recurrence/Brandom: the same singular term, not only the same type - requires consistency for repetition: this is the intra-term or de jure equivalence.
Recurrence structures can be equivalence classes of term tokenings of a single lexical type (Connects Franklin with the inventor of the bifocals).
Repetition/Token recurrence/TR/Brandom: Two types of substitutional equivalence: 1) token recurrence requires consistency in representation: "Intra-term or de jure equivalence" (binding for all) - 2) the changes that leave the appropriate other unchanged are the inter-term equivalences (varies with doxastic repertoires).
If inheritance is kept consistent, the first SMSICs would have had to be different E.g. if Oswald did not shoot Kennedy, then someone else did it - otherwise: E.g. "If Oswald did not shoot Kennedy, someone else would have done it".
Expressive Vernunft Frankfurt 2000
Begründen und Begreifen Frankfurt 2001