more from this thinker     |     more from this text

Single Idea 18040

[filed under theme 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 Ref

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!

The 3 ideas with the same theme [logic that includes meanings and concepts, as well as objects]:

15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
18040 Intensional logic maps logical space, showing which predicates are compatible or incompatible [Magidor]