👥 Extensional procedure §

= assigning the same symbol to multiple coextensive propositional functions¹

Terminology §

• 🔣 Extension symbol
• 🔗 Extension

Footnotes §

1. Carnap, R. (1963). The Logical Structure of the World. ↩