社会的コミュニケーションの論理的ダイナミクス

抄録

    Inspired by the recent development of dynamic epistemic logics, an investigation into logical dynamics of speech acts has been launched and a few logics have already been developed. We will review closely logics that deal with acts of commanding and promising, and show how they can capture the conventional effects of these illocutionary acts. We will also take a quick look at other logics that deal with perlocutionary acts of preference upgrading, and illocutionary acts of asserting, conceding, and withdrawing, and then conclude with a brief discussion of remaining problems and prospects for further research.