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)

In bacteria, PriA protein, a conserved DEXH‐type DNA helicase, plays a central role in replication restart at stalled replication forks. Its unique DNA‐binding property allows it to recognize and stabilize stalled forks and the structures derived from them. Cells must cope with fork stalls caused by various replication stresses to complete replication of the entire genome. Failure of the stalled fork stabilization process and eventual restart could lead to various forms of genomic instability. The low viability of priA null cells (...) indicates a frequent occurrence of fork stall during normal growth that needs to be properly processed. PriA specifically recognizes the 3′‐terminus of the nascent leading strand or the invading strand in a displacement (D)‐loop by the three‐prime terminus binding pocket (TT‐pocket) present in its unique DNA binding domain. Elucidation of the structural basis for recognition of arrested forks by PriA should provide useful insight into how stalled forks are recognized in eukaryotes. (shrink)

I am honored to have been invited to participate in this Workshop on Comparative Studies of Building Molecular Biology, with a discussion of Japanese experiences in constructing a science — in this case, the discipline of molecular biology. As I understand it, the construction of a science must be equivalent to building a new culture. My having given this title to my paper suggests that I have enough knowledge about the subject to perhaps even extrapolate its course into the future (...) — which I do not. What I do have is a sincere admiration of my old friends and colleagues, in Japan and elsewhere, who together tried to build a new science of molecular biology in Japan. (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. https://doi.org/10.1007/s10992-022-09698-w, 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)

We present an annotation scheme describing the argument structure of judgement documents, a central construct in Japanese law. To support the final goal of this work, namely summarisation aimed at the legal professions, we have designed blueprint models of summaries of various granularities, and our annotation model in turn is fitted around the information needed for the summaries. In this paper we report results of a manual annotation study, showing that the annotation is stable. The annotated corpus we created contains (...) 89 documents. We also designed and implemented the first two stages of an algorithm for the automatic extraction of argument structure, and present evaluation results. (shrink)

In his “A new argument for evidentialism” (Shah, Philos Q 56(225): 481–498, 2006 ), Nishi Shah argues that the best explanation of a feature of deliberation whether to believe that p which he calls transparency entails that only evidence can be reason to believe that p. I show that his argument fails because a crucial lemma that his argument appeals to cannot be supported without assuming evidentialism to be true in the first place.

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)

LANGUAGE NOTE | Document text in Chinese; abstract also in English. 世界衛生組織(WHO)在歷經自1976年伊波拉病毒病(EbolaHemorrhagicFever, 伊波拉出血熱)爆發以來，處理疫情爆發當中出現的種種倫理問題之後，於2016年出版“Guidance for Managing Ethical Issues in Infectious Disease Outbreaks”（中文暫譯：《傳染病爆發處理倫理議題之指引》）一書，其中整理出「正義、行善、效益、尊重自主、自由、團結、互惠」等七項倫理原則，於今面對新冠肺炎（COVID-19）的疫情上，各國防疫 政策，亦可作為應對。作為一名當代墨者，本文即以此為基礎，由醫療的角度，結合國內情況，企欲在墨學義理內作一生命倫理的反思，並試圖對後疫情時代給予具體作為之建議。 In response to various ethical problems that emerged after the 1976 Ebola hemorrhagic fever epidemic, WHO published the book Guidance for Managing Ethical Issues in Infectious Disease Outbreaks in 2016. The content of the book was organized around seven ethical principles, namely, justice, beneficence, benefit, respect for autonomy, freedom, reciprocity, and unity. These seven ethical principles can be used as (...) a framework for countries to develop policies for coping with the COVID-19 pandemic. Drawing from contemporary Mohism, this paper reflects on the situation in Taiwan through the lens of these seven ethical principles. It aims to arrive at a Mohist understanding of bioethics and proposes concrete actions for the post-epidemic era. (shrink)

Cellular pattern formations of some epithelia are believed to be governed by the direct lateral inhibition rule of cell differentiation. That is, initially equivalent cells are all competent to differentiate, but once a cell has differentiated, the cell inhibits its immediate neighbors from following this pathway. Such a differentiation repeats until all non-inhibited cells have differentiated. The cellular polygonal patterns can be characterized by the numbers of undifferentiated cells and differentiated ones. When the differentiated cells become large in size, the (...) polygonal pattern is deformed since more cells are needed to enclose the large cell. An actual example of such a cellular pattern was examined. The pupal wing epidermis of a butterfly Pieris rapae shows a transition of the equivalent-size cell pattern to the pattern involving large cells. The process of the transition was analyzed by using the method of weighted Voronoi tessellation that is useful for treatment of irregularly sized polygons. The analysis supported that the pattern transition of the early stage of the pupal wing epidermis is governed by the lateral inhibition rule. The differentiation takes place in order of largeness, but not smallness, of the apical polygonal area in the differentiating region of the pupal wing. (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)

狂信的な国粋主義者か、はたまた魂の尊厳を問うた求道者か。民俗学と国粋主義の親和性とは。多角的な視点からファシズムを再考する。.

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)

This paper presents the first dataset for Japanese Legal Judgment Prediction (LJP), the Japanese Tort-case Dataset (JTD), which features two tasks: tort prediction and its rationale extraction. The rationale extraction task identifies the court’s accepting arguments from alleged arguments by plaintiffs and defendants, which is a novel task in the field. JTD is constructed based on annotated 3477 Japanese Civil Code judgments by 41 legal experts, resulting in 7978 instances with 59,697 of their alleged arguments from the involved parties. Our (...) baseline experiments show the feasibility of the proposed two tasks, and our error analysis by legal experts identifies sources of errors and suggests future directions of the LJP research. (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)

Approximately one in two hundred persons in the Marshall Islands have active tuberculosis. We examine the historical antecedents of this situation in order to assign ethical responsibility for the present situation. Examining the antecedents in terms of Galtung’s dialectic of personal versus structural violence, we can identify instances in the history of the Marshall Islands when individual subjects made decisions with large-scale ecologic, social, and health consequences. The roles of medical experimenters, military commanders, captains of the weapons industry in particular, (...) and industrial capitalism in general are examined. In that, together with Lewontin, we also identify industrial capitalism as the cause of tuberculosis, we note that the distinction between personal versus structural violence is difficult to maintain. By identifying the cause of the tuberculosis in the Marshall Islands, we also identify what needs be done to treat and prevent it. (shrink)

One prominent feature of belief is that a belief cannot be formed at will. This paper argues that the best explanation of this fact is that belief formation is a process that takes aim at the truth. Taking aim at the truth is to be understood as causal responsiveness of the processes constituting belief formation to what facilitates achieving true beliefs. The requirement for this responsiveness precludes the possibility of belief formation responding to intentions in a way that would count (...) as forming a belief at will. (shrink)

This paper considers fair betting odds for certain bets that might be placed in the situation discussed in the so-called Sleeping Beauty Problem. This paper examines what Thirders, Halfers, and Double Halfers must say about the odds as determined by various decision theoretic approaches and argues that Thirders and Halfers have difficulties formulating plausible and coherent positions concerning the relevant betting odds. Double Halfers do not face this problem and that is an important consideration in favor of Double Halfers.

Emotion modulates our time perception. So far, the relationship between emotion and time perception has been examined with visible emotional stimuli. The present study investigated whether invisible emotional stimuli affected time perception. Using continuous flash suppression, which is a kind of dynamic interocular masking, supra-threshold emotional pictures were masked or unmasked depending on whether the retinal position of continuous flashes on one eye was consistent with that of the pictures on the other eye. Observers were asked to reproduce the perceived (...) duration of a frame stimulus that was concurrently presented with a masked or unmasked emotional picture. As a result, negative emotional stimuli elongated the perceived duration of the frame stimulus in comparison with positive and neutral emotional stimuli, regardless of the visibility of emotional pictures. These results suggest that negative emotion unconsciously accelerates an internal clock, altering time perception. (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)

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