Editing Metalogic (section)

=== Type–token ===
{{Main|Type–token distinction}}

The ''type-token distinction'' is a distinction in metalogic, that separates an abstract concept from the objects which are particular instances of the concept. For example, the particular bicycle in your garage is a token of the [[Type–token distinction|type]] of thing known as "The bicycle." Whereas, the bicycle in your garage is in a particular place at a particular time, that is not true of "the bicycle" as used in the sentence: "''The bicycle'' has become more popular recently." This distinction is used to clarify the meaning of [[symbol (formal)|symbols]] of [[formal language]]s.