Results for 'Koji Nakagawa'

719 found
Order:
  1. Macro-Scale Population Patterns in the Kofun Period of the Japanese Archipelago: Quantitative Analysis of a Larger Sample of Three-Dimensional Data from Ancient Human Crania.Hisashi Nakao, Akihiro Kaneda, Kohei Tamura, Koji Noshita & Tomomi Nakagawa - 2024 - Humans 4 (2):131–147.
    The present study collected a larger set of three-dimensional data on human crania from the Kofun period (as well as from previous periods, i.e., the Jomon and Yayoi periods) in the Japanese archipelago (AD 250 to around 700) than previous studies. Three-dimensional geometric morphometrics were employed to investigate human migration patterns in finer-grained phases. These results are consistent with those of previous studies, although some new patterns were discovered. These patterns were interpreted in terms of demic diffusion, archaeological findings, and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  8
    The Neural Correlates of Semantic and Grammatical Encoding During Sentence Production in a Second Language: Evidence From an fMRI Study Using Structural Priming.Eri Nakagawa, Takahiko Koike, Motofumi Sumiya, Koji Shimada, Kai Makita, Haruyo Yoshida, Hirokazu Yokokawa & Norihiro Sadato - 2022 - Frontiers in Human Neuroscience 15.
    Japanese English learners have difficulty speaking Double Object than Prepositional Object structures which neural underpinning is unknown. In speaking, syntactic and phonological processing follow semantic encoding, conversion of non-verbal mental representation into a structure suitable for expression. To test whether DO difficulty lies in linguistic or prelinguistic process, we conducted functional magnetic resonance imaging. Thirty participants described cartoons using DO or PO, or simply named them. Greater reaction times and error rates indicated DO difficulty. DO compared with PO showed parieto-frontal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Demic Diffusion of the Yayoi People in the Japanese Archipelago.Hisashi Nakao, Tomomi Nakagawa, Akihiro Kaneda, Koji Noshita & Kohei Tamura - 2023 - Letters on Evolutionary Behavioral Science 14 (2):58–64.
    The present study examines the 3-dimensional data of human crania from the Yayoi period (800 BC to AD 250) of the Japanese archipelago by geometric morphometrics to investigate demic diffusion patterns. This is the first study on the Yayoi crania using their 3D data and geometric morphometrics with a much larger number of skeletal remains outside of the Kyushu regions than previous studies. The comparative results between the Jōmon and Yayoi samples show that the Yayoi people not only in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  19
    Enhancement of visual attention precedes the emergence of novel metaphor interpretations.Asuka Terai, Masanori Nakagawa, Takashi Kusumi, Yasuharu Koike & Koji Jimura - 2015 - Frontiers in Psychology 6.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Theorema: Towards computer-aided mathematical theory exploration.Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz & Wolfgang Windsteiger - 2006 - Journal of Applied Logic 4 (4):470-504.
  6. Violence and warfare in prehistoric Japan.Tomomi Nakagawa, Hisashi Nakao, Kohei Tamura, Yui Arimatsu, Naoko Matsumoto & Takehiko Matsugi - 2017 - Letters on Evolutionary and Behavioral Science 8 (1):8-11.
    The origins and consequences of warfare or largescale intergroup violence have been subject of long debate. Based on exhaustive surveys of skeletal remains for prehistoric hunter-gatherers and agriculturists in Japan, the present study examines levels of inferred violence and their implications for two different evolutionary models, i.e., parochial altruism model and subsistence model. The former assumes that frequent warfare played an important role in the evolution of altruism and the latter sees warfare as promoted by social changes induced by agriculture. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. How Aristotle’s Theory of Education Has Been Studied in Our Century.Koji Tachibana - 2012 - Studia Classica 3:21-67.
  8.  4
    Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms.Koji Noshiro & Koji Hasebe - 2024 - Artificial Intelligence 329 (C):104083.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Les confucianistes, philosophes tolérants dans la pensée de Voltaire.Nakagawa Hisayasu - forthcoming - Revue Internationale de Philosophie.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Seiyō seishinshi ni okeru gengokan no shosō.Sumio Nakagawa (ed.) - 2002 - Tōkyō: Keiō Gijuku Daigaku Gengo Bunka Kenkyūjo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Population pressure and prehistoric violence in the Yayoi period of Japan.Tomomi Nakagawa, Kohei Tamura, Yuji Yamaguchi, Naoko Matsumoto, Takehiko Matsugi & Hisashi Nakao - 2021 - Journal of Archaeological Science 132:105420.
    The causes of prehistoric inter-group violence have been a subject of long-standing debate in archaeology, an- thropology, and other disciplines. Although population pressure has been considered as a major factor, due to the lack of available prehistoric data, few studies have directly examined its effect so far. In the present study, we used data on skeletal remains from the middle Yayoi period of the Japanese archipelago, where archaeologists argued that an increase of inter-group violence in this period could be explained (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  47
    Phylogenetic Distribution and Trajectories of Visual Consciousness: Examining Feinberg and Mallatt’s Neurobiological Naturalism.Koji Ota, Daichi G. Suzuki & Senji Tanaka - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (4):459-476.
    Feinberg and Mallatt, in their presentation of neurobiological naturalism, have suggested that visual consciousness was acquired by early vertebrates and inherited by a wide range of descendants, and that its neural basis has shifted to nonhomologous nervous structures during evolution. However, their evolutionary scenario of visual consciousness relies on the assumption that visual consciousness is closely linked with survival, which is not commonly accepted in current consciousness research. We suggest an alternative idea that visual consciousness is linked to a specific (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Moral Neuroscience and Moral Philosophy: Interactions for Ecological Validity.Koji Tachibana - 2009 - Kagaku Tetsugaku 42 (2):41-58.
    Neuroscientific claims have a significant impact on traditional philosophy. This essay, focusing on the field of moral neuroscience, discusses how and why philosophy can contribute to neuroscientific progress. First, viewing the interactions between moral neuroscience and moral philosophy, it becomes clear that moral philosophy can and does contribute to moral neuroscience in two ways: as explanandum and as explanans. Next, it is shown that moral philosophy is well suited to contribute to moral neuroscience in both of these two ways in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14. Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  15.  15
    The Negative Association Between Positive Psychological Wellbeing and Loss Aversion.Ibuki Koan, Takumi Nakagawa, Chong Chen, Toshio Matsubara, Huijie Lei, Kosuke Hagiwara, Masako Hirotsu, Hirotaka Yamagata & Shin Nakagawa - 2021 - Frontiers in Psychology 12.
    When making decisions, people tend to overweigh the impact of losses compared to gains, a phenomenon known as loss aversion. A moderate amount of LA may be adaptive as it is necessary for protecting oneself from danger. However, excessive LA may leave people few opportunities and ultimately lead to suboptimal outcomes. Despite frequent reports of elevated LA in specific populations such as patients with depression, little is known about what psychological characteristics are associated with the tendency of LA. Based on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  33
    Presence and Absence of Muscle Contraction Elicited by Peripheral Nerve Electrical Stimulation Differentially Modulate Primary Motor Cortex Excitability.Ryoki Sasaki, Shinichi Kotan, Masaki Nakagawa, Shota Miyaguchi, Sho Kojima, Kei Saito, Yasuto Inukai & Hideaki Onishi - 2017 - Frontiers in Human Neuroscience 11.
  17. 弥生時代中期における戦争:人骨と人口動態の関係から(Prehistoric Warfare in the Middle Phase of the Yayoi Period in Japan : Human Skeletal Remains and Demography).Tomomi Nakagawa, Hisashi Nakao, Kohei Tamura, Yuji Yamaguchi, Naoko Matsumoto & Takehiko Matsugi - 2019 - Journal of Computer Archaeology 1 (24):10-29.
    It has been commonly claimed that prehistoric warfare in Japan began in the Yayoi period. Population increases due to the introduction of agriculture from the Korean Peninsula to Japan resulted in the lack of land for cultivation and resources for the population, eventually triggering competition over land. This hypothesis has been supported by the demographic data inferred from historical changes in Kamekan, a burial system used especially in the Kyushu area in the Yayoi period. The present study aims to examine (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - 2023 - Analysis 83 (2):285-294.
    There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  14
    Using deceased people’s personal data.Hiroshi Nakagawa & Akiko Orita - forthcoming - AI and Society:1-19.
    It is important to manage individuals’ personal data after their death to maintain their dignity or follow their wishes as much as possible. From this perspective, this report describes the real-world commercialization of immortal digital personalities, which gives eternal life to the deceased in a digital form. We identify the problems with the commercialization of deceased users’ images and personal data, which becomes postmortem entertainment. Considering these problems, we seek out the ideal form of deceased users’ personal data for commercialization. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.
    What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  19
    Design of a gaze behavior at a small mistake moment for a robot.Masahiro Shiomi, Kayako Nakagawa & Norihiro Hagita - 2013 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 14 (3):317-328.
    A change of gaze behavior at a small mistake moment is a natural response that reveals our own mistakes and suggests an apology to others with whom we are working or interacting. In this paper we investigate how robot gaze behaviors at small mistake moments change the impressions of others. To prepare gaze behaviors for a robot, first, we identified by questionnaires how human gaze behaviors change in such situations and extracted three kinds: looking at the other, looking down, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Neurofeedback-Based Moral Enhancement and Traditional Moral Education.Koji Tachibana - 2018 - Humana Mente 11 (33):19-42.
    Scientific progress in recent neurofeedback research may bring about a new type of moral neuroenhancement, namely, neurofeedback-based moral enhancement; however, this has yet to be examined thoroughly. This paper presents an ethical analysis of the possibility of neurofeedback-based moral enhancement and demonstrates that this type of moral enhancement sheds new light on the moral enhancement debate. First, I survey this debate and extract the typical structural flow of its arguments. Second, by applying structure to the case of neurofeedback-based moral enhancement, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Cross-modal stimulus class formation in rats as function of overtraining.E. Nakagawa - 2002 - In Serge P. Shohov (ed.), Advances in Psychology Research. Nova Science Publishers. pp. 13--169.
     
    Export citation  
     
    Bookmark  
  24. Les confucianistes, philosophes tolérants dans la pensée de Voltaire.Hisayasu Nakagawa - 1994 - Revue Internationale de Philosophie 48 (187):39-53.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  8
    Seiyō shisō ni okeru "ko" no gainen.Sumio Nakagawa, Wakako Tagoyama & Yoshihiko Kaneko (eds.) - 2011 - Tōkyō: Hatsubaijo Keiō Gijuku Daigaku Shuppankai.
    判然としないその姿ゆえに、哲学史の表舞台に立つことがなかった「個」。アリストテレスからアウグスティヌス、トマス・アクィナス、エックハルト、スコトゥス、ライプニッツ、レシニェフスキまで。それぞれの思想に 8人の専門家が光をあて、「個」の歴史を浮かび上がらせるわが国で初めての試み。.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. The followers of confucius, tolerant philosophers according to Voltaire.H. Nakagawa - 1994 - Revue Internationale de Philosophie 48 (187):39-53.
    No categories
     
    Export citation  
     
    Bookmark  
  27. The solution of two concurrent, matching-(or non-matching)-to-sample, and same-different discrimination learnings relies on a common underlying process in rats.Esho Nakagawa - 2002 - In Serge P. Shohov (ed.), Advances in Psychology Research. Nova Science Publishers. pp. 15--67.
     
    Export citation  
     
    Bookmark  
  28.  13
    Un bilan littéraire de la Révolution française: À propos duNouveau Diable boiteux, Tableau de Paris en 1797.Hisayasu Nakagawa - 1989 - History of European Ideas 11 (1-6):27-33.
  29. «Vie» et double «volonté»: deux conceptions du mode d'être de l'homme et de la communauté humaine chez J.-J. Rousseau.Hisayasu NakaGAwa - 1990 - Etudes Jean-Jacques Rousseau 4:28-52.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Whole-reversal and partial-reversal learning in conditional discriminations are not controlled by reinforcer density.E. Nakagawa - 2002 - In Serge P. Shohov (ed.), Advances in Psychology Research. Nova Science Publishers. pp. 11--115.
     
    Export citation  
     
    Bookmark  
  31. Neurofeedback-Based Moral Enhancement and the Notion of Morality.Koji Tachibana - 2017 - The Annals of the University of Bucharest - Philosophy Series 66 (2):25-41.
    Some skeptics question the very possibility of moral bioenhancement by arguing that if we lack a widely acceptable notion of morality, we will not be able to accept the use of a biotechnological technique as a tool for moral bioenhancement. I will examine this skepticism and argue that the assessment of moral bioenhancement does not require such a notion of morality. In particular, I will demonstrate that this skepticism can be neutralized in the case of recent neurofeedback techniques. This goal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  29
    Postcritical knowledge ecology in the Anthropocene.Yoshifumi Nakagawa & Phillip G. Payne - 2018 - Educational Philosophy and Theory 51 (6):559-571.
    The always vexed relationships between philosophy, theory, methodology, empirical work and their representations and legitimations have been thrown into chaos with the belated acknowledgement of the Anthropocene. Unsurprisingly, traditional Western thought may have been complicit, given its underlying anthropocentric assumptions and humanist commitments in education philosophy, theory and practice. The postcritical knowledge ecology developed here is applied to both a modest and responsible form of methodological inquiry in an ethnographic study of nature experience. Our contextualised experiment adds to the nascent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting.Barry Smith, Riichiro Mizoguchi & Sumio Nakagawa (eds.) - 2010 - Tokyo: Keio University Press.
  34.  24
    Strong normalization of classical natural deduction with disjunctions.Koji Nakazawa & Makoto Tatsuta - 2008 - Annals of Pure and Applied Logic 153 (1-3):21-37.
    This paper proves the strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. Using them, this paper also proves the strong normalization of classical natural deduction with general elimination rules for implication and conjunction, and their permutative conversions. This paper also proves that natural deduction can be embedded into natural deduction with general elimination rules, strictly preserving proof normalization.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Buddhist Philosophy of Logic.Koji Tanaka - 2013 - In Emmanuel Steven Michael (ed.), Blackwell Companion to Buddhist Philosophy. Wiley-Blackwell. pp. 320-330.
    Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  36. The AGM theory and inconsistent belief change.Koji Tanaka - 2005 - Logique Et Analyse 48 (189-192):113-150.
    The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  30
    Risk context effects in inductive reasoning: an experimental and computational modeling study.Kayo Sakamoto & Masanori Nakagawa - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 425--438.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  14
    Le chat-monstre dans Meigetsu-ki de Fujiwara no Teika : première occurrence du terme nekomata dans la littérature japonaise?The Monster Cat in Meigetsu-ki by Fujiwara no Teika: the First Occurrence of the Term Nekomata in Japanese Literature?Kôji Watanabe, Tomomi Yoshino & Olivier Lorrillard - 2021 - Iris 41.
    La figure diabolisée du chat dans la littérature japonaise évolue sans cesse au cours de l’époque médiévale, et nous prenons ici l’exemple d’un chat-monstre nommé nekomata. L’un des exemples littéraires les plus connus se trouve dans les Heures oisives, ouvrage écrit vers 1330 par Yoshida Kenkô. Il semble cependant que le terme nekomata soit apparu un siècle plus tôt, comme le montre l’entrée du 2 août 1233 dans le Journal de la lune brillante de Fujiwara no Teika, l’un des plus (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  14
    The Cat in Kokon chomon-jû. Three Anecdotes Taken from the Work Compiled by Tachibana no Narisue and Translated from Japanese into French.Kôji Watanabe, Tomomi Yoshino & Olivier Lorrillard - 2020 - Iris 40.
    La figure du chat fait son apparition dans la littérature japonaise au ixe siècle, mais son image évoluera de manière inattendue à l’époque médiévale. Des témoignages littéraires du xie et du xiie siècle, tels que les Notes de chevet de Sei Shônagon et Le Dit du Genji de Murasaki Shikibu, montraient clairement l’intérêt porté aux chats par les dames de cour. Pourtant, à partir du xiiie siècle, le félidé fera au contraire l’objet d’une forme de « diabolisation », et c’est (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  8
    Correction to: Redistribution to the less productive: parallel characterizations of the egalitarian Shapley and consensus values.Koji Yokote, Takumi Kongo & Yukihiko Funaki - 2020 - Theory and Decision 91 (1):99-99.
    In sub-Sect. 3.3, the terms “one-person” and “-person” were incorrectly updated by mistake during the correction stage in the online published article.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  12
    Redistribution to the less productive: parallel characterizations of the egalitarian Shapley and consensus values.Koji Yokote, Takumi Kongo & Yukihiko Funaki - 2020 - Theory and Decision 91 (1):81-98.
    In cooperative game theory with transferable utilities, there are two well-established ways of redistributing Shapley value payoffs: using egalitarian Shapley values, and using consensus values. We present parallel characterizations of these classes of solutions. Together with the axioms that characterize the original Shapley value, those that specify the redistribution methods characterize the two classes of values. For the class of egalitarian Shapley values, we focus on redistributions in one-person unanimity games from two perspectives: allowing the worth of coalitions to vary, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Priest’s Anti-Exceptionalism, Candrakīrti and Paraconsistency.Koji Tanaka - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 127-138.
    Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  33
    Neurorights to Free Will: Remaining in Danger of Impossibility.Koji Ota - 2023 - American Journal of Bioethics Neuroscience 14 (4):377-379.
    Neurorights, as “new human rights,” have been increasingly recognized in the literature. In the Neurorights Initiative, these rights are supposed to be directed toward mental privacy, free will, pe...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. 人骨から見た暴力と戦争: 国外での議論を中心に.Tomomi Nakagawa & Hisashi Nakao - 2017 - Journal of the Japanese Archaeological Association 44:65-77.
    Violence and warfare in prehistory have been intensely discussed in various disciplines recently. Especially, some controversies are found on whether prehistoric hunter-gatherers had been already engaged in inter-group violence and warfare. Japanese archaeology has traditionally argued that warfare has begun in the Yayoi period with an introduction of full-fledged agriculture though people in the Jomon period, when subsistence system had been mainly hunting and gathering, had not been involved in inter-group violence and warfare. However, Lawrence Keeley, Samuel Bowles, Steven Pinker, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  21
    Compositional Z: Confluence Proofs for Permutative Conversion.Koji Nakazawa & Ken-Etsu Fujita - 2016 - Studia Logica 104 (6):1205-1224.
    This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy and van Oostrom, called the Z (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  22
    Medicine, metals and empire: the survival of a chymical projector in early eighteenth-century London.Koji Yamamoto - 2015 - British Journal for the History of Science 48 (4):607-637.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  95
    A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
    Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  7
    Sex-Related Differences in the Effects of Sleep Habits on Verbal and Visuospatial Working Memory.Seishu Nakagawa, Hikaru Takeuchi, Yasuyuki Taki, Rui Nouchi, Atsushi Sekiguchi, Yuka Kotozaki, Carlos M. Miyauchi, Kunio Iizuka, Ryoichi Yokoyama, Takamitsu Shinada, Yuki Yamamoto, Sugiko Hanawa, Tsuyoshi Araki, Keiko Kunitoki, Yuko Sassa & Ryuta Kawashima - 2016 - Frontiers in Psychology 7:211027.
    Poor sleep quality negatively affects memory performance, and working memory in particular. We investigated sleep habits related to sleep quality including sleep duration, daytime nap duration, nap frequency, and dream content recall frequency (DCRF). Declarative working memory can be subdivided into verbal working memory (VWM) and visuospatial working memory (VSWM). We hypothesized that sleep habits would have different effects on VWM and VSWM. To our knowledge, our study is the first to investigate differences between VWM and VSWM related to daytime (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  28
    Crystallographic nature of deformation bands shown in Zn and Mg-based long-period stacking ordered phase.Koji Hagihara, Michiaki Yamasaki, Masahito Honnami, Hitoshi Izuno, Masakazu Tane, Takayoshi Nakano & Yoshihito Kawamura - 2015 - Philosophical Magazine 95 (2):132-157.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 719