9 found
Order:
See also
Daisuke Kachi
Saitama University
  1.  82
    Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
    Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  75
    Do Time Travelers Suffer From Paradoxes?Daisuke Kachi - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):95-98.
    In this paper I give consideration to some apparent impossibilities for the time travelers to the past. After criticizing the views of D. Lewis and K. Vihvelin, I will show in what sense they are really impossible.
    Download  
     
    Export citation  
     
    Bookmark  
  3.  92
    Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
    Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate truth-value so (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Was Łukasiewicz Wrong? : Three-Valued Logic and Determinism.Daisuke Kachi - 1996 - In "Łukasiewicz in Dublin" -- An International Conference on the Work of Jan Łukasiewicz.
    Łukasiewicz has often been criticized for his motive for inventing his three-valued logic, namely the avoidance of determinism. First of all, I want to show that almost all of the critcism along this line was wrong. Second I will indicate that he made mistakes, however, in constructing his system, because he had other motives at the same time. Finally I will propose some modification of his system and its interpretation which can attain his original purpose in some sense.
    Download  
     
    Export citation  
     
    Bookmark  
  5.  85
    The Power of Holes.Daisuke Kachi - 2011 - Ontology Meeting: A Supplementary Volume for 2011, February Meeting:7-11.
    Firstly I define a hole as a dependent matter-less endurant, which is a little modification of Casati and Varzi’s definition. Adopting this definition, holes seem to invite three problems about causation: (1)causal closure, (2)ungrounded disposition and (3)causal overdetermination. I will defend my definition against all these problems by showing that holes are limiting cases of physical endurants rather than their opposition and that they have causal powers in a broad sense.
    Download  
     
    Export citation  
     
    Bookmark  
  6.  80
    Four Kinds of Boundary : From an Ontological Point of View.Daisuke Kachi - 2009 - Interdisciplinary Ontology 2:87-90.
    Casati and Varzi have developed a theory of boundary based on extensional mereotopology and the distinction between fiat and bona fide boundaries. Firstly, I point out some problems in their theory that are related to the contact of bodies. Next, I propose a way of classification of boundaries into four kinds based on substance ontology and an alternative distinction between potential and actual boundaries. Finally, I will show that my way of classification makes it possible to solve the problems above.
    Download  
     
    Export citation  
     
    Bookmark  
  7.  52
    Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
    Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  44
    Serious Copula-Tensing.Daisuke Kachi - 2012 - Interdisciplinary Ontology 5:67-73.
    M. Johnston proposed an adverbialist solution to the problem of intrinsic change for enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing the having simpliciter of a property by the standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring the having a property to be non-relational, while I disagree with him on restricting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  34
    The Ontology of Many-Worlds : Modality and Time.Daisuke Kachi - 1998 - In https://www.bu.edu/wcp/MainOnto.htm.
    There are two types of theories regarding many worlds: one is modal, while the other is temporal. The former regards reality as consisting of many possible worlds, while the latter holds that reality consists of many momentary worlds, which are usually called moments. I compare these two theories, paying close attention to the concept of transworld identity and compare trans-possible world identity with trans-momentary world identity (or transmoment identity). I characterize time from the point of many-worlds view, believing this to (...)
    Download  
     
    Export citation  
     
    Bookmark