In this paper, using Mark Schroeder’s (2008a) expressivist semantic framework for normative language as a case study, I will identify difficulties that even an expressivist semantic theory capable of addressing the Frege-Geach problem will encounter in handling the logical possibility of moral dilemmas. To this end, I will draw on a classical puzzle formulated by McConnell (1978) that the logical possibility of moral dilemmas conflicts with some of the prima facie plausible axioms of the standard deontic logic, which include obligation (...) implies permission. On the tentative assumption that proponents of ethical expressivism should be generally committed to securing the logical possibility of moral dilemmas in their semantic theories, I will explore whether and how expressivists can successfully invalidate obligation implies permission within the framework developed by Schroeder. The case study eventually reveals that this can indeed be a hard task for expressivists. Generalizing from the case study, I will suggest that the source of the difficulty ultimately lies in the mentalist assumption of the expressivist semantic project that the logico-semantic relations exhibited by normative sentences should be modeled in terms of the psychological attitudes that speakers express by uttering them. My final goal will be to show that the difficulty expressivists face in dealing with the logical possibility of moral dilemmas is a reflection of the more general problem that their commitment to the mentalist assumption prevents them from flexibly adopting or dropping axioms in their semantic theories to get the right technical results. (shrink)

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...) formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs. (shrink)

The most famous chapter of Montesquieu’s _ The Spirit of the Laws _ (1748), Book XI, Chapter 6, 'On the constitution of England,' was an important i nspiration to the creators of modern constitutions, to which they often referred. However, as a result of scholarly focus on the political institutions discussed in this book, Montesquieu’s economic analysis has been woefully neglected. In order to correct this scholarly imbalance, this paper will elucidate the essential significance of Montesquieu’s comparison between the constitution (...) of modern England and that of ancient Rome in Book XI of _ The Spirit of the Laws _ ; inextricable relationship between military and political institutions on the one hand, and the transfer and distribution of wealth on the other. To argue this point, this paper will focus on Montesquieu’s other writings in the same year and shortly after the publication of _ The Spirit of the Laws _ : the revised edition in 1748 of _ The Considerations on the Causes of the Greatness of t... _. (shrink)

One influential positive argument for moral realism is the Explanatory Indispensability Argument. A crucial premise of this argument is the explanatory relevance of moral properties. On this premise, moral properties, such as wrongness, rightness, courage, and cowardice, are explanatorily indispensable to some empirical phenomena. Although there has been a lively debate on this premise, one crucial challenge to this thesis, what I call the Scientific Standard Challenge, has not been properly discussed. After explaining this challenge and a related concern, I (...) argue that in response to this central challenge, the proponents of the argument should take what I call the localist turn to defend the explanatory indispensability of moral properties. The localist turn encourages the defenders of moral explanations to be more sensitive to the nature of each moral explanation. For instance, some moral explanations are explanations of social matters, so the standards they need to meet are provided by relevant branches of the social sciences. On the other hand, some other moral explanations are about our psychology, so the theoretical standards those explanations need to meet should come from psychology. I illustrate how this localist project can be conducted in the case of the moral explanation that appeals to injustice. I argue that the field of comparative politics provides the theoretical standards moral explanations of institutional change need to meet. I shall then illustrate how a sophisticated moral explanation can meet those theoretical standards and how this moral explanation can be strong evidence of injustice’s explanatory indispensability. (shrink)

The topic of translation is in my view not only a linguistic problem, but also a problem in the philosophy of culture. In the lexicon of a foreign language we may find an unfamiliar word that designates an object that is unknown in the eyes of our own culture. Instruments employed in a religious ceremony of the Catholic church, for example, an “encensoir,”, “reposoir,”, or “ostensoir,” will have no corresponding word in the Japanese language. But you must translate words of (...) this type if you wish to translate Baudelaire’s poem “Harmonie du soir.” If these Catholic words are translated into Japanese, then we must use some traditional Japanese word as a rough equivalent of the original word, or we have to make up some new word in order to effect a translation. Through this, however, the single signans of the original word yields two meanings, since the new use of the old word or the new word must somehow carry the traditional meaning also. In the first case two meanings come to be involved, meanings derived from two different cultures. In the second case, the new word must somehow be explained in terms of Japanese, if it is to bear the new linguistic load. (shrink)

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

朱子学は現代に生きる私たちにとって価値なきものなのだろうか? 儒教思想と近代的権利概念の親和性に着目、再検証を試みる。.

Abstract“The wrongness of Albert's action causally explains why Jane judged that his action was wrong”. This type of causal moral explanation has been extensively discussed in the recent metaethical literature. This paper motivates the following claims about this type of moral explanation. First, a typical defence of this type of moral explanation suggested in the literature does not work because it predicts inaccurate modal information. Second, focusing on different aspects of the ways moral judgements are generated provides better chances for (...) the defender of this type of moral explanation. Third, the strategy mentioned in the previous point leads us to the following alternative evaluative explanation: The property of being a harmful action explains a recognisable pattern of moral judgements observed in the relevant empirical studies. One crucial implication the paper alludes to is a localist approach to the debates concerning moral realism: We should consider each moral property's ontological genuineness separately, referring to specific empirical findings that are particularly relevant to the target moral property in question. Such a localist approach can provide solid resources for realists to respond to various anti‐realist challenges, such as an influential evolutionary debunking argument. (shrink)

The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut-free labelled sequent calculus with plural succedents . We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents . Moreover, using this equivalence, we give a new Hilbert-style axiomatizations for ∪R and ∪T and prove equivalence between two semantics for (...) the contractionless logics ∪RW and ∪TW. (shrink)

Lonely hearts advertisements (LHA) published in Japan were examined in a comparative study on sexually dimorphic mate preference. I analyzed 944 LHA written by Japanese (730 by males and 214 by females) seeking short-term relationships and 780 LHA (577 by males and 203 by females) seeking long-term relationships. Some universal patterns of mate preference were confirmed and others were not. Female advertisers in both categories sought more traits than they offered; they also sought more traits than male advertisers. Males tended (...) to offer their financial and social status, and females tended to seek those traits. More females requested family commitment than males. While there was no sex difference in offering and seeking physical appearance and health, females tended to request photographs of their potential mates. Males were more likely than females to be willing to accept children from previous relationships, although there was no significant difference in refusing such children. More females seeking long-term mates requested family commitment than females seeking short-term mates. In both males and females, more advertisers seeking long-term mates offered family commitment than advertisers seeking short-term mates. Some predictions for contingent preference were also examined. One prediction confirmed was that females offering physical appearance and health sought more traits than those not doing so. However, males offering financial and social status did not make higher demands than those who did not, which does not support one prediction. (shrink)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is a propositional (...) variable which occurs at least once positively and at least twice negatively in A → a) → a).2. If an implicational formula A is a theorem of intuitionistic logic and is not a theorem of BCK-logic, then there is a propositional variable which occurs at least twice positively and at least once negatively in A → a → b).We prove the contraction-elimination theorem by a fully syntactical method, which has some analogy with Gentzen's cut-elimination. (shrink)

The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...) sequent calculus for the logic in the sense that our calculus can be regarded as a natural expansion of a labelled sequent calculus of iteration-free propositional dynamic logic. (shrink)

Barendregt gave a sound semantics of the simple type assignment system λ → by generalizing Tait’s proof of the strong normalization theorem. In this paper, we aim to extend the semantics so that the completeness theorem holds.

In lieu of an abstract, here is a brief excerpt of the content:Music Teacher Education in Japan:Structure, Problems, and PerspectivesMasafumi OgawaSchool music education in Japan is in a less than ideal situation. In April 2002, the new course of study was implemented by the Ministry of Education, Culture, Sports, Science and Technology (MEXT).1 The total number of music classes in the new curriculum was reduced to 33% of what it had been by the end of 2002. The reduction went from (...) two hours of music classes every week in grades one through nine to one hour in grades five through nine. This inevitably caused many problems. First, it became very difficult to teach music sequentially and instead music classes tended to be fragments of introductory experiences taught as disconnected activities. In this situation, it has been difficult for students to develop musical knowledge and skills. Second, the number of full-time music teachers was reduced greatly. It became common for a music teacher to teach at more than two schools in order to fill a full-time assignment. In some scenarios, many full-time music teachers were replaced with part-time teachers or teachers of other subjects. Music teachers have become disposable.Many music teachers are losing their effectiveness in the classroom. Students consider school music classes as a time to relax compared with other "intellectual subjects."2 They sometimes question music as an essential subject because they [End Page 139] do not value the developing skills that music requires or studying the theory of music. They believe that they can enjoy music outside of school anyway. Consequently, they are quite reluctant to participate in music classes and so behavioral problems arise and classroom management becomes more difficult. Some teachers attempt to force students to obey and force them to order; other teachers totally give up and let students behave as they like in class.3 In either case, teachers and students do not relate well to each other. It is not an exaggeration to say that school music in Japan is at risk of collapsing altogether and disappearing from the curriculum.One of the reasons for this, I believe, is that we have not wrestled with the fundamental problems of school music education until today. We might have intentionally avoided reviewing and criticizing the curriculum, expectations, and purposes of music education because it has been taboo to discuss the national standards, particularly for public school teachers to do so. Social and environmental conditions have changed greatly since the current system of Japanese education was established in 1947. It is obvious that the existing system does not match the new conditions.I strongly feel that it is time to review and reexamine what our pioneers of music education and the government had achieved in the field of music education. If we continue to avoid doing so, music in the schools will face serious consequences. In this paper, I discuss some of the fundamental issues of music teacher education in Japan. There are two reasons for focusing on music teacher education. First, starting with music teacher education is most important because music teachers have the most significant roles in school music education. Second, I have been engaged in music teacher education for seventeen years, and this is not only my research area but also an area in which, as an insider, I can offer direct insights. I will limit this essay to looking at the preparation of teachers in music for elementary and middle schools (grades 7 to 9).StructureThe course of study (COS) is a set of national curriculum standards for kindergarten, elementary, middle, and high school, and schools for the handicapped and is issued by the MEXT.4 All schools, public or private, are required to follow these standards. No other curriculum is allowed. Therefore, in Japan, the COS is law through which the government controls all educational actions. The COS was first issued in 1947 and has been revised seven times.5 The most recent revision was announced in December 1998 for kindergarten, elementary, and middle schools, and in March 1999 for the other levels. All schools in Japan were required to implement the revised COS by April 2002. [End Page 140]The COS of... (shrink)

Detection of genuine altruists could be a solution to the problem of subtle cheating. Brown et al. (Evol Psychol 1:42–69, 2003) found that humans could detect altruists using nonverbal cues. However, their experiments can be improved upon in several ways, and further investigation is needed to determine whether altruist-detection abilities are human universals. In our experiment, we used video clips of natural conversations as the stimulus. We asked a sample of Japanese undergraduates to rate their own level of altruism and (...) then to estimate the videotaped targets’ altruism using the same scale. The perceivers were able to estimate the targets’ altruism levels accurately. Perceivers’ altruism score did not affect their ability to discriminate between altruists and non-altruists. Perceivers’ impressions of the altruist and non-altruist targets were also found to be different. Coding of nonverbal behavior of the targets revealed that altruists exhibited more “felt smiles” than non-altruists, which also supports the results of the previous study. (shrink)

This essay retrieves the meaning and importance of renga, or linking poetry. Long forgotten, even in Japan, it was the form of which the great Bashō was the mater (not haiku as is now believed). When examining renga poetry, one can see that it is based not on authorial vision, but rather the trans-subjective mood that guides the different links made by the various poets who collaborate in the “rolling” of a renga. The radical implications of this form for both (...) aesthetics and ethics will be considered. (shrink)

His book Some Japanese flowers of 1896. an original copy of which is in the collection of the J. Paul Getty Museum, features handcolored collotypes of flowers native to Japan, including the lotus, several varieties of chrysanthemum and lily ...