Some of the basic substructural logics are shown by Ono to have the disjunction property (DP) by using cut elimination of sequent calculi for these logics. On the other hand, this syntactic method works only for a limited number of substructural logics. Here we show that Maksimova's criterion on the DP of superintuitionistic logics can be naturally extended to one on the DP of substructural logics over FL. By using this, we show the DP for some of the substructural logics (...) for which syntactic methods don't work well. (shrink)

Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.

現代の物質像の根本的変容に対し、アリストテレス以来の実体主義を洗練、実在の本性に迫る包括的形而上学理論の構築。.

文明批評家・土田杏村の初期の論説の他、多岐にわたる主題をとおして、人文科学の黎明を考究した画期的な日本思想史研究。.

La présente étude examine comment les intellectuels japonais tentèrent d’introduire l’utilitarisme lors du premier stade d’un processus de modernisation dans la seconde moitié du XIXe siècle. Elle décrit les efforts significatifs qu’ils consacrèrent à la traduction des œuvres ou des textes de Bentham et de Mill en créant de nombreux mots japonais nouveaux. Car, jusqu’à la fin de la société agraire quasi féodale du shogunat Tokugawa, il n’y avait quasiment pas eu de concepts équivalents pour des notions telles que l’individu, (...) la liberté, le droit, la démocratie, par exemple. La Restauration de Meiji de 1868, au premier abord, suggère par son nom une restauration de l’ancien régime ; mais en réalité c’était l’inverse, car il s’agissait d’un tournant décisif pour le Japon, dont le but était d’établir une nouvelle société industrielle moderne. La présente recherche fournit tout d’abord une liste chronologique des traductions des œuvres de Bentham et Mill réalisées au cours des deux premières décennies après la Restauration. Ensuite, elle évalue la précision et la validité du résultat de la traduction, en prenant comme exemple le premier paragraphe de l’Introduction aux Principes de la Morale et de la Législation. En troisième lieu, elle examine dans quelle mesure les intellectuels japonais de cette époque comprirent l’utilitarisme dans le processus de création des nouvelles traductions en japonais. Ce processus était issu de la tradition consistant à créer différents concepts japonais uniques, sous forme de mots composés de caractères hiéroglyphiques chinois, ancrés profondément dans l’influence culturelle du confucianisme qui domina longtemps à partir du VIe siècle. Enfin, la présente étude évalue comment les premières présentations de Bentham et Mill influencèrent la génération suivante d’intellectuels japonais. Ce résultat peut expliquer dans une certaine mesure pourquoi le Japon ne compte démographiquement que 0,8 % de chrétiens, et pourquoi la société japonaise est fondamentalement laïque et tournée vers le succès économique. (shrink)

The Drosophila compound eye is an excellent experimental system for analysing fate induction of identifiable single cells. Each ommatidium, a unit eye, contains eight photoreceptors (R1‐R8), and the differentiation of these photoreceptors occurs in the larval eye imaginal disc in discrete steps: first R8 is determined, then R2/R5, R3/R4, R1/R6 and finally R7. Induction of R7, in particular, has been extensively studied at the molecular level. The R8 photoreceptor presents on its surface a ligand, Bride of Sevenless, that binds and (...) activates Sevenless receptor tyrosine kinase in the R7 precursor. Autophosphorylated Sevenless initiates a Ras1‐mediated cascade, which eventually activates transcription factors in the nucleus via Raf1 and MAP kinases, resulting in R7 development. However, recent studies indicate that Sevenless (Sev) functions just to neuralize the cell and has no role in R7 fate determination per se. It appears that the R7 fate may represent the lowest rung of a ‘neuronal ground state’, which is attained without any specific inductive cue. It is plausible that the R7 precursor is actively prevented from taking on the neuronal fate and this inhibition is removed by activation of Sev. (shrink)

1-kan. Geijutsuteki rōdō no shakaigaku -- 2-kan. Geijutsuteki sōzō no riron.

Actions shape what we see and memorize. A previous study suggested the interaction between motor and memory systems by showing that memory encoding for task-irrelevant items was enhanced when presented with motor-response cues. However, in the studies on the attentional boost effect, it has been revealed that detection of the target stimulus can lead to memory enhancement without requiring overt action. Thus, the direct link between the action and memory remains unclear. To exclude the effect of the target detection process (...) as a potential confounder, this study assessed the benefit of action for memory by separating items from the response cue in time. In our pre-registered online experiment, participants responded to visual Go cues by pressing a key or counting while ignoring No-go cues. In each trial, two task-irrelevant images were sequentially presented after the cue disappearance. After encoding the Go/No-go tasks, participants performed a surprise recognition memory test for those images. Importantly, we quantified the impact of overt execution of the action by comparing memories with and without motor response and the impact of covert motor processes by comparing memory between the motor and cognitive tasks. The results showed no memory differences between Go and No-go trials in the motor task. This means that the execution itself was not critical for memory enhancement. However, the memory performance in the motor No-go trials was higher than that in the cognitive No-go trials, only for the items presented away from the cues in time. Therefore, engaging the motor task itself could increase incidental memory for the task-irrelevant items compared to a passive viewing situation. We added empirical evidence on the online interaction between action and memory encoding. These memory advantages could be especially brought in action preparation and planning. We believe this fact may expand our present understanding of everyday memory, such as active learning. (shrink)

For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over and the core model . We use our results to answer open questions from set theory of the reals.

Despite the police preventing special fraud victimisation of older adults, both the number of cases and the amount of damage have remained high in Japan. ‘Special fraud’, in Japan, is a crime in which victims are tricked by fraudsters who through phone or postcards impersonate the victims’ relatives, employees and other associates, to dupe the victims of their cash or other valuables. The number of recognised cases of special fraud has been turned to increase in 2021. Although police or consumer (...) affairs administrations have been conducting all-encompassing enlightenment or public education for prevention, it is also necessary to reach out to those who are vulnerable to fraud. In this study, we determine the psychosocial characteristics of victims of special fraud in Japanese older adults. We analysed the age, gender, education, residential status, household satisfaction, risk perception and scam vulnerability scale of 56 older adults aged 60 years or older who had been victims of special fraud and 99 older adults aged 60 years or older who had never been victims of special fraud. The study found that the victimised older adults were more likely to be females who live alone and go out less frequently than the non-victimised older adults. The total scores of the scam vulnerability scale were higher among the elderly victims of special fraud compared to those who had never been scammed, suggesting that the psychosocial characteristics of victims of special fraud among older adults are being female, living alone, going out infrequently, having high confidence against fraud victimisation and responding quickly to phone calls and unknown visitors. Therefore, government agencies or family members should take care of older women who meet these characteristics to reduce their contact with fraudsters. (shrink)

The involvement of nitric oxide in cerebellar long-term depression is supported by the observation that nitric oxide is released by climbing fiber stimulation and by pharmacological tool usage. Two forms of long-term depression should be distinguished by their physiological relevance. [CRÉPEL et al.; LINDEN; VINCENT].

As a criterion of a good firm, a lucrative and growing business has been said to be important. Recently, however, high profitability and high growth potential are insufficient for the criteria, because social influences exerted by recent firms have been extremely significant. In this paper, high social relationship is added to the list of the criteria. Empirical corporate social performance versus corporate financial performance (CSP–CFP) relationship studies that consider social relationship are very limited in Japan, and there are no definite (...) conclusions for the studies in the world, because of scant data and the inappropriate methods, especially for supporting linear hypothesis which these studies are based on. In this paper, the CSP–CFP relationship is analyzed by an artificial neural networks model, which can deal with a non-linear relationship, using 10-year follow-up survey data. (shrink)

In this study, we discuss the psychological acceptability of an utterance strategy used by the Driving Support Agent. Previous literature regarding DSA suggests that the adoption of a small robot as a form will increase acceptability. However, the agent’s utterance has been reported as a problem faced by the user. Therefore, in this study, we designed the agent’s utterance using politeness strategy as described by Brown and Levinson’s famous sociolinguistics and pragmatics theory and analyzed its acceptability through a participant-based experiment. (...) In this experiment, we used positive and negative politeness strategies. In general, PPS is utilized to reflect the desire to be liked/recognized by others, whereas NPS is utilized to reflect the need for not wanting to be disturbed by others. Based on our results, PPS was rated high compared to NPS. Therefore, many participants highly evaluated PPS. However, there was a group of participants who appreciated NPS. There were also participants who evaluated the two strategies equally. The number of participants in these three groups was observed at 4:1:1. This result contributes as an index on the utterance design of the DSA. (shrink)

This article presents research on robot therapy for elderly residents in a care house. Experiments were conducted from June 2005, lasting more than 2 months. Two therapeutic baby seal robots were introduced to the residents, and activated for over 9 hours daily. To investigate the psychological and social effects of the robots, the residents’ activities in public areas were recorded using video cameras, during the daytime for over 2 months. In addition, urinalysis of the residents was performed for 17-ketosteroid sulfate (...) and 17-hydroxycorticosteroid. Results of the video analysis indicated that social interaction increased through interaction with the seal robots. Results of the urine tests showed that the reactions of the subjects’ vital organs to stress improved after the introduction of the robots. (shrink)

In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its (...) validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic. (shrink)

The purpose of this paper is to investigate the relationship between collective rationality and permissible collective choice rules using a unified approach inspired by Bossert and Suzumura (J Econ Theory 138:311–320, 2008). We consider collective choice rules satisfying four axioms: unrestricted domain, strong Pareto, anonymity, and neutrality. A number of new classes of collective choice rules as well as the Pareto and Pareto extension rules are characterized under various concepts of collective rationality: acyclicity, transitivity, quasi-transitivity, semi-transitivity, and the interval order (...) property. Further, new concepts of collective rationality, K-term acyclicity and K-term consistency, are proposed and the corresponding characterizations are provided. (shrink)

Besides sensory characteristics of food, food-evoked emotion is a crucial factor in predicting consumer’s food preference and therefore in developing new products. Many measures have been developed to assess food-evoked emotions. The aim of this literature review is (i) to give an exhaustive overview of measures used in current research and (ii) to categorize these methods along measurement level (physiological, behavioral, and cognitive) and emotional processing level (unconscious sensory, perceptual / early cognitive, and conscious / decision making) level. This 3x3 (...) categorization may help researchers to compile a set of complementary measures (‘toolbox’) for their studies. We included 101 peer-reviewed articles that evaluate consumer’s emotions and were published between 1997 to 2016, providing us with 59 different measures. More than 60% of these measures are based on self-reported, subjective ratings and questionnaires (cognitive measurement level) and assess the conscious / decision-making level of emotional processing. This multitude of measures and their overrepresentation in a single category hinders the comparison of results across studies and building a complete multi-faceted picture of food-evoked emotions. We recommend (1) to use widely applied, validated measures only, (2) to refrain from using (highly correlated) measures from the same category but use measures from different categories instead, preferably covering all three emotional processing levels, and (3) to acquire and share simultaneously collected physiological, behavioral, and cognitive datasets to improve the predictive power of food choice and other models. (shrink)

This paper considers methodological issues of awareness during adult second language acquisition. Specifically, the paper deals with the issue of instructional orientations, the issue of biases in knowledge measurement, and the issue of reactivity in the online think-aloud protocol. Detailed reviews of prominent SLA research that has investigated the possibility of implicit SLA reveal that the instruction on implicit learning does not guarantee that learners engage in the implicit learning mode, that the majority of SLA research has employed only tests (...) of “explicit learning” such as untimed grammaticality judgment, and that there is some evidence that the online think-aloud protocol causes negative reactivity particularly when it is metalinguistic in nature. (shrink)

Methodological problems of how awareness during learning should be measured have been extensively discussed and investigated in cognitive psychology. This review considers; 1)whether amnesics can perform implicit learning tasks at a similar level to normal controls, 2) whether differences in instructional orientations create dissociations in performance in tests of implicit and explicit knowledge, and 3) whether participants can retrospectively verbalise the learning outcomes. The paper concludes that; amnesics’ implicit learning abilities differ from the normal controls, instructions on implicit learning do (...) not guarantee the occurrence of implicit learning, and objective and subjective awareness measures used in the literature face inherent problems and so the awareness controversy remains unsettled. (shrink)

We study various classes of maximality principles, \\), introduced by Hamkins :527–550, 2003), where \ defines a class of forcing posets and \ is an infinite cardinal. We explore the consistency strength and the relationship of \\) with various forcing axioms when \. In particular, we give a characterization of bounded forcing axioms for a class of forcings \ in terms of maximality principles MP\\) for \ formulas. A significant part of the paper is devoted to studying the principle MP\\) (...) where \ and \ defines the class of stationary set preserving forcings. We show that MP\\) has high consistency strength; on the other hand, if \ defines the class of proper forcings or semi-proper forcings, then by Hamkins, MP\\) is consistent relative to \. (shrink)