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)

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.

En el actual clima de acechantes cuestionamientos sobre la identidad regional, suelen tener recepción versiones cuando no ahistóricas o esencialistas, deterministas o simplistas que lo que hacen es reducir la noción arrinconándola en categorías que poco o nada aportan a la autocomprensión de nuestros pueblos. De modo que resulta pertinente volver sobre una mirada en que la identidad debe ser concebida como un fenómeno social complejo, conflictuado y relacional en constante reconstrucción. Nuestra América, en este sentido, sigue siendo un texto (...) fundamental porque no solo permite comprender la idea de nación moderna que propone el cubano, sino también el modo de construirla. Un proyecto sociocultural inconcluso y que lo será solo si acepta la diferencia como constructo base de nuestra heterogénea realidad. In the current climate of pressing questions about regional identity, there tends to be, if not ahistorical or essentialist versions, at least determinist or simplistic ones that only reduce the notion cornering it into categories that contribute little or nothing to the understanding of our peoples. Therefore, it is pertinent to turn our eyes toward a vision of identity that should be conceived as a complex, conflictive, and relational social phenomena in constant reconstruction. “Nuestra América”, in this sense, continues to be a fundamental text since it not only permits us to understand the idea of the modern nation proposed by the Cuban, but also the way in which it must be build. This is an inconclusive sociocultural project which will only be finished if difference is accepted as a basic building block of our heterogenous reality. (shrink)

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)

La celebración de fiestas en honor a los santos patronos de las comunidades andinas es una de las manifestaciones de religiosidad más extendidas desde Colonia. Másallá de entenderla como una manifestación en continuidad directa con las prácticas cúlticas del Tawantinsuyo o la ritualidad católica española, consideramos que esta festividad es un fenómeno emergente que debe ser analizado en su especificidad. El objetivo de este artículo es analizar la figura del santo y su eficacia simbólico-ritual en la fiesta patronal andina desarrollada (...) durante el periodo colonial (XVI-XVII). A partir del análisis de una serie de crónicas coloniales, intentaremos mostrar que las especificidades rituales de la fiesta y de la operación del santo como símbolo icónico dominante permiten comprender su eficacia simbólica, así como también la co-existencia de diversas interpretaciones y escenificaciones rituales que darían cuenta de la agencialidad ritual de la comunidad. The celebration of festivities in honor of the patron saints of the Andean communities is one of the most widespread manifestations of religiosity from the Colony. Beyond understood as a manifestation in direct continuity with the cultic practices of the Catholic ritual Tawantinsuyo or Spanish, we believe that this festival is an emerging phenomenon that must be analyzed in its specificity. The aim of this paper is to analyze the figure of the saint and their efficacy in symbolic ritual Andean fiesta developed during the colonial period (XVI-XVII). From the analysis of a series of colonial chronicles, try to show that the specific rituals of celebration and operation saint as provide insight dominant iconic symbol symbolic effectiveness, as well as the co-existence of different interpretations and stagings rituals give account of agency community ritual. (shrink)

El presente artículo apunta a discutir cómo los actos cívicos o los monumentos actuaron en los albores del siglo XX como mecanismos de articulación dinámica de la “chilenización” en el desierto tarapaqueño, particularmente en el puerto de Iquique. Se reflexiona desde una perspectiva sociohistórica en torno a las fiestas públicas como rituales simbólicos donde se materializa la integración y/o pertenencia a la comunidad nacional; eventos cívicos que no dejaron de ser menos persuasivos como otras formas mas “violentas” de implantar y (...) promover el sentido de la Nación en los nuevos territorios anexados al Estado chileno. (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)

El artículo trata sobre las visiones de la historia comprometidas en la gubernamentalidad neoliberal, pragmática y presentista, y sus relaciones con el fascismo utópico, futurista y destinal. Para iniciar este debate usa como punto de arranque los análisis y discusiones biopolíticas; al mismo tiempo se pregunta sobre las condiciones de una visión histórica de la filosofía que pueda servir de alternativa a las filosofías del origen o del destino sin diluirse en el debate sobre las épocas históricas.

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)

Postulo una lectura de la poesía chilena que tiene como objetivo poner de relieve un nuevo protocolo de interpretación, entendimiento y desciframiento de las claves que vinculan al creador, al lector, a la sociedad y a la cultura con el entorno ambiental.

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.