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