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)

Predicate modal logics based on Kwith non-compact extra axioms are discussed and a sufficient condition for the model existence theorem is presented. We deal with various axioms in a general way by an algebraic method, instead of discussing concrete non-compact axioms one by one.

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)

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)

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

In this article, a cut-free system TLMω1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames.The system TLMω1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω1 is defined as a finite tree of sequents in a standard sense. We prove the cut-elimination theorem for TLMω1 via its Kripke completeness.

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)

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)

Indigenous ecologies in industrial societies need immediate attention in light of the ongoing debate on indigenous resource rights and decreasing biodiversity. This paper examines the functions and meanings of hunting, fishing, and gathering activities among contemporary Nez Perce Indians in Idaho, USA. The collected data were analyzed with Pierre Bourdieu's concepts of “symbolic capital” and “practice” within the framework of political ecology. The results clearly demonstrate that hunting, fishing, and gathering practices play significant roles not only in social and religious (...) but also economic and political senses within the contemporary Nez Perce society. This study suggests that investigation of indigenous ecologies in industrial societies take a synthesized approach between idealist and materialist perspectives. (shrink)

We give an extension of the Jónsson‐Tarski representation theorem for both normal and non‐normal modal algebras so that it preserves countably many infinite meets and joins. In order to extend the Jónsson‐Tarski representation to non‐normal modal algebras we consider neighborhood frames instead of Kripke frames just as Došen's duality theorem for modal algebras, and to deal with infinite meets and joins, we make use of Q‐filters, which were introduced by Rasiowa and Sikorski, instead of prime filters. By means of the (...) extended representation theorem, we show that every predicate modal logic, whether it is normal or non‐normal, has a model defined on a neighborhood frame with constant domains, and we give a completeness theorem for some predicate modal logics with respect to classes of neighborhood frames with constant domains. Similarly, we show a model existence theorem and a completeness theorem for infinitary modal logics which allow conjunctions of countably many formulas. (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)

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)

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.

This paper demonstrates an empirical analysis of the visual order of membership categories in a way consistent with both an early ethnomethodological research interest and recent arguments in membership categorization analysis. Early ethnomethodological studies have highlighted that we can infer and understand the membership categories of observed people about whom we have no information in advance, even without talking to them. Recent membership categorization analysts have argued the methodological importance of using video data. Given this, fictional films serve as video (...) data to advance the investigation into the visual order of membership categories since audiences do not know the fictional characters’ information in advance and cannot talk to them. We analyze how potential audiences understand fictional characters’ membership categories and how production crew members organize the visual and conversational order of membership categories. The analysis illustrates that our practical inferences of fictional characters’ membership categories are based on conversations among characters and visually available information. Such visually available information includes environments and lighting, as well as characters’ clothes, body orientations, facial expressions, and physical distance from each other. In other words, production crew members of fictional films design the visual and conversational order for remote audiences by arranging visually available information and fictional characters’ conversations. The findings provide insights into the “possible correctness” and “defeasibility” of membership categorization practices. Particularly regarding fictional characters’ membership categories, production crew members can employ the “possible correctness” and “defeasibility” of categorization practices to mislead audiences. (shrink)

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)

Altering physical actions when responding to changing environmental demands is important but not always effectively performed. This ineffectiveness, which is an error of social behavior generated by mutual interactions, is not well understood. This study investigated mechanisms of a hesitant behavior that occurs in people walking toward each other, causing people to move in the same direction when attempting to avoid a collision. Using a motion capture device affixed to 17 pairs, we first confirmed the hesitant behavior by a difference (...) between the experimental task, which involved an indeterminate situation to assess the actions of another individual, and the control task, which involved a predetermined avoiding direction, in a real-time situation involving two people. We next investigated the effect of three external factors: long distance until an event, synchronized walking cycle, and different foot relations in dyads on the hesitant behavior. A dramatic increase in freezing and near-collision behavior occurred in dyads for which the avoiding direction was not predetermined. The behavior related with the combination of long distance until an event, synchronized walking cycle, and different foot relations in dyads. We found that the hesitant behavior is influenced by an interpersonal relationship under enough distance to predict other movement. The hesitant behavior has possibly emerged as an undesired by-product of joint action. These results contribute to our understanding of the mechanisms of adaptive control of perception-action coupling in mutual interaction. (shrink)