Kagaku tetsugaku
Online ISSN : 1883-6461
Print ISSN : 0289-3428
ISSN-L : 0289-3428
Volume 45 , Issue 1
Showing 1-7 articles out of 7 articles from the selected issue
  • Akira Sato
    2012 Volume 45 Issue 1 Pages 1-16
    Published: July 30, 2012
    Released: June 05, 2013
    Dummett argued that practical ability is knowledge if and only if having an ability is described as knowing some propositions. He asserts that the ability to speak a language is knowledge itself, because we cannot attempt to speak a language unless we can speak the language. However, it is not clear why such an ability is knowledge itself. In this study, we reinforce his argument by defining knowledge of how to do things as knowledge based on learning experience. We cannot speak a language without learning experience. Moreover, if one gains an ability through learning experience, this means that he at least knows some propositions.
    Download PDF (322K)
  • Yuichiro Hosokawa
    2012 Volume 45 Issue 1 Pages 17-33
    Published: July 30, 2012
    Released: June 05, 2013
    It has been common to formalize counterfactuals (or subjunctive conditionals) in natural language in terms of a certain binary sentential connective, as in Stalnaker [12] and D. Lewis [8]. This paper suggests that another formalization by means of unary multi-modal operators is natural and appropriate for some counterfactuals. To see this naturalness and appropriateness, we observe an instance of transitive inference constituted of three counterfactuals in natural language, and formalize it by using expressive power of multi-modal logic, in particular Hennessy-Milner logic(HML) and Dynamic logic (DL). As a result, the instance of transitive inference turns out to be justified by the multi-modalized version of the most fundamental and familiar rules of modal logic, that is, the necessitation rule (NAct) and the axiom (KAct).
    Download PDF (448K)
Survey Article
  • Masato Ishida
    2012 Volume 45 Issue 1 Pages 47-63
    Published: July 30, 2012
    Released: June 05, 2013
    A commonly shared image of convergence is that of arrays of light aiming at a focus―a projected vanishing-point to which all empirical inquiry strives to converge or the Kantian regulative ideal that reason aims at beyond the boundaries of all possible experience. Such an intuitive image of convergence is not completely foreign to Peirce's view, but a predominantly optical model of convergence fails to capture the generality and flexibility of the idea that Peirce wished to advocate. This paper formulates Peirce's convergence theory of truth based upon his mathematical insights and examines a number of criticisms leveled against the theory including that of Quine. I argue that Peirce's understanding of convergence is far more sophisticated than what critics have often assumed and that simultaneous convergence to multiple elements is not excluded from his picture.
    Download PDF (515K)
Book Reviews
Program of the 44th Annual Meeting (2011)