Lógica intensional
[1] Para entender lo que son estos aspectos intensionales, considérese el siguiente famoso ejemplo: "la estrella matutina" y "la estrella vespertina" son dos expresiones que los antiguos utilizaban para referir a la misma cosa: el planeta Venus.Cuando se trata de nombres propios, la extensión es la entidad a la cual designan.Por ejemplo, si la oración "Juan sabe que Aristóteles fue el estudiante más eminente de Platón" es verdadera, eso no implica que "Juan sabe que el maestro más eminente de Alejandro Magno fue el estudiante más eminente de Platón" también lo sea.No debe confundirse a la intensión con la intención, que es otro concepto filosófico.La lógica intensional puede entenderse como proveyendo una teoría del significado para cierto rango de expresiones.