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)

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)

This paper addresses some problems related to the relation of truthmaking, especially those concerning its necessity, adopting an essentialist point of view and focusing on the nature of truthbearers. According to the orthodox view in truthmaker theory, the relation of truthmaking is necessary in some sense. Thus, an important question involves how the relation of truthmaking is made necessary. I adopt a version of Jonathan Lowe’s essentialist approach to this question. However, contra Lowe, I take token acts of predication as (...) the primary truthbearers. This is Peter Hanks’ view in the philosophy of language. I shall argue that some problems with the essentialist approach can be solved by taking the nature of token acts of predication to be the source of necessity in truthmaking. At the end of this paper, I shall also briefly outline two general consequences related to truthmaking that I suppose this move about truthbearers should have. (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)

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)

We show under that every set of reals is I‐regular for any σ‐ideal I on the Baire space such that is proper. This answers the question of Khomskii [7, Question 2.6.5]. We also show that the same conclusion holds under if we additionally assume that the set of Borel codes for I‐positive sets is. If we do not assume, the notion of properness becomes obscure as pointed out by Asperó and Karagila [1]. Using the notion of strong properness similar to (...) the one introduced by Bagaria and Bosch [2], we show under without using that every set of reals is I‐regular for any σ‐ideal I on the Baire space such that is strongly proper assuming every set of reals is ∞‐Borel and there is no ω1‐sequence of distinct reals. In particular, the same conclusion holds in a Solovay model. (shrink)

We show that ${{\bf \Sigma}^1_3}$ -absoluteness for Sacks forcing is equivalent to the non-existence of a ${{\bf \Delta}^1_2}$ Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ${{\bf \Sigma}^1_3}$ forcing absoluteness.

The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} (as an analogue of the axiom of real determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{AD}_\mathbb{R}}$$\end{document}). We prove that the consistency strength of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} is strictly greater than that of AD. (shrink)

Sustained peripheral somatosensory stimulations, such as high-frequency repetitive somatosensory stimulation (HF-RSS) and vibrated stimulation, are effective in altering the balance between excitation and inhibition in the somatosensory cortex (S1) and motor cortex (M1). A recent study reported that whole-hand water flow (WF) stimulation induced neural disinhibition in the M1. Based on previous results, we hypothesized that whole-hand WF stimulation would lead to neural disinhibition in the S1 because there is a strong neural connection between M1 and S1 and aimed to (...) examine whether whole-hand WF stimulation would change the neural balance between excitation and inhibition in the S1. Nineteen healthy volunteers were studied by measuring excitation and inhibition in the S1 before and after each of the four 15-min interventions. The excitation and inhibition in the S1 were assessed using somatosensory evoked potentials (SEPs) and paired-pulse inhibition (PPI) induced by single- and paired-pulse stimulations, respectively. The four interventions were as follows: control, whole-hand water immersion, whole-hand WF, and HF-RSS. The results showed no significant changes in SEPs and PPI following any intervention. However, changes in PPI with an interstimulus interval (ISI) of 30 ms were significantly correlated with the baseline value before whole-hand WF. Thus, the present findings indicated that the whole-hand WF stimulation had a greater decreased neural inhibition in participants with higher neural inhibition in the S1 at baseline. Considering previous results on M1, the present results possibly show that S1 has lower plasticity than M1 and that the duration (15 min) of each intervention may not have been enough to alter the balance of excitation and inhibition in the S1. (shrink)

The BTB domain is a protein–protein interaction motif that is found throughout eukaryotes. It determines a unique tri‐dimensional fold with a large interaction surface. The exposed residues are highly variable and can permit dimerization and oligomerization, as well as interaction with a number of other proteins. BTB‐containing proteins are numerous and control cellular processes that range from actin dynamics to cell‐cycle regulation. Here, we review findings in the field of transcriptional regulation to illustrate how the high variability of the BTB (...) has allowed related transcription factors to evolve different functional abilities. We then report how recent work has showed that, in spite of their high sequence divergence and apparently unrelated functions, many BTB‐containing proteins have at least one shared role: the recruitment of degradation targets to E3 ubiquitin ligase complexes. Taken together, these findings illustrate diverse and convergent functions of a versatile protein–protein interaction domain. BioEssays 28: 1194–1202, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

Łukasiewicz has often been criticized for his motive for inventing his three-valued logic, namely the avoidance of determinism. First of all, I want to show that almost all of the critcism along this line was wrong. Second I will indicate that he made mistakes, however, in constructing his system, because he had other motives at the same time. Finally I will propose some modification of his system and its interpretation which can attain his original purpose in some sense.

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...) other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

Firstly I define a hole as a dependent matter-less endurant, which is a little modification of Casati and Varzi’s definition. Adopting this definition, holes seem to invite three problems about causation: (1)causal closure, (2)ungrounded disposition and (3)causal overdetermination. I will defend my definition against all these problems by showing that holes are limiting cases of physical endurants rather than their opposition and that they have causal powers in a broad sense.

In this paper I give consideration to some apparent impossibilities for the time travelers to the past. After criticizing the views of D. Lewis and K. Vihvelin, I will show in what sense they are really impossible.

Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate truth-value so (...) as to reconstruct Łukasiewicz’s three-valued logic as a kind of extensional modal logic based on partial logic. (shrink)

Casati and Varzi have developed a theory of boundary based on extensional mereotopology and the distinction between fiat and bona fide boundaries. Firstly, I point out some problems in their theory that are related to the contact of bodies. Next, I propose a way of classification of boundaries into four kinds based on substance ontology and an alternative distinction between potential and actual boundaries. Finally, I will show that my way of classification makes it possible to solve the problems above.

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it to having simpliciter. (...) I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

There are two types of theories regarding many worlds: one is modal, while the other is temporal. The former regards reality as consisting of many possible worlds, while the latter holds that reality consists of many momentary worlds, which are usually called moments. I compare these two theories, paying close attention to the concept of transworld identity and compare trans-possible world identity with trans-momentary world identity (or transmoment identity). I characterize time from the point of many-worlds view, believing this to (...) be one of the best ways of grasping the reality of time. First, I show that there is reason to adopt the many-worlds view because transworld identity is meaningful for both of them, while it is not for space. Second, I argue that transmoment identity is different from transpossible world identity concerning reality. The former is a realistic relation, while the latter is not. Thus, I find that the reality of time is in the relation of transmoment identity. Such a view, I contend, has merit on the basis that it recognizes the reality of time in a sense that is not true of space. (shrink)

In my paper 'Validity in Simple Partial Logic'(2002) I made comparison between several definitions of validity in Simple Partial Logic(SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof system and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we (...) can regard SPL as a logic of extensional alethic modality. (shrink)