Results for 'Shōji Maehara'

115 found
Order:
  1.  10
    A General Theory of Completeness Proofs.Shôji Maehara - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
  2.  11
    Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Shôji Maehara - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    General Recursive Functions in the Number-Theoretic Formal System.Shôji Maehara - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  10
    Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Shôji Maehara, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  43
    Two interpolation theorems for a π11 predicate calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
  6.  9
    Calculabilité des Fonctionnelles Récursives Primitives de Type Fini sur les Nombres Naturels.Yoshito Hanatani & Shôji Maehara - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  37
    Another Proof of Takeuti's Theorems on Skolem's Paradox.Erwin Engeler & Shoji Maehara - 1966 - Journal of Symbolic Logic 31 (4):659.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  50
    Shôji Maehara. Remark on Skolem's theorem concerning the impossibility of characterization of the natural number sequence. Proceedings of the Japan Academy, vol. 33 , pp. 588–590.Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9.  15
    Review: Shoji Maehara, Logic in Japan. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-472.
  10.  55
    Shôji Maehara. Logic in Japan. Contemporary philosophy, A survey, I, Logic and foundations of mathematics , edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 228–231. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472.
  11.  21
    Review: Shoji Maehara, A System of Simple Type Theory with Type Variables. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  35
    Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 , pp. 131–137. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  35
    Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 , pp. 541–556. [REVIEW]Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659-659.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  22
    Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  32
    Review: Shoji Maehara, General Recursive Functions in the Number-Theoretic Formal System. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
  17.  56
    Review: Shoji Maehara, The Predicate Calculus with $varepsilon$-Symbol. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  18.  16
    Review: Shoji Maehara, Gentzen's Theorem on an Extended Predicate Calculus. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  19.  26
    Review: Shoji Maehara, Equality Axiom on Hilbert's $varepsilon$-Symbol. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
  20.  26
    Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  24
    Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  17
    Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (1):79-80.
  23.  26
    Maehara Shôji and Takeuti Gaisi. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 , pp. 357–370. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
  24.  25
    Maehara Shôji. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 , pp. 55–64. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
  25.  37
    Maehara Shôji. Über die rekursive Einführung der Funktionen in der reinen Zahlentheorie. Proceedings of the Japan Academy, vol. 33 , pp. 111–113. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  28
    Maehara Shôji. General recursive functions in the number-theoretic formal system. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 2 , pp. 119–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
  27.  41
    Maehara Shôji. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 , pp. 419–435. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
  28.  16
    Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  29.  14
    The Development of Binswanger's Daseinsanalysis.Shoji Muramoto - 2009 - In George Derfer, Zhihe Wang & Michel Weber (eds.), The Roar of Awakening: A Whiteheadian Dialogue Between Western Psychotherapies and Eastern Worldviews. Ontos Verlag. pp. 20--179.
  30. Emerson: the philosophy of obedience.Shoji Goto - 2023 - New York: Nova Science Publishers.
    This book, Emerson, the Philosophy of Obedience, attempts to trace Emerson who sought to integrate Western and Eastern thoughts to found a new philosophy in the new world. An ardent admirer of Plato, he is at the same time an enthusiast of Eastern philosophy. "Memory," for example, is one of his last lecture series, "Natural Method of Mental Philosophy," in which men are all taken as the halves, because men have aftersight, but not aforesight. Memory is, to Emerson, not only (...)
     
    Export citation  
     
    Bookmark  
  31.  16
    The myth of Zen in the art of archery.Shoji Yamada - 2001 - Japanese Journal of Religious Studies 28:1-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Filozoficzne znaczenie \"Historii i świadomości klasowej\" Lukacsa.Shoji Ishitsuka - 1986 - Studia Filozoficzne 252 (11).
    No categories
     
    Export citation  
     
    Bookmark  
  33.  6
    Yamatodamashii" no bunkashi.Shōji Saitō - 1972
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  21
    Changes of single word-induced cerebral oxy-Hb using Japanese and English Shiritori in schizophrenia :Comparison with healthy subjects.Shoji Yoshihisa & Morita Kiichiro - 2015 - Frontiers in Human Neuroscience 9.
  35. Functional Connectivity of the Precuneus in Female University Students with Long-Term Musical Training.Shoji Tanaka & Eiji Kirino - 2016 - Frontiers in Human Neuroscience 10.
  36.  88
    Investigating Multidimensional Interoceptive Awareness in a Japanese Population: Validation of the Japanese MAIA-J.Masayasu Shoji, Wolf E. Mehling, Martin Hautzinger & Beate M. Herbert - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  28
    Increased Functional Connectivity of the Angular Gyrus During Imagined Music Performance.Shoji Tanaka & Eiji Kirino - 2019 - Frontiers in Human Neuroscience 13.
  38. Les monstres et les démons qui effrayent les hommes à Okinawa.Shoji Endo - 2003 - Iris 25:185-195.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  31
    Social Phenotypes of Autism Spectrum Disorders and Williams Syndrome: Similarities and Differences.Kosuke Asada & Shoji Itakura - 2012 - Frontiers in Psychology 3.
  40.  31
    Discovery of Clusters from Proximity Data: An Approach Using Iterative Adjustment of Binary Classifications.Shoji Hirano & Shusaku Tsumoto - 2008 - In S. Iwata, Y. Oshawa, S. Tsumoto, N. Zhong, Y. Shi & L. Magnani (eds.), Communications and Discoveries From Multidisciplinary Data. Springer. pp. 251--268.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  15
    Discovery of risky cases in chronic diseases: an approach using trajectory grouping.Shoji Hirano & Shusaku Tsumoto - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 289--302.
  42.  38
    Vulnerability under the gaze of robots: relations among humans and robots.Nicola Liberati & Shoji Nagataki - 2019 - AI and Society 34 (2):333-342.
    The problem of artificial intelligence and human being has always raised questions about possible interactions among them and possible effects yielded by the introduction of such un-human subject. Dreyfus deeply connects intelligence and body based on a phenomenological viewpoint. Thanks to his reading of Merleau-Ponty, he clearly stated that an intelligence must be embodied into a body to function. According to his suggestion, any AI designed to be human-like is doom to failure if there is no tight bound with a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  25
    A General Theory of Completeness Proofs.Sh^|^Ocirc Maehara & Ji - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
  44.  31
    Dynamic Reconfiguration of the Supplementary Motor Area Network during Imagined Music Performance.Shoji Tanaka & Eiji Kirino - 2017 - Frontiers in Human Neuroscience 11.
  45.  29
    The AR glasses’ “non-neutrality”: their knock-on effects on the subject and on the giveness of the object.Nicola Liberati & Shoji Nagataki - 2015 - Ethics and Information Technology 17 (2):125-137.
    This work focuses on augmented reality glasses and its aim is to analyse the knock-on effects on our everyday world and ourselves yielded by this kind of technology. Augmented reality is going to be the most diffused technology in our everyday life in the near future, especially augmented reality mounted on glasses. This near future is not only possible, but it seems inevitable following the vertiginous development of AR. There are numerous kinds of different prototypes that are going to come (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  31
    The Myth of Zen in the Art of Archery.Yamada Shōji - 2001 - Japanese Journal of Religious Studies 28 (1-2):1-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  81
    Phenomenology and the Third Generation of Cognitive Science: Towards a Cognitive Phenomenology of the Body.Shoji Nagataki & Satoru Hirose - 2007 - Human Studies 30 (3):219-232.
    Phenomenology of the body and the third generation of cognitive science, both of which attribute a central role in human cognition to the body rather than to the Cartesian notion of representation, face the criticism that higher-level cognition cannot be fully grasped by those studies. The problem here is how explicit representations, consciousness, and thoughts issue from perception and the body, and how they cooperate in human cognition. In order to address this problem, we propose a research program, a cognitive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Lessons from Clinical Anthropology Classes for Undergraduate Students.Shin'ichi Shoji, Katuko Kamiya & Darryl Macer - 1996 - Eubios Journal of Asian and International Bioethics 6 (6):162-163.
    This multidisciplinary subject in clinical anthropology was started in April 1996 among 206 students distributed over all Colleges and Schools in the University of Tsukuba with the exception of School of Medical Sciences. After every class students write down their comments on a compulsory attendance slip, and these comments were examined. Female students agreed with the surrogate mothers and homosexuality more than male students. Male students denied childcare by homosexual parents more than female students. Sex selection insemination with the exception (...)
     
    Export citation  
     
    Bookmark  
  49.  17
    The Failed Prophecy of Shinto Nationalism and the Rise of Japanese Brazilian Catholicism.Rafael Shoji - 2008 - Japanese Journal of Religious Studies 35 (1):13-38.
  50.  7
    Non-linear Dynamic Shifts in Distress After Wildfires: Further Tests of the Self-Regulation Shift Theory.Charles C. Benight, Kotaro Shoji, Aaron Harwell & Erika Felix - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 115