Full Idea
Intensional logic aims to capture necessary relations between certain predicates, such as that 'green all over' and 'red all over' cannot be co-instantiated. Each predicate is allocated a set of points in logical space, and every object has one point.
Gist of Idea
Intensional logic maps logical space, showing which predicates are compatible or incompatible
Source
Ofra Magidor (Category Mistakes [2013], 4.4)
Book Reference
Magidor,Ofra: 'Category Mistakes' [OUP 2013], p.100
A Reaction
This produces an intriguing model of reality, as a vast and rich space of multiply overlapping modal predicates. Things can be blue, square, dangerous and large. They can't be small and large, or square and round. Objects are optional extras!