Results for 'Tatsuji Ōno'

309 found
Order:
  1.  67
    Newman’s Account of Ambrose St. John’s Death.Ono Ekeh - 2011 - Newman Studies Journal 8 (2):5-18.
    Both Ambrose St. John (1815–1875) and John Henry Newman (1801–1890), who were received into the Roman Catholic Church in 1845, became members of the Birmingham Oratory. Newman’s closest companion for over three decades, St. John’s death was extremely painful for Newman, not only because it was unexpected, but because of his devotion to Newman as well as his dedication to his spiritual duties. Along with presenting Newman’s narrative of the last few weeks of St. John’s life, this essay raises the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  26
    A continuity principle equivalent to the monotone $$Pi ^{0}_{1}$$ fan theorem.Tatsuji Kawai - 2019 - Archive for Mathematical Logic 58 (3-4):443-456.
    The strong continuity principle reads “every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image.” We show that this principle is equivalent to the fan theorem for monotone \ bars. We work in the context of constructive reverse mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.Tatsuji Kawai - 2023 - Mathematical Logic Quarterly 69 (3):370-391.
    In the context of constructive reverse mathematics, we show that weak Kőnig's lemma () implies that every pointwise continuous function is induced by a code in the sense of reverse mathematics. This, combined with the fact that implies the Fan theorem, shows that implies the uniform continuity theorem: every pointwise continuous function has a modulus of uniform continuity. Our results are obtained in Heyting arithmetic in all finite types with quantifier‐free axiom of choice.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  32
    Formally continuous functions on Baire space.Tatsuji Kawai - 2018 - Mathematical Logic Quarterly 64 (3):192-200.
    A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer‐operation (i.e., inductively defined neighbourhood function); the other is a function uniformly continuous near every compact image. We show that formal continuity is equivalent to the former while it is strictly (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  29
    Representing definable functions of HA by neighbourhood functions.Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):891-909.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Shibusawa Eiichi to jinrin shisō.Suejirō Ono - 1997 - Tōkyō: Taimeidō.
     
    Export citation  
     
    Bookmark  
  7.  50
    (1 other version)Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
  8.  53
    Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2010 - Australasian Journal of Logic 8:50-81.
    In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  81
    Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  10. no etika: tada ikiru koto no kantai no tetsugaku = L'éthique de la : philosophie de l'hospitalité du vivre.Fumio Ono - 2022 - Tōkyō-to Meguro-ku: Tōkyō Daigaku Shuppankai.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Nikolaos Galatos.Hiroakira Ono - 2006 - Studia Logica 83 (1-3):1-32.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  17
    On the Origin of Indeterminancy.Ken-Ichi Ono - 1975 - In J. T. Fraser & Nathaniel M. Lawrence, The Study of Time II: Proceedings of the Second Conference of the International Society for the Study of Time Lake Yamanaka-Japan. Springer Verlag. pp. 249--257.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  16
    Does Mathematics Need Something other than Logic?Katuzi Ono - 1968 - Annals of the Japan Association for Philosophy of Science 3 (3):93-104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  53
    Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
    Glivenko-type theorems for substructural logics are comprehensively studied in the paper [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384]. Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable 279–308] and also [N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, in: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, 2007] for the details). As (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  40
    A Classification of Logics over FLew and Almost Maximal Logics.Hiroakira Ono & Masaki Ueda - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski, Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 3--13.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  43
    Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Hō to dōtoku to kyōiku.Suejirō Ono - 1982 - Tokyo: Kōbundō Shuppansha.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Izutsu Toshihiko: sekai to taiwasuru tetsugaku.Jun'ichi Ono - 2023 - Tōkyō-to Minato-ku: Keiō Gijuku Daigaku Shuppankai.
     
    Export citation  
     
    Bookmark  
  19.  17
    Modulatory Effects of Prediction Accuracy on Electroencephalographic Brain Activity During Prediction.Kentaro Ono, Junya Hashimoto, Ryosuke Hiramoto, Takafumi Sasaoka & Shigeto Yamawaki - 2021 - Frontiers in Human Neuroscience 15.
    Prediction is essential for the efficiency of many cognitive processes; however, this process is not always perfect. Predictive coding theory suggests that the brain generates and updates a prediction to respond to an upcoming event. Although an electrophysiological index of prediction, the stimulus preceding negativity, has been reported, it remains unknown whether the SPN reflects the prediction accuracy, or whether it is associated with the prediction error, which corresponds to a mismatch between a prediction and an actual input. Thus, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  40
    On the Representation of Finitely Many-Valued Logics by Electric Circuits.Katuzi Ono & Toshihiko Kurihara - 1957 - Journal of Symbolic Logic 22 (1):102.
  21. Shakai rinri.Suejirō Ono - 1973
     
    Export citation  
     
    Bookmark  
  22.  12
    Yield stress increase in electron irradiated copper.Kanji Ono, T. Mifune & M. Meshii - 1968 - Philosophical Magazine 17 (146):235-240.
  23.  26
    The jāti in the Mādhyamika – Different Approaches between Bhāviveka and Candrakīrti.Motoi Ono - 2023 - Journal of Indian Philosophy 51 (1):97-131.
    Kajiyama has argued that the basis for the concept of _jāti_ (false rejoinder) as described in the _Nyāyasūtra_ is the concept _xiang ying_ (相応) as found in the _Fangbian xin lun_ (方便心論). Kajiyama has also shown that the sophistic arguments called _xiang ying_ are very similar to the _prasaṅga_ arguments of Nāgārjuna, the founder of the Madhyamaka school. It thus seems worthwhile to investigate how later Mādhyamika philosophers treated the concept of _jāti_ that originally appeared as the result of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  33
    Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  10
    Leonardo's constraint: two opaque objects cannot be seen in the same direction.Hiroshi Ono, Linda Lillakas, Philip M. Grove & Masahiro Suzuki - 2003 - Journal of Experimental Psychology: General 132 (2):253.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  30
    Personal Attributes of Legislators and Parliamentary Behavior: An Analysis of Parliamentary Activities among Japanese Legislators.Yoshikuni Ono - 2015 - Japanese Journal of Political Science 16 (1):68-95.
    This study explores the individual-level activities of legislators in parliament, which have been largely ignored in the literature on parliamentary democracies. Individual legislators are extensively involved in parliamentary activities such as drafting private members’ bills and posing questions, even though these activities have only been considered to play marginal roles in parliamentary democracies. Moreover, their engagement varies significantly. By using unique data from Japan, this study demonstrates that the personal attributes of legislators affect their choice of parliamentary activities. Under electoral (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  26
    Towards a philosophy of education built on fragile parts: Technological rationality and knowledge of pathos.Fumio Ono - 2024 - Educational Philosophy and Theory 56 (2):182-191.
    The aim of this paper is to examine the relationship between education and technological rationality from the perspective of the philosophy of education, and to show that while education is deeply related to technique, skills, or technology, it can never be reduced to technical knowledge, and that there are things in education that overflow technical knowledge. I will here ask why there is something in education that overflows technical knowledge — I will define it as knowledge of pathos — and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Blind and Visually Impaired People: Mobility and Orientation-CyARM: Interactive Device for Environment Recognition and Joint Haptic Attention Using Non-visual Modality.Tetsuo Ono, Takanori Komatsu, Jun-Ichi Akita, Kiyohide Ito & Makoto Okamoto - 2006 - In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 1251-1258.
  29. Hōritsu shisōshi gaisetsu.Seiichirō Ono - 1961 - Tōkyō: Ichiryūsha.
     
    Export citation  
     
    Bookmark  
  30. Jikan, kūkan, busshitsu.Kenʼichi Ono - 1967
     
    Export citation  
     
    Bookmark  
  31. Kyōiku genri yōron.Jun Ono - 1977
     
    Export citation  
     
    Bookmark  
  32. Kō Sōgi.Kazuko Ono - 1967
     
    Export citation  
     
    Bookmark  
  33. "Mugen" no hanashi.Katuzi Ono - 1973
     
    Export citation  
     
    Bookmark  
  34. Nihongaku no dōtō.Masayasu Ono - 1944
     
    Export citation  
     
    Bookmark  
  35. Nichijōsei no rinri.Suejirō Ono - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  36. Nihon seishinshi.Masayasu Ono - 1935 - Tōkyō: Kenbunkan.
     
    Export citation  
     
    Bookmark  
  37.  43
    Obstructed Reason.Takuya Ono - 2008 - Proceedings of the Xxii World Congress of Philosophy 6:217-222.
    Epistemological investigation belonged to the core topics in Indian philosophical traditions, too. Right cognition had generally been regarded as one of the important means to emancipation (niḥśreyasa) since ancient times. To reach this religious goal, they keenly discussed the problems of what kinds of cognition we should accept as right or what kinds of objects a right cognition refers to. Specifically it is about the number and the nature of the means of right cognition that opinions differ from school to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Shakai rinri no shomondai.Suejirō Ono - 1975
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  65
    Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
    This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s. In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with the join (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  66
    Glivenko theorems and negative translations in substructural predicate logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
    Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Modal twist-structures over residuated lattices.H. Ono & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (3):440-457.
  42.  95
    Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
    In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  43. Itoh Makoto. Sequential switch kairo no kihon hôteisiki . Kyûsyû Daigaku kôgaku syûhô , vol. 30 no. 3 , pp. 225–228.Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):74-74.
  44.  42
    On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
    An intermediate predicate logicS + n (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS + n and for which the cut elimination theorem holds. In § 2, it will be shown thatS + n is characterized by the class of all linear Kripke frames of the heightn.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  45.  18
    Increments in cross-linguistic perspective: Introductory remarks.Tsuyoshi Ono & Elizabeth Couper-Kuhlen - 2007 - In Noel Burton-Roberts, Pragmatics. New York: Palgrave-Macmillan. pp. 17--4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  43
    The grammaticization of the Japanese verbs oku and shimau.Tsuyoshi Ono - 1992 - Cognitive Linguistics 3 (4):367-390.
  47.  67
    On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
    LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  48.  39
    Newman's cogito: John Henry Newman's phenomenological meditations on first philosophy.Ono Paul Ekeh - 2011 - Heythrop Journal 52 (1):90-103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  61
    The Phenomenological Context and Transcendentalism of John Henry Newman and Edmund Husserl.Ono Ekeh - 2008 - Newman Studies Journal 5 (1):35-50.
    John Henry Newman has rightly been hailed as a giant in the Catholic intellectual tradition. His contributions to theology, literature, and education have been studied at length; however, his contribution to philosophy has not received appropriate attention. This essay 1) explores Newman’s unique philosophical insights in terms of the phenomenological tradition of Edmund Husserl; 2) analyzes the transcendental approach of certain British scientists—notably Ronald Knox and Charles Darwin; and 3) discusses how Newman might be considered a phenomenologist.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  27
    The effect of unconscious priming on temporal production☆.Fuminori Ono & Jun-Ichiro Kawahara - 2005 - Consciousness and Cognition 14 (3):474-482.
    We examined the effects of unconscious priming on temporal-interval production. In Experiment 1, participants were instructed to keep visual displays on a screen for 2500 ms intervals. Half of the displays were repeated across blocks throughout the entire experiment, and the others were newly generated from trial to trial. The displays consisted of patterns so complex that the participants could not intentionally memorize them. The results showed that significantly more time elapsed for old displays than for new displays before participants (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 309