Jecker and Au’s paper raises important issues concerning health equity in pandemic responses, and the importance of considering the long-term effects of pandemic strategy on population health and well-being.1 We welcome their focus on the experience of Asian countries, including Japan. However, we have some concerns with both the distinction which they draw between elimination and mitigation, and their account of the nature and origins of the Japanese response to the COVID-19 pandemic. First, we believe that the distinction between elimination (...) and mitigation is not fine grained enough to capture the various strategies which countries have taken towards the pandemic. Many of Jecker and Au’s criticisms of the elimination strategy relate to specific policies such as lockdowns, travel restrictions and restrictions on businesses, which have been employed by numerous countries irrespective of their end goal. By contrast to the simple elimination/mitigation dichotomy with which Jecker and Au work, Baker et al have identified five separate COVID-19 strategies, namely: exclusion, elimination, suppression, mitigation and no substantive strategy.2 Baker et al define an elimination strategy as ‘maximum action to exclude disease and eliminate community transmission’ with the goal of reaching ‘zero [disease] transmission in the community’. On this account, Japan’s strategy does …. (shrink)

Employing conversation analysis, this article investigates instructions in lessons for guitar and Japanese calligraphy. In receiving an instruction, the students in the guitar lessons are expected to immediately follow the instruction. In contrast to the guitar lessons, the students in the calligraphy lessons are not institutionally expected to immediately follow the teacher’s instructions but to receive them. However, the students often gesticulate what they learned from and could make sense of the prior instruction upon completion of an instruction activity. I (...) call this phenomenon embodied solitary confirmation. By demonstrating the interactional procedure for this practice, this article respecifies reflection as an interactional phenomenon and elucidates an organization of multiactivity. (shrink)

A decision tree is one of the machine learning techniques and also one of the major knowledge representations of data mining results.This is because it is easy to understand its meaning for human analysts.Even ID3, the representative algorithm, is known to exhibit remarkable performance deterioration under certain circumstances, particularly due to strong correlation between attributes representing the class of examples. One of the approaches to get more preferable decision trees is pre-processing the training data to extend its description, such as (...) attributes generation and attribute selection. There is also the idea of decision trees with a region rule. In this paper, we consider two approaches, i.e., decision trees with a region rule allowing multiple attributes, and a pre-processing method of a region rule to enabling any suitable number of attributes to correspond to branch nodes, where an optimal division condition with arbitrarily multiple attributes is acquired. By using this method, we propose a new decision tree generation algorithm guaranteeing to select effective compound attributes with each branch node, where an MDL-based new evaluation criterion is also defined for determining the optimal number of compound attributes specified to each node.This algorithm is applied to datasets containing only nominal values. It consists of three processes: compound attributes selection, parent node integration, and pruning. We call this new decision trees DTMACC (Decision Trees with Multiple Attributes Concept Clustering). The effectiveness and comprehensiveness of the proposed algorithm are confirmed through experiments comparing to the ordinary decision trees and an effective pre-processing method. (shrink)

The vestibulo-ocular reflex plays an important role in controlling the gaze at a visual target. Although patients with vestibular hypofunction aim to improve their VOR function, some retain dysfunction for a long time. Previous studies have explored the effects of direct current stimulation on vestibular function; however, the effects of random noise stimulation on eye–head coordination have not previously been tested. Therefore, we aimed to clarify the effects of high frequency noisy vestibular stimulation on eye–head coordination related to VOR function. (...) Thirteen healthy young adult participants with no serious disease took part in our study. The current amplitude and density used were 0.4 mA and 0.2 mA/cm2, respectively, with a random noise frequency of 100–640 Hz. The electrodes were located on both mastoid processes. The stimulus duration and fade in/out duration were 600 and 10 s, respectively. Subjects oscillated their head horizontally, gazing at the fixation point, at 1 Hz for 30 repetitions. The coordination of eye–head movements was measured by eye-tracking and a motion capture system. Peak-to-peak angles for eye and head movement and deviation of the visual line from the fixation target revealed no significant differences between HF-nVS and sham. The lag time between the eye and head movement with HF-nVS post-stimulation was significantly shorter than that of the sham. We found that HF-nVS can reduce the lag time between eye and head movement and improve coordination, contributing to a clear retinal image. This technique could be applied as a form of VOR training for patients with vestibular hypofunction. (shrink)

Real-world walking activity is important for poststroke patients because it leads to their participation in the community and physical activity. Walking activity may be related to adaptability to different surface conditions of the ground. The purpose of this study was to clarify whether walking adaptability on an uneven surface by step is related to daily walking activity in patients after stroke. We involved 14 patients who had hemiparesis after stroke and 12 healthy controls. The poststroke patients were categorized as least (...) limited community ambulators or unlimited ambulators. For the uneven surface, the study used an artificial grass surface. The subjects repeated even surface walking and the uneven surface walking trials at least two times at a comfortable speed. We collected spatiotemporal and kinematic gait parameters on both the even and uneven surfaces using a three-dimensional motion analysis system. After we measured gait, the subjects wore an accelerometer around the waist for at least 4 days. We measured the number of steps per day using the accelerometer to evaluate walking activity. Differences in gait parameters between the even and uneven surfaces were calculated to determine how the subjects adapted to an uneven surface while walking. We examined the association between the difference in parameter measurements between the two surface properties and walking activity. Walking activity significantly and positively correlated with the difference in paretic step length under the conditions of different surface properties in the poststroke patients and step width in the healthy controls. The strategy of increasing the paretic step length, but not step width, on an uneven surface may lead to a larger base of support, which maintains stability during gait on an uneven surface in poststroke patients, resulting in an increased walking activity. Therefore, in poststroke patients, an increase in paretic step length during gait on an uneven surface might be more essential for improving walking activity. (shrink)

Categorial grammar is well-known for its elegant analysis of coordination enabled by the flexible notion of constituency it entertains. However, to date, no systematic study exists that examines whether this analysis has any obvious empirical advantage over alternative analyses of nonconstituent coordination available in phrase structure-based theories of syntax. This paper attempts precisely such a comparison. We compare the direct constituent coordination analysis of non-canonical coordinations in categorial grammar with an ellipsis-based analysis of the same phenomena in the recent HPSG (...) literature. We provide a set of empirical evidence, consisting of cases in which non-canonical coordinations interact with scopal operators of various sorts, which systematically falsifies the predictions of the latter, ‘linearization-based’ ellipsis approach to coordination. We propose an alternative analysis in a variant of categorial grammar called Hybrid Type-Logical Categorial Grammar. The proposed framework builds on both the Lambek-inspired variants of categorial grammar and a more recent line of work modelling word order via a lambda calculus for the prosodic component. The flexible syntax–semantics interface of this framework straightforwardly captures the interactions between non-canonical coordinations and scopal expressions, demonstrating the broader empirical payoff of the direct constituent coordination analysis of non-canonical coordinations pioneered by Steedman :523–568, 1985; Linguist Philos 13:207–263, 1990) and Dowty hitherto not explicitly recognized in the literature. (shrink)

Miyagawa (Games and Economics Behavior 41(2), 292–308 [2002]) provides a simple extensive game form that implements a large class of two-agent bargaining solutions in subgame-perfect equilibrium. This class includes all of the Nash, Kalai–Smorodinsky, and relative utilitarian solutions. This note extends Miyagawa’s result to multi-agent bargaining problems.

In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...) estimating the promising degrees of children using individual distribution and fitness information of population, and selecting children based on the promising degree before evaluating the fitness. Experimental results show that RCGA with Saving MGG can provide large reducing effects on 20 or 30 dimensional Sphere functions, Rosenbrock functions, ill-scaled Rosenbrock functions, and Rastrigin function. (shrink)

It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.

The concept and the logic of the political, the most notable Schmittian ideas, based on the friend/enemy distinction and his thought on political theology have been widely and critically discussed and actively appropriated with various interpretations. On the other hand, we find that there is certain definite momentum piercing through the theoretical structure of Husserl’s phenomenology in general both as a form of metaphysics and as a philosophical movement, which can also be called the political. In this circumstance, we find (...) the Schmittian logic of the political together with his idea of political theology specifically serviceable for an effective visualization of the political characteristically structured in Husserl’s system, particularly in the concepts of transcendental subjectivity and universal critique. This paper argues that Husserl’s phenomenological critical subject is fundamentally a politico-theological subject and is an attempt to show to what extent and in what way Schmitt can be strategically utilized to make manifest the politicality that we discover as something that structurally inheres in Husserlian notion of subjectivity and critique. *. (shrink)

ABSTRACT The phenomenological vision, particularly, Husserl’s idea of critique as an infinite vocational theoria and Patočka’s as an enduring programme, view Platonic logic and Socratic act as the paradigms for a normative justification of the idea of universal science and philosophy. In light of that, the Thrasymachus-Socrates debate is interpreted as a case to testify the critical power of philosophy successfully exercised over sophistic tyrannical non-philosophy. This paper criticizes the phenomenological idealization of the Socratic victory as an ethico-teleologically anticipated success (...) of philosophy and rewrites the defeat of Thrasymachus as a political failure in warring with philosophy during which Thrasymachus questions the legitimacy of the act of philosophizing to decide its legitimacy and thereby exposes the politics played out in that act. (shrink)

Young children generally learn words from other people. Recent research has shown that children can learn new actions and skills from nonhuman agents. This study examines whether young children could learn words from a robot. Preschool children were shown a video in which either a woman or a mechanical robot labeled novel objects. Then the children were asked to select the objects according to the names used in the video. The results revealed that children in the human condition were more (...) likely to select the correct objects than those in the robot condition. Nevertheless, the five-year-old children in the robot condition performed significantly better than chance level, while the four-year olds did not. Thus there is a developmental difference in children’s potential to learn words from a robot. The results contribute to our understanding of how children interact with non-human agents. Keywords: developmental cybernetics; word learning; social cognition; cognitive development. (shrink)

This study aims to explicate interviewer and candidate conversational practices in L2 job interviews as they relate to the assessment of a candidate’s qualification for a particular position. The data consisted of 27 audio-recorded job interviews for the position of student assistant in English classes at a Japanese university. The analysis of these interactional data, conducted using conversational analysis methodology, revealed that the inadequacy of a candidate’s response is constructed by means of the interviewer’s subsequent pursuit of a relevant answer (...) from the candidate. In addition, a candidate’s ability to build rapport by providing sequentially linked joke-serious responses evoked a positive evaluation from the interviewer. The findings indicate that a candidate’s understanding of expected behaviors and ability to accommodate his or her behaviors in a manner relevant to the interaction result in a positive assessment. (shrink)

Husserl’s phenomenology opens itself with a critique of positive sciences. Husserl problematizes the hardcore presupposition of positivism that the world is a definite sort of an existential totality of objects and thus it is exhaustible with empirical data and deductive-conceptual abstraction on the basis of causalspatio-temoprality. Criticizing the wholesome reduction of nature into a physical reality and the instrumentalizing of theoretical reason, he proposes transcendental phenomenology, as an ideal form of science. Self-entitled as the genuine science, the science of origin, (...) the science of all sciences, etc., it concerns itself with the matter of validity. Claiming that validating objectivity as such and the meaning of scientific objectification is something of which onlyphenomenological reflection on pure consciousness is capable and that the positivistic objectivity is and must be founded on transcendental subjectivity, Husserl radically idealistically revised the whole positivistic concept of evidence and givenness of a fact and substituted it with the phenomenological notion of apriori self-evidence and originary givenness of primordial intentional consciousness. Nevertheless, it is noticed that the absolute universal validity of positivistic objectivity was never rejected or questioned; objectivity is still in and of itself an absolute criterion of scientificity in Husserl. This paper will argue that the idealistic turn toward subjectivity takes place through factualization of transcendentality and this, by bestowing apriori apodicticity with facticity, even enhances more the supreme epistemological function of positivity. It will discuss such positivistic drive, directly bequeathed from the very cultural ethos at which phenomenological criticism targeted, as an important locomotive for Husserl’s program and point out an antinomical consequence with which it is to be faced as a consequence. (shrink)

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)

We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.

The aim of this paper is to call the attention, especially that of feminists, to the current progress in biology. It appears gender studies still confine themselves to outdated ideas of sex chromosomes like XX, XY (§10). However, science has been making progress. It no longer sticks to such matters as XX, XY. Its interest is now in Sry, a kind of gene (§11), and MIS, a kind of sex hormone (§14). Abnormalities of sex chromosomes are no longer evidence to (...) deny the biological approaches, for example. We shed light on this fact, putting gender studies in the context of chronologies of science as well (§§2-9). (shrink)

An assessment of mood or emotion is important in developing mental health measures, and facial expressions are strongly related to mood or emotion. This study thus aimed to examine the relationship between levels of negative mood and characteristics of mouth parts when moods are drawn as facial expressions on a common platform. A cross-sectional study of Japanese college freshmen was conducted, and 1,068 valid responses were analyzed. The questionnaire survey consisted of participants’ characteristics, the Profile of Mood States, and a (...) sheet of facial expression drawing, and the sheet was digitized and analyzed using an image-analysis software. Based on the total POMS score as an index of negative mood, the participants were divided into four groups: low, normal, high, and very high. Lengths of drawn lines and between both mouth corners were significantly longer, and circularity and roundness were significantly higher in the L group. With increasing levels of negative mood, significant decreasing trends were observed in these lengths. Convex downward and enclosed figures were significantly predominant in the L group, while convex upward figures were significantly predominant and a tendency toward predominance of no drawn mouths or line figures was found in the H and VH groups. Our results suggest that mood states can be significantly related to the size and figure characteristics of drawn mouths of FACED on a non-verbal common platform. That is, these findings mean that subjects with low negative mood may draw a greater and rounder mouth and figures that may be enclosed and downward convex, while subjects with a high negative mood may not draw the line, or if any, may draw the line shorter and upward convex. (shrink)

“정치적인 것” 또는 “정치적임”(the political)은 칼 슈미트 정치이론에서 핵심적 역할을 하는 개념이다. 친구와 적을 실존적으로 구분하는 것을 이 개념논리의 핵심으로 간주하고, 모든 서구 근대 국가정치이론의 권력개념의 근간을 서구신학에서 찾고 있는 슈미트의 정치신학적 사유는 많은 논란과 함께 오랫동안 널리 논의되고 다양하게 해석되어 왔다. 한편, 우리는 자칭 최고형태의 형이상학이자 철학운동의 한 형태인 후썰현상학 체계 전반을 관통하는 일종의 “구조적 정치성”이 있음을 발견한다. 특히 후썰식 현상학적 주체와 비판 개념의 형이상학적 이론구조는 “정치적”이라는 개념으로 표상되고 파악되는 특성을 분명히 보이고 있다. 이러할 때, 우리는 슈미트식 정치 개념과 (...) 논리가 우리가 후썰현상학의 형이상학적 움직임을 구조적으로 동기적으로 추동하고 있는 것으로 보고 있는 그 정치성을 드러내게 하는데 유용한 관찰과 분석의 도구적 틀을 제공할 수 있음을 본다. 이 논문은 후썰이론 전반에 걸쳐 중심적인 이론적 역할을 담당하는 현상학적 주체-원험(原驗)적 초월자 주체(transcendental ideal subject) — 에 존재론적 ․ 구조적으로 내재하고 있는 일종의 분명한 정치적성(politicality)을 가시화하고자 하며, 그 작업에서 슈미트를 어떻게 전략적으로 유용할 수 있는지 보여주고자 한다. (shrink)

La 4ème de couverture indique : "La consolidation de la IIIe République et de l’État Meiji s’appuie sur trois piliers : administration agricole, éducation publique et conscription universelle. À cet égard, l’analyse comparée de la construction de la morale politique française et japonaise au XIXe siècle est instructive, qui révèle une proximité. L’attachement égal du citoyen républicain et du sujet impérial à une sacralité, qu’elle fût « laïque » ou « théocratique », du régime politique le définissant, montre que la (...) légitimation du pouvoir ne représente pas seulement un degré de rationalité mais des modes d’intériorisation des normes, radicalement différents, qui hantent encore les formes les plus rigoureuses du nationalisme.". (shrink)

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for causal relationship) (...) in inductive logic. (shrink)

During brain development, neural precursor cells (NPCs) in different brain regions produce different types of neurons, and each of these regions plays a different role in the adult brain. Therefore, precise regionalization is essential in the early stages of brain development, and irregular regionalization has been proposed as the cause of neurodevelopmental disorders. The mechanisms underlying brain regionalization have been well studied in terms of morphogen‐induced expression of critical transcription factors for regionalization. NPC potential in different brain regions is defined (...) by chromatin structures that regulate the plasticity of gene expression. Herein, we present recent findings on the importance of chromatin structure in brain regionalization, particularly with respect to its regulation by Polycomb‐group proteins and chromatin accessibility. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

Although we often see references to Carnap’s inductive logic even in modern literatures, seemingly its confusing style has long obstructed its correct understanding. So instead of Carnap, in this paper, I devote myself to its necessary and sufficient commentary. In the beginning part (Sections 2-5), I explain why Carnap began the study of inductive logic and how he related it with our thought on probability (Sections 2-4). Therein, I trace Carnap’s thought back to Wittgenstein’s Tractatus as well (Section 5). In (...) the succeeding sections, I attempt the simplest exhibition of Carnap’s earlier system, where his original thought was thoroughly provided. For this purpose, minor concepts to which researchers have not paid attention are highlighted, for example, m-function (Section 8), in-correlation (Section 10), C-correlate (Section 10), statistical distribution (Section 12), and fitting sequence (Section 17). The climax of this paper is the proof of theorem (56). Through this theorem, we will be able to overview Carnap’s whole system. (shrink)

This article handles a series of articles written by Suzuki (2016a; 2016b; 2018), in which he put forward the anti-psychologism, a new standpoint of action theory. This standpoint, however, has lost the path Anscombe originally opened up, seemingly. Anscombe’s point (called “Anscombe’s motif” in this article) was: the agent him/herself responds, by revealing his/her original motive, to the question “Why did/do you do…?” Leaving this ground, in modern theories, one sees an unfamiliar idea like a normative reason flow into the (...) debate on human action. We review this academic environment critically in terms of Kaneko (2017), whom Suzuki criticized in one of his papers (2018). (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).