structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic

[logic that includes meanings and concepts, as well as objects]

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