In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects (...) upon attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The methods (...) used in developing DEL can be used to develop logics that deal with a much wider variety of speech acts. For example, in ECL (Eliminative Command Logic) of Yamada (2007a) and ECL II of Yamada (2007b), similar model updating operations are introduced tointerpret acts of commanding as what update deontic aspects of the situations in which agents are involved. In Yamada (2008a), ECL II is further extended so as to model acts of promising along with acts of commanding. Moreover, in Yamada (2008b), ECL II is combined with a modified version of DEUL (dynamic epistemic upgrade logic) introduced in van Benthem & Liu (2007). In the resulting logic DDPL (dynamic deontic preference logic), illocutionary acts of commanding are differentiated from preference upgrading perlocutionary acts. The development of these logics suggests a recipe for developing logics that deal with various specific speech acts: first, carefully identify the aspects affected by the speech acts you want to study; second, find the modal logic that characterizes the aspects in question; and finally, add dynamic modalities that stand for the types of the speech acts being studied and define model updating operation that interprets these speech acts as what update the very aspects. (shrink)

SOCREAL 2007: International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2007-03-09/10. Session 2: Logical Dynamics of Social Interaction.

SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 4 : Agency, Responsibility, and Intentionality.

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 3.

近世の儒者・熊沢蕃山(一六一九~九一)の一つ一つの著作の思想構造の解明をめざし、さらにそれぞれの著作を比較することで、蕃山の思想の変化に注目し、その変化の意味を問う。また中江藤樹『翁問答』や池田光政の 藩政改革をとりあげて、岡山藩における蕃山の政治体験の意味を解明し、それらの考察から多様な蕃山の思想を立体的に浮かび上がらせる。.

世界的な貧困や格差を前に、私たちはどんな正義を構想できるのだろうか。民主主義的な実践に根ざした新しい政治理論がここに誕生。 グローバルな正義を机上の空論で終わらせないために近年主張されているのが、「実践によって媒介された関係」に基づく正義論、つまり実践依存アプローチだ。サンジョヴァンニやウォルツァーなどによるこの理論をさら にアップデートすべく、NGOや社会運動といった主体を取り入れ、「集合的主体による実践依存アプローチ」の正義論を構想する。.

「語の意味」とは何か?『類語大辞典』の編集・執筆に関わってきた著者が、「意味の本質」「同義・類義・多義」「意味記述の方法」「辞書と意味記述」の4部に渡って、これまで深めてきた考察を明らかにする、「こと ばの意味」の研究に大きく資する一冊。.

In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

This paper describes an automatic monitoring system that constantly checks partial update in Web pages and notifies them to a user. While one of the most important advantages of the WWW is update of Web pages, we need to constantly check them out and this task takes much cognitive load. Thus applications to automatically check update of Web pages have been developed, however they can not deal with partial update like update in a particular cell in a table in a (...) Web page. Hence we developed a automatic monitoring system that checks such partial update. A user can give a system regions in which he/she wants to know the update in a Web page as training examples, and it is able to learn rules to identify the partial update by classification learning. By this learning, a user do not need to directly describe the rules. We implemented our system and some executed examples were presented. (shrink)

In this paper, we develop an organization method of page information agents for adaptive interface between a user and a Web search engine. Though a Web search engine indicates a hit list of Web pages to user’s query using a large database, they includes many useless ones. Thus a user has to select useful Web pages from them with page information indicated on the hit list, and actually fetch the Web page for investigating the relevance. Unfortunately, since the page information (...) on a hit list is neither sufficient nor necessary for a user, the adequate information is necessary for valid selection. However which information is adequate depends on a user and a task. Hence we propose adaptive interface AOAI in which different page information agents are organized through man-machine interaction. In AOAI, the page information agents indicating different page information on a hit list like the file-size, network traffic and a page title are prepared at first. A user evaluates them through searching with a search engine, and the agents are organized based on the evaluation. As results, different organizations are achieved depending on a user and a task. Finally we make experiments with subjects and find out AOAI is promising for adaptive interface between a user and a search engine. (shrink)