Vous consultezResponse to Tulenheimo
Since I proposed the idea of independence-friendly (IF), logic, the study of such logics has developed into an active field of research. Tulemheimo is one of the pioneers in this field. He continues his work in his contribution. Since he is working in a direction different from my own ongoing research, my response cannot be a reply or even a comment on Tulenheimo’s expert paper. Instead, it may be in order to explain my choice of direction for research in the field of logic.
2 The deep insight in IF logic is that the semantical job description of quantifiers includes more than “ranging over” a class of values. The power and subtlety of quantifiers is due to the fact that by their formal dependence and independence they express the actual (“material”) dependence and independence of their variables of each other. In game-theoretical semantics, these actual dependence relations are conveniently represented by relations of informational dependence in the sense of game theory. Hence in a philosophical perspective the cutting edge of the study of IF logic is not the theory of information flow in certain games, but the examination of patterns of dependence between variables. The former is only a method of approaching the latter. This does not mean criticizing any current research, only pointing out the most important direction for future research and explaining the choice of the problems I am currently working on.
POUR CITER CET ARTICLE
« Response to Tulenheimo », Revue internationale de philosophie 4/2009 (n° 250), p. 455-455.
URL : www.cairn.info/revue-internationale-de-philosophie-2009-4-page-455.htm.