Compreensão e extensão de um conceito

Uma contribuição importante da Lógica de Port-Royal foi a distinção estabelecida entre compreensão e extensão de um conceito, uma distinção incorporada à Lógica moderna, inclusive à Teoria dos Conjuntos.

Compreensão é o conjunto dos elementos de que se compõe o conceito, e extensão, o conjunto dos objetos a que o conceito convém. Exemplo: número primo, em compreensão, é o número natural cujos únicos divisores são ele próprio e 1; em extensão, o conjunto dos números naturais possuidores desse predicado. Recorda-se, a propósito, que EUCLIDES provou ser infinita a quantidade de primos.

Autores há, que à díade extensão e compreensão preferem extensão e intensão (assim mesmo, com “s”), com o mesmo significado.