Aphasia is a language disorder that occurs after a stroke and impairs listening, speaking, reading, writing, and calculation skills. Patients with post-stroke aphasia in Japan are increasing due to population aging and the advancement of medical treatment. Opportunities for adequate speech therapy in chronic stroke are limited due to time constraints. Recent studies have reported that intensive speech therapy for a short period of time or continuous speech therapy using high-tech equipment, including speech applications (apps, can improve aphasia even in (...) the chronic stage. However, its underlying mechanism for improving language function and its effect on other cognitive functions remains unclear. In the present study, we investigated whether intensive speech therapy using a newly developed speech support app could improve aphasia and other cognitive functions in patients with chronic stroke. Furthermore, we examined whether it can alter the brain network related to language and other cortical areas. Thus, we conducted a prospective, single-comparison study to examine the effects of a new speech support app on language and cognitive functions and used resting state functional MRI (rs-fMRI) regions of interest (ROI) to ROI analysis to determine changes in the related brain network. Two patients with chronic stroke participated in this study. They used the independent speech therapy system to perform eight sets of 20 randomly presented words/time (taking approximately 20 min), for 8 consecutive weeks. Their language, higher cognitive functions including attention function, and rs-fMRI, were evaluated before and after the rehabilitation intervention using the speech support app. Both patients had improved pronunciation, daily conversational situations, and attention. The rs-fMRI analysis showed increased functional connectivity of brain regions associated with language and attention related areas. Our results show that intensive speech therapy using this speech support app can improve language and attention functions even in the chronic stage of stroke, and may be a useful tool for patients with aphasia. In the future, we will conduct longitudinal studies with larger numbers of patients, which we hope will continue the trends seen in the current study, and provide even stronger evidence for the usefulness of this new speech support app. (shrink)

In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.

An autonomous agent in the real world should learn its own sensor-motor coordination through interactions with the environment; otherwise the behaviors can not be grounded and they can easily be inappropriate in the variety of the environment. The sensor-motor signals are usually complex time sequence, therefore the cognitive action system of the agent has to handle them.In this paper, we propose a computational model of the cognitive action system that consists of a sensor space HMM-SOM, a motor space HMM-SOM and (...) connection mapping between the two HMM-SOMs. A HMM-SOM can be recognized as a set of HMMs that are placed in a SOM space. It can model a set of complex time series signal in a self-organizing manner.We apply this HMM-SOM based cognitive action system on vision-motion and auditory-articulation signals. The experimental results show that this system is basically capable of constructing sensor-motor coordination structure in a self-organizing manner, handling complex time series signals. (shrink)

The present work, which was inspired by Kripke and McCarthy, is about a non-classical predicate logic system containing a truth predicate symbol. In this system, each sentence A is referred to not by a Gödel number but by its quotation name 'A'.

This paper presents what the authors call the ‘divergence problem’ regarding choosing between different future possibilities. As is discussed in the first half, the central issue of the problem is the difficulty of temporally locating the ‘active cause’ on the modal divergent diagram. In the second half of this paper, we discuss the ‘second-person freedom’ which is, strictly, neither compatibilist negative freedom nor incompatibilist positive freedom. The divergence problem leads us to two hypothetical views (i.e. the view of single-line determination (...) and that of one-off chance), and these views bring humans closer to the afree side – i.e. outside of the contrast between being free and being unfree. The afree side is greatly different from the ordinary human side. This paper tries to secure the second-person freedom as a substitute for the ordinary human freedom while preventing the divergence problem from arising. (shrink)

McTaggart has an insight that changes of property rely on changes of tense (McTaggart 1908). As I show in this paper, he fails to define A-series as a series for changes of tense, and therefore his proof for the unreality of time is unsuccessful. A-series found in the proof is reduced to a number of mere indexicals of time, and this reduction is pushed forward in Dummett's defense. My aim in this paper is not only to check the validity of (...) their arguments but to investigate invincible difficulties faced in defining changes of tense. The latter is my main aim, and the former is a preliminary argument for it. (shrink)

Achilles need not catch the tortoise, although Achilles is faster than the tortoise. Zeno's premise does not determine whether Achilles can catch up. In this paper, I clarify this fact through a critical examination of Noya (2005), which criticizes Aoyama (2002) and Uemura (2002). Noya's solution smuggles the unnecessary premise of equal ratio to make Achilles catch up. However, his solution gives a new idea about what speed is. In the last part of this paper, I develop this idea (...) and explain the reason why Achilles usually catches up in the actual world. (shrink)

多くの可能性から唯一の現実が選択されるという図式は正しいのか。この問いを糸口に、自由とは何かという哲学の難問に驚きの解を示す。.

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems.

The idea that similar selective processes operate in gene-based evolution, immunology, and operant psychology provides an intuitively appealing metaphor. This idea also isolates questions that operant psychologists should ask and makes some empirical predictions. However, the idea currently lacks the detail needed to precisely separate it from some plausible alternatives. This sort of thinking is the kind that operant psychologists should do if operant theorizing is to survive the competition among ideas.

Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic provided (...) with the basic implication, which corresponds to complete ortholattices, and then formulate a quantum logic which is equivalent to QL, by using a modal operator instead of the basic implication. (shrink)