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)

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)

Mādhyamikas argue that ultimate reality, which is without any delimitation and hence cannot be verbalized in itself, can be expressed in words on the basis of the attribution or superimposition of the basis for the application of the word. The denotation theory of ultimate reality Bhartṛhari advances in the Dravyasamuddeśa of his Vākyapadīya convincingly explains that, insofar as ultimate reality is spoken of, we must say that it is denoted by the word; ultimate reality is said to be ineffable only (...) in the sense that it is far from what is conveyed as something by the word; language is a pointer to the ultimate reality. The point that the application of a word to ultimate reality depends on the attribution of the basis for the application of the word to it naturally leads to an idea that one should not hypostatize the basis, although without resorting to it any word cannot be used to convey the ultimate reality; otherwise, it would have to be said that the ultimate reality to which the word is applied has in essence the property which serves as the basis. Such a property is precisely what the Mādhyamikas consider to be the svabhāva ‘intrinsic nature’. What they understand by the term śūnyatā is precisely that everything has no real basis for the application of the word to it. (shrink)

BackgroundSocial cognitive impairments adversely affect social functioning in patients with schizophrenia. Although pharmacological interventions have been suggested to provide some benefits on social cognition, little information is available on the comparative efficacy of pharmacotherapy. Thus, the aim of this planned systematic review and network meta-analysis is to perform a quantitative comparison of the effects of various psychotropic drugs, including supplements, on social cognition disturbances of schizophrenia.MethodsThe literature search will be carried out using the PubMed, Embase, Cochrane Central Register of Controlled (...) Trials, PsycINFO, ClinicalTrials.gov, and International Clinical Trials Registry Platform databases from inception onward. Randomized controlled trials that examined the efficacy of drugs in social cognitive disturbances will be included, based on the most recent studies and the broader literature than previously searched. This protocol defines a priori the methods that will be used for study selection, data collection, quality assessment, and statistical syntheses.DiscussionThe findings this work are expected to help promote the development of better therapeutics of social cognitive impairments in schizophrenia and related psychiatric conditions.Systematic Review Registration[www.crd.york.ac.uk/prospero], identifier [CRD42021293224]. (shrink)

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)

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)

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)

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

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)

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

『哲学探究』以後、最晩期に独立した地位を与える。ウィトゲンシュタインの知識の哲学。.

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)

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

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.

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)