This paper presents a new argument to defend the normativity of meaning, specifically the thesis that there are no meanings without norms. The argument starts from the observation inferentialists have emphasized that incompatibility relations between sentences are a necessary part of meaning as it is understood. We motivate this approach by showing that the standard normativist strategy in the literature, which is developed in terms of veridical reference that may swing free from the speaker’s understanding, violates the ought-implies-can principle, but (...) ours does not. In addition, our approach is superior because, unlike the representationalist approach, it can be extended from declarative sentences to non-representational uses of language. In this paper, however, we only formulate the argument for the base case that involves incompatibility relations between declarative sentences. The goal is not to derive norms from something that is not normative, but to explicate the distinctive type of normativity that is built into meaning as it is understood by language-users. The explication proceeds in two steps. (1) For any sentence s a speaker understands, there is an incompatible sentence s’ the speaker understands to be incompatible with s. (2) In virtue of understanding this incompatibility of meanings, she ought not to be committed to both s and s’. This prohibition is not derived from instrumental practical reason, nor is it based on representational correctness, but its source is the incompatibility of meanings. (shrink)

For genetic algorithms, it is important to maintain the population diversity. Some genetic algorithms have been proposed, which have an ability to control the diversity. But these algorithms use the distance between two individuals to control the diversity. Therefore, these performances become worse on ill-scaled functions. In this paper, we propose a new genetic algorithm, DIDC(a genetic algorithm with Distance Independent Diversity Control), that does not use a distance to control the population diversity. For controlling the diversity, DIDC uses two (...) GAs that have different natures. For realizing different natures, one GA uses a crossover operator as a search operator, and the other GA uses a mutation operator in DIDC. By applying DIDC to several benchmark problems, we show that DIDC has a good performance on high dimensional, multimodal, non-separable and ill-scaled problems. Finally, we show that the control parameter of DIDC has the same effect on the search with the number of generating children n c. (shrink)

In this paper, we present a version of Fraïssé theory for categories of metric structures. Using this version, we show that every UHF algebra can be recognized as a Fraïssé limit of a class of C*-algebras of matrix-valued continuous functions on cubes with distinguished traces. We also give an alternative proof of the fact that the Jiang–Su algebra is the unique simple monotracial C*-algebra among all the inductive limits of prime dimension drop algebras.

Motivated by semantic inferentialism and logical expressivism proposed by Robert Brandom, in this paper, I submit a nonmonotonic modal relevant sequent calculus equipped with special operators, □ and R. The base level of this calculus consists of two different types of atomic axioms: material and relevant. The material base contains, along with all the flat atomic sequents (e.g., Γ0, p |~0 p), some non-flat, defeasible atomic sequents (e.g., Γ0, p |~0 q); whereas the relevant base consists of the local region (...) of such a material base that is sensitive to relevance. The rules of the calculus uniquely and conservatively extend these two types of nonmonotonic bases into logically complex material/relevant consequence relations and incoherence properties, while preserving Containment in the material base and Reflexivity in the relevant base. The material extension is supra-intuitionistic, whereas the relevant extension is stronger than a logic slightly weaker than R. The relevant extension also avoids the fallacies of relevance. Although the extended material consequence relation is defeasible and insensitive to relevance, it has local regions of indefeasibility and relevance (the latter of which is marked by the relevant extension). The newly introduced operators, □ and R, codify these local regions within the same extended material consequence relation. (shrink)

I present a sequent calculus that extends a nonmonotonic reflexive consequence relation as defined over an atomic first-order language without variables to one defined over a logically complex first-order language. The extension preserves reflexivity, is conservative (therefore nonmonotonic) and supraintuitionistic, and is conducted in a way that lets us codify, within the logically extended object language, important features of the base thus extended. In other words, the logical operators in this calculus play what Brandom (2008) calls expressive roles. Expressivist logical (...) systems have already been proposed for propositional logics (see Hlobil, 2016, and Kaplan, 2018) but not for first-order logics. An advantage of this calculus over standard first-order calculi (e.g., those in Gentzen, 1935/1964) is that universally quantified variables behave as they should even in the presence of arbitrary nonlogical axioms. I claim that because of this robust well-behavedness of variables, this calculus also provides logical inferentialists with a way to understand the meanings of variables in terms of the roles those variables play in a wide range of inferences that is not limited to purely logical ones (e.g, mathematical inferences). (shrink)

Although it receives less attention, (Lewis in Noûs 13:455–476, 1979. https://doi.org/10.2307/2215339) admitted that the branching-time(-like) model fits a wide range of counterfactuals, including (Nix) ‘If Nixon had pressed the button, there would have been a nuclear war’, which was raised by (Fine in Mind 84:451–458, 1975). However, Lewis then claimed that similarity analysis is more general than temporality analysis. In this paper, we do not scrutinise his claim. Instead, we re-analyse (Nix) not only model-theoretically but also proof-theoretically from the ‘meaning-as-use’ (...) and ‘inferentialist’ points of view. Then, we re-formalise (Nix) in a natural extension of hybrid tense logic, which we refer to as hybrid tense logic for temporal conditionals (HTL$$_{TC}$$ TC ). Consequently, we find that not only among counterfactuals, but also among indicatives, there is a wide range of conditionals whose formalisation in HTL$$_{TC}$$ TC is appropriate. We refer to these conditionals as temporal conditionals. This suggests a new logical generality that temporality analysis has but similarity analysis does not, from which emerges a new logical perspective on conditionals in general: temporal ones and others. (shrink)

Establishment of cell lineage identity from multipotent progenitors is controlled by cooperative actions of lineage‐specific and stably expressed transcription factors, combined with input from environmental signals. Lineage‐specific master transcription factors activate and repress gene expression by recruiting consistently expressed transcription factors and chromatin modifiers to their target loci. Recent technical advances in genome‐wide and multi‐omics analysis have shed light on unexpected mechanisms that underlie more complicated actions of transcription factors in cell fate decisions. In this review, we discuss functional dynamics (...) of stably expressed and continuously required factors, Notch and Runx family members, throughout developmental stages of early T cell development in the thymus. Pre‐ and post‐commitment stage‐specific transcription factors induce dynamic redeployment of Notch and Runx binding genomic regions. Thus, together with stage‐specific transcription factors, shared transcription factors across distinct developmental stages regulate acquisition of T lineage identity. (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)

In lieu of an abstract, here is a brief excerpt of the content:The Japan Society for Buddhist-Christian Studies:Report on the 39th Annual Meeting August 18–19, 2021Kunihiko TerasawaThe 2021 annual conference of the Japan Society for Buddhist-Christian Studies was held online by Zoom. Five presentations were given on the theme of "Religion and Literature."August 18 (Three Presentations)First, President of the Japan-SBCS and professor emeritus at Sophia University, Yutaka Tanaka, presented "Hosokawa Garasha (Gracia)," which was about a Kirishitan (Christian) woman martyr (...) in the sixteenth century (1563–1600 ce) in Japan. Garasha was a wife of the feudal lord Hosokawa in Kyushu. The enemy attacked Garasha's castle. Instead of being killed by enemies, for the sake of honor, she chose to be killed by ritual suicide by her own vassals. Garasha's servants wanted to die with her according to tradition, but she let them run away. The servants testified about her death to Jesuit missionaries. According to the missionaries, Garasha chose to be killed by her vassals because it was honorable as the wife of Lord Hosokawa. If she would have chosen to run away, her husband would have become anti-Christian, persecuting missionaries, and believers. In this way, she became a martyr. According to missionaries, Garasha always loved reading the Imitatio Christi longing for the experience of Christ's cross.Tanaka explained the story of Garasha was spread in the sixteenth–seventeenth-century Europe through Jesuit missionaries. This story was composed to become an opera of Mulier Fortis (a brave lady) and played at the palace of Vienna in 1698.Second, Kunihiko Terasawa, an associate professor at Wartburg College, presented about his research in South Korea and Hong Kong during his sabbatical in 2019–2020. Terasawa's research project was titled "Interreligious/Transnational Solidarity of Religion as Resistance to Ultranationalist Populism in East Asia and Pacific Rim." In South Korea, he was a visiting professor at Sogang University, a Jesuit college, focused on how reconciliation could be possible between Korea and Japan through Buddhist-Christian dialogue. Terasawa visited churches, temples, Christian/Buddhist universities, and Seoul National University for discussions with youth and scholars, and presented four times during his time. He also interviewed comfort women and visited the Sodemon prison that the Japanese' occupation government built. Terasawa was [End Page 389] eventually interviewed by a national daily newspaper for their piece, titled, "The Improvement of Korea-Japan Relationship through Repentance and Forgiveness."Terasawa was also a visiting professor at Hang Seng University of Hong Kong and taught a course on "Asian Religions and Society." Terasawa interviewed students, scholars, and religious leaders, and found that many Christians students are involved in democratic movements. However, it has not been easy to create solidarity between Christianity and Buddhism for democratic movements. Hong Kong Buddhists have had resentment toward Christianity due to the British Hong Kong government's leniency toward Christianity. The Buddhists, therefore, are more inclined to support the current Hong Kong government backed by the Chinese Communist government. The Buddhists appear to be politically indifferent, focusing on inner mindfulness or meditations. Thus, Hong Kong students and professors are focused less on past resentments and more on the future, and thus are vital in creating solidarity among Christians, Buddhists, and Muslims for democracy and human rights.Third, Yoshio Tsuruoka, a professor emeritus at Tokyo University, presented "How to read the poems of St. John the Cross with reference to the 'language' philosophy of Shizuteru Ueda." Ueda was a professor at Kyo to University, specializing in the philosophies of Nishida Kitaro and Meister Eckhart. Tsuruoka explained St. John the Cross'sjourney, most notably, how he became a mystic in his relation to Teresa de Ávila and ended up writing poems during his confinement time. His poems are "songs of love,""dark night," and "fire of love," and symbolize the romantic relationship between lover and loved without particular nouns. This love relationship of "I"–"Thou" implies his love relationship with God. Tsuruoka explored the love language of "I"–"Thou" of John the Cross which indicates the essence of language. Language is not just a written word or descriptive one, but an utterance from a human subject of person to the "other" person in relationship. That is why... (shrink)