Logical constants across varying types (Q908900)

The author's (right and actual) assumption (known also from his other works) is that logic is not ``primarily concerned with the study of logical constants...'' but rather ``with the study of logical phenomena'', which ``occur all across language, not just with any distinguished group of actors'' (pp. 336-337). Therefore, he is justified to pose and gradually solve the problems of ``logicality'', i.e. which are relevant aspects of logicality, whether one can speak about `degrees of logicality', and how can be logically investigated its dependence on logical types. The topics being investigated in this respect are ``general invariance'' (individual neutrality, context neutrality), monotonicity (including Boolean homomorphism and continuity), ``inverse logic'' (looking for constants which validate the given inference), computational complexity, (\(\lambda\)-)definability, polymorphism and changing types, intensional logic (traditionally ignoring the stimuli coming from transparent intensional logic), dynamic logic.