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)

BackgroundSocial cognitive impairments adversely affect social functioning in patients with schizophrenia. Although pharmacological interventions have been suggested to provide some benefits on social cognition, little information is available on the comparative efficacy of pharmacotherapy. Thus, the aim of this planned systematic review and network meta-analysis is to perform a quantitative comparison of the effects of various psychotropic drugs, including supplements, on social cognition disturbances of schizophrenia.MethodsThe literature search will be carried out using the PubMed, Embase, Cochrane Central Register of Controlled (...) Trials, PsycINFO, ClinicalTrials.gov, and International Clinical Trials Registry Platform databases from inception onward. Randomized controlled trials that examined the efficacy of drugs in social cognitive disturbances will be included, based on the most recent studies and the broader literature than previously searched. This protocol defines a priori the methods that will be used for study selection, data collection, quality assessment, and statistical syntheses.DiscussionThe findings this work are expected to help promote the development of better therapeutics of social cognitive impairments in schizophrenia and related psychiatric conditions.Systematic Review Registration[www.crd.york.ac.uk/prospero], identifier [CRD42021293224]. (shrink)

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.

この世の悪は、一人ひとりがその行いを改めれば払拭できるものだろうか?自然災害に見舞われ、多くの人が苦しめられているとき、そこに悪の問題はないのだろうか?孔子や孟子、荘子、荀子などの中国古代の思想家たち も、悪という問題に直面し、格闘してきた。清代にいたるまでの、そうした悪をめぐる哲学的思考を辿りなおし、その可能性と限界を描き出す。悪にあらがい、その残酷さを引き受け、乗り越えるための方途を探る哲学の書 である。.

世界はいま危機に直面している.その危機に直面したときに試されているのが,我々の想像力であり,イメージの力なのである.その想像力を鍛えるのに最も重要なのは,批判(クリティーク)なのだ.いま最もアクチュア ルに活動している哲学者・中島隆博が紡ぐ,危機の時代の哲学の実践へ.

人類は深奥に潜む意識をいかに表現し思想としての普遍性を獲得してきたか。古今東西の表現者たちが格闘した言語経験を省察する。.

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)

We investigate which part of Brouwer’s Intuitionistic Mathematics is finitistically justifiable or guaranteed in Hilbert’s Finitism, in the same way as similar investigations on Classical Mathematics already done quite extensively in proof theory and reverse mathematics. While we already knew a contrast from the classical situation concerning the continuity principle, more contrasts turn out: we show that several principles are finitistically justifiable or guaranteed which are classically not. Among them are: fan theorem for decidable fans but arbitrary bars; continuity principle (...) and the axiom of choice both for arbitrary formulae; and $\Sigma _2$ induction and dependent choice. We also show that Markov’s principle MP does not change this situation; that neither does lesser limited principle of omniscience LLPO ; but that limited principle of omniscience LPO makes the situation completely classical. (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)

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)

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)

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)

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)

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.

In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA0*, which consists of the axioms of discrete ordered semi‐rings with exponentiation, Δ10 comprehension and Π00 induction, and which is known as a weaker system than the popularbase theory RCA0: 1. Bisep(Δ10, Σ10)‐Det* ↔ WKL0, 2. Bisep(Δ10, Σ20)‐Det* ↔ (...) ATR0 + Σ11 induction, 3. Bisep(Σ10, Σ20)‐Det* ↔ Sep(Σ10, Σ20)‐Det* ↔ Π11‐CA0, 4. Bisep(Δ20, Σ20)‐Det* ↔ Π11‐TR0, where Det* stands for the determinacy of infinite games in the Cantor space (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

In this paper, we consider, for a set \ of natural numbers, the following notions of finitenessFIN1:There are a natural number l and a bijection f between \\);FIN5:It is not the case that \\), and infinitenessINF1:There are not a natural number l and a bijection f between \\);INF5:\\). In this paper, we systematically compare them in the method of constructive reverse mathematics. We show that the equivalence among them can be characterized by various combinations of induction axioms and non-constructive principles, (...) including the axiom of bounded comprehension. (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...

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

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)

The English discourse marker after all and the Japanese discourse marker datte have been commonly claimed to give a reason or justification to the preceding utterance, and therefore, these two expressions are regarded as the equivalent translation counterparts to each other. This paper first attempts to propose that such an equated account is motivated by these two discourse markers constructing a similar inferential schema involved in the interpretation of the utterance including them. In fact, datte and after all make manifest (...) similar polyfunctions according to the syntactic position although they encode different lexical information. This is because these two discourse markers are indicators that contribute to the inferential phase of communication by various degrees of modulation of a cognitive gap between two different assumptions. Another aim of this paper is to differentiate a procedural constraint these two indicators encode on the interpretation of the utterance. (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.

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.

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)

The Zhuangzi is a deliciously protean text: it is concerned not only with personal realization, but also with social and political order. In many ways the Zhuangzi established a unique literary and philosophical genre of its own, and while clearly the work of many hands, it is one of the finest pieces of literature in the classical Chinese corpus. It employs every trope and literary device available to set off rhetorically charged flashes of insight into the most unrestrained way to (...) live one's life, free from oppressive, conventional judgments and values. The essays presented here constitute an attempt by a distinguished community of international scholars to provide a variety of exegeses of one of the Zhuangzi's most frequently rehearsed anecdotes, often referred to as "the Happy Fish debate." The editors have brought together essays from the broadest possible compass of scholarship, offering interpretations that range from formal logic to alternative epistemologies to transcendental mysticism. Many were commissioned by the editors and appear for the first time. Some of them have been available in other languages—Chinese, Japanese, German, Spanish—and were translated especially for this anthology. And several older essays were chosen for the quality and variety of their arguments, formulated over years of engagement by their authors. All, however, demonstrate that the Zhuangzi as a text and as a philosophy is never one thing; indeed, it has always been and continues to be, many different things to many different people. (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)

When an elastic material is horizontally stretched, the material is compressed vertically – so-called the Poisson effect. In the different case of the Poisson effect, when an elastic material is vertically squashed, the material is horizontally extended. In both cases, the visual system receives image deformations involving horizontal expansion and vertical compression. How does the brain disentangle the two cases and accurately distinguish stretching from squashing events? Manipulating the relative magnitude of the deformation of a square between horizontal and vertical (...) dimensions in the two-dimensional stimuli, we asked observers to judge the force direction in the stimuli. Specifically, the participants reported whether the square was stretched or squashed. In general, the participant’s judgment was dependent on the relative deformation magnitude. We also checked the anisotropic effect of deformation direction [i.e., horizontal vs. vertical stretching ] and found that the participant’s judgment was strongly biased toward horizontal stretching. We also observed that the asymmetric deformation pattern, which indicated the specific context of force direction, was also a strong cue to the force direction judgment. We suggest that the brain judges the force direction in the Poisson effect on the basis of assumptions about the relationship between image deformation and force direction, in addition to the relative image deformation magnitudes between horizontal and vertical dimensions. (shrink)