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.

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...) constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (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)

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)

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.

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

Haptic sensation of a material can be modulated by its visual appearance. A technique that utilizes this visual-haptic interaction is called as pseudo-haptic feedback. Conventional studies have investigated pseudo-haptic feedback in situations, wherein a user manipulated a virtual object using a computer mouse, a force-feedback device, etc. The present study investigated whether and how it was possible to offer pseudo-haptic feedback to a user who manipulated a virtual object using keystrokes. Participants moved a cursor toward a destination by pressing a (...) key. While the cursor was moving, the cursor was temporarily slowed down on a square area of the screen. The participants’ task was to report, on a five-point scale, how much resistance they felt to the cursor’s movement. In addition to the basic speed of the cursor, the ratio of the basic speed to the speed within the square area was varied. In Experiment 1, we found that these two factors interacted significantly with each other, but further analysis showed that the cursor speed within the square area was the most important determinant of perceived resistance. In Experiment 2, consistent with the results of the previous experiment, it was found that the cursor movement outside of the square area was not required to generate the sense of resistance. Counterintuitively, in Experiment 3, the sense of resistance was apparent even without user’s keystrokes. We discuss how the sense of resistance for a cursor moved by keystrokes can be triggered visually, but interpreted by the brain as a haptic impression. (shrink)

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)

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)

1. Seikyō ronkō -- 2-3. Shibunrui -- 4-10. Rangai shorui -- 11-12. Genshi shiroku -- 13-14. Fukureki.

Android robots capable of emotional interactions with humans have considerable potential for application to research. While several studies developed androids that can exhibit human-like emotional facial expressions, few have empirically validated androids’ facial expressions. To investigate this issue, we developed an android head called Nikola based on human psychology and conducted three studies to test the validity of its facial expressions. In Study 1, Nikola produced single facial actions, which were evaluated in accordance with the Facial Action Coding System. The (...) results showed that 17 action units were appropriately produced. In Study 2, Nikola produced the prototypical facial expressions for six basic emotions, and naïve participants labeled photographs of the expressions. The recognition accuracy of all emotions was higher than chance level. In Study 3, Nikola produced dynamic facial expressions for six basic emotions at four different speeds, and naïve participants evaluated the naturalness of the speed of each expression. The effect of speed differed across emotions, as in previous studies of human expressions. These data validate the spatial and temporal patterns of Nikola’s emotional facial expressions, and suggest that it may be useful for future psychological studies and real-life applications. (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.

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)

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (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.

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)

Given the growing centrality of interdisciplinarity to scientific research, gaining a better understanding of successful interdisciplinary collaborations has become imperative. Drawing on extensive case studies of nine research networks in the social, natural, and computational sciences, we propose a construct that captures the multidimensional character of such collaborations, that of a shared cognitive–emotional–interactional platform. We demonstrate its value as an integrative lens to examine markers of and conditions for successful interdisciplinary collaborations as defined by researchers involved in these groups. We (...) show that markers and conditions embody three different dimensions: cognitive, emotional, and interactional; these dimensions are present in all networks, albeit to different degrees; the dimensions are intertwined and mutually constitutive; and they operate in conjunction with institutional conditions created by funders. We compare the SCEI platforms to available frameworks for successful interdisciplinary work. (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...

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (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)

Genshi shiroku -- Hakurokudō Shoin keijimon.

A growing body of recent research suggests that verbal categories, particularly labels, impact categorization and perception. These findings are commonly interpreted as demonstrating the involvement of language on cognition; however, whether these assumptions hold true for grammatical structures has yet to be investigated. In the present study, we investigated the extent to which linguistic information, namely, grammatical gender categories, structures cognition to subsequently influence categorical judgments and perception. In a nonverbal categorization task, French–English bilinguals and monolingual English speakers made gender‐associated (...) judgments about a set of image pairs while event‐related potentials were recorded. The image sets were composed of an object paired with either a female or male face, wherein the object was manipulated for their conceptual gender relatedness and grammatical gender congruency to the sex of the following target face. The results showed that grammatical gender modulated the N1 and P2/VPP, as well as the N300 exclusively for the French–English bilinguals, indicating the inclusion of language in the mechanisms associated with attentional bias and categorization. In contrast, conceptual gender information impacted the monolingual English speakers in the later N300 time window given the absence of a comparable grammatical feature. Such effects of grammatical categories in the early perceptual stream have not been found before, and further provide grounds to suggest that language shapes perception. (shrink)

This book is a collection of articles on research that attempts to connect logic and mathematics with empirical and cognition. There have been various such a...

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)

Interaction systems with gesture-based touchless inputs are becoming more common. Nevertheless, perceptual properties of the visual feedback used in the system have not been well documented. We investigated whether the speed of motion shown in visual feedback used in gesture-based touchless inputs could be a cue for the heaviness sensation of an object even when other incidental cues, such as changes in object size and spatial consistencies in direction between gestures and feedback, were eliminated from the stimuli. Participants were asked (...) to make a gesture to grasp and raise/lower disks shown on a horizontal display. The disk’s diameter changed in accordance with the vertical position of the participant’s hand. The results showed that the rate of change in diameter determined the heaviness sensation. When the disks were replaced with concentric gratings having sinusoidal radial intensity and thus the cue of size change was eliminated from the stimuli, the heaviness sensation was dependent on the speed of phase shift in the grating. It was also found that spatial consistency between the direction of gestures and phase shift was not a critical condition for the heaviness sensation. Finally, the speed of motion served as a critical determinant of the heaviness sensation even when another visual feature was modulated in a single session, which indicates that the effect of the speed of motion on the heaviness sensation was unlikely due to demanded characteristics. The results indicate that the heaviness sensation for visual feedback of gesture-based touchless inputs is based purely on the speed of the visual feedback motion. (shrink)

Following the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $\#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $\omega $, of Kripke–Feferman truth (...) theory and of Friedman–Sheard truth theory, and show that all of these have the same strength as the finitist arithmetic of one higher level along Grzegorczyk hierarchy. On the other hand, we also show that adding Burgess-style groundedness schema, adjusted to the finitist setting, makes Kripke–Feferman truth theory as strong as primitive recursive arithmetic. Meanwhile, we obtain some basic results on finitist theories of (full and hat) inductive definitions and on the second order axiom of hat inductive definitions for positive operators. (shrink)

A standard methodology in philosophy of language is to use intuitions as evidence. Machery, Mallon, Nichols, and Stich challenged this methodology with respect to theories of reference by presenting empirical evidence that intuitions about one prominent example from the literature on the reference of proper names vary between Westerners and East Asians. In response, Sytsma and Livengood conducted experiments to show that the questions Machery and colleagues asked participants in their study were ambiguous, and that this ambiguity affected the responses (...) given by Westerners. Sytsma and Livengood took their results to cast doubt on the claim that the current evidence indicates that there is cross-cultural variation in intuitions about the Gödel case. In this paper we report on a new cross-cultural study showing that variation in intuitions remains even after controlling for the ambiguity noted by Sytsma and Livengood. (shrink)