Although written in Japanese, this book becomes a landmark of my works so far: that on Zangwill (Kaneko, 2011), that on Utilitarianism (2013), and so on. The novelty shown in it is a formalization of traditional philosophy including Kant (its practical philosophy), Utilitarianism (Hume, Bentham, and Mill), and furthermore, Descartes. I try to locate these traditional thoughts within modern forms which I make in the name of "practical syllogism." This attempt would open up a new approach to ethical motivation.

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)

The foremost aim of this paper is to realize the fourth part of the Aufbau. This part, which provides an actual phenomenalistic constitution system, is interpretable from a Kantian perspective (§§1-4). But Carnap plotted to overcome Kant’s old style of philosophy as well. We review this aspect of his constitution, focusing on space (§§7-13) and time (§§5-6), especially.

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)

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)

Hans Jonas and Arne Næss have argued that philosophers need not be concerned with natural sciences even when they talk about enviromental issues like global warming (§1). However, believing sciences blindly is in itself unphilosophical. So we think, in this paper, the other way around: We consider the current view of global warming, which was reported by the IPCC, critically. The so-called AR4 is divided into two parts. One is about the industrial revolutions (§§5-9); the other is about the greenhouse (...) effect (§§11-20). Through this consideration, it will be revealed: the views of the Establishment are not at all absolute; there still remains room to reconsider them. (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)

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.

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 Internet was born in 1960’s, then Internet ethics appeared as a branch of information ethics. It seems, however, our status on the Net is not yet scrutinized. We investigate this problem with the help of philosophers like Dreyfus, Merleau-Ponty, and Austin.

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)

In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter (...) showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. (shrink)

Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model (...) to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic. (shrink)

Functional electrical stimulation (FES), a method for inducing muscle contraction, has been successfully used in gait rehabilitation for patients with deficits after neurological disorders and several clinical studies have found that it can improve gait function after stroke and spinal cord injury. However, FES gait training is not suitable for patients with walking difficulty, such as those with severe motor paralysis of the lower limbs. We have previously shown that action observation combined with motor imagery (AO + MI) of walking (...) induces walking-related cortical activity. Therefore, we combined FES, which alternately generates dorsiflexion and plantar flexion, with AO + MI as an alternative to gait training. The present study investigates the transient effects of 20-min of FES simultaneously with and without AO + MI of walking on corticospinal and spinal reflex excitability in able-bodied participants. We measured motor evoked potentials and Hoffmann-reflexes to assess corticospinal and spinal reflex excitability at rest before and after the 20-min FES with and without the AO + MI. Our results show that FES without AO + MI did not change excitability (p > 0.05), while FES with AO + MI facilitated corticospinal excitability (p < 0.05). This facilitation likely occurred due to the synchronization of sensory inputs from FES and cortical activity during AO + MI. Facilitation was observed only in the dorsiflexor but not the plantar flexor muscle (p < 0.05), suggesting muscle specificity of the facilitation. These results demonstrate the effectiveness of combining FES with AO + MI and pave the way for novel neurorehabilitation strategies for patients with neurological gait deficits. (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, third, and fourth 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.4, looks deeper into those operational inference-figures which concerns predicate logic.

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)

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

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)