Results for 'Okuwa Hitoshi'

128 found
Order:
  1. Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268-283.
    In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  39
    Connexive Logics. An Overview and Current Trends.Hitoshi Omori & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
    In this introduction, we offer an overview of main systems developed in the growing literature on connexive logic, and also point to a few topics that seem to be collecting attention of many of those interested in connexive logic. We will also make clear the context to which the papers in this special issue belong and contribute.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  3.  34
    40 Years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.
    In this introduction to the special issue “40 years of FDE”, we offer an overview of the field and put the papers included in the special issue into perspective. More specifically, we first present various semantics and proof systems for FDE, and then survey some expansions of FDE by adding various operators starting with constants. We then turn to unary and binary connectives, which are classified in a systematic manner. First-order FDE is also briefly revisited, and we conclude by listing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  4.  8
    New Essays on Belnap-­Dunn Logic.Hitoshi Omori & Heinrich Wansing (eds.) - 2019 - Cham, Switzerland: Springer Verlag.
    This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic. It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Nihon Tetsugaku No Chikara: Kojiki Kara Murakami Haruki Made.Hitoshi Ogawa - 2013 - Asahi Shinbun Shuppan.
    ベストセラー『7日間で突然頭がよくなる本』の著者による、はじめてのニッポン論。古代の神話や仏教、儒学、武士道から国学、さらには福澤諭吉らによる啓蒙書さえも「日本哲学である」と定義する。1500年にもお よぶ日本思想の遺伝子的深層を新視点から読み解く最新の入門書。.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  5
    Calmodulin‐Dependent Protein Kinase II.Hitoshi Fujisawa - 1990 - Bioessays 12 (1):27-29.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  33
    Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
    One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  8.  34
    On Contra-Classical Variants of Nelson Logic N4 and its Classical Extension.Hitoshi Omori & Heinrich Wansing - 2018 - Review of Symbolic Logic 11 (4):805-820.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9. A Method of Linkage Analysis Through Minutes Data Relations Between the National Diet and Ministries in Japan議事録を用いた我が国における議会・行政の関係性分析手法.Hitoshi Koshiba & So Morikawa - 2019 - Transactions of the Japanese Society for Artificial Intelligence 34 (5):E-J47_1-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  31
    Remarks on Naive Set Theory Based on Lp.Hitoshi Omori - 2015 - Review of Symbolic Logic 8 (2):279-295.
    Dialetheism is the metaphysical claim that there are true contradictions. And based on this view, Graham Priest and his collaborators have been suggesting solutions to a number of paradoxes. Those paradoxes include Russell’s paradox in naive set theory. For the purpose of dealing with this paradox, Priest is known to have argued against the presence of classical negation in the underlying logic of naive set theory. The aim of the present paper is to challenge this view by showing that there (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  1
    Walkie-Talkie MIKE: Automatic Generator of Real-Time Commentary for Rescue Simulator大規模災害救助シミュレータを対象としたリアルタイム実況の自動生成.Hitoshi Matsubara, Kumiko Tanaka, Ian Frank & Satoshi Tadokoro - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:177-180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  35
    Observations on the Trivial World.Zach Weber & Hitoshi Omori - 2019 - Erkenntnis 84 (5):975-994.
    A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  55
    Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  14.  69
    There is More to Negation Than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.
    There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  2
    Gendai Shisō No Kī Wādo.Hitoshi Imamura - 2006 - Chikuma Shobō.
    ドゥルーズの「リゾーム」、フーコーの「脱中心化」、バタイユの「蕩尽」、デリダの「ディコンストラクション」。80年代のニューアカデミズム、ポストモダンとは何だったのか?世界を席捲した現代思想のキイ・ワー ドが、20年の歳月をへて、今よみがえる。新たに第5部を書き加えて、21世紀の思想状況に斬り込む「増補決定版」が、ここに登場!現代思想はいま、どの地点にまでたどりついたのか。.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Shakaisei No Tetsugaku.Hitoshi Imamura - 2007 - Iwanami Shoten.
  17. Yamaga Sokō No Shisō.Hitoshi Tachibana - 2007 - Perikansha.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  10
    Cortical Mechanisms of Tongue Sensorimotor Functions in Humans: A Review of the Magnetoencephalography Approach. [REVIEW]Hitoshi Maezawa - 2017 - Frontiers in Human Neuroscience 11.
  19.  1
    Nihonjin No Sekaikan.Hitoshi Ōshima - 2010 - Chūō Kōron Shinsha.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  22
    Continuous Deep Sedation and the Doctrine of Double Effect: Do Physicians Not Intend to Make the Patient Unconscious Until Death If They Gradually Increase the Sedatives?Hitoshi Arima - 2020 - Bioethics 34 (9):977-983.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  18
    Simulation of Saturated Thema Park for Reduction of Waiting Time.Hitoshi Shimizu, Tatsushi Matsubayashi & Futoshi Naya - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (5):AG16-F_1-8.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  3
    A Model for Selection of Attractions in Theme Park and Estimation of Model Parameters遊園地におけるアトラクション選択モデルとそのパラメータ推定手法.Hitoshi Shimizu, Tatsushi Matsubayashi, Futoshi Naya & Hiroshi Sawada - 2019 - Transactions of the Japanese Society for Artificial Intelligence 34 (5):wd-B_1-8.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Route Selection with Unspecified Sites Using Knowledge Based Genetic Algorithm知識の集団を用いたGAによる不特定な立ち寄り地を含む経路探索.Hitoshi Kanoh, Nobuaki Nakamura & Tomohiro Nakamura - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:145-152.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  1
    Gēderu Fukanzensei Hakken E No Michi.Hitoshi Kitada - 2011 - Gendai Sūgakusha.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  32
    Some Problems with the Gain of the Reference Signal.Hitoshi Honda - 1994 - Behavioral and Brain Sciences 17 (2):321-322.
  26.  48
    Hitoshi Iba, Yoshihiko Hasegawa, and Topon Kumar Paul: Applied Genetic Programming and Machine Learning: CRC Press, Boca Raton, FL, 2010, 349 Pp, $79.95, ISBN 978-1-4398-0369-1. [REVIEW]Osman Hassab Elgawi - 2012 - Minds and Machines 22 (4):381-383.
  27.  43
    Normative Foundations of Technology Transfer and Transnational Benefit Principles in the UNESCO Universal Declaration on Bioethics and Human Rights.Thomas Alured Faunce & Hitoshi Nasu - 2009 - Journal of Medicine and Philosophy 34 (3):296-321.
    The United Nations Scientific, Education and Cultural Organisation (UNESCO) Universal Declaration on Bioethics and Human Rights (UDBHR) expresses in its title and substance a controversial linkage of two normative systems: international human rights law and bioethics. The UDBHR has the status of what is known as a ‘non-binding’ declaration under public international law. The UDBHR’s normative foundation within bioethics (and association, for example, with virtue-based or principlist bioethical theories) is more problematic. Nonetheless, the UDBHR contains socially important principles of technology (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28. Sobre el conocer. La filosofía japonesa.Oshima Hitoshi - 1985 - Universitas Philosophica 4:53-62.
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  5
    Tsutomu Ouchi, Le Grand Système D’Économie Politique, Tokyo University Press, Tokyo.Hitoshi Hoshino & Robert Fischer - 1987 - Actuel Marx 2:97.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  6
    Children as Organ Donors: Is Japan's New Policy on Organ Procurement in Minors Justifiable?Hitoshi Arima - 2009 - Asian Bioethics Review 1 (4):354-366.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    A Notable Discrepancy Between Principle and Practice in Family Decision-Making.Hitoshi Arima & Takahiro Nakayama - 2013 - Asian Bioethics Review 5 (2):157-158.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  39
    Three Proposals for Rewarding Novel Health Technologies Benefiting People Living in Poverty. A Comparative Analysis of Prize Funds, Health Impact Funds and a Cost-Effectiveness/Competitive Tender Treaty.Thomas Alured Faunce & Hitoshi Nasu - 2008 - Public Health Ethics 1 (2):146-153.
    Thomas Alured Faunce, College of Law, Fellows Road, Acton, Canberra ACT 0200, Australian National University, Fax: 61 2 61253971, Email: Thomas.Faunce{at}anu.edu.au ' + u + '@' + d + ' '//-->This paper sets out to analyse three different academic proposals for addressing the needs of the poor in relation to new, rather than ‘essential’ medicines. It focuses particularly on research and development prize funds, a health impact fund system and a multilateral treaty on health technology cost-effectiveness evaluation and competitive tender. (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  25
    Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2.Hitoshi Omori & Jesse Alama - 2018 - Studia Logica 106 (6):1163-1180.
    We outline the rather complicated history of attempts at axiomatizing Jaśkowski’s discussive logic $$\mathbf {D_2}$$ D2 and show that some clarity can be had by paying close attention to the language we work with. We then examine the problem of axiomatizing $$\mathbf {D_2}$$ D2 in languages involving discussive conjunctions. Specifically, we show that recent attempts by Ciuciura are mistaken. Finally, we present an axiomatization of $$\mathbf {D_2}$$ D2 in the language Jaśkowski suggested in his second paper on discussive logic, by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  8
    Shrieking, Shrugging, and the Australian Plan.Hitoshi Omori & Michael De - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Some New Results on PCL1 and its Related Systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.
    In [Waragai & Shidori, 2007], a system of paraconsistent logic called PCL1, which takes a similar approach to that of da Costa, is proposed. The present paper gives further results on this system and its related systems. Those results include the concrete condition to enrich the system PCL1 with the classical negation, a comparison of the concrete notion of “behaving classically” given by da Costa and by Waragai and Shidori, and a characterisation of the notion of “behaving classically” given by (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  11
    Marxisme japonais et marxisme occidental.Hitoshi Imamura, Fumi Tsukahara & Svetlana Charkoff - 1987 - Actuel Marx 2:45.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  46
    More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133.
    Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ' empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  28
    A Note on Goddard and Routley's Significance Logic.Damian Szmuc & Hitoshi Omori - 2018 - Australasian Journal of Logic 15 (2):431-448.
    The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  6
    Positive Psychology Broadens Readers’ Attentional Scope During L2 Reading: Evidence From Eye Movements.Chi Yui Leung, Hitoshi Mikami & Lisa Yoshikawa - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    LIBM 2008-First International Workshop on Laughter in Interaction and Body Movement.Hitoshi Iida, Masashi Okamoto & Katsuya Takanashi - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 273--274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  12
    Daily Time Budgets of Long‐Distance Commuting Workers in Tokyo Megalopolis.Masahiro Umezaki, Hitoshi Ishimaru & Ryutaro Ohtsuka - 1999 - Journal of Biosocial Science 31 (1):71-78.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  12
    Knot Much Like Tonk.Michael De & Hitoshi Omori - 2022 - Synthese 200 (149):1-14.
    Connectives such as Tonk have posed a significant challenge to the inferentialist. It has been recently argued that the classical semanticist faces an analogous problem due to the definability of “nasty connectives” under non-standard interpretations of the classical propositional vocabulary. In this paper, we defend the classical semanticist from this alleged problem.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  4
    Plausible Move Generation in Two-Player Complete Information Games Using Static Evaluation.Reijer Grimbergen & Hitoshi Matsubara - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:55-62.
  44.  11
    Oliviero Frattolillo, Diplomacy in Japan‒EU Relations: From the Cold War to the Post-Bipolar Era, Routledge, 2013, 352 Pp. [REVIEW]Hitoshi Suzuki - 2016 - Japanese Journal of Political Science 17 (1):135-137.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    A System of Paraconsistent Logic Equipped with Classical Negation.Toshiharu Waragai & Hitoshi Omori - 2009 - Journal of the Japan Association for Philosophy of Science 36 (1):9-18.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  26
    Evolutionary Design of One-Dimensional Rule Changing Cellular Automata Using Genetic Algorithms.遺伝的アルゴリズムによるルール変化型一次元セルオートマトンの進化.Wu Yun & Hitoshi Kanoh - 2003 - Transactions of the Japanese Society for Artificial Intelligence 18:325-332.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  20
    Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
    Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  94
    On Béziau’s Logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
    In [1] Béziau developed the paraconsistent logic Z, which is definitionally equivalent to the modal logic S5, and gave an axiomatization of the logic Z: the system HZ. In the present paper, we prove that some axioms of HZ are not independent and then propose another axiomatization of Z. We also discuss a new perspective on the relation between S5 and classical propositional logic with the help of the new axiomatization of Z. Then we conclude the paper by making a (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  19
    Probabilistic Model Building Genetic Programming Based on Estimation of Bayesian Network.Yoshihiko Hasegawa & Hitoshi Iba - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (1):37-47.
  50.  21
    Fichte und Nishida.Hitoshi Minobe - 2018 - Fichte-Studien 46:115-126.
    This article compares the theory of knowledge of Fichte with that of the Japanese Philosopher Kitaro Nishida and brings out an essential correspondence between them. Both philosophers are not satisfied with the usual epistemology which is based on the contraposition of subject and object, and consider it necessary to go beyond the scheme of the contraposition because it covers the truth of knowledge. They both diagnose that the scheme of contraposition stems from the objectification by the I, and suggest that (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 128