La logica intensionale è un'estensione della logica predicativa del primo ordine mediante quantificatori aggiuntivi, in cui la distinzione tra entità intensionali ed estensionali corre parallela alla distinzione tra senso e riferimento ('Sinn e Bedeutung).