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.

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)

Die Arbeit verbindet in subtiler Weise begriffsgeschichtliche, quellengeschichtliche, kontextanalytische und kompositionsanalytische Fragestellungen, um die schwierigen Probleme, die die Freiheitsantinomie der Kritik der reinen Vernunft aufwirft, einer Losung naherzubringen. Dabei wird deutlich, wie sehr Kants Freiheitsantinomie in ihrer Formulierung von den Diskussionen abhangt, die in dem Zeitraum zwischen Wolff und Tetens gefuhrt worden sind. Auch Kants beruhmte Dissertation des Jahres 1770 erscheint so in neuem Licht. Kants Freiheitsantinomie erweist sich als Antwort auf Fragen seiner unmittelbaren Vorganger. This work combines issues pertaining (...) to the history of concepts, historical sources, context analysis and composition analysis in order to try to solve the problems posed by the antinomy of freedom in the Critique of Pure Reason. The study makes it clear how much the wording of Kant's antinomy of freedom depends on the discussions held during the time between Wolff and Tetens. Kant's famous dissertation of 1770 is thus also seen in a new light. Kant's antinomy of freedom is shown to be the answer to the questions posed by his direct predecessors. (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)

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

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)

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 the chapter “Fit for Emperors and Kings,” the Chinese philosopher Chuang-tzu relates the myth of Hun-tun, the emperor of chaos, who died when the seven sense openings were bored into him. The story goes: Shu, the ruler of the Southern Sea, and Hu, the ruler of the Northern Sea, met in the realm of Hun-tun, the emperor of the Center, that is to say in the world of true reality that contradicted their own as being one of vast disorder. (...) Hun-tun received the two emperors warmly, and they both overcame their knowledge-based and conceptional consciousness, entirely forgot the evaluating, one-sided viewpoint of differentiation. Thus they enjoyed the world of true reality, the land of Hun-tun, Emperor Chaos. Subsequently the two guests wondered how they could possibly repay the kindness of Hun-tun. Concluding their consultation, they decided to present Hun-tun with seven openings — the sense doors of the eyes, ears, mouth, and nose. They duly proceeded to bore one opening into Hun-tun every day. However, on the seventh day, when he was finally becoming like a human being, Hun-tun died. (shrink)

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)

Der Leipziger Pietist Chr. A. Crusius setzt sich mit dem von Leibniz und Wolff festgelegten „Satz vom zureichenden Grund“ auseinander, nach dem nicht nur jedes Naturgeschehnis, sondern auch jede Handlung des Menschen a priori determiniert zu verstehen ist. Zunächst kritisiert Crusius die Vieldeutigkeit des Begriffs „Grund“, wo er zunächst zwischen „Realgrund“ und „Erkenntnisgrund“ unterscheidet, und weiterhin ersteren in „wirkende Ursache“ und „Existentialgrund“, und letzteren in „Erkenntnisgrund a priori“ und „Erkenntnisgrund a posteriori“ einteilt. Nach Crusius hat menschliche freie Handlung keinen eindeutig (...) determinierenden Grund, sondern nur wirkende Ursache, die jeder seinerseits ablehnen kann. Crusius gründet seinen Freiheitsbegriff auf die Wahrscheinlichkeitslehre, nach der freie Handlungen wegen der Endlichkeit des Menschen nur a posteriori erkannt werden. In meinem Beitrag versuche ich zu zeigen, dass im Freiheitsbegriff von Crusius, der „Grundtätigkeit der Freiheit“, ein Muster der Vereinbarkeit von der empirisch orientierten Freiheit und dem Determinismus einzusehen ist. (shrink)

. This paper presents Buddhism as a path theory in which the adherent practices mindfulness in order to see the world as‐it‐is. The world as presented in a human situation is an interdependently originating process to which one can bring meaning but in which meaning is not inherent. The conceptualizing process by which one concretizes reality is the foundation on which human frustrations and disease arise. However, it is by this conceptualizing process that one establishes a cosmological view of the (...) universe. The soteriological consideration in Buddhism is to realize that reality created by the mind is like an illusion, a concretization of an interdependently originating process into a substantive reality. Through this realization one can remove the delusion created by mind and see reality as‐it‐is. (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)

According to the poetician Vāmana, a genitive ending can denote not only a direct relation but also an indirect relation. For example, in kamalasya kandaḥ ‘the bulb of the lotus flower’ the genitive ending Ṅas introduced after the word kamala denotes the indirect relation between the lotus flower and the bulb, the relation established through the intermediary of the lotus plant that has a direct relation with both of them. Is such a view acceptable to Pāṇinian grammarians? Careful scrutiny of (...) Patañjali’s discussions in the Mahābhāṣya concerning what the affix matUP signifies reveals that he does not accept that a genitive ending occurs to denote an indirect relation: he considers that Aṣṭādhyāyī 2.3.50: ṣaṣṭhī śeṣe, which provides for introducing a genitive ending, has for its domain a direct relation alone. For Vāmana, on the other hand, the poetic expression kamalasya kandaḥ and the like serve to testify to the fact that a genitive ending can be used to signify an indirect relation. What is important is that Aṣṭādhyāyī 2.3.50 as it stands does not exclude this. Just as Patañjali accepts a direct relation as the domain of Aṣṭādhyāyī 2.3.50 on the basis of the usage of model speakers, so does Vāmana accept an indirect relation as its further domain on the basis of the usage of great poets. (shrink)

S-Modulin is a frog homolog of recoverin. The function and the underlying mechanism of the action of these proteins are now understood in general. However, there remain some unsolved issues including; two distinct effects of S-modulin; Ca2+-dependent binding of S-modulin to membranes and a possible target protein; S-modulin-like proteins in other neurons. These issues are considered in this commentary.

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

Metacompleteness is used to prove properties such as the disjunction property and the existence property in the area of relevant logics. On the other hand, the disjunction property of several basic propositional substructural logics over FL has been proved using the cut elimination theorem of sequent calculi and algebraic characterization. The present paper shows that Meyer’s metavaluational technique and Slaney’s metavaluational technique can be applied to basic predicate intuitionistic substructural logics and basic predicate involutive substructural logics, respectively. As a corollary (...) of metacompleteness, the disjunction property, the existence property, and the admissibility of certain rules in such logics can be proved. (shrink)

A virtual dialogue interface for soft interaction between a system and a user is proposed. It enables the information acquisition as a sub task without hindering the user main task during the main task execution. A virtual dialogue is performed with suitable timing between the two characters used in this interface: the user avatar with a model obtained by observing the interaction of the user and the environment, and an agent having the knowledge about the environment. The user is usually (...) an indirect participant performing ``soft interaction'' as an onlooker of the system behavior (dialogue between the user avatar and the agent), and only when required he can participate through a direct interaction instead of his avatar. A car navigation interface was used to examine the applicability of the proposed technique. A task of memorizing information about one's profile while performing an operation task was given and the rate of main task execution and rate of related information memory were used as evaluation criteria. Our proposed method showed outstanding results comparing to the conventional direct interactive interface. Moreover, the degree of favorable impression for the proposed interface was higher than the conventional one and the subjectivity evaluation clearly showed that it was considered as a sociable interface. (shrink)

A classical reconstruction of Wright’s first-order logic of strict finitism is presented. Strict finitism is a constructive standpoint of mathematics that is more restrictive than intuitionism. Wright sketched the semantics of said logic in Wright (Realism, Meaning and Truth, chap 4, 2nd edition in 1993. Blackwell Publishers, Oxford, Cambridge, pp.107-75, 1982), in his strict finitistic metatheory. Yamada (J Philos Log. [doi-url omitted], 2023) proposed, as its classical reconstruction, a propositional logic of strict finitism under an auxiliary condition that makes the (...) logic correspond with intuitionistic propositional logic. In this paper, we extend the propositional logic to a first-order logic that does not assume the condition. We will provide a sound and complete pair of a Kripke-style semantics and a natural deduction system, and show that if the condition is imposed, then the logic exhibits natural extensions of Yamada (2023)’s results. (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)

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.

This paper investigates how the reader of prose fiction fills in the blanks regarding a fictional character’s membership category, action, and reason for the action. Aligning with an ethnomethodological approach to texts and appropriating membership categorization analysis (MCA), we analyze how the readers of J. D. Salinger, an author whose works are well known for their ambiguity and ambivalence, would grasp the unwritten identities of characters and the meanings of their actions. Our analysis specifies two types of methods deployed for (...) the reader to understand the fictional texts. First, in an at-a-glance way, the reader can supply the missing categories and sequence of actions by turning to the commonsense knowledge and social norms regarding the association between the category and the activity. Second, the reader can construct various interpretations regarding the recognizably ambiguous scenes of the text by turning to the conceptual knowledge of the relevant social phenomena, the maxims specific to the act of storytelling, and the writer’s techniques peculiar to the fictional texts. The findings demonstrate the vast applicability of an MCA approach to the analysis of the work of reading prose fiction and shed light on the detailed operations of the author’s maxims and techniques in the textual configuration of prose fiction, thereby indicating the possibility of ethnomethodological analysis including the interwoven consideration of the reader’s activity and the textual organization. (shrink)

This paper studies information transmission between an uninformed decision maker and an informed agent who have asymmetric beliefs on the sender’s ability to observe the state of nature. We find that even when the material payoffs of the players are perfectly aligned, the sender’s over- and underconfidence on his information give rise to information loss in communication, although they do not by themselves completely eliminate information transmission in equilibrium. However, an underconfident sender may prefer no communication to informative communication. We (...) also show that when the sender is biased, overconfidence can lead to more information transmission and welfare improvement. (shrink)