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.

The logical empiricists often appear as a foil for feminist theories. Their emphasis on the individualistic nature of knowledge and on the value-neutrality of science seems directly opposed to most feminist concerns. However, several recent works have highlighted aspects of Carnap's views that make him seem like much less of a straightforwardly positivist thinker. Certain of these aspects lend themselves to feminist concerns much more than the stereotypical picture would imply.

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)

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

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (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)

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)

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).

This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

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)

Written in Japanese, the overall picture of the thoughts of modern philosophers, namely Hume, Kant, and Mill, is put forward.

Although written in Japanese, 実践的三段論法について（On Practical Syllogisms）pursues a logical form of the practical syllogism.

In this paper, we discuss the problems of Tohoku earthquake in terms of engineering ethics. But as“engineers,”we also count seismologists. This is because, simply thinking, the recent disaster is partially attributable to seismologists. Through the discussion, including an overview of the earthquake, we reach the conclusion endorsing the abolition of nuclear power plants.

Referring to the difference between Stakeholder Theory and Shareholder Theory, the ethical direction for companies to take is deeply discussed.

Although written in Japanese, an overall picture of quantum physics is drawn, which would surely be useful for beginners as well as researchers of the humanities.

Although written in Japanese, what the statistical inference is philosophically investigated.

Although written in Japanese, this article handles historical and technical survey of Gödel's incompleteness theorem thoroughly.

The aim of this paper is to clarify the relationship of three thinkers, Hume, Bentham, and Mill in the context of utilitarianism. Through discussion, we shall figure out how and why utilitarianism is trustworthy.

Although written in Japanese, an overall picture of special theory of relativity is drawn, which would surely be useful for beginners as well as researchers of the humanities.

We show the faithful embedding of common knowledge logic CKL into game logic GL, that is, CKL is embedded into GL and GL is a conservative extension of the fragment obtained by this embedding. Then many results in GL are available in CKL, and vice versa. For example, an epistemic consideration of Nash equilibrium for a game with pure strategies in GL is carried over to CKL. Another important application is to obtain a Gentzen-style sequent calculus formulation of CKL and (...) its cut-elimination. The faithful embedding theorem is proved for the KD4-type propositional CKL and GL, but it holds for some variants of them. (shrink)

Although written in Japanese, 意志・格率・道徳法則（Will, Maxim and the Moral Law）pursues the logical connection of these Kantian tools in ethics. Note: the structure of the uploaded document is not the same as the published one.

Although written in Japanese, 分析性について（On Analyticity） pursues the problem of analyticity discussed in philosophy of language from a Kantian perspective.

Some researchers claim that uncertainty prolongs the duration of emotional experiences because uncertainty toward an emotion-eliciting event prolongs attention to that event. However, some results contradict this claim. We assumed that curiosity rather than uncertainty prolongs the duration of emotional experience via attention, and that attention and emotional experience are prolonged only when uncertainty elicits curiosity. This assumption is based on the information gap theory, which proposes that curiosity increases with uncertainty, but that curiosity decreases at a certain level of (...) uncertainty. We conducted a survey study to investigate the relationships among curiosity, uncertainty, attention and duration of positive and negative emotional experiences. The results showed that curiosity, but not uncertainty, prolonged the duration of emotional experiences and the process was completely mediated by attention both for positive and negative emotions. Moreover, uncertainty prolonged the duration of emotional experiences only when uncertainty elicited curiosity, which in turn prolonged attention to the emotion-eliciting event. (shrink)

Although written in Japanese, this article deals with what the gender theory is all about by reference to Beauvoir's Le Deuxième Sexe. Sartre's works are also heavily cited to clarify the background of Beauvoir's philosophy.

Although written in Japanese, 法的思考（Legal Mind）pursues a good explanation of how we can apply the so-called practical syllogism to the legal manner of thought.

Cloning research caught a great deal of attention when Dolly the sheep was born (§4). While some fear surrounded the attainment (§§14-15), Wilmutʼs research itself has grown well, providing a less vicious manner to gain ES cells (§12). In this article, we review the progress of cloning research along with the concern of medical circles about its application to reproductive cloning, that is to say, making replicas of human beings (§§16-21). Note that all the content is ascribed to the author (...) alone, not to Musashino University. (shrink)

One can work for another person, probably for all the others in an ethical way, and not for money. This is the main idea pursued in this article. When it comes to labour, we are inclined to deal with Marx. But even Marx apparently did not notice this ethical side of labour, because his focus was mainly on the creation of value, which was common among thinkers at that time, such as Locke and Smith. In contrast, Hegel consistently tackled the (...) same issue from another angle: ethics. In terms of this, he went so far as to say the dignity of humans should be located in labour. We shed light on this very aspect of Hegel’s philosophy by reference to Alexandre Kojève’s famous commentary, Introduction à la lecture de Hegel. (shrink)