Crispin Wright in his 1982 paper argues for strict finitism, a constructive standpoint that is more restrictive than intuitionism. In its appendix, he proposes models of strict finitistic arithmetic. They are tree-like structures, formed in his strict finitistic metatheory, of equations between numerals on which concrete arithmetical sentences are evaluated. As a first step towards classical formalisation of strict finitism, we propose their counterparts in the classical metatheory with one additional assumption, and then extract the propositional part of ‘strict finitistic (...) logic’ from it and investigate. We will provide a sound and complete pair of a Kripke-style semantics and a sequent calculus, and compare with other logics. The logic lacks the law of excluded middle and Modus Ponens and is weaker than classical logic, but stronger than any proper intermediate logics in terms of theoremhood. In fact, all the other well-known classical theorems are found to be theorems. Finally, we will make an observation that models of this semantics can be seen as nodes of an intuitionistic model. (shrink)

Backgrounds: Transcranial direct current stimulation is a non-invasive brain stimulation technique for the treatment of several psychiatric disorders, e.g., mood disorders and schizophrenia. Therapeutic effects of tDCS are suggested to be produced by bi-directional changes in cortical activities, i.e., increased/decreased cortical excitability via anodal/cathodal stimulation. Although tDCS provides a promising approach for the treatment of psychiatric disorders, its neurobiological mechanisms remain to be explored.Objectives: To review recent findings from neurophysiological, chemical, and brain-network studies, and consider how tDCS ameliorates psychiatric conditions.Findings: (...) Enhancement of excitatory synaptic transmissions through anodal tDCS stimulation is likely to facilitate glutamate transmission and suppress gamma-aminobutyric acid transmission in the cortex. On the other hand, it positively or negatively modulates the activities of dopamine, serotonin, and acetylcholine transmissions in the central nervous system. These neural events by tDCS may change the balance between excitatory and inhibitory inputs. Specifically, multi-session tDCS is thought to promote/regulate information processing efficiency in the cerebral cortical circuit, which induces long-term potentiation by synthesizing various proteins.Conclusions: This review will help understand putative mechanisms underlying the clinical benefits of tDCS from the perspective of neurotransmitters, network dynamics, intracellular events, and related modalities of the brain function. (shrink)

Despite a significant effort to reduce civilian casualties, a large number of civilians have been killed and injured by the military forces of the Western powers undertaking military operations in remote regions. However, there is no requirement in the just war tradition (JWT) and international humanitarian law (IHL) to provide reparation for the victims of unintended and proportional attacks. This article seeks to establish moral grounds for responsibility to provide reparation for “collateral damage” by focusing on the distinct characteristics of (...) expeditionary intervention and supplementing JWT with the frameworks of corrective justice and restorative justice. We propose that the elective, non-reciprocal, and asymmetrical natures of expeditionary interventions give rise to a special obligation to provide reparation for the civilian harms permitted by the JWT, on the basis of the fair distribution of risks and the need to restore damaged relationships. (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects (...) upon attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

世界的な貧困や格差を前に、私たちはどんな正義を構想できるのだろうか。民主主義的な実践に根ざした新しい政治理論がここに誕生。 グローバルな正義を机上の空論で終わらせないために近年主張されているのが、「実践によって媒介された関係」に基づく正義論、つまり実践依存アプローチだ。サンジョヴァンニやウォルツァーなどによるこの理論をさら にアップデートすべく、NGOや社会運動といった主体を取り入れ、「集合的主体による実践依存アプローチ」の正義論を構想する。.

There are three main points of the paper. 1. There are straightforward ways of manipulating expected gains and losses that result in a divergence between fair betting odds and credence. Such manipulations are familiar from tools of finance. One can easily see that the Sleeping Beauty case is structured in such a way as to result in a divergence between fair betting odds and credence. 2. The inspection of credences and betting odds in certain betting situations shows that the two (...) main extant positions, Elga's and Lewis's, are both mistaken. 3. My proposal may seem to require a revision of probability theory but it does not. The Sleeping Beauty case merely calls attention to a constraint on partitioning of possibility space that is usually satisfied as a matter of course but can in fact be violated. (shrink)

In his “A new argument for evidentialism” (Shah, Philos Q 56(225): 481–498, 2006 ), Nishi Shah argues that the best explanation of a feature of deliberation whether to believe that p which he calls transparency entails that only evidence can be reason to believe that p. I show that his argument fails because a crucial lemma that his argument appeals to cannot be supported without assuming evidentialism to be true in the first place.

The Correspondence of Tiglath-pileser III and Sargon II from Calah/Nimrud. By Mikko Luukko. State Archives of Assyria, vol. 19. Helsinki: Neo-Assyrian Text Corpus Project, 2012. Pp. lxxiv + 287, 3 plts., illus. $89.50.

One prominent feature of belief is that a belief cannot be formed at will. This paper argues that the best explanation of this fact is that belief formation is a process that takes aim at the truth. Taking aim at the truth is to be understood as causal responsiveness of the processes constituting belief formation to what facilitates achieving true beliefs. The requirement for this responsiveness precludes the possibility of belief formation responding to intentions in a way that would count (...) as forming a belief at will. (shrink)

Developmental research suggests that young children tend to value dominant individuals over subordinates. This research, however, has nearly exclusively been carried out in Western cultures, and cross-cultural research among adults has revealed cultural differences in the valuing of dominance. In particular, it seems that Japanese culture, relative to many Western cultures, values dominance less. We conducted two experiments to test whether this difference would be observed in preschoolers. In Experiment 1, preschoolers in France and in Japan were asked to identify (...) with either a dominant or a subordinate. French preschoolers identified with the dominant, but Japanese preschoolers were at chance. Experiment 2 revealed that Japanese preschoolers were more likely to believe a subordinate than a dominant individual, both compared to chance and compared to previous findings among French preschoolers. The convergent results from both experiments thus reveal an early emerging cross-cultural difference in the valuing of dominance. (shrink)

This paper describes an automatic monitoring system that constantly checks partial update in Web pages and notifies them to a user. While one of the most important advantages of the WWW is update of Web pages, we need to constantly check them out and this task takes much cognitive load. Thus applications to automatically check update of Web pages have been developed, however they can not deal with partial update like update in a particular cell in a table in a (...) Web page. Hence we developed a automatic monitoring system that checks such partial update. A user can give a system regions in which he/she wants to know the update in a Web page as training examples, and it is able to learn rules to identify the partial update by classification learning. By this learning, a user do not need to directly describe the rules. We implemented our system and some executed examples were presented. (shrink)

We present an annotation scheme describing the argument structure of judgement documents, a central construct in Japanese law. To support the final goal of this work, namely summarisation aimed at the legal professions, we have designed blueprint models of summaries of various granularities, and our annotation model in turn is fitted around the information needed for the summaries. In this paper we report results of a manual annotation study, showing that the annotation is stable. The annotated corpus we created contains (...) 89 documents. We also designed and implemented the first two stages of an algorithm for the automatic extraction of argument structure, and present evaluation results. (shrink)

Emotion modulates our time perception. So far, the relationship between emotion and time perception has been examined with visible emotional stimuli. The present study investigated whether invisible emotional stimuli affected time perception. Using continuous flash suppression, which is a kind of dynamic interocular masking, supra-threshold emotional pictures were masked or unmasked depending on whether the retinal position of continuous flashes on one eye was consistent with that of the pictures on the other eye. Observers were asked to reproduce the perceived (...) duration of a frame stimulus that was concurrently presented with a masked or unmasked emotional picture. As a result, negative emotional stimuli elongated the perceived duration of the frame stimulus in comparison with positive and neutral emotional stimuli, regardless of the visibility of emotional pictures. These results suggest that negative emotion unconsciously accelerates an internal clock, altering time perception. (shrink)

SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 4 : Agency, Responsibility, and Intentionality.

Approximately one in two hundred persons in the Marshall Islands have active tuberculosis. We examine the historical antecedents of this situation in order to assign ethical responsibility for the present situation. Examining the antecedents in terms of Galtung’s dialectic of personal versus structural violence, we can identify instances in the history of the Marshall Islands when individual subjects made decisions with large-scale ecologic, social, and health consequences. The roles of medical experimenters, military commanders, captains of the weapons industry in particular, (...) and industrial capitalism in general are examined. In that, together with Lewontin, we also identify industrial capitalism as the cause of tuberculosis, we note that the distinction between personal versus structural violence is difficult to maintain. By identifying the cause of the tuberculosis in the Marshall Islands, we also identify what needs be done to treat and prevent it. (shrink)

Background: Patients in different countries have different attitudes toward self‐determination and medical information. Little is known how much respect Japanese patients feel should be given for their wishes about medical care and for medical information, and what choices they would make in the face of disagreement. Methods: Ambulatory patients in six clinics of internal medicine at a university hospital were surveyed using a self‐administered questionnaire. Results: A total of 307 patients participated in our survey. Of the respondents, 47% would accept (...) recommendations made by physicians, even if such recommendations were against their wishes; 25% would try to persuade their physician to change their recommendations; and 14% would leave their physician to find a new one. Seventy‐six percent of the respondents thought that physicians should routinely ask patients if they would want to know about a diagnosis of cancer, while 5% disagreed; 59% responded that physicians should inform them of the actual diagnosis, even against the request of their family not to do so, while 24% would want their physician to abide by their family's request and 14% could not decide. One‐third of the respondents who initially said they would want to know the truth would yield to the desires of the family in a case of disagreement. Interpretations: In the face of disagreement regarding medical care and disclosure, Japanese patients tend to respond in a diverse and unpredictable manner. Medical professionals should thus be prudent and ask their patients explicitly what they want regarding medical care and information. (shrink)

If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The methods (...) used in developing DEL can be used to develop logics that deal with a much wider variety of speech acts. For example, in ECL (Eliminative Command Logic) of Yamada (2007a) and ECL II of Yamada (2007b), similar model updating operations are introduced tointerpret acts of commanding as what update deontic aspects of the situations in which agents are involved. In Yamada (2008a), ECL II is further extended so as to model acts of promising along with acts of commanding. Moreover, in Yamada (2008b), ECL II is combined with a modified version of DEUL (dynamic epistemic upgrade logic) introduced in van Benthem & Liu (2007). In the resulting logic DDPL (dynamic deontic preference logic), illocutionary acts of commanding are differentiated from preference upgrading perlocutionary acts. The development of these logics suggests a recipe for developing logics that deal with various specific speech acts: first, carefully identify the aspects affected by the speech acts you want to study; second, find the modal logic that characterizes the aspects in question; and finally, add dynamic modalities that stand for the types of the speech acts being studied and define model updating operation that interprets these speech acts as what update the very aspects. (shrink)

In this paper, we propose a Future View system that assists user's usual Web browsing. The Future View will prefetch Web pages based on user's browsing strategies and present them to a user in order to assist Web browsing. To learn user's browsing strategy, the Future View uses two types of learning classifier systems: a content-based classifier system for contents change patterns and an action-based classifier system for user's action patterns. The results of learning is applied to crawling by Web (...) robots, and the gathered Web pages are presented to a user through a Web browser interface. We experimentally show effectiveness of navigation using the Future View. (shrink)

Despite a significant effort to reduce civilian casualties, a large number of civilians have been killed and injured by the military forces of the Western powers undertaking military operations in remote regions. However, there is no requirement in the just war tradition (JWT) and international humanitarian law (IHL) to provide reparation for the victims of unintended and proportional attacks. This article seeks to establish moral grounds for responsibility to provide reparation for “collateral damage” by focusing on the distinct characteristics of (...) expeditionary intervention and supplementing JWT with the frameworks of corrective justice and restorative justice. We propose that the elective, non-reciprocal, and asymmetrical natures of expeditionary interventions give rise to a special obligation to provide reparation for the civilian harms permitted by the JWT, on the basis of the fair distribution of risks and the need to restore damaged relationships. (shrink)

Este trabalho toma como disparador duas situações de sala de aula em que se questiona se a imaginação como gênero do conhecimento constitui uma ameaça ou uma possibilidade potencial do desenvolvimento humano. Para tanto, estudamos o prefácio e os dois primeiros capítulos do Tratado Teológico Político, o Tratado da Reforma da Inteligência, e a Ética de Espinosa. Nesse sentido buscamos compreender as possíveis repercussões do estudo do conceito espinosano de imaginação no âmbito educacional contemporâneo.

Background: Nurses are expected to make and implement autonomous decisions to provide patients with excellent quality nursing while practicing complex, high-level care. However, studies have shown that nursing practice based on autonomous decision-making is difficult, and a gap exists between decision-making and implementation. Research question/aim/objectives: This study aims to clarify trends among nursing professionals who recognize they are practicing ethical behavior in their nursing practice. Research design/Participants and research context: We surveyed the basic attributes of and used the Ode’s Ethical (...) Behavior Scale for Nurses with 3467 nursing professionals working at 34 hospitals in suburban cities of Japan and investigated the relationships among these factors. Ethical considerations: This study was approved by the appropriate research ethics committee. The Ethical Behavior Scale for Nurses was used with the authors’ permission. Findings/results: Significant differences were found in the mean “ethical behavior” scores between nurses and licensed practical nurses and midwives and licensed practical nurses. Mean scores for the “justice” subscale differed significantly between the low experience group and mid-level experience group and between the high experience group and mid-level experience group. Significant differences were also found in the mean scores between those with ethics education experience and those without, those with ethics training experience and those without, and those with ethics conference experience and those without. Discussion: Midwives and nurses had higher ethical behaviors than licensed practical nurses. Nursing professionals with low and high experience had higher justice scores than those with mid-level experience. Finally, nursing professionals with ethics education, training, or conference experience had higher ethical behavior than those without such experience. Conclusion: Nursing professionals who recognize they are practicing ethical behavior tend to be midwives or nurses with low or high levels of experience who attended ethics education, training, or conferences. (shrink)

The BTB domain is a protein–protein interaction motif that is found throughout eukaryotes. It determines a unique tri‐dimensional fold with a large interaction surface. The exposed residues are highly variable and can permit dimerization and oligomerization, as well as interaction with a number of other proteins. BTB‐containing proteins are numerous and control cellular processes that range from actin dynamics to cell‐cycle regulation. Here, we review findings in the field of transcriptional regulation to illustrate how the high variability of the BTB (...) has allowed related transcription factors to evolve different functional abilities. We then report how recent work has showed that, in spite of their high sequence divergence and apparently unrelated functions, many BTB‐containing proteins have at least one shared role: the recruitment of degradation targets to E3 ubiquitin ligase complexes. Taken together, these findings illustrate diverse and convergent functions of a versatile protein–protein interaction domain. BioEssays 28: 1194–1202, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

劇的転換を求められている新たな生命倫理の案内書。従来、医療分野に集中しがちであった内容を生命科学全体とさらに関連する社会的緊急課題―環境・人口・難民・人種などにまで拡大、包括して最適任者が興趣ある解説 で応える。.

This study explored representations of self-injury in Japanese manga. A content analysis of fifteen slice-of-life manga published between 2000-2017 was conducted, focusing on forty scenes that depict eighteen characters engaging in self-injury. Most depictions of self-injury reflect a stereotypical perception of “self-injurer,” a young girl cutting herself to cope with negative emotion. Characters receive informal support from friends and partners, while parents are portrayed as unsupportive and even triggering. An emergent trend was observed among manga targeting male readers to label (...) self-injuring women as “menhera” - mentally vulnerable damsels in distress - inviting a fetishistic gaze on the self-injuring female bodies. (shrink)