Logic and Intensionality

Resumo

As expressões “extensão” e “intensão” são usadas de diferentes modos. Eu especifico na primeira parte deste artigo dois sentidos básicos da distinção e procuro mostrar que o antigo sentido metafísico, em termos de instância vs. universal, é mais fundamental que o sentido contemporâneo em termos de substitutividade. Na segunda parte eu argument que toda lógica, de modo geral, é essencialmente intensional, não apenas porque lógica é uma atividade guiada por regras, mas porque até a definição extensional de um sistema lógico pressupõe uma noção intensional de conseqüência lógica.