Results for 'Hajime Toyosawa'

228 found
Order:
  1. Kinsei Nihon Shisō No Kihonkei: Sadame to Tōi.Hajime Toyosawa - 2011 - Perikansha.
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  27
    An Essay on Kant’s Theory of Freedom From the Early Works of Tanabe Hajime.Tanabe Hajime & Cody Staton - 2013 - Comparative and Continental Philosophy 5 (2):150-156.
    This paper presents the first English translation of one of Tanabe’s early essays on Kant. Tanabe marks the occasion of the first translation of the Critique of Practical Reason into Japanese by providing his reflections on Kant’s theory of freedom in this essay. This creative essay by Tanabe represents the hallmark Kyoto School interpretation of Kant. Tanabe weaves his account of Kant with elements from other philosophers in an attempt to think systematically about the nature of freedom. He agrees with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Tanabe Hajime, Karaki Junzō Ōfuku Shokan.Hajime Tanabe - 2004 - Chikuma Shobō.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Nakamura Hajime Senshu.Hajime Nakamura - 1968 - Shunjusha.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Nakamura Hajime Senshåu.Hajime Nakamura - 1968 - Shunjusha.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Nihon Shisoshi Nakamura Hajime Eibun Ronshu.Hajime Nakamura & Nobumasa Kasugaya - 1988
  7. Kalyāṇa-Mitta: Professor Hajime Nakamura Felicitation Volume.Hajime Nakamura & V. N. Jha (eds.) - 1991 - Sri Satguru Publications.
     
    Export citation  
     
    Bookmark  
  8.  6
    Two Essays on Moral Freedom From the Early Works of Tanabe Hajime.Tanabe Hajime, Takeshi Morisato & Cody Staton - 2016 - Comparative and Continental Philosophy 8 (2):144-159.
    This article introduces English translations of Tanabe’s two essays entitled “Moral Freedom” and “On Moral Freedom Revisited.” In these essays, Tanabe tries to understand the unity of the contradictory division between freedom and necessity, while remaining truthful to the moral experience. Freedom is ultimately characterized as ideality that we ought to realize in reality, while the stage of religion constitutes the ultimate end of such moral struggles. Tanabe does not clearly work out how the continuity of the freedom-necessity discontinuity is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  2
    An Essay on Kant’s Theory of Freedom From the Early Works of Tanabe Hajime.Tanabe Hajime & Marshall Staton - 2013 - Comparative and Continental Philosophy 5 (2):150-156.
    This paper presents the first English translation of one of Tanabe’s early essays on Kant. Translated by Takeshi Morisato.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  47
    Groundwork for the Metaphysics of Deductive Reasoning: The Relation of the Universal and the Particular in Early Works of Tanabe Hajime.Timothy Burns & Tanabe Hajime - 2013 - Comparative and Continental Philosophy 5 (2):124-149.
    This article introduces the first English translation of one of Tanabe’s early essays on metaphysics. It questions the relation of the universal to the particular in context of logic, phenomenology, Neo-Kantian epistemology, and classical metaphysics. Tanabe provides his reflections on the nature of the concept of universality and its constitutive relation to phenomenal particulars through critical analyses of the issue as it is discussed across various schools of philosophy including: British Empiricism, the Marburg School, the Austrian School, the Kyoto School, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. A History of Early Vedānta Philosophy.Hajime Nakamura - 1983 - Motilal Banarsidass.
     
    Export citation  
     
    Bookmark   9 citations  
  12.  32
    Continuity Properties in Constructive Mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  13.  24
    An Omniscience Principle, the König Lemma and the Hahn-Banach Theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.
  14.  21
    An Omniscience Principle, the König Lemma and the Hahn‐Banach Theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
  15.  10
    Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientae:43-59.
  16. A Constructive Look at the Completeness of the Space $\Mathcal{D} (\Mathbb{R})$.Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
    We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  11
    Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientiae:43-59.
  18.  24
    Two Subcategories of Apartness Spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
  19.  20
    Continuity and Nondiscontinuity in Constructive Mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  20.  34
    Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
    Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  13
    Embedding Classical in Minimal Implicational Logic.Hajime Ishihara & Helmut Schwichtenberg - 2016 - Mathematical Logic Quarterly 62 (1-2):94-101.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  12
    A Note on the Independence of Premiss Rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  43
    A Constructive Look at the Completeness of the Space (ℝ).Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
    We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  17
    Quasi-Apartness and Neighbourhood Spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
    We extend the concept of apartness spaces to the concept of quasi-apartness spaces. We show that there is an adjunction between the category of quasi-apartness spaces and the category of neighbourhood spaces, which indicates that quasi-apartness is a more natural concept than apartness. We also show that there is an adjoint equivalence between the category of apartness spaces and the category of Grayson’s separated spaces.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  20
    A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
    We give a variant of the Gödel-Gentzen-negative translation, and a syntactic characterization which entails conservativity result for formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  8
    Compactness Under Constructive Scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.
    How are the various classically equivalent definitions of compactness for metric spaces constructively interrelated? This question is addressed with Bishop-style constructive mathematics as the basic system – that is, the underlying logic is the intuitionistic one enriched with the principle of dependent choices. Besides surveying today's knowledge, the consequences and equivalents of several sequential notions of compactness are investigated. For instance, we establish the perhaps unexpected constructive implication that every sequentially compact separable metric space is totally bounded. As a by-product, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  11
    Quotient Topologies in Constructive Set Theory and Type Theory.Hajime Ishihara & Erik Palmgren - 2006 - Annals of Pure and Applied Logic 141 (1):257-265.
    The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the predicative methods available in constructive type theory and constructive set theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  90
    Public Appraisal of Government Efforts and Participation Intent in Medico-Ethical Policymaking in Japan: A Large Scale National Survey Concerning Brain Death and Organ Transplant. [REVIEW]Hajime Sato, Akira Akabayashi & Ichiro Kai - 2005 - BMC Medical Ethics 6 (1):1-12.
    Public satisfaction with policy process influences the legitimacy and acceptance of policies, and conditions the future political process, especially when contending ethical value judgments are involved. On the other hand, public involvement is required if effective policy is to be developed and accepted.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  80
    On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation.Hajime Yoshino - 1997 - Artificial Intelligence and Law 5 (1-2):77-96.
    In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  10
    A Comparative History of Ideas.Hajime Nakamura - 1986 - Routledge, Chapman & Hall.
    This is a lucid and rewarding book which sets a new standard for dealing with a history of thought across many cultures.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  7
    Gotama Buddha.Hajime Nakamura - 1980 - Philosophy East and West 30 (4):550-551.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  20
    Decidable Kripke Models of Intuitionistic Theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
    In this paper we introduce effectiveness into model theory of intuitionistic logic. The main result shows that any computable theory T of intuitionistic predicate logic has a Kripke model with decidable forcing such that for any sentence φ, φ is forced in the model if and only if φ is intuitionistically deducible from T.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  44
    The Non‐Logical Character of Zen.Hajime Nakamura - 1985 - Journal of Chinese Philosophy 12 (2):105-115.
  34.  13
    Constructive Compact Operators on a Hilbert Space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
    In this paper, we deal with compact operators on a Hilbert space, within the framework of Bishop's constructive mathematics. We characterize the compactness of a bounded linear mapping of a Hilbert space into C n , and prove the theorems: Let A and B be compact operators on a Hilbert space H , let C be an operator on H and let α ϵ C . Then α A is compact, A + B is compact, A ∗ is compact, CA (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  20
    Conflict Between Traditionalism and Rationalism: A Problem with Śaṁkara.Hajime Nakamura - 1962 - Philosophy East and West 12 (2):153-161.
  36.  38
    Brouwer's Fan Theorem and Unique Existence in Constructive Analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.
    Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  21
    Strong Continuity Implies Uniform Sequential Continuity.Douglas Bridges, Hajime Ishihara, Peter Schuster & Luminiţa Vîţa - 2005 - Archive for Mathematical Logic 44 (7):887-895.
    Uniform sequential continuity, a property classically equivalent to sequential continuity on compact sets, is shown, constructively, to be a consequence of strong continuity on a metric space. It is then shown that in the case of a separable metric space, uniform sequential continuity implies strong continuity if and only if one adopts a certain boundedness principle that, although valid in the classical, recursive and intuitionistic setting, is independent of Heyting arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38.  29
    On Constructing Completions.Laura Crosilla, Hajime Ishihara & Peter Schuster - 2005 - Journal of Symbolic Logic 70 (3):969-978.
    The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo—Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two—element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  39.  20
    Tanabe Hajime and the Hint of A Dharmic Finality.James W. Heisig - 2011 - Comprendre 13 (2):55-69.
    The Japanese philosopher, Tanabe Hajime is taken up as an example of a thinker who, like the conference question, straddles intellectual histories East and West. Of all the Kyoto School philosophers, it was he who took history most seriously. He not only criticized Kantian, Hegelian, and Marxist notions of teleology and the modern scientific myth of "progress" on their own ground, but went on to counter these views of history with a logic of emptiness grounded in Buddhist philosophy. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  11
    Some Principles Weaker Than Markov’s Principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
    We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  10
    Indian Buddhism: A Survey with Bibliographical Notes.James P. McDermott & Hajime Nakamura - 1982 - Journal of the American Oriental Society 102 (3):547.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  12
    Tanabe Hajime no Fukuso-kansu-ron (Tanabe Hajime on complex analysis).Tomomi Asakura - 2018 - RIMS Kokyuroku Bessatsu 71 (B):75-92.
    Tanabe Hajime (1885-1962) in his later years explored the so-called "dialectical" interpretation of complex analysis, an important part of his philosophy of mathematics that has previously been criticized as lacking mathematical accuracy and philosophical importance. I interpret his elaboration on complex analysis as an attempt to develop Leibniz's theory of individual notion and to supplement Hegel's view of higher analysis with the development in mathematics such as the theory of analytic continuation and Riemann surface. This interpretation shows the previously (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  10
    Non-Deterministic Inductive Definitions and Fullness.Takako Nemoto & Hajime Ishihara - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 163-170.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  5
    Indian Buddhism: A Survey with Bibliographical Notes.E. G. & Hajime Nakamura - 1990 - Journal of the American Oriental Society 110 (1):179.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  23
    A Predicative Completion of a Uniform Space.Josef Berger, Hajime Ishihara, Erik Palmgren & Peter Schuster - 2012 - Annals of Pure and Applied Logic 163 (8):975-980.
  46.  34
    A Computational Account of Syntactic, Semantic and Discourse Principles for Anaphora Resolution.Nicholas Asher & Hajime Wada - 1988 - Journal of Semantics 6 (1):309-344.
    We present a unified framework for the computational implementation of syntactic, semantic, pragmatic and even “stylistic” constraints on anaphora. We build on our BUILDERS implementation of Discourse Representation (DR) Theory and Lexical Functional Grammar (LFG) discussed in Wada & Asher (1986). We develop and argue for a semantically based processing model for anaphora resolution that exploits a number of desirable features: (1) the partial semantics provided by the discourse representation structures (DRSs) of DR theory, (2) the use of syntactic and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  16
    The Buddha.Michael Carrithers, Hajime Nakamura, Earl H. Brewster, H. Saddhatissa, Nikkyo Niwano & Indrani Kalupahana - 1987 - Philosophy East and West 37 (3):306-322.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  6
    Intuitive Awareness: Issues in Early Mysticism.Nakamura Hajime - 1985 - Japanese Journal of Religious Studies 12 (2-3):119-140.
  49.  9
    The Goal of Meditation.Nakamura Hajime - 1986 - Japanese Journal of Religious Studies 13 (1):63-79.
  50.  8
    On the independence of premiss axiom and rule.Hajime Ishihara & Takako Nemoto - 2020 - Archive for Mathematical Logic 59 (7-8):793-815.
    In this paper, we deal with a relationship among the law of excluded middle, the double negation elimination and the independence of premiss rule ) for intuitionistic predicate logic. After giving a general machinery, we give, as corollaries, several examples of extensions of \ and \ which are closed under \ but do not derive the independence of premiss axiom.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 228