Synchronized movements with external periodic rhythms, such as dancing to a beat, are commonly observed in daily life. Although it has been well established that some vocal learning species (including parrots and humans) spontaneously develop this ability, it has only recently been shown that monkeys are also capable of predictive and tempo-flexible synchronization to periodic stimuli. In our previous study, monkeys were trained to make predictive saccades for alternately presented visual stimuli at fixed stimulus onset asynchronies (SOAs) to obtain a (...) liquid reward. The monkeys generalized predictive synchronization to novel SOAs in the middle of trained range, suggesting a capacity for tempo-flexible synchronization. However, it is possible that when encountering a novel tempo, the monkeys might sample learned saccade sequences from those for the short and long SOAs so that the mean saccade interval matched the untrained SOA. To eliminate this possibility, in the current study we tested monkeys on novel SOAs outside the trained range. Animals were trained to generate synchronized eye movements for 600 and 900-ms SOAs for a few weeks, and then were tested for longer SOAs. The accuracy and precision of predictive saccades for one untrained SOA (1200 ms) were comparable to those for the trained conditions. On the other hand, the variance of predictive saccade latency and the proportion of reactive saccades increased significantly in the longer SOA conditions (1800 and 2400 ms), indicating that temporal prediction of periodic stimuli was difficult in this range, similar to previous results on synchronized tapping in humans. Our results suggest that monkeys might share similar synchronization mechanisms with humans, which can be subject to physiological examination in future studies. (shrink)

In April 1991, a general meeting of the Japanese Medical Conference was held in Kyoto and attracted 32,500 participants, the largest number ever. The theme of the meeting was “Medicine and Health Care in Transition,” and the program Included panel discussions on “How to Promote the Quality of Health Care” and “How Terminal Care Should Be Provided” and symposia on “Diagnosis of Brain Death and Its Problems,” “The Propriety of Organ Transplantation,” and “Brain Death and Organ Transplantation.” These titles reveal (...) not only how medical professionals in Japan perceive the present situatior healthcare but also the Issues that most concern them. (shrink)

This paper describes the situation of philosophy in Japan with respect to the question of internationalism. For more than a hundred years, Japan took Western culture as its model and European philosophy as the authentic philosophy. This tendency was paradoxically strengthened by the post‐war humanism. It gave us Japanese philosophers a clear discipline to work in but cut us off from our own native culture, history, and philosophical traditions. In wishing to recover this loss, I argue that it is necessary (...) to distinguish between two forms of internationalism: humanistic and merely fashionable. The latter in fact derives from domestic reasons. (shrink)

James Mill's views on peace and war have yet to be examined in detail. Only a few scholars have paid any attention to this aspect of his thought. Edmund Silberner was the first to give any extensive account of Mill's opposition to war and his proposals for universal peace, but chiefly from an economic point of view. He rightly pointed out that Mill's opposition to war was grounded mainly on his belief that war always obstructs the progress of national wealth, (...) and also that Mill regarded the acquisition and possession of colonies as one of the major causes of war. F. H. Kinsley summed up the leading ideas of Mill's article on the ‘Law of Nations’, but only to show how far Bentham influenced Mill's thinking in this specific area. (shrink)

The simple substitution property provides a systematic and easy method for proving a theorem by an axiomatic way. The notion of the property was introduced in Hosoi [4] but without a definite name and he showed three examples of the axioms with the property. Later, the property was given it's name as above in Sasaki [7].Our main result here is that the necessary and sufficient condition for a logicL on a finite slice to have the simple substitution property is (...) thatL is finite. Here the necessity part is essentially new, for the sufficiency part has been proved in Hosoi and Sasaki [5]. Also the proof of sufficiency part is improved here. (shrink)

Examining the interconnections between genes and culture is crucial for a more complete understanding of psychological processes. Genetic predispositions may predict different outcomes depending on one's cultural context, and culture may predict different outcomes depending on genetic predispositions - that is, genes and culture interact. Less is understood, however, about how genes and culture interact, or the psychological mechanisms through which gene–culture interactions occur. In this Element, Joni Y. Sasaki and Heewon Kwon review key findings and theories in gene–culture (...) interaction research. They then go on to discuss current issues and future directions in gene–culture research that may illuminate the path toward an explanatory framework. (shrink)

0 From Sansui to Keshiki My subject here is the nature of landscape. The word “landscape” is to be understood in what follows in the aesthetic sense: I wish to clarify what we experience in landscape as a typical scene of natural beauty. For most people, the nature of this experience may be so transparent that its analysis is superfluous. I don’t, however, find the matter so straightforward. The fact that “a landscape” can also signify a landscape painting would seem (...) to indicate that landscap... (shrink)

The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate prepositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many valued logics S' n defined in Gödel [3] and prove the simple substitution property for them. In our former paper [9], we proved that the sets of axioms composed of one prepositional variable do not have (...) the property except two of them. Here we provide another proof for this theorem. (shrink)

The idea of interpretability logics arose in Visser [Vis90]. He introduced the logics as extensions of the provability logic GLwith a binary modality. The arithmetic realization of A B in a theory T will be that T plus the realization of B is interpretable in T plus the realization of A. More precisely, there exists a function f on the formulas of the language of T such that T + B C implies T + A f.The interpretability logics were considered (...) in several papers. An arithmetic completeness of the interpretability logic ILM, obtained by adding Montagna ''s axiom to the smallest interpretability logic IL, was proved in Berarducci [Ber90] and Shavrukov [Sha88]. [Vis90] proved that the interpretability logic ILP, an extension of IL, is also complete for another arithmetic interpretation. The completeness with respect to Kripke semantics due to Veltman was, for IL, ILMand ILP, proved in de Jongh and Veltman [JV90]. The fixed point theorem of GLcan be extended to ILand hence ILMand ILP. The unary pendant "T interprets T + A" is much less expressive and was studied in de Rijke [Rij92]. For an overview of interpretability logic, see Visser [Vis97], and Japaridze and de Jongh [JJ98]. (shrink)

In this paper, we discuss semantical properties of the logic $\textbf{GL}$ of provability. The logic $\textbf{GL}$ is a normal modal logic which is axiomatized by the the Löb formula $\Box (\Box p\supset p)\supset \Box p$, but it is known that $\textbf{GL}$ can also be axiomatized by an axiom $\Box p\supset \Box \Box p$ and an $\omega$ -rule $(\Diamond ^{*})$ which takes countably many premises $\phi \supset \Diamond ^{n}\top$ $(n\in \omega )$ and returns a conclusion \(\phi \supset (...) \bot \). We show that the class of transitive Kripke frames which validates $(\Diamond ^{*})$ and the class of transitive Kripke frames which strongly validates $(\Diamond ^{*})$ are equal, and that the following three classes of transitive Kripke frames, the class which validates $(\Diamond ^{*})$, the class which weakly validates $(\Diamond ^{*})$, and the class which is defined by the Löb formula, are mutually different, while all of them characterize $\textbf{GL}$. This gives an example of a proof system _P_ and a class _C_ of Kripke frames such that _P_ is sound and complete with respect to _C_ but the soundness cannot be proved by simple induction on the height of the derivations in _P_. We also show Kripke completeness of the proof system with $(\Diamond ^{*})$ in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations $\Box x\le \Box \Box x$ and $\bigwedge _{n\in \omega }\Diamond ^{n}1=0$ is not a variety. (shrink)

In this paper, we discuss semantical properties of the logic $\textbf{GL}$ of provability. The logic $\textbf{GL}$ is a normal modal logic which is axiomatized by the the Löb formula $\Box (\Box p\supset p)\supset \Box p$, but it is known that $\textbf{GL}$ can also be axiomatized by an axiom $\Box p\supset \Box \Box p$ and an $\omega$ -rule $(\Diamond ^{*})$ which takes countably many premises $\phi \supset \Diamond ^{n}\top$ $(n\in \omega )$ and returns a conclusion \(\phi \supset (...) \bot \). We show that the class of transitive Kripke frames which validates $(\Diamond ^{*})$ and the class of transitive Kripke frames which strongly validates $(\Diamond ^{*})$ are equal, and that the following three classes of transitive Kripke frames, the class which validates $(\Diamond ^{*})$, the class which weakly validates $(\Diamond ^{*})$, and the class which is defined by the Löb formula, are mutually different, while all of them characterize $\textbf{GL}$. This gives an example of a proof system _P_ and a class _C_ of Kripke frames such that _P_ is sound and complete with respect to _C_ but the soundness cannot be proved by simple induction on the height of the derivations in _P_. We also show Kripke completeness of the proof system with $(\Diamond ^{*})$ in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations $\Box x\le \Box \Box x$ and $\bigwedge _{n\in \omega }\Diamond ^{n}1=0$ is not a variety. (shrink)

1. Kō to shi no shisōshi -- 2. Kō to shi no shakai kagaku -- 3. Nihon ni okeru kō to shi -- 4. Ō-Bei ni okeru kō to shi -- 5. Kokka to ningen to kōkyōsei -- 6. Keizai kara mita kōshi mondai -- 7. Chūkan shūdan ga hiraku kōkyōsei -- 8. Kagaku gijutsu to kōkyōsei -- 9. chikyū kankyō to kōkyōsei -- 10. 21-seiki kōkyō tetsugaku no chihei -- 14. Rīdāshippu kara kangaeru kōkyōsei.

The traditional debate over theories of reference of natural kind terms faces a serious dilemma. On the one hand, although direct reference theory, or the causal–historical analysis of reference to natural kinds, is still highly influential in the philosophy of language, there is a notorious “qua” problem: direct reference theory cannot uniquely determine the referents of natural kind terms. On the other hand, the standard descriptivism does not accommodate our externalist intuition. We propose temporal externalist descriptivism, where relevant future theorists (...) determine references by past speakers. This position makes the externalist intuition about reference compatible with descriptivism about natural kind terms by ensuring the possibility of mistakes in the past and present practice. It also provides a defense of the controversial claim of temporal externalism based on a descriptivist analysis of reference. While causal–historical analysis focuses on inheritance through history, a reference has both a past and a future. In this sense, reference to natural kinds is essentially a provisional phenomenon. (shrink)

Using anthropological theory, this paper examines human–android interactions (HAI) as an emerging aspect of android science. These interactions are described in terms of adaptive learning (which is largely subconscious). This article is based on the observations reported and supplementary data from two studies that took place in Japan with a teleoperated android robot called Telenoid in the socialization of school children and older adults. We argue that interacting with androids brings about a special context, an interval, and a space/time for (...) reflection and imagination that was not there before. During the interaction something happens. There is adaptive learning and as a result, both children and older adults accepted Telenoid, and the children and older adults accepted each other. Using frames of play and ritual, we make sense and ‘capture’ moments of adaptive learning, and the feedback that elicits a social response from all study participants that results in self-efficacy and socialization. While “ritual” refers to the application of what has been learned and “play” means that there are no obvious consequences of what has been learned. This analysis illuminates new understanding about the uncanny valley, cultural robotics and the therapeutic potential of HAI. This has implications for the acceptance of androids in ‘socialized roles’ and gives us insight into the subconscious adaptive learning processes that must take place within humans to accept androids into our society. This approach aims to provides a clearer conceptual basis and vocabulary for further research of android and humanoid development. (shrink)

We introduce a Gentzen style formulation of Basic Propositional Calculus(BPC), the logic that is interpreted in Kripke models similarly tointuitionistic logic except that the accessibility relation of eachmodel is not necessarily reflexive. The formulation is presented as adual-context style system, in which the left hand side of a sequent isdivided into two parts. Giving an interpretation of the sequents inKripke models, we show the soundness and completeness of the system withrespect to the class of Kripke models. The cut-elimination theorem isproved (...) in a syntactic way by modifying Gentzen's method. Thisdual-context style system exemplifies the effectiveness of dual-contextformulation in formalizing various non-classical logics. (shrink)

Objective:This study aimed to investigate the effect of robot-assisted gait training therapy combined with non-invasive brain stimulation on lower limb function in patients with stroke and spinal cord injury.Data sourcesPubMed, Cochrane Central Register of Controlled Trials, Ovid MEDLINE, and Web of Science were searched.Study selectionRandomized controlled trials published as of 3 March 2021. RCTs evaluating RAGT combined with NIBS, such as transcranial direct current stimulation and repetitive transcranial magnetic stimulation, for lower limb function and activities in patients with stroke and (...) SCI were included.Data extractionTwo reviewers independently screened the records, extracted the data, and assessed the risk of bias.Data synthesisA meta-analysis of five studies and risk of bias were conducted. Pooled estimates demonstrated that RAGT combined with NIBS significantly improved lower limb function [standardized mean difference = 0.52; 95% confidence interval = 0.06–0.99] but not lower limb activities. Subgroup analyses also failed to find a greater improvement in lower limb function of RAGT with tDCS compared to sham stimulation. No significant differences between participant characteristics or types of NIBS were observed.ConclusionThis meta-analysis demonstrated that RAGT therapy in combination with NIBS was effective in patients with stroke and SCI. However, a greater improvement in lower limb function and activities were not observed using RAGT with tDCS compared to sham stimulation. (shrink)

Hobbs (2010) introduced ‘clause-internal coherence’ (CIC) to describe inferences in, e.g., ‘A jogger was hit by a car,’ where the jogging is understood to have led to the car-hitting. Cohen & Kehler (2021) argue that well-known pragmatic tools cannot account for CIC, motivating an enrichment account familiar from discourse coherence research. An outstanding question is how to compositionally derive CIC from coherence relations. This paper takes strides in answering this question. It first provides experimental support for the existence of CIC (...) via offline evidence that attributive (non-)deverbal adjectives can trigger the same causal inferences within clauses that their predicative counterparts can trigger across clauses, albeit more weakly. To explain the experimental results, we use tools in Segmented Discourse Representation Theory (SDRT), which allows us to show that causal inferences can be derived in various ways, depending on whether deverbal adjectives are used attributively or predicatively. If the former, they are presupposition triggers and the coherence relations Elaboration/Continuation compete with Background; if the latter, Explanation/Result compete with Background. These different competitions -- cashed out in terms of interaction between default axioms -- correlate with the difference in the relative salience of the causal inferences. (shrink)

Volume 20, Issue 8, August 2020, Page 32-36.

Here, we provide a detailed description of the mutual relation of formulas with finite propositional variables p1, …, pm in modal logic S4. Our description contains more information on S4 than those given in Shehtman (1978) and Moss (2007); however, Shehtman (1978) also treated Grzegorczyk logic and Moss (2007) treated many other normal modal logics. Specifically, we construct normal forms, which behave like the principal conjunctive normal forms in the classical propositional logic. The results include finite and effective methods to (...) find a normal form equivalent to a given formula A by clarifying the behavior of connectives and giving a finite method to list all exact models. (shrink)