this paper, we will concentrate on one answer which we find especially illuminating. It highlight... more this paper, we will concentrate on one answer which we find especially illuminating. It highlights the promise of Craig's interpolation theorem as a tool for the study of explanation
<jats:p>Modern treatment of epistemic logic began in the 1950s when some philosophers notic... more <jats:p>Modern treatment of epistemic logic began in the 1950s when some philosophers noticed (as scholastics had done before them) certain regularities in the logical behaviour of the concept of knowledge (for example, that knowing a conjunction is equivalent to knowing all its conjuncts) and began to systematize them. Initially these regularities were presented in the form of an axiomatic-deductive system, as in other branches of logic. Later, questions began to be asked concerning the model theory on which such an 'epistemic logic' is based. Still later, the concrete interpretation of this model theory has become an issue. In this way, gradually a bridge has begun to be forged from purely logical questions to such central epistemological questions as those concerning the objects of knowledge, different kinds (or even senses) of knowledge (and their interrelations), the intensional character of knowledge, the de dicto versus de re distinction, and so on.</jats:p>
The tremendous richness of Pat Suppes' work has duly been noted and praised in many of the pa... more The tremendous richness of Pat Suppes' work has duly been noted and praised in many of the papers in this collection. Yet it seems to us that the multiplicity of his interests and approaches has not been done full justice. We will try to fill one omission in this paper. It has been noted that one of the characteristics of Pat's work is the use of probabilistic concepts rather than old-fashioned logic. This observation is of course correct, but it should not lead us to forget that Pat has also evinced a great deal of interest in more purely logical methods, both those offered by ordinary logic and those provided by set theory. He has written excellent expositions of both, books that are still unique in their usefulness for applications to the philosophy of science. Moreover, earlier Pat showed a keen interest in one particular application of classical logic concepts to the foundations of scientific theories, viz. the application of the concepts of definition and definability ...
I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrust... more I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrustrations, John Earman, ed. (Berkeley: California UP, 1992). 2 Aspects of Scientific Explanation and Other Essays in the Philosophy of Science (New York: Free Press, 1965), pt. Iv. ...
A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequenc... more A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequence relation '(from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means ...
A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequenc... more A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequence relation '(from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means ...
I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrust... more I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrustrations, John Earman, ed. (Berkeley: California UP, 1992). 2 Aspects of Scientific Explanation and Other Essays in the Philosophy of Science (New York: Free Press, 1965), pt. Iv. ...
In recent years, one of the most popular approaches to explanation has relied on the notion of un... more In recent years, one of the most popular approaches to explanation has relied on the notion of unification (see Kitcher 1976, 1981, 1985, 1989). But what is the place of unification on the map of the explanatory process? This process has been examined in an earlier paper ...
JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONI... more JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONING 1 THE GENERALITY OF INTERROGATIVE REASONING The interrogative approach to reasoning and argumentation is not just one approach to its ...
JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONI... more JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONING 1 THE GENERALITY OF INTERROGATIVE REASONING The interrogative approach to reasoning and argumentation is not just one approach to its ...
this paper, we will concentrate on one answer which we find especially illuminating. It highlight... more this paper, we will concentrate on one answer which we find especially illuminating. It highlights the promise of Craig's interpolation theorem as a tool for the study of explanation
<jats:p>Modern treatment of epistemic logic began in the 1950s when some philosophers notic... more <jats:p>Modern treatment of epistemic logic began in the 1950s when some philosophers noticed (as scholastics had done before them) certain regularities in the logical behaviour of the concept of knowledge (for example, that knowing a conjunction is equivalent to knowing all its conjuncts) and began to systematize them. Initially these regularities were presented in the form of an axiomatic-deductive system, as in other branches of logic. Later, questions began to be asked concerning the model theory on which such an 'epistemic logic' is based. Still later, the concrete interpretation of this model theory has become an issue. In this way, gradually a bridge has begun to be forged from purely logical questions to such central epistemological questions as those concerning the objects of knowledge, different kinds (or even senses) of knowledge (and their interrelations), the intensional character of knowledge, the de dicto versus de re distinction, and so on.</jats:p>
The tremendous richness of Pat Suppes' work has duly been noted and praised in many of the pa... more The tremendous richness of Pat Suppes' work has duly been noted and praised in many of the papers in this collection. Yet it seems to us that the multiplicity of his interests and approaches has not been done full justice. We will try to fill one omission in this paper. It has been noted that one of the characteristics of Pat's work is the use of probabilistic concepts rather than old-fashioned logic. This observation is of course correct, but it should not lead us to forget that Pat has also evinced a great deal of interest in more purely logical methods, both those offered by ordinary logic and those provided by set theory. He has written excellent expositions of both, books that are still unique in their usefulness for applications to the philosophy of science. Moreover, earlier Pat showed a keen interest in one particular application of classical logic concepts to the foundations of scientific theories, viz. the application of the concepts of definition and definability ...
I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrust... more I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrustrations, John Earman, ed. (Berkeley: California UP, 1992). 2 Aspects of Scientific Explanation and Other Essays in the Philosophy of Science (New York: Free Press, 1965), pt. Iv. ...
A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequenc... more A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequence relation '(from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means ...
A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequenc... more A (normalized) interpolant I in Craig's theorem is a kind of explanation why the con-sequence relation '(from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means ...
I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrust... more I A recent volume in the philosophy of science is entitled Inference, Explanation, and OtherFrustrations, John Earman, ed. (Berkeley: California UP, 1992). 2 Aspects of Scientific Explanation and Other Essays in the Philosophy of Science (New York: Free Press, 1965), pt. Iv. ...
In recent years, one of the most popular approaches to explanation has relied on the notion of un... more In recent years, one of the most popular approaches to explanation has relied on the notion of unification (see Kitcher 1976, 1981, 1985, 1989). But what is the place of unification on the map of the explanatory process? This process has been examined in an earlier paper ...
JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONI... more JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONING 1 THE GENERALITY OF INTERROGATIVE REASONING The interrogative approach to reasoning and argumentation is not just one approach to its ...
JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONI... more JAAKKO HINTIKKA, ILPO HALONEN AND ARTO MUTANEN INTERROGATIVE LOGIC AS A GENERAL THEORY OF REASONING 1 THE GENERALITY OF INTERROGATIVE REASONING The interrogative approach to reasoning and argumentation is not just one approach to its ...
Uploads
Papers by Ilpo Halonen