LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. -/- The present volume, Vol.3, looks deeper into those operational inference-figures which concerns propositional logic.

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- This book, Vol.1 of the series titled What is LK?, tackles this issue, focusing on the sequent, the most enigmatic notion we find in LK. The dependence-relation we find in NK shall play a crucial role in that investigation. -/- The style is typically textbook-like, so readers can learn the system of LK, using this series (...) as a guidance, too. (shrink)

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. -/- The present volume, Vol.2, looks deeper into structural inference-figures, which is never an easy task.

Recently, some studies revealed that transcranial direct current stimulation reduces dual-task interference. Since there are countless combinations of dual-tasks, it remains unclear whether stable effects by tDCS can be observed on dual-task interference. An aim of the present study was to investigate whether the effects of tDCS on dual-task interference change depend on the dual-task content. We adopted two combinations of dual-tasks, i.e., a word task while performing a tandem task and a classic Stroop task while performing a tandem task. (...) We expected that the Stroop task would recruit the dorsolateral prefrontal cortex and require involvement of executive function to greater extent than the word task. Subsequently, we hypothesized that anodal tDCS over the DLPFC would improve executive function and result in more effective reduction of dual-task interference in the Stroop-tandem dual-task than in the word-tandem dual-task. Anodal or cathodal tDCS was applied over the DLPFC or the supplementary motor area using a constant current of 2.0 mA for 20 min. According to our results, dual-task interference and the task performances of each task under the single-task condition were not changed after applying any settings of tDCS. However, anodal tDCS over the left DLPFC significantly improved the word task performance immediately after tDCS under the dual-task condition. Our findings suggested that the effect of anodal tDCS over the left DLPFC varies on the task performance under the dual-task condition was changed depending on the dual-task content. (shrink)

What do all languages have in common, and what gives each language its individuality? Language typology, which has developed in response to these fundamental questions, is concerned with the construction of theoretical frameworks capable of delimiting the range of possible human languages and of capturing constraints on cross-linguistic variation. Language typology is a major concern of all contemporary schools of linguistics, yet a coherent image of the field is difficult to form because of the diversity of theoretical orientations and practical (...) methodologies. This collection brings together for the first time original contributions from major schools of typological research, from the Prague School to the Generative Grammar tradition. Leading scholars offer first-hand accounts of the theoretical foundations and substantive findings of their particular school of thought, clarifying basic assumptions which are often not explicitly stated in the literature. The collection as a whole provices both a survey of the place of individual typological schools in the historiography of the subject and a comprehensive account of the present state of language typology in an international context. It gives an overview of both the underlying unity of and the differences in the methods employed in the field. (shrink)

The lexicalist vs. transformationalist controversy involving causative sentences has been argued to the extreme extent in either position, studies based on Fillmore's case grammar by Sasaki and Taylor representing the former, and those based on the theory of lexical decomposition by McCawley and G. Lakoff representing the latter. The following work presents arguments that neither of these extreme positions is correct in Japanese. Different types of evidence are presented for the position that derives the lexical causative, e.g., koros 'kill', lexically (...) and the affixal causative, e.g., sin-ase 'cause to die', transformationally. (shrink)

Paired associative stimulation at the spinal cord has been shown to increase muscle force and dexterity by strengthening the corticomuscular connection, through spike timing dependent plasticity. Typically, transcranial magnetic stimulation and transcutaneous peripheral nerve electrical stimulation are often used in spinal PAS. PNS targets superficial nerve branches, by which the number of applicable muscles is limited. Alternatively, a muscle can be activated by positioning the stimulation electrode on the “motor point”, which is the most sensitive location of a muscle to (...) electrical stimulation. Although this can increase the number of applicable muscles for spinal PAS, nobody has tested whether MPS can be used for the spinal PAS to date. Here we investigated the feasibility of using MPS instead of PNS for spinal PAS. Ten healthy male individuals received spinal PAS on two separate days with different stimulation timings expected to induce facilitation of corticospinal excitability or no effect on the soleus. The motor evoked potentials response curve in the soleus was measured prior to the spinal PAS, immediately after and at 10, 20, 30 min post-intervention as a measure of corticospinal excitability. The post-intervention MEP response curve areas were larger in the REAL condition than the CONTROL conditions. Further, the post-intervention MEP response curve areas were significantly larger than pre-intervention in the REAL condition but not in the CONTROL condition. We conclude that MPS can facilitate corticospinal excitability through spinal PAS. (shrink)

Spontaneous actions are preceded by brain signals that may sometimes be detected hundreds of milliseconds in advance of a subject's conscious intention to act. These signals have been claimed to reflect prior unconscious decisions, raising doubts about the causal role of conscious will. Murakami et al. (2014. Nat Neurosci 17: 1574–1582) have recently argued for a different interpretation. During a task in which rats spontaneously decided when to abort waiting, the authors recorded neurons in the secondary motor cortex. The neural (...) activity and relationship to action timing was parsimoniously explained using an integration-to-bound model, similar to those widely used to account for evidence-based decisions. In this model, the brain accumulates spontaneously occurring inputs voting for or against an action, but only commits to act once a certain threshold is crossed. The model explains how spontaneous decisions can be forecast (partially predicted) by neurons that reflect either the input or output of the integrator. It therefore presents an explicit hypothesis capable of rejecting the claim that such predictive signals imply unconscious decisions. We suggest that these results can inform the current debate on free will but must be considered with caution. (shrink)

人工と設計の花鳥風月。知覚し行為する生きものが住まう環境としての“世界”において、郵便ポストは実在するか?近代テクノロジーの観点を超えた生態学的環境と、ごく日常的な「ものども」のあり方を徹底的に問い直 す存在論の創出。本書では、心理学、認知科学、知識工学、哲学を専門とする著者が集まり、それぞれが独自の視点から環境について考察している。.

This study reveals that strong feelings of altruism were found to be statistically significant in explaining prosocial and pro-environmental behaviors. However, this was not the case for the latent trait biosphere in explaining pro-environmental behavior. Regardless of whether they are overseas graduates or not, subjects in this study are more altruistic than biospheric by nature. Using the Graded Response Model approach, the study found that the biosphere and altruism are obviously independent of each other and merging them into one dimension, (...) in this instance referred to as “self-transcendence,” makes the construct less reliable. That is why this study in consistence with previous studies could not detect the effect of self-transcendence statistically, as it affects both the past volunteering in environmental affairs and the past volunteering in social welfare. (shrink)

We develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL are presented for ordinal α up to a given αo so that GL is finitary KDn with n agents and GL allows conjunctions of certain countably infinite formulae. GL is small in that the language is countable and can be constructive. The set of formulae Lα is increasing up (...) to α = ω but stops at ω We present Kripke-completeness for GL for each α ≤ ω, which is proved using the Rasiowa–Sikorski lemma and Tanaka–Ono lemma. GL has a sufficient expressive power to discuss intra-/interpersonal beliefs with infinite lengths. As applications, we discuss the explicit definability of Axioms T, 4, 5, and of common knowledge in GL Also, we discuss the rationalizability concept in game theory in our framework. We evaluate where these discussions are done in the series GL, α ≤ ω. (shrink)

This title offers an illustrated overview of the evolution of two very different strains of modern Japanese photography. In the 1930s, Japanese photography evolved in two very directions: one toward a documentary style, the other favouring an experimental, or avant-garde, approach strongly influence by Western Surrealism. This book explores these two divergent paths through the work of two remarkable figures: Hiroshi Hamaya and Kansuke Yamamoto. Hiroshi Hamaya was born and raised in Tokyo and, after an initial period of creative experimentation, (...) turned his attention to recording traditional life and culture. He went on to record cultural changes in China, political protests in Japan, and landscapes around the world. Kansuke Yamamoto became fascinated by the innovative approaches in art and literature exemplified by Western artists such as Man Ray and Magritte. 0Exhibition: Getty Museum, Los Angeles, USA. --. (shrink)

A survey of consanguineous marriages in Japan was conducted on 1 September 1983, by questionnaires. The total number of couples surveyed was 9225. They were chosen from six widely different areas and the inbreeding coefficients from isonymy and pedigrees were estimated for each area. Random inbreeding remained constant with the marriage year whereas total (F) and non-random (Fn) inbreeding from isonymy and inbreeding from pedigrees ([alpha]) decreased with the marriage year in each area. Estimates of genetic microdifferentiation from surnames were (...) obtained; estimates of the reduced variance indicated low microdifferentiation (0·000014-0·000081) in five areas and a higher value in Fukue City (0·0004). The ratio of FST (the average within-group apriori kinship) to [alpha]-value ranged from 0·42 in Kawanishi City to 3·9 in Minobu-Cho. (shrink)

判然としないその姿ゆえに、哲学史の表舞台に立つことがなかった「個」。アリストテレスからアウグスティヌス、トマス・アクィナス、エックハルト、スコトゥス、ライプニッツ、レシニェフスキまで。それぞれの思想に 8人の専門家が光をあて、「個」の歴史を浮かび上がらせるわが国で初めての試み。.

Here I present and discuss a model that, among other things, appears able to describe the dynamics of cancer cell origin from the perspective of stable and unstable gene expression profiles. In identifying suchaberrantgene expression profiles as lying outside the normal stable states attracted through development and normal cell differentiation, the hypothesis explains why cancer cells accumulate mutations, to which they are not robust, and why these mutations create a new stable state far from the normal gene expression profile space. (...) Such cells are in strong contrast with normal cell types that appeared as an attractor state in the gene expression dynamical system under cell‐cell interaction and achieved robustness to noise through evolution, which in turn also conferred robustness to mutation. In complex gene regulation networks, otheraberrantcellular states lacking such high robustness are expected to remain, which would correspond to cancer cells. (shrink)

The aim of this paper is to call the attention, especially that of feminists, to the current progress in biology. It appears gender studies still confine themselves to outdated ideas of sex chromosomes like XX, XY (§10). However, science has been making progress. It no longer sticks to such matters as XX, XY. Its interest is now in Sry, a kind of gene (§11), and MIS, a kind of sex hormone (§14). Abnormalities of sex chromosomes are no longer evidence to (...) deny the biological approaches, for example. We shed light on this fact, putting gender studies in the context of chronologies of science as well (§§2-9). (shrink)

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, (...) we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II. (shrink)

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for causal relationship) (...) in inductive logic. (shrink)

This paper provides a Genzten style formulation of the game logic framework GLm (0 m ), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GL used in Part I.

Besides sensory characteristics of food, food-evoked emotion is a crucial factor in predicting consumer’s food preference and therefore in developing new products. Many measures have been developed to assess food-evoked emotions. The aim of this literature review is (i) to give an exhaustive overview of measures used in current research and (ii) to categorize these methods along measurement level (physiological, behavioral, and cognitive) and emotional processing level (unconscious sensory, perceptual / early cognitive, and conscious / decision making) level. This 3x3 (...) categorization may help researchers to compile a set of complementary measures (‘toolbox’) for their studies. We included 101 peer-reviewed articles that evaluate consumer’s emotions and were published between 1997 to 2016, providing us with 59 different measures. More than 60% of these measures are based on self-reported, subjective ratings and questionnaires (cognitive measurement level) and assess the conscious / decision-making level of emotional processing. This multitude of measures and their overrepresentation in a single category hinders the comparison of results across studies and building a complete multi-faceted picture of food-evoked emotions. We recommend (1) to use widely applied, validated measures only, (2) to refrain from using (highly correlated) measures from the same category but use measures from different categories instead, preferably covering all three emotional processing levels, and (3) to acquire and share simultaneously collected physiological, behavioral, and cognitive datasets to improve the predictive power of food choice and other models. (shrink)

Although we often see references to Carnap’s inductive logic even in modern literatures, seemingly its confusing style has long obstructed its correct understanding. So instead of Carnap, in this paper, I devote myself to its necessary and sufficient commentary. In the beginning part (Sections 2-5), I explain why Carnap began the study of inductive logic and how he related it with our thought on probability (Sections 2-4). Therein, I trace Carnap’s thought back to Wittgenstein’s Tractatus as well (Section 5). In (...) the succeeding sections, I attempt the simplest exhibition of Carnap’s earlier system, where his original thought was thoroughly provided. For this purpose, minor concepts to which researchers have not paid attention are highlighted, for example, m-function (Section 8), in-correlation (Section 10), C-correlate (Section 10), statistical distribution (Section 12), and fitting sequence (Section 17). The climax of this paper is the proof of theorem (56). Through this theorem, we will be able to overview Carnap’s whole system. (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).

Not a few feminist writers, such as Kristeva, Irigaray, and Chodorow, have dealt with Freud’s psychoanalysis so far, but it is not clear to what degree the Freudian theory grounds their arguments, because Freud himself developed his psychoanalysis mainly for the male mental world (Seelenleben). In this paper, we shall follow Freud’s train of thought exclusively from this angle. After the geneses of Pcpt.-Cs., id, ego, and super-ego (W-Bw, Es, Ich, and Über-Ich, respectively) are treated (§§7-10), we shed light on (...) how these factors relate to the female spirituality (§§11-24) and why feminists could still rely on Freud’s thought (§25). On the other hand, the present research will also provide an easy introduction to Freud’s psychoanalysis, by reference to which each thinker could overview the Freudian theory (Fig. (5) and Fig. (8) will help). In this respect, we shall also take account of the masculine side of his discussion, that is to say, how a man usually develops his male personality, while we constantly put it in stark contrast to the female spirituality. Although, in this modern world, not a few thinkers criticize the Freudian theory as non-scientific like Popper did (§2), we should remember that there remain supporters of his theory, such as Grümbaum (§3). We shall touch on this kind of argument relating to philosophy of science in the first half of this paper, which will also provide some useful knowledge for the readers who still get doubtful of the Freudian theory and its usage in feminist arguments. (shrink)

This paper takes two tasks. The one is elaborating on the relationship of inductive logic with decision theory to which later Carnap planned to apply his system (§§1-7); this is a surveying side of this article. The other is revealing the property of our prediction of the future, subjectivity (§§8-11); this is its philosophical aspect. They are both discussed under the name of belief in causation. Belief in causation is a kind of “degree of belief” born about the causal effect (...) of the action. As such, it admits of the analysis by inductive logic. (shrink)

Although written in Japanese, 確率としての信念（Belief as Probability） pursues a good explanation of Ramsey's subjective theory of probability.

This article handles a series of articles written by Suzuki (2016a; 2016b; 2018), in which he put forward the anti-psychologism, a new standpoint of action theory. This standpoint, however, has lost the path Anscombe originally opened up, seemingly. Anscombe’s point (called “Anscombe’s motif” in this article) was: the agent him/herself responds, by revealing his/her original motive, to the question “Why did/do you do…?” Leaving this ground, in modern theories, one sees an unfamiliar idea like a normative reason flow into the (...) debate on human action. We review this academic environment critically in terms of Kaneko (2017), whom Suzuki criticized in one of his papers (2018). (shrink)