One of the central debates in the cognitive science of language has revolved around the nature of human linguistic competence. Whether syntactic competence should be characterized by abstract hierarchical structures or reduced to surface linear strings has been actively debated, but the nature of morphological competence has been insufficiently appreciated despite the parallel question in the cognitive science literature. In this paper, in order to investigate whether morphological competence should be characterized by abstract hierarchical structures, we conducted the crowdsourced acceptability (...) judgment experiment on morphologically complex words and evaluated five computational models of morphological competence against human acceptability judgments: Character Markov Models (Character), Syllable Markov Models (Syllable), Morpheme Markov Models (Morpheme), Hidden Markov Models (HMM), and Probabilistic Context-Free Grammars (PCFG). Our psycholinguistic experimentation and computational modeling demonstrated that "morphous" computational models with morpheme units outperformed "amorphous" computational models without morpheme units and, importantly, PCFG with hierarchical structures most accurately explained human acceptability judgments on several evaluation metrics, especially for morphologically complex words with nested morphological structures. Those results strongly suggest that human morphological competence should be characterized by abstract hierarchical structures internally generated by the grammar, not reduced to surface linear strings externally attested in large corpora. (shrink)

This paper examines the semantics and pragmatics of the Japanese causal connective mono. We show that the meaning of mono has three components: a causal relation, an emotive attitude toward the causing proposition, and an indication that the causal relation is of high quality. Further, we show that the latter two components are not at-issue content but expressive content. A formalization is provided in terms of the analysis of mixed content in McCready (2010). Finally, the proposal is briefly compared with (...) previous, informal, accounts of the meaning of mono. (shrink)

dai 1-kan-dai 2-satsu. Zuihitsu bu -- dai 3-satsu. Shiden, shokan bu -- dai 4-satsu. Ronben bu -- dai 5-6-satsu. Kaisetsu bu.

dai 1-satsu. Zuihitsu bu, dai I -- dai 2-satsu. Zuihitsu bu, dai II, oyobi Shibun bu -- dai 3-satsu. Kaisetsu bu, oyobi Zatsu bu -- dai 4-satsu. Kaisetsu bu, dai II, Zuihitsu bu, dai III.

General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

The purpose of this paper is phe-nomenological interpretation of the various faces of divinity in the later Heidegger and elucidation of the human comportment corresponding to this divinity. In the first chapter, I will make clear the relation between ontological difference in the sense of the later Heidegger and the primordial dimension of divinity which is called the last god and the sacred. Further, the relation between such divinity and entity as a whole will be clarified. In the second chapter, (...) I will elucidate the place of the divinities in the manifestation of entity as a whole by considering the role of the godlikes in the fourfold. When the primordial alterity of the last god should be experienced in entity as whole, which leads to the notion of the godlikes, it must confront human subject in totally asymmetrical manner. Such asymmetrical communication can be structurally made explicit by taking the concept of “discourse” in Being and Time into account. Finally, I will consider the character of human comportment called preservation with focusing on its relation to the later Heidegger’s conceptions of divinity. This will shed light on how human beings could properly appreciate the experience of what is beyond our understanding and nevertheless supporting our existence.El objetivo de la ponencia es llevar a cabo una interpretación fenomenológica de las diversas facetas de la divinidad en el Hei-degger tardío y elucidar el comportamiento humano respecto de esta divinidad. En el primer capítulo, se esclarece la relación entre la diferencia ontológica en el sentido que le da el segundo Heidegger y la dimensión primordial de la divinidad, llamada el último dios y lo sagrado. A conti-nuación, se esclarecerá la relación entre la divinidad así concebida y lo ente en totalidad. En el segundo apar-tado, se elucidará el lugar de las divinidades en la manifestación de lo ente en totalidad considerando el papel de los divinos la Cuaternidad. Cuando la alteridad primordial del último dios se experimente en lo ente en totaliadd, lo cual conduce a la noción de los divinos, tiene que enfrentarse al sujeto humano de una forma totalmente asimétrica. Esta comunicación asimétrica puede explicitarse estructuralmente mediante la consideración del concepto del discurso en Ser y tiempo. Final-mente, consideraré el carácter del comportamiento humano denominado la preservación, con especial atención a su relación con la noción de lo divino en Heidegger tardío. Esto arrojará luz sobre cómo los seres humanos podrían apreciar de manera adecuada lo que está más allá de nuestra comprensión y sin embargo, sostiene nuestra existencia. (shrink)

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

The?-admissibility is one of the most important problems in the realm of relevant logics. To prove the 7-admissibility, either the method of normal models or the method using metavaluations may be employed. The?-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the?-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This (...) paper shows that? is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations. (shrink)

This article considers social choice theory without the Pareto principle. We revisit the trade-off theorem developed by Campbell and Kelly (Econometrica 61:1355–1365, 1993) and generalize their result. By introducing an alternative measure of decisive structure, a dominance relation, we show that if a social welfare function dominates another social welfare function, then the number of pairs of alternatives which social ranking is independently of individual preferences under the former is not more than that under the latter. Moreover, we offer two (...) applications of our main result. (shrink)

A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney’s metavaluational technique.

As humans, we constantly change our movement strategies to adapt to changes in physical functions and the external environment. We have to walk very slowly in situations with a high risk of falling, such as walking on slippery ice, carrying an overflowing cup of water, or muscle weakness owing to aging or motor deficit. However, previous studies have shown that a normal gait pattern at low speeds results in reduced efficiency and stability in comparison with those at a normal speed. (...) Another possible strategy is to change the gait pattern from normal to step-to gait, in which the other foot is aligned with the first swing foot. However, the efficiency and stability of the step-to gait pattern at low speeds have not been investigated yet. Therefore, in this study, we compared the efficiency and stability of the normal and step-to gait patterns at intermediate, low, and very low speeds. Eleven healthy participants were asked to walk with a normal gait and step-to gait on a treadmill at five different speeds, ranging from very low to normal walking speed. The efficiency parameters and stability parameters were analyzed from the motion capture data and then compared for the two gait patterns. The results suggested that step-to gait had a more efficient gait pattern at very low speeds of 10–30 m/min, with a larger percent recovery, and was more stable at 10–60 m/min in comparison with a normal gait. However, the efficiency of the normal gait was better than that of the step-to gait pattern at 60 m/min. Therefore, step-to gait is effective in improving gait efficiency and stability when faced with situations that force us to walk slowly or hinder quick walking because of muscle weakness owing to aging or motor deficit along with a high risk of falling. (shrink)

Halldén completeness closely resembles the relevance property. To prove Halldén completeness in terms of Kripke-style semantics, the van Benthem–Humberstone theorem is often used. In relevant modal logics, the Halldén completeness of Meyer–Fuhrmann logics has been obtained using the van Benthem–Humberstone theorem. However, there remain a number of Halldén-incomplete relevant modal logics. This paper discusses the Halldén completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.

The admissibility of Ackermann’s rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models.

The admissibility of Ackermann's rule γ is one of the most important problems in relevant logics. The admissibility of γ was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of γ using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of γ in relevant modal logics based on (...) modern algebraic models. (shrink)

Résumé : Cet article examine un dialogue important mais peu étudié entre Sartre et le philosophe du langage Brice Parain. Les deux écrivains constatent un mal du langage, issu de la Grande Guerre de 1914-18 et de ses traumatismes que les mots proférés par les survivants sont incapables de prendre en charge. Dans ce monde « inhumain », où trouver un remède? Pour Parain et Sartre le retour à n’importe quel humanisme implique une réflexion sur le langage. A travers sa (...) lecture de Parain et ce qu’il propose, Sartre repense les bases de sa propre conception du langage d’une manière qui lui permet de développer son propre humanisme et les principes de la littérature engagée. Mais la dimension religieuse de l’argumentation de Parain, écartée par Sartre, laisse-t-elle des traces sur la conception sartrienne de l’auteur?: In this paper we examine the dialogue between Sartre and one of his contemporaries, the philosopher of language, Brice Parain. First, after clarifying what is common and different in their backgrounds, we will see that Sartre and Parain share a common belief that language itself has taken ill, as a result of the First World War, an illness for which both feel a need to find a remedy. Secondly, we will show how Sartre’s reading of Parain allowed him to construct a theory of language that is consistent with his own humanism and the principles of committed literature. Finally, we will examine the influence of the religious dimension of Parain’s argument on Sartre’s theory of authorship. (shrink)

Metacompleteness is used to prove properties such as the disjunction property and the existence property in the area of relevant logics. On the other hand, the disjunction property of several basic propositional substructural logics over FL has been proved using the cut elimination theorem of sequent calculi and algebraic characterization. The present paper shows that Meyer’s metavaluational technique and Slaney’s metavaluational technique can be applied to basic predicate intuitionistic substructural logics and basic predicate involutive substructural logics, respectively. As a corollary (...) of metacompleteness, the disjunction property, the existence property, and the admissibility of certain rules in such logics can be proved. (shrink)

This article examines whether democracy affects quality of life. Scholars have conducted surveys to investigate whether democracy is likely to lead to good quality of life. There are two contested views to the relationship: some suggest that democracy has a positive causal effect on quality of life, whereas others contend that democracy does not play such a role. Previous findings are supported by cross-national statistical analysis with aggregated survey data. However, aggregated survey data may cause ecological fallacy. Also, in order (...) to ascertain the extant research, it would be beneficial to test the hypothesis by incorporating both individual- and country-level variables. Therefore, this paper applied hierarchical modeling to investigate the regularity. Both individual-level perception of democracy and country-level political regime data were incorporated in our empirical model. Our findings suggest that individual-level satisfaction with democracy has positive causal effect on one's quality of life, whereas the country-level characteristic of the political regime has no effect. (shrink)

ObjectiveNoisy galvanic vestibular stimulation (nGVS) is often used to improve postural stability in disorders, such as neurorehabilitation montage. For the safe use of nGVS, we investigated whether arterial pressure (AP) and heart rate vary during static supine and slow whole-body tilt with random nGVS (0.4 mA, 0.1–640 Hz, gaussian distribution) in a healthy elderly population.MethodsThis study was conducted with a double-blind, sham-controlled, cross-over design. Seventeen healthy older adults were recruited. They were asked to maintain a static supine position on a (...) bed for 10 min, and the bed was tilted up (TU) to 70 degrees within 30 s. After maintaining this position for 3 min, the bed was passively tilted down (TD) within 30 s. Real-nGVS or sham-nGVS was applied from 4 to 15 min. The time course of mean arterial pressure (MAP) and RR interval variability (RRIV) were analyzed to estimate the autonomic nervous activity.ResultnGVS and/or time, including pre-/post-event (nGVS-start, TU, and TD), had no impact on MAP and RRIV-related parameters. Further, there was no evidence supporting the argument that nGVS induces pain, vertigo/dizziness, and uncomfortable feeling.ConclusionnGVS may not affect the AP and RRIV during static position and whole-body tilting or cause pain, vertigo/dizziness, and discomfort in the elderly. (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)

Functional electrical stimulation (FES), a method for inducing muscle contraction, has been successfully used in gait rehabilitation for patients with deficits after neurological disorders and several clinical studies have found that it can improve gait function after stroke and spinal cord injury. However, FES gait training is not suitable for patients with walking difficulty, such as those with severe motor paralysis of the lower limbs. We have previously shown that action observation combined with motor imagery (AO + MI) of walking (...) induces walking-related cortical activity. Therefore, we combined FES, which alternately generates dorsiflexion and plantar flexion, with AO + MI as an alternative to gait training. The present study investigates the transient effects of 20-min of FES simultaneously with and without AO + MI of walking on corticospinal and spinal reflex excitability in able-bodied participants. We measured motor evoked potentials and Hoffmann-reflexes to assess corticospinal and spinal reflex excitability at rest before and after the 20-min FES with and without the AO + MI. Our results show that FES without AO + MI did not change excitability (p > 0.05), while FES with AO + MI facilitated corticospinal excitability (p < 0.05). This facilitation likely occurred due to the synchronization of sensory inputs from FES and cortical activity during AO + MI. Facilitation was observed only in the dorsiflexor but not the plantar flexor muscle (p < 0.05), suggesting muscle specificity of the facilitation. These results demonstrate the effectiveness of combining FES with AO + MI and pave the way for novel neurorehabilitation strategies for patients with neurological gait deficits. (shrink)