Results for 'Tokosumi Akifumi Murai Hajime'

382 found
Order:
  1.  20
    Co-citation Network による宗教思想文書の解析.Tokosumi Akifumi Murai Hajime - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21 (6):473-481.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    A computational literary theory: the ultimate products of the brain/mind machine.Akifumi Tokosumi - 2001 - In T. Kitamura (ed.), What Should Be Computed to Understand and Model Brain Function? World Scientific. pp. 3--43.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  15
    The Brain/Mind Machine: Toward modeling its wish generation processes.Akifumi Tokosumi - 2001 - In T. Kitamura (ed.), What Should Be Computed to Understand and Model Brain Function? World Scientific. pp. 43--51.
  4.  11
    Context building through socially-supported belief.Naoko Matsumoto & Akifumi Tokosumi - 2005 - In B. Kokinov A. Dey (ed.), Modeling and Using Context. Springer. pp. 316--325.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Modularity and hierarchy: A theory of consciousness based on the fractal neural network.Takeshi Ieshima & Akifumi Tokosumi - 2002 - In Kunio Yasue, Marj Jibu & Tarcisio Della Senta (eds.), No Matter, Never Mind: Proceedings of Toward a Science of Consciousness: Fundamental Approaches (Tokyo '99). John Benjamins. pp. 349-355.
  6.  7
    Modularity and hierarchy A theory of consciousness.Takeshi Ieshima & Akifumi Tokosumi - 2002 - In Kunio Yasue, Marj Jibu & Tarcisio Della Senta (eds.), No Matter, Never Mind. John Benjamins. pp. 33--349.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  14
    Effects of Agent-Environment Symmetry on the Coordination Dynamics of Triadic Jumping.Akifumi Kijima, Hiroyuki Shima, Motoki Okumura, Yuji Yamamoto & Michael J. Richardson - 2017 - Frontiers in Psychology 8.
  8.  50
    Intuitionistic Public Announcement Logic with Distributed Knowledge.Ryo Murai & Katsuhiko Sano - 2024 - Studia Logica 112 (3):661-691.
    We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  20
    Ming-Qing Studies in Japan: 1985.Norimatsu Akifumi - 1989 - Chinese Studies in History 22 (1-2):56-65.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  2
    "Seiji kengen" to "chikyū kankyō": dainō seirigaku no tachiba kara.Akifumi Higashi - 1993 - Tōkyō: Gijutsu Shuppan.
  11. Kyōiku no saikō.Minoru Murai - 1975 - Tōkyō: Shōgakkan.
  12. Fuhen shisō.Hajime Nakamura - unknown - Tōkyō: Shunjūsha.
     
    Export citation  
     
    Bookmark  
  13.  31
    Cognitively active externalization for situated reflection.Hajime Shirouzu, Naomi Miyake & Hiroyuki Masukawa - 2002 - Cognitive Science 26 (4):469-501.
    This paper offers an explanation of how collaboration leads to abstract and flexible problem solving. We asked the individual and paired subjects to indicate 3/4 of 2/3 of the area of a square sheet of paper and found that (1) they primarily folded or partitioned the paper rather than algorithmically calculating the answer, (2) they strongly tendened to backtrack and confirm their proto‐plans on externalized traces such as creases on the paper, and (3) only the paired subjects shifted to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  14. Nihon kūkan no tanjō: kosumorojī, fūkei, takaikan.Hajime Abe - 1995 - Tōkyō: Serika Shobō.
  15.  20
    Coadaptationary aspects of the underground communication between plants and other organisms.Akifumi Sugiyama, Daniel K. Manter & Jorge M. Vivanco - 2012 - In Guenther Witzany & František Baluška (eds.), Biocommunication of Plants. Springer. pp. 361--375.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  41
    Discrepancy between explicit judgement of agency and implicit feeling of agency: Implications for sense of agency and its disorders.Naho Saito, Keisuke Takahata, Toshiya Murai & Hidehiko Takahashi - 2015 - Consciousness and Cognition 37:1-7.
  17. 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   7 citations  
  18.  64
    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   7 citations  
  19.  5
    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  
  20.  33
    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  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  8
    Kinsei Nihon shisō no kihonkei: sadame to tōi.Hajime Toyosawa - 2011 - Tōkyō: Perikansha.
    中世から近世に移るカオスの中で人びとはどのように生き、社会の中で思想を形成していったか。本書はそこにみられる、近代が切り捨ててきた、人と人とのつながりを真摯に追求する。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  13
    The contingency symmetry bias (affirming the consequent fallacy) as a prerequisite for word learning: A comparative study of pre-linguistic human infants and chimpanzees.Mutsumi Imai, Chizuko Murai, Michiko Miyazaki, Hiroyuki Okada & Masaki Tomonaga - 2021 - Cognition 214 (C):104755.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  49
    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 (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24.  28
    The jigsaw as an enhancer of collaborative knowledge integration.Hajime Shirouzu & Naomi Miyake - 2010 - In S. Ohlsson & R. Catrambone (eds.), Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Cognitive Science Society.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  56
    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  
  26.  6
    Ways of Thinking of Eastern Peoples: India, China, Tibet, Japan (Revised English Translation).Hajime Nakamura - 1964 - University of Hawaii Press.
  27.  33
    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  
  28.  12
    Truth and objectivity in law and morals: proceedings of the special workshop held at the 26th World Congress of the International Association for Philosophy of Law and Social Philosophy in Belo Horizonte, 2013.Hajime Yoshino, Andrés Santacoloma Santacoloma & Gonzalo Villa Rosas (eds.) - 2016 - [Baden-Baden]: Nomos.
    This volume contains a selection of papers presented at the special workshop "Truth and Objectivity in Law and Morals," held at the 26th World Congress of the IVR. The papers deal with diverse but correlated issues such as the search for truth in and through legal argumentation; the intelligible character of rules inside theories of interpretation which guarantee the coherence and the integrity of law; the role of hermeneutic analysis in the construction of the objectivity of law; the procedural and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  42
    Philosophy as Metanoetics.Hajime Tanabe & Tanabe Hajime - 1986 - Univ of California Press.
    "Tanabe's agenda was not religious but philosophical in that he tried to integrate Eastern and Western insights in order to acquire a cross-cultural philosophical vision for the post-war world community.... This book shows his superior philosophical originality.... It is high time that Tanabe's thought should be introduced to the West."—Joseph Kitagawa, University of Chicago.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  30.  65
    Partial and paraconsistent approaches to future contingents in tense logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  58
    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   18 citations  
  32.  20
    Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientiae:43-59.
    We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  33. Gengo tetsugaku josetsu.Hajime Koshiishi - 1968 - Koshiishi Shinryosho.
     
    Export citation  
     
    Bookmark  
  34. Mugen sūgaku no keifu.Hajime Kosugi - 1972
     
    Export citation  
     
    Bookmark  
  35. Tanabe Hajime, Karaki Junzō ōfuku shokan.Hajime Tanabe - 2004 - Tōkyō: Chikuma Shobō. Edited by Junzō Karaki.
  36. Tanabe Hajime, Nogami Yaeko ōfuku shokan.Hajime Tanabe - 2002 - Tōkyō: Iwanami Shoten. Edited by Yaeko Nogami.
     
    Export citation  
     
    Bookmark  
  37. Tanabe Hajime shū.Hajime Tanabe - 1975
     
    Export citation  
     
    Bookmark  
  38.  3
    Tanabe Hajime zenshū.Hajime Tanabe - 1963 - 1963-64,: [V..
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  16
    Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientiae:43-59.
    We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  40. 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  
  41.  29
    An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
  42.  32
    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.
  43.  43
    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   14 citations  
  44.  22
    On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.Youan Su, Ryo Murai & Katsuhiko Sano - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 216-231.
    Artemov and Protopopescu introduced a Brouwer-Heyting-Kolmogorov interpretation of knowledge operator to define the intuitionistic epistemic logic IEL, where the axiom A⊃KA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\supset KA$$\end{document} is accepted but the axiom KA⊃A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KA\supset A$$\end{document} is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of IEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. A three-valued modal tense logic for the Master Argument.Seiki Akama, Tetsuya Murai & Sadaaki Miyamoto - 2011 - Logique Et Analyse 54 (213):19-30.
  46. Japanese aesthetic sense―Zen and Zen calligraphy, Zen painting, from Kamakura to Muromachi―.Iwamoto Hajime - 2004 - Fenomenologia. Diálogos Possíveis Campinas: Alínea/Goiânia: Editora da Puc Goiás 4:1-16.
     
    Export citation  
     
    Bookmark  
  47. The Japanese Aesthetic Sense ll ―On Zen Painting, Zenga and Their lnfluence from the Momoyama Period to the Later Edo Period―.Iwamoto Hajime - 2005 - Fenomenologia. Diálogos Possíveis Campinas: Alínea/Goiânia: Editora da Puc Goiás 5:1-26.
     
    Export citation  
     
    Bookmark  
  48.  56
    The non‐logical character of zen.Hajime Nakamura - 1985 - Journal of Chinese Philosophy 12 (2):105-115.
  49.  24
    The People of the Alas Valley: A Study of an Ethnic Group of Northern Sumatra.Frank J. Korom & Akifumi Iwabuchi - 1997 - Journal of the American Oriental Society 117 (3):582.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  37
    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   6 citations  
1 — 50 / 382