2 edited tags
| link
1
source | link

How to define identity of intension?

In philosophy, there is much mention of the intension/extension distinction. Two properties can be extensionally equal but not intensionally equal. It is very easy to define when two properties are extensionally, but I have never seen a satisfactory definition of intensional identity. Has anyone defined it?