Results for 'Yūta Nakajima'

129 found
Order:
  1.  9
    Tetsugaku Companion to Nishida Kitarō ed. by Matsumaru Hisao, Arisaka Yoko, and Lucy Christine Schultz (review).Fernando Wirtz - 2023 - Philosophy East and West 73 (4):1-4.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Tetsugaku Companion to Nishida Kitarō ed. by Matsumaru Hisao, Arisaka Yoko, and Lucy Christine SchultzFernando Wirtz (bio)Tetsugaku Companion to Nishida Kitarō. Edited by Matsumaru Hisao, Arisaka Yoko, and Lucy Christine Schultz. Cham, Switzerland: Springer, 2022. Pp. v + 240. Hardcover $109.99, isbn 978–3-319417-83-7.This collection of essays has several virtues. First, although Nishida is one of the most widely translated Japanese philosophers into English, this is the first collection (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  4
    It is Not Time to Kick Out Radiologists.Yuta Nakamura, Yuki Sonoda, Yosuke Yamagishi, Tomohiro Kikuchi, Takahiro Nakao, Soichiro Miki, Shouhei Hanaoka, Takeharu Yoshikawa & Osamu Abe - 2025 - Asian Bioethics Review 17 (1):9-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  5
    Morarisuto to shite no Kanto / chosha Nakajima Yoshimichi.Yoshimichi Nakajima - 1992 - Tōkyō: Hatsubaimoto Gakubunsha. Edited by Immanuel Kant.
  4.  20
    Green Advertising and Green Public Relations as Integration Propaganda.Nina Nakajima - 2001 - Bulletin of Science, Technology and Society 21 (5):334-348.
    When faced with an environmental problem, corporations can either deal with it or merely give the appearance of managing it. The latter is often the case cause the corporation can maintain a positive public image while not actually doing anything to solve the problem. Advertising and public relations are the tools that are commonly utilized to create this illusion. The first part of this article illustrates the variety of ways in which green advertising and green public relations are exploited to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  19
    How to Decide the Number of Gait Cycles in Different Low-Pass Filters to Extract Motor Modules by Non-negative Matrix Factorization During Walking in Chronic Post-stroke Patients.Yuta Chujo, Kimihiko Mori, Tomoki Kitawaki, Masanori Wakida, Tomoyuki Noda & Kimitaka Hase - 2022 - Frontiers in Human Neuroscience 16.
    The motor modules during human walking are identified using non-negative matrix factorization from surface electromyography signals. The extraction of motor modules in healthy participants is affected by the change in pre-processing of EMG signals, such as low-pass filters ; however, the effect of different pre-processing methods, such as the number of necessary gait cycles in post-stroke patients with varying steps, remains unknown. We aimed to specify that the number of GCs influenced the motor modules extracted in the consideration of LPFs (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  18
    Effects of a new speech support application on intensive speech therapy and changes in functional brain connectivity in patients with post-stroke aphasia.Yuta Katsuno, Yoshino Ueki, Keiichi Ito, Satona Murakami, Kiminori Aoyama, Naoya Oishi, Hirohito Kan, Noriyuki Matsukawa, Katashi Nagao & Hiroshi Tatsumi - 2022 - Frontiers in Human Neuroscience 16:870733.
    Aphasia is a language disorder that occurs after a stroke and impairs listening, speaking, reading, writing, and calculation skills. Patients with post-stroke aphasia in Japan are increasing due to population aging and the advancement of medical treatment. Opportunities for adequate speech therapy in chronic stroke are limited due to time constraints. Recent studies have reported that intensive speech therapy for a short period of time or continuous speech therapy using high-tech equipment, including speech applications (apps, can improve aphasia even in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  18
    Neural Correlates of Racial Ingroup Bias in Observing Computer-Animated Social Encounters.Yuta Katsumi & Sanda Dolcos - 2018 - Frontiers in Human Neuroscience 11.
  8.  7
    Aku no tetsugaku: Chūgoku tetsugaku no sōzōryoku.Takahiro Nakajima - 2012 - Tōkyō: Chikuma Shobō.
    この世の悪は、一人ひとりがその行いを改めれば払拭できるものだろうか?自然災害に見舞われ、多くの人が苦しめられているとき、そこに悪の問題はないのだろうか?孔子や孟子、荘子、荀子などの中国古代の思想家たち も、悪という問題に直面し、格闘してきた。清代にいたるまでの、そうした悪をめぐる哲学的思考を辿りなおし、その可能性と限界を描き出す。悪にあらがい、その残酷さを引き受け、乗り越えるための方途を探る哲学の書 である。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  35
    Depoliticization or Americanization of Japanese Science Studies.Hideto Nakajima - 2013 - Social Epistemology 27 (2):163 - 176.
    In this paper, I will describe the history of Japanese science studies (In the Japanese language, the term ?science studies? [Kagaku-ron] is used to indicate a broad area, which covers the history, philosophy, and social studies of science and technology.) from the beginning of the twentieth century to around the mid-1980s, and will argue how depoliticization took place in its history. Japanese science studies was formed under the conspicuous influence of German philosophy before World War II (hereafter WW II), especially (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Hōrigaku.Shigeru Nakajima - 1941 - Tōkyō: Risōsha.
     
    Export citation  
     
    Bookmark  
  11.  13
    The XK plasma membrane scramblase and the VPS13A cytosolic lipid transporter for ATP‐induced cell death.Yuta Ryoden & Shigekazu Nagata - 2022 - Bioessays 44 (10):2200106.
    Extracellular ATP released from necrotic cells in inflamed tissues activates the P2X7 receptor, stimulates the exposure of phosphatidylserine, and causes cell lysis. Recent findings indicated that XK, a paralogue of XKR8 lipid scramblase, forms a complex with VPS13A at the plasma membrane of T cells. Upon engagement by ATP, an unidentified signal(s) from the P2X7 receptor activates the XK‐VPS13A complex to scramble phospholipids, followed by necrotic cell death. P2X7 is expressed highly in CD25+CD4+ T cells but weakly in CD8+ T (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  39
    Fundamental Frequency Variation of Neonatal Spontaneous Crying Predicts Language Acquisition in Preterm and Term Infants.Yuta Shinya, Masahiko Kawai, Fusako Niwa, Masahiro Imafuku & Masako Myowa - 2017 - Frontiers in Psychology 8.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13.  26
    La parole épuise-t-elle le sens ?Takahiro Nakajima - 2009 - Diogène 227 (3):92-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  66
    On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.
    Gentzen's three consistency proofs for elementary number theory have a common aim that originates from Hilbert's Program, namely, the aim to justify the application of classical reasoning to quantified propositions in elementary number theory. In addition to this common aim, Gentzen gave a “finitist” interpretation to every number-theoretic proposition with his 1935 and 1936 consistency proofs. In the present paper, we investigate the relationship of this interpretation with intuitionism in terms of the debate between the Hilbert School and the Brouwer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  24
    The relationship between level of autistic traits and local bias in the context of the McGurk effect.Yuta Ujiie, Tomohisa Asai & Akio Wakabayashi - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  24
    Motor Functional Reorganization Is Triggered by Tumor Infiltration Into the Primary Motor Area and Repeated Surgery.Riho Nakajima, Masashi Kinoshita & Mitsutoshi Nakada - 2020 - Frontiers in Human Neuroscience 14.
  17.  10
    Sein, Wort, Liebe: Wort und Liebe als Grundoffenbarungen des göttlichen Seins - die theologischen Konsequenzen des Denkens Ferdinand Ebners.Michael Daishiro Nakajima - 2019 - Freiburg: Herder.
    Die Arbeit widmet sich den zentralen Gedanken Ferdinand Ebners als einem Vertreter der Ich-Du-Philosophie. Ebner sieht im "Wort, das im Anfang war" (Joh 1,1) den Ursprung des menschlichen Wortes. Da er die Bedeutung des Pneumas in der Ich-Du-Beziehung betont und dieses mit der Liebe in Beziehung setzt, ist es naheliegend, im Ursprung der Liebe den Heiligen Geist zu sehen. Wahrend Ebner in einem engen menschlichen Rahmen bleibt, erweitert Daishiro Nakajima die Sicht auf die gesamte Schopfung. Er sieht in ihr (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  19
    Guest Editor’s Introduction.Nakajima Takahiro - 2023 - Journal of Japanese Philosophy 9 (1):2-3.
    In lieu of an abstract, here is a brief excerpt of the content:Guest Editor’s IntroductionNakajima Takahiro 「東京学派」とは聞きなれない名称であろう。日本研究において「京都学派」は大変よく知られている。たとえ「京都学派」が、「無の論理は論理ではない」と述べた上で、戸坂潤が発明した批判的な概念であったとしても 、現在ではそれは西田幾多郎や田辺元を中心とした一大哲学運動として世界的に認知されている。ところが、西田にしても田辺にしてももともとは東京帝国大学で学んだ学生であった。また、戦前においては、井上哲次郎か ら桑木厳翼へと続く東京帝国大学哲学科の流れは、当時の社会状況と相互に影響しあって、一定の意義を示していたのである。また、大森荘蔵、廣松渉、坂部恵といった戦後の東京大学の哲学者たちは、「京都学派」の問題 系を乗り越えることを重視していた。 この特別号では、発見的概念として「東京学派」を用いて、戦前・戦後におけるその意義と広がりを探究することにした。それは東京大学もしくは東京帝国大学に限定されたものではなく、それ以外の東京圏の大学との相互 交流も含まれるものである。「京都学派」に対しては、政治との距離をどう測るかがしばしば議論されてきたが、「東京学派」は政治により密着したものである。日本の近代の哲学の有している政治性そして倫理性を考える のであれば、やはり「東京学派」の議論は避けて通る ことのできないものである。 無論、「学派」というほどのまとまりを「東京学派」が有しているわけではないことも確かである。西田幾多郎が「京都学派」で果たした中心性は、「東京学派」にはない。そこで、トマス・カスリスが示唆するように、「 学派」の代わりに「サークル」や「スタイル」という言葉を使った方がより正確かもしれない。それでも、あえて「東京学派」と呼ぶのは、「京都学派」に比べて関心を持たれることの少ない、しかし当時は圧倒的な影響力 を有し、戦後決定的に忘却されていった東京の哲学者たちに光をあて、近代日本の哲学の総体を明らかにしたいからである。「東京学派」の研究は緒についたばかりである。今後、国際的な研究の高まりを期待しながら擱筆 する。The “Tokyo School” may be an unfamiliar term to readers. The Kyoto School is very well known in Japanese studies. Even if the Kyoto School is a critical concept invented by Tosaka Jun, who stated [End Page 2] that “the logic of nothingness is not logic,” it is now recognized worldwide as a major philosophical movement led by Nishida Kitarō and Tanabe (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  58
    (1 other version)"Shinto Deities that Crossed the Sea: Japan's" Overseas Shrines," 1868 to 1945".Nakajima Michio - 2010 - Japanese Journal of Religious Studies 37 (1):21-46.
  20.  9
    A Brief Annotated Bibliography of Healthy Work.Nina Nakajima - 2004 - Bulletin of Science, Technology and Society 24 (4):366-371.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  20
    Difference of international system between Europe and Asia-China.Mineo Nakajima - 1995 - History of European Ideas 20 (1-3):283-288.
  22.  10
    Taiwa "nōshi jidai" no ikikata to shinikata: zōki ishoku, gankokuchi, songenshi.Michi Nakajima - 1994 - Tōkyō: Jiji Tsūshinsha. Edited by Hiroyuki Itsuki.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  18
    A Philosophical Significance of Gentzen’s 1935 Consistency Proof for First-Order Arithmetic.Yuta Takahashi - 2016 - Kagaku Tetsugaku 49 (1):49-66.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  13
    Constitutionalism and Sovereignty: On Constitutional Problems in Japan.Nakajima Takahiro - 2019 - Telos: Critical Theory of the Contemporary 2019 (189):156-168.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  33
    Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.Yuta Takahashi & Ryo Takemura - 2019 - Journal of Philosophical Logic 48 (3):553-570.
    Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics so that it became phase semantics for proof-terms, i.e., lambda-terms. They formulated phase semantics for proof-terms of Laird’s dual affine/intuitionistic lambda-calculus and proved the normal-form theorem for Laird’s calculus via a completeness theorem. Their semantics was obtained by an application of computability predicates. In this paper, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    Gentzen’s 1935 Consistency Proof and the Interpretation of its Implication.Yuta Takahashi - 2018 - Proceedings of the XXIII World Congress of Philosophy 55:73-78.
    In this paper, I will argue from a historical perspective that Gentzen’s 1935 consistency proof of 1st order Peano Arithmetic PA principally aimed to give a finitist interpretation of implication and this aspect of the 1935 proof emerged as the attempt to cope with the non-finiteness in BHK-interpretation of implication. My argument consists of two parts. First, I will explain that the fundamental idea of the 1935 proof is to show the soundness of PA on some finitist interpretation and Gentzen (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  14
    The Other-Race-Effect on Audiovisual Speech Integration in Infants: A NIRS Study.Yuta Ujiie, So Kanazawa & Masami K. Yamaguchi - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  23
    A Vision of Industrial Ecology: State-of-the-Art Practices for a Circular and Service-Based Economy.Nina Nakajima - 2000 - Bulletin of Science, Technology and Society 20 (1):54-69.
    This article provides a comprehensive synthesis of state-of-the-art approaches used by industry to improve human, social, and environmental sustainability. Currently available methods such as product stewardship, industrial eco-park design, industrial ecology, Design for Environment (DfE), and others areexplained and their contribution summarized. Particular attention is paid to practices that make the material flows of a society more circular, as in natural ecosystems, and to the idea of companies selling services rather than products. It is concluded that the widespread implementation of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Dōtoku shūkyō to shakai seikatsu.Shigeru Nakajima - 1943 - Tōkyō: Kawade Shobō.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  38
    Internal Probability Theory and the Evolution of Life.Toshiyuki Nakajima - 2008 - Annals of the Japan Association for Philosophy of Science 16 (1-2):75-94.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  16
    Kakehashi Akihide no busshitsu tetsugaku: zenshizenshi no shisō to senjika teikō no kenkyū.Yoshihiro Nakajima - 2017 - Tōkyō-to Bunkyō-ku: Miraisha.
    京都学派の経済哲学者として知られた梯明秀の本格的研究書。梯の戦時下における哲学の再評価と創造的復権をめざして、形而上学批判と根源的自然の復権というまったく新たな視点からその意義と射程を明らかにしようと する力作。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Kyōsei Hirose Tansō no kenkyū.Ichisaburō Nakajima - 1937 - Tōkyō: Daiichi Shuppan Kyōkai. Edited by Tansō Hirose.
     
    Export citation  
     
    Bookmark  
  33.  19
    Living Systems Escape Solipsism by Inverse Causality to Manage the Probability Distribution of Events.Toshiyuki Nakajima - 2021 - Philosophies 6 (1):11.
    The external worlds do not objectively exist for living systems because these worlds are unknown from within systems. How can they escape solipsism to survive and reproduce as open systems? Living systems must construct their hypothetical models of external entities in the form of their internal structures to determine how to change states (i.e., sense and act) appropriately to achieve a favorable probability distribution of the events they experience. The model construction involves the generation of symbols referring to external entities. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Maruyama Masao to Nihon no shūkyō.Makoto Nakajima - 1999 - Tōkyō: Daisan Bunmeisha.
     
    Export citation  
     
    Bookmark  
  35.  12
    Preserving Right Pre-motor and Posterior Prefrontal Cortices Contribute to Maintaining Overall Basic Emotion.Riho Nakajima, Masashi Kinoshita, Hirokazu Okita, Zhanwen Liu & Mitsutoshi Nakada - 2021 - Frontiers in Human Neuroscience 15.
    Basic emotions such as happiness, sadness, and anger are universal, regardless of the human species, and are governed by specific brain regions. A recent report revealed that mentalizing, which is the ability to estimate other individuals’ emotional states via facial expressions, can be preserved with the help of awake surgery. However, it is still questionable whether we can maintain the ability to understand others’ emotions by preserving the positive mapping sites of intraoperative assessment. Here, we demonstrated the cortical regions related (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Songenshi ni songen wa aru ka: aru kokyūki hazushi jiken kara.Michi Nakajima - 2007 - Tōkyō: Iwanami Shoten.
    二〇〇六年三月、富山県の射水市民病院で入院中の末期患者七人の人工呼吸器が取り外され、死亡していたことが明らかになった。実際にはいかなる事態が起きたのか?その後つづいた「尊厳死法制化」をめぐる政府・医療 界・メディア等の動きも踏まえ、今、日本の終末期医療に真に求められていることは何かを渾身で問いかける。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  21
    El concepto de cultura en los fundadores de la filosofía latinoamericana.Bernardo Nakajima - 2017 - Cuadernos de Filosofía Latinoamericana 38 (116):73-95.
    El objetivo de este trabajo es tratar sobre el concepto la cultura en la generación conocida como los patriarcas o fundadores del pensamiento filosófico latinoamericano. Luego de establecer la relación entre la cultura la filosofía, y de justificar el recurso a los fundadores para tratar sobre el concepto de cultura, intentaré describir las características más importantes de la filosofía de algunos filósofos de esta generación, como Alejandro Korn, Carlos Vaz Ferreira, Alejandro Deústua, Enrique Molina y Antonio Caso, y señalar las (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  60
    Zhuangzi and the Happy Fish.Roger T. Ames & Takahiro Nakajima (eds.) - 2015 - Honolulu: University of Hawaii Press.
    The Zhuangzi is a deliciously protean text: it is concerned not only with personal realization, but also with social and political order. In many ways the Zhuangzi established a unique literary and philosophical genre of its own, and while clearly the work of many hands, it is one of the finest pieces of literature in the classical Chinese corpus. It employs every trope and literary device available to set off rhetorically charged flashes of insight into the most unrestrained way to (...)
  39. Kokka genron.Shigeru Nakajima - 1947 - Tōkyō: Seki Shoin.
     
    Export citation  
     
    Bookmark  
  40.  47
    Two kinds of modification theory of light: Some new observations on the Newton-Hooke controversy of 1672 concerning the nature of light.Hideto Nakajima - 1984 - Annals of Science 41 (3):261-278.
    It has not been sufficiently emphasized that there existed two kinds of modification theory of colours, Aristotle's modification theory and Descartes-Hook's modification theory. This seems to have caused some confusion in the interpretation of the optical controversy between Newton and Hooke in 1672. The aim of the present paper is to prove that these two kinds of modification theory really coexisted, and on that basis to present a new interpretation of the optical controversy of 1672. The characteristics and the historical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  41.  11
    Kants Theorie der Zeit-Konstruktion.Yoshimichi Nakajima - 1986 - Wien: VWGÖ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Keiken to genshō: sono isōteki kōzō.Morio Nakajima - 1988 - Tōkyō: Sekai Shoin.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Minikui nihon no watashi.Yoshimichi Nakajima - 2016 - Tōkyō-to Chiyoda-ku: Kabushiki Kaisha Kadokawa.
     
    Export citation  
     
    Bookmark  
  44.  18
    Posuto Reisen jidai no kagaku/gijutsu.Hideto Nakajima, Masachi Ōsawa, Takumi Satō, Atsushi Sugita & Tōru Morotomi (eds.) - 2017 - Tōkyō: Iwanami Shoten.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Saikin rinri gakusetsu no kenkyū.Rikizō Nakajima - 1919 - Tōkyō: Iwanami Shoten.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  9
    Kiki no jidai no tetsugaku: sōzōryoku no disukūru.Takahiro Nakajima - 2021 - Tōkyō-to Meguro-ku: Tōkyō Daigaku Shuppankai.
    世界はいま危機に直面している.その危機に直面したときに試されているのが,我々の想像力であり,イメージの力なのである.その想像力を鍛えるのに最も重要なのは,批判(クリティーク)なのだ.いま最もアクチュア ルに活動している哲学者・中島隆博が紡ぐ,危機の時代の哲学の実践へ.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. 日本思想という病:なぜこの国は行きづまるのか?.Takeshi Nakajima, Kazuya Serizawa & Chiki Ogiue (eds.) - 2010 - Tokyo: Kōbunsha.
  48.  27
    The Responsibilities of Epidemiologists.Hiroshi Nakajima - 1991 - Journal of Law, Medicine and Ethics 19 (3-4):164-165.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  13
    A Failing Grade for the German End-of-Life Vehicles Take-Back System.Willem H. Vanderburg & Nina Nakajima - 2005 - Bulletin of Science, Technology and Society 25 (2):170-186.
    The German end-of-life vehicle take-back system is described and analyzed in terms of its impact on the environment and the car companies involved. It is concluded that although this system is often cited as an example of a successful take-back scheme, it is not one that maximizes the value recovered from end-of-life vehicles. As a result, corporations do not achieve the potential benefits that can be realized from an alternate value chain based on recovering value from end-of-life products. Neither is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  7
    The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation.Taishi Kurahashi & Yuta Sato - forthcoming - Studia Logica:1-27.
    We study the finite frame property of some extensions of Fitting, Marek, and Truszczyński’s pure logic of necessitation $$\textbf{N}$$ N. For any natural numbers m, n, we introduce the logic $$\textbf{N}^+\textbf{A}_{m,n}$$ N + A m, n by adding the single axiom scheme $$\Box ^n \varphi \rightarrow \Box ^m \varphi $$ □ n φ → □ m φ and the rule $$\dfrac{\lnot \Box \varphi }{\lnot \Box \Box \varphi }$$ ¬ □ φ ¬ □ □ φ ($${\text {Ros}}^\Box $$ Ros □ ) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 129