In this study, we discuss the psychological acceptability of an utterance strategy used by the Driving Support Agent. Previous literature regarding DSA suggests that the adoption of a small robot as a form will increase acceptability. However, the agent’s utterance has been reported as a problem faced by the user. Therefore, in this study, we designed the agent’s utterance using politeness strategy as described by Brown and Levinson’s famous sociolinguistics and pragmatics theory and analyzed its acceptability through a participant-based experiment. (...) In this experiment, we used positive and negative politeness strategies. In general, PPS is utilized to reflect the desire to be liked/recognized by others, whereas NPS is utilized to reflect the need for not wanting to be disturbed by others. Based on our results, PPS was rated high compared to NPS. Therefore, many participants highly evaluated PPS. However, there was a group of participants who appreciated NPS. There were also participants who evaluated the two strategies equally. The number of participants in these three groups was observed at 4:1:1. This result contributes as an index on the utterance design of the DSA. (shrink)

Dysfunctional attentional control is observed in patients with mental disorders. However, there is no established neurophysiological method to assess attention in such patients. We showed a discrepancy in alpha-band power in the tasks that evoked internal and external attention event-related alpha-band power changes in healthy subjects during self-reflection and working memory tasks in a preliminary study. In this study, we aimed at elucidating event-related alpha-band power changes in healthy subjects during the tasks, addressing the shortcomings of the previous study. Sixteen (...) healthy volunteers were examined for the event-related power change during the tasks. The results demonstrated the discrepancy of alpha-band ERpow at 8, 10, and 12 Hz in the parieto-occipital area between the WM and SR tasks for a period between a target stimulus and a command stimulus, where a participant switched to internal attention from external attention according to the SR task and remained at external attention according to the WM task. The results suggest that alpha-band ERpow in this area is associated with the direction of attention in response to cognitive stimuli, indicating that the findings of ERpow during the two tasks would potentially aid in the clarification of the pathophysiology of the dysfunctional change in attention in patients with psychiatric disorders. (shrink)

In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...) estimating the promising degrees of children using individual distribution and fitness information of population, and selecting children based on the promising degree before evaluating the fitness. Experimental results show that RCGA with Saving MGG can provide large reducing effects on 20 or 30 dimensional Sphere functions, Rosenbrock functions, ill-scaled Rosenbrock functions, and Rastrigin function. (shrink)

Experiment with public deployment of the semantic service matchmaker to a UDDI registry for a year is described in this paper. UDDI is a standard registry for Web Services, but, its search functionality has been limited to a keyword search. Therefore, we propose an enhancement of UDDI, called Matchmaker, that supports semantic service capability discovery. Since September 2003, we have deployed the Matchmaker in one of four official UDDI registries operated by NTT-Communications. In this paper, we first introduce the Matchmaker, (...) and illustrate client tools which lower the threshold of use of semantics. Then, we evaluate this experiment by benchmarks in terms of its performance and functionality. Finally, we discuss user requirements obtained by two ways: questionnaire and observation of search behavior. (shrink)

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

帝国主義全盛の時代に武断的侵略的帝国主義に対し「倫理的帝国主義」を高唱。評価が分かれる稀代の自由主義思想家の実像に肉薄。.

This thesis describes a method to control rare events in non-equilibrium systems by applying physical forces to those systems but without relying on numerical simulation techniques, such as copying rare events. In order to study this method, the book draws on the mathematical structure of equilibrium statistical mechanics, which connects large deviation functions with experimentally measureable thermodynamic functions. Referring to this specific structure as the "phenomenological structure for the large deviation principle", the author subsequently extends it to time-series statistics that (...) can be used to describe non-equilibrium physics. The book features pedagogical explanations and also shows many open problems to which the proposed method can be applied only to a limited extent. Beyond highlighting these challenging problems as a point of departure, it especially offers an effective means of description for rare events, which could become the next paradigm of non-equilibrium statistical mechanics. (shrink)

Face recognition is impaired in patients with prosopagnosia, which may occur as a side effect of neurosurgical procedures. Face selective regions on the ventral temporal cortex have been localized with electrical cortical stimulation, electrocorticography, and functional magnetic resonance imagining. This is the first group study using within-patient comparisons to validate face selective regions mapping, utilizing the aforementioned modalities. Five patients underwent surgical treatment of intractable epilepsy and joined the study. Subdural grid electrodes were implanted on their ventral temporal cortices to (...) localize seizure foci and face selective regions as part of the functional mapping protocol. Face selective regions were identified in all patients with fMRI, four patients with ECoG, and two patients with ECS. From 177 tested electrode locations in the region of interest, which is defined by the fusiform gyrus and the inferior temporal gyrus, 54 face locations were identified by at least one modality in all patients. fMRI mapping showed the highest detection rate, revealing 70.4% for face selective locations, whereas ECoG and ECS identified 64.8 and 31.5%, respectively. Thus, 28 face locations were co-localized by at least two modalities, with detection rates of 89.3% for fMRI, 85.7% for ECoG and 53.6 % for ECS. All five patients had no face recognition deficits after surgery, even though five of the face selective locations, one obtained by ECoG and the other four by fMRI, were within 10 mm to the resected volumes. Moreover, fMRI included a quite large volume artifact on the ventral temporal cortex in the ROI from the anatomical structures of the temporal base. In conclusion, ECS was not sensitive in several patients, whereas ECoG and fMRI even showed activation within 10 mm to the resected volumes. Considering the potential signal drop-out in fMRI makes ECoG the most reliable tool to identify face selective locations in this study. A multimodal approach can improve the specificity of ECoG and fMRI, while simultaneously minimizing the number of required ECS sessions. Hence, all modalities should be considered in a clinical mapping protocol entailing combined results of co-localized face selective locations. (shrink)

Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...) is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite. (shrink)

General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

The sense of agency refers to an experience in which one’s own action causes a change in environment. It is strongly modulated by both the contingency between action and its outcome and the consistency between predicted and actual action outcomes. Recent studies have suggested that the action outcome can retrospectively modulate action awareness. We suspect that the sense of agency can also be retrospectively modulated. This study examined whether the quantity of action outcome could influence the sense of agency. The (...) participants’ task was to trigger dot motion in a display and rate the extent to which they could control the initiation of dot motion. Independently of both the temporal contiguity between action and its outcome and the consistency between predicted and actual action outcomes, the speed of dot motion as an action’s outcome strongly influenced the sense of agency rating. The present study suggests that the sense of agency stems partly from the inference of action efficiency based on the quantitative aspect of action outcome. (shrink)

November 4th-5th, 2012 at Kyoto University. Organizers: Hisashi Nakao & Pierre-Alain Braillard.

In motion-induced blindness , a target within rotating random dots is occasionally hidden from observers’ consciousness during observation. In the present study, a red ring-like cue was centered on a target and presented immediately after observers reported subjective disappearance of the target in MIB . The radius of the cue was systematically modulated. Observers quickly regained awareness of the disappeared object only after they were provided with a pinpoint cue of its location. We also found that a flickering cue at (...) 1 Hz hindered MIB when the radius of the cue was critically small . Furthermore, abrupt onset of a small square was enough to regain awareness of the target . Successful revival of the target with a small cue indicates that critical spatial distribution of visual attention determines what in the visual scene is included in visual awareness. (shrink)

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

Previous studies have confirmed that the temporal attentional control created by the repetition of stimulus-response compatibility (SRC) tasks was transferred to shooting skills in lacrosse players. In the current study, we investigated whether combining motor imagery training with SRC tasks could enhance the scoring ability of lacrosse players. We grouped 33 male lacrosse players into three groups: an SRC task and motor imagery group (referred as to SRC+Image), an SRC task group, and a control group. Players in the first two (...) groups underwent five sessions of 200 SRC task trials. In addition, the SRC+Image group completed five sessions of motor imagery training. The control group underwent no training interventions. All three groups performed a lacrosse shooting test and a Simon task before and after training sessions to assess the magnitude of the interference effects of the various types of training they underwent. The results of the Simon task showed that repetition of 1,000 trials was enough to create a short-term representation with the incompatible special mapping being transferred to a dynamic activity like lacrosse shooting. Moreover, combination of a computer-based Type 2 task and motor-imagery training could effectively increase players’ scoring ability in a field of large spatial conflict. (shrink)

This paper aims to show that two eminent Marxists in the 1930s, the Italian Antonio Gramsci and the Japanese Tosaka Jun, shared three important characteristics of so-called Western Marxism: the methodological development of Marxism, the focus on the superstructure, and the pessimism about the impossibility of immediate revolution. Showing that Gramsci and Tosaka shared these characteristics enables us to revisit the framework of “Western Marxism,” which confusingly consists of both theoretical characteristics and geographical criteria. Looking at Gramsci and Tosaka on (...) the same plane allows us to revisit Marxist thought different from the orthodox Marxism in Soviet Russia, and not strictly as a Western, but as a part of potentially global movement of thought. (shrink)

The?-admissibility is one of the most important problems in the realm of relevant logics. To prove the 7-admissibility, either the method of normal models or the method using metavaluations may be employed. The?-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the?-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This (...) paper shows that? is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations. (shrink)

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)

A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney’s metavaluational technique.

In lieu of an abstract, here is a brief excerpt of the content:Guest Editor’s IntroductionNakajima Takahiro 「東京学派」とは聞きなれない名称であろう。日本研究において「京都学派」は大変よく知られている。たとえ「京都学派」が、「無の論理は論理ではない」と述べた上で、戸坂潤が発明した批判的な概念であったとしても 、現在ではそれは西田幾多郎や田辺元を中心とした一大哲学運動として世界的に認知されている。ところが、西田にしても田辺にしてももともとは東京帝国大学で学んだ学生であった。また、戦前においては、井上哲次郎か ら桑木厳翼へと続く東京帝国大学哲学科の流れは、当時の社会状況と相互に影響しあって、一定の意義を示していたのである。また、大森荘蔵、廣松渉、坂部恵といった戦後の東京大学の哲学者たちは、「京都学派」の問題 系を乗り越えることを重視していた。 この特別号では、発見的概念として「東京学派」を用いて、戦前・戦後におけるその意義と広がりを探究することにした。それは東京大学もしくは東京帝国大学に限定されたものではなく、それ以外の東京圏の大学との相互 交流も含まれるものである。「京都学派」に対しては、政治との距離をどう測るかがしばしば議論されてきたが、「東京学派」は政治により密着したものである。日本の近代の哲学の有している政治性そして倫理性を考える のであれば、やはり「東京学派」の議論は避けて通る ことのできないものである。 無論、「学派」というほどのまとまりを「東京学派」が有しているわけではないことも確かである。西田幾多郎が「京都学派」で果たした中心性は、「東京学派」にはない。そこで、トマス・カスリスが示唆するように、「 学派」の代わりに「サークル」や「スタイル」という言葉を使った方がより正確かもしれない。それでも、あえて「東京学派」と呼ぶのは、「京都学派」に比べて関心を持たれることの少ない、しかし当時は圧倒的な影響力 を有し、戦後決定的に忘却されていった東京の哲学者たちに光をあて、近代日本の哲学の総体を明らかにしたいからである。「東京学派」の研究は緒についたばかりである。今後、国際的な研究の高まりを期待しながら擱筆 する。The “Tokyo School” may be an unfamiliar term to readers. The Kyoto School is very well known in Japanese studies. Even if the Kyoto School is a critical concept invented by Tosaka Jun, who stated [End Page 2] that “the logic of nothingness is not logic,” it is now recognized worldwide as a major philosophical movement led by Nishida Kitarō and (...) Tanabe Hajime. However, both Nishida and Tanabe were originally students at Tokyo Imperial University. In addition, before the war, the output of the Department of Philosophy at Tokyo Imperial University, from Inoue Tetsujirō to Kuwaki Gen’yoku, had a certain significance because it interacted with the social conditions of the time. In addition, postwar philosophers at the University of Tokyo, such as Ōmori Shōzō, Hiromatsu Wataru, and Sakabe Megumi emphasized overcoming the problematics of the Kyoto School.In this special issue, we use the Tokyo School as a heuristic concept to explore its significance and spread in the prewar and postwar periods. It is not limited to the University of Tokyo or Tokyo Imperial University but includes interactions with other universities in the Tokyo area. While the Kyoto School has often been discussed in terms of how to measure its distance from politics, the Tokyo School is more closely connected to politics. If we consider the political and ethical dimensions of modern Japanese philosophy, we cannot avoid discussing the Tokyo School.Of course, it is true that the Tokyo School is not as coherent as a “school.” The central role that Nishida fulfilled in the Kyoto School is perhaps lacking in the Tokyo School. Therefore, as Thomas P. Kasulis suggests, it might be more accurate to use the term “circle” or “style” instead of “school.” Nevertheless, I dare to call it the Tokyo School because I would like to shed light on the Tokyo philosophers who were less popular than those of the Kyoto School but whose influence was overwhelming at the time and who were definitively forgotten after the war, so as to clarify the totality of philosophy in modern Japan.Research on the Tokyo School has only just begun. I am writing this introductory note in anticipation of further international research on the Tokyo School. [End Page 3]Copyright © 2023 State University of New York Press... (shrink)

Antonio Gramsci rigorously analysed the modern transformation of the Catholic Church and its strategy to spread its worldview to the Italian masses through secular means. His critique of the Church largely drew on his examination of the grounds that ensured Croce’s critique was doomed to failure. Despite its harshness, Croce’s critique failed because he did not grasp that the main target of the Church’s strategy was the common sense of the masses, while Croce pursued his critique in a highly idealist (...) manner, appealing only to his fellow intellectuals. He thereby, according to Gramsci, helped to reinforce the Church’s strategy by endorsing the rigid separation between the intellectuals and the masses. In contrast, unlike Croce and orthodox Marxism, Gramsci did not dismiss religion as a mere absurdity, recognising it as a source of people’s common sense that, albeit confusing in nature, informed their worldview. Gramsci considered that even the common sense of the masses constituted an appropriate grasp of the world, or ‘good sense’. In this sense, Gramsci’s critique of religion echoed his preoccupation with the longstanding division of Italian society between the intellectuals and the masses, which prevented mass participation in politics. (shrink)

Gramsci’s concept of the “ethical state” has been interpreted as a synonym for the “regulated society”—a future society in which everybody participates in governance following the rationalization o...

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

Halldén completeness closely resembles the relevance property. To prove Halldén completeness in terms of Kripke-style semantics, the van Benthem–Humberstone theorem is often used. In relevant modal logics, the Halldén completeness of Meyer–Fuhrmann logics has been obtained using the van Benthem–Humberstone theorem. However, there remain a number of Halldén-incomplete relevant modal logics. This paper discusses the Halldén completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.

The admissibility of Ackermann’s rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models.

Recently, several funding agencies have introduced the distribution of funds by a lottery system; however, its effects on the productivity of the research community are unclear. Simulation studies in philosophy of science have argued that a combination of peer review and lottery is an optimal method. However, these models overlook several important aspects of research activities, such as baseline funding through block grants. In this study, I constructed a general theoretical model that incorporates these aspects and argue that the conventional (...) combination of peer review and baseline funding outperforms the combination of peer review and lottery in many situations. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

An assessment of mood or emotion is important in developing mental health measures, and facial expressions are strongly related to mood or emotion. This study thus aimed to examine the relationship between levels of negative mood and characteristics of mouth parts when moods are drawn as facial expressions on a common platform. A cross-sectional study of Japanese college freshmen was conducted, and 1,068 valid responses were analyzed. The questionnaire survey consisted of participants’ characteristics, the Profile of Mood States, and a (...) sheet of facial expression drawing, and the sheet was digitized and analyzed using an image-analysis software. Based on the total POMS score as an index of negative mood, the participants were divided into four groups: low, normal, high, and very high. Lengths of drawn lines and between both mouth corners were significantly longer, and circularity and roundness were significantly higher in the L group. With increasing levels of negative mood, significant decreasing trends were observed in these lengths. Convex downward and enclosed figures were significantly predominant in the L group, while convex upward figures were significantly predominant and a tendency toward predominance of no drawn mouths or line figures was found in the H and VH groups. Our results suggest that mood states can be significantly related to the size and figure characteristics of drawn mouths of FACED on a non-verbal common platform. That is, these findings mean that subjects with low negative mood may draw a greater and rounder mouth and figures that may be enclosed and downward convex, while subjects with a high negative mood may not draw the line, or if any, may draw the line shorter and upward convex. (shrink)

It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra, B, A is embeddable into a quotient algebra of B, if and only if Jankov's formula ${\rm{\chi A}}$ A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number ${\rm{\kappa }}$, we present Jankov's theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete (...) ${\rm{\kappa }}$ - Heyting algebras and ${\rm{\kappa }}$ - infinitary logic, where a ${\rm{\kappa }}$ -Heyting algebra is a Heyting algebra A with ${\rm{\# A}} \le {\rm{\kappa }}$ and ${\rm{\kappa }}$ - infinitary logic is the infinitary logic such that for any set ${\rm{\Theta }}$ of formulas with ${\rm{\# \Theta }} \le {\rm{\kappa }}$ ⌈ Θ and ‷ Θ are well defined formulas. (shrink)

The admissibility of Ackermann's rule γ is one of the most important problems in relevant logics. The admissibility of γ was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of γ using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of γ in relevant modal logics based on (...) modern algebraic models. (shrink)

Narrative views of the self argue that we constitute our self in self-narratives. Embodied views hold that our self is shaped through embodied experiences. In that case, what is the relation between embodiment and narrativity in the process of self-constitution? The question demands a clear definition of embodiment, but existing studies remains unclear on this point (section 2). We offer a correction to this situation by drawing on Merleau-Ponty’s analysis of the body that highlights its habituality. On this account, the (...) body has an inherent tendency to cultivate an organization of habits through its history of engagement with the world (section 3). Next, we explore its role in narrative self-constitution by distinguishing between two aspects of the narrative self, the narrated I and the narrating I (section 4). We argue on phenomenological grounds that self-narratives are informed by bodily perspectives in both respects. Furthermore, a focus on the habituality of the body allows for a better explanation of self-constitution than those based on implicit self-narratives (section 5). For these phenomenological and theoretical reasons, we conclude that narrative self-constitution is an embodied and embedded practice (section 6). (shrink)

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from what we (...) take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)