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

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

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.

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)

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.

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.

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)

Although written in Japanese, 倫理的に正しい行為と規範（Ethically good action and its Norm）pursues a Kripkean-Humean style explanation of morally good action.

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.

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.

Although written in Japanese, 経験的綜合判断の一般的形式（The General Form of Empirical Synthetic Judgement）pursues the general logical form of the Kantian empirical synthetic judgements.

Addressing the question in the form of Kant’s maxim, this paper moves on to a more controversial topic in biomedical ethics, physician-assisted suicide. However, my conclusion is tentative, and what is worse, negative: I partially approve suicide. It does not imply a moral hazard. The situation is opposite: in the present times, terminal patients seriously wish it. I, as an author, put an emphasis on this very respect. Now suicide is, for certain circles, nothing but justice. The arguments of thinkers (...) who approve suicide are also cited from this angle. (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)

Although written in Japanese, 意志の解明（Explication of Will） pursues a Davidson-style logical formula of will-stating sentences.

This paper is devoted to defending philosophical studies of mind, especially traditional ones. In my view, human mentality is a dialogue with myself, which has a social aspect that is never explained nor predicted by scientific studies. We firstly derive this picture from Descartes’ classical argmuments (§§2-3), and then develop it in the context of Kantian ethics (§4). Some readers think this combination arbitrary. However, these two philosophers agree on mind/body dualism (§5), and further, the fact that the dialogue is (...) often made in an ethical situation leads us to Kantian ethics. We shall draw this developed picture within the format of modern practical syllogisms (§§5-13). Finally, we shall refer to Nick Zangwill’s normative essentialism for the completion of our whole picture (§§7-8). (shrink)

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.

The second, final edition of Logic of my mind.

Although written in Japanese, 動機説の観点から見た倫理的判断の諸相（Phases of the ethical judgement）has formed my original ideas on action theory, ethics, and so on.

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)

Employing conversation analysis, this article investigates instructions in lessons for guitar and Japanese calligraphy. In receiving an instruction, the students in the guitar lessons are expected to immediately follow the instruction. In contrast to the guitar lessons, the students in the calligraphy lessons are not institutionally expected to immediately follow the teacher’s instructions but to receive them. However, the students often gesticulate what they learned from and could make sense of the prior instruction upon completion of an instruction activity. I (...) call this phenomenon embodied solitary confirmation. By demonstrating the interactional procedure for this practice, this article respecifies reflection as an interactional phenomenon and elucidates an organization of multiactivity. (shrink)

ABSTRACT The phenomenological vision, particularly, Husserl’s idea of critique as an infinite vocational theoria and Patočka’s as an enduring programme, view Platonic logic and Socratic act as the paradigms for a normative justification of the idea of universal science and philosophy. In light of that, the Thrasymachus-Socrates debate is interpreted as a case to testify the critical power of philosophy successfully exercised over sophistic tyrannical non-philosophy. This paper criticizes the phenomenological idealization of the Socratic victory as an ethico-teleologically anticipated success (...) of philosophy and rewrites the defeat of Thrasymachus as a political failure in warring with philosophy during which Thrasymachus questions the legitimacy of the act of philosophizing to decide its legitimacy and thereby exposes the politics played out in that act. (shrink)

“정치적인 것” 또는 “정치적임”(the political)은 칼 슈미트 정치이론에서 핵심적 역할을 하는 개념이다. 친구와 적을 실존적으로 구분하는 것을 이 개념논리의 핵심으로 간주하고, 모든 서구 근대 국가정치이론의 권력개념의 근간을 서구신학에서 찾고 있는 슈미트의 정치신학적 사유는 많은 논란과 함께 오랫동안 널리 논의되고 다양하게 해석되어 왔다. 한편, 우리는 자칭 최고형태의 형이상학이자 철학운동의 한 형태인 후썰현상학 체계 전반을 관통하는 일종의 “구조적 정치성”이 있음을 발견한다. 특히 후썰식 현상학적 주체와 비판 개념의 형이상학적 이론구조는 “정치적”이라는 개념으로 표상되고 파악되는 특성을 분명히 보이고 있다. 이러할 때, 우리는 슈미트식 정치 개념과 (...) 논리가 우리가 후썰현상학의 형이상학적 움직임을 구조적으로 동기적으로 추동하고 있는 것으로 보고 있는 그 정치성을 드러내게 하는데 유용한 관찰과 분석의 도구적 틀을 제공할 수 있음을 본다. 이 논문은 후썰이론 전반에 걸쳐 중심적인 이론적 역할을 담당하는 현상학적 주체-원험(原驗)적 초월자 주체(transcendental ideal subject) — 에 존재론적 ․ 구조적으로 내재하고 있는 일종의 분명한 정치적성(politicality)을 가시화하고자 하며, 그 작업에서 슈미트를 어떻게 전략적으로 유용할 수 있는지 보여주고자 한다. (shrink)

A decision tree is one of the machine learning techniques and also one of the major knowledge representations of data mining results.This is because it is easy to understand its meaning for human analysts.Even ID3, the representative algorithm, is known to exhibit remarkable performance deterioration under certain circumstances, particularly due to strong correlation between attributes representing the class of examples. One of the approaches to get more preferable decision trees is pre-processing the training data to extend its description, such as (...) attributes generation and attribute selection. There is also the idea of decision trees with a region rule. In this paper, we consider two approaches, i.e., decision trees with a region rule allowing multiple attributes, and a pre-processing method of a region rule to enabling any suitable number of attributes to correspond to branch nodes, where an optimal division condition with arbitrarily multiple attributes is acquired. By using this method, we propose a new decision tree generation algorithm guaranteeing to select effective compound attributes with each branch node, where an MDL-based new evaluation criterion is also defined for determining the optimal number of compound attributes specified to each node.This algorithm is applied to datasets containing only nominal values. It consists of three processes: compound attributes selection, parent node integration, and pruning. We call this new decision trees DTMACC (Decision Trees with Multiple Attributes Concept Clustering). The effectiveness and comprehensiveness of the proposed algorithm are confirmed through experiments comparing to the ordinary decision trees and an effective pre-processing method. (shrink)

This article explores a unique relationship between iconicity and metaphor: that seen in creative sign language, where iconic properties abound at all levels of linguistic representation. We use the idea of “iconic superstructure” to consider the way that metaphoric meaning is generated through the iconic properties of creative sign language. We focus on the interaction between the overall contextual force and individual elements that build up symbolism in sign language poetry. Evidence presented from the anthology of British Sign Language poetry (...) demonstrates that metaphoric meaning is not inherent in signs. What is inherent is iconic value—and purely iconic signs become metaphorical when situated in a certain poetic context. (shrink)

The vestibulo-ocular reflex plays an important role in controlling the gaze at a visual target. Although patients with vestibular hypofunction aim to improve their VOR function, some retain dysfunction for a long time. Previous studies have explored the effects of direct current stimulation on vestibular function; however, the effects of random noise stimulation on eye–head coordination have not previously been tested. Therefore, we aimed to clarify the effects of high frequency noisy vestibular stimulation on eye–head coordination related to VOR function. (...) Thirteen healthy young adult participants with no serious disease took part in our study. The current amplitude and density used were 0.4 mA and 0.2 mA/cm2, respectively, with a random noise frequency of 100–640 Hz. The electrodes were located on both mastoid processes. The stimulus duration and fade in/out duration were 600 and 10 s, respectively. Subjects oscillated their head horizontally, gazing at the fixation point, at 1 Hz for 30 repetitions. The coordination of eye–head movements was measured by eye-tracking and a motion capture system. Peak-to-peak angles for eye and head movement and deviation of the visual line from the fixation target revealed no significant differences between HF-nVS and sham. The lag time between the eye and head movement with HF-nVS post-stimulation was significantly shorter than that of the sham. We found that HF-nVS can reduce the lag time between eye and head movement and improve coordination, contributing to a clear retinal image. This technique could be applied as a form of VOR training for patients with vestibular hypofunction. (shrink)

Miyagawa (Games and Economics Behavior 41(2), 292–308 [2002]) provides a simple extensive game form that implements a large class of two-agent bargaining solutions in subgame-perfect equilibrium. This class includes all of the Nash, Kalai–Smorodinsky, and relative utilitarian solutions. This note extends Miyagawa’s result to multi-agent bargaining problems.

Real-world walking activity is important for poststroke patients because it leads to their participation in the community and physical activity. Walking activity may be related to adaptability to different surface conditions of the ground. The purpose of this study was to clarify whether walking adaptability on an uneven surface by step is related to daily walking activity in patients after stroke. We involved 14 patients who had hemiparesis after stroke and 12 healthy controls. The poststroke patients were categorized as least (...) limited community ambulators or unlimited ambulators. For the uneven surface, the study used an artificial grass surface. The subjects repeated even surface walking and the uneven surface walking trials at least two times at a comfortable speed. We collected spatiotemporal and kinematic gait parameters on both the even and uneven surfaces using a three-dimensional motion analysis system. After we measured gait, the subjects wore an accelerometer around the waist for at least 4 days. We measured the number of steps per day using the accelerometer to evaluate walking activity. Differences in gait parameters between the even and uneven surfaces were calculated to determine how the subjects adapted to an uneven surface while walking. We examined the association between the difference in parameter measurements between the two surface properties and walking activity. Walking activity significantly and positively correlated with the difference in paretic step length under the conditions of different surface properties in the poststroke patients and step width in the healthy controls. The strategy of increasing the paretic step length, but not step width, on an uneven surface may lead to a larger base of support, which maintains stability during gait on an uneven surface in poststroke patients, resulting in an increased walking activity. Therefore, in poststroke patients, an increase in paretic step length during gait on an uneven surface might be more essential for improving walking activity. (shrink)