Single Idea 18040

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic]

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!