(del latín extensio, extensión, de extendere, extender)
Referente a la extensión. En lógica, punto de vista por el que los predicados se reducen a, o se entienden según, su extensión. Los conceptos se entienden como clases y éstas se definen como función y argumento. La extensión de una clase es el número de objetos que poseen una propiedad en común.
A la lógica veritativo-funcional se la llama también lógica extensional.