Sister chromatid separation in anaphase is an important event in the cell's transmission of genetic information to a descendent. It has been investigated from different aspects: cell cycle regulation, spindle and chromosome dynamics within the three‐dimensional cell architecture, transmission fidelity control and cellular signaling. Integrated studies directed toward unified understanding are possible using multidisciplinary methods with model organisms. Ubiquitin‐dependent proteolysis, protein dephosphorylation, an unknown function by the TPR repeat proteins, chromosome transport by microtubule‐based motors and DNA topological change by DNA (...) topoisomerase II are all necessary for progression from metaphase to anaphase. Chromosome condensation, mitotic kinetochore function and spindle formation require a large number of proteins, which are prerequisites for successful sister chromatid separation. Factors that help to retain sister chromatid connection after replication and prevent premature separation remain to be determined. Although sister chromatid separation occurs in anaphase, gene functions in other cell cycle stages also ensure the progression of correct chromatid separation. (shrink)

The telomere is a functional domain of the chromosome, located at the extreme ends, and is essential for normal chromosome stability. Chromosomes lacking telomeres are inherited improperly, and mutations in the telomeric repeat sequences are thought to lead to senescence and possibly to cancer. The molecular mechanisms maintaining chromosomes by telomeres, however, have been unclear. Results recently reported by Kirk et al.(1) offer an insight into new telomerase function. They have identified a novel telomerase mutation that blocks sister chromatid separation (...) in mitosis. (shrink)

Methodological nationalism in sociological theory is unfit for the current globalized era, and should be discarded. In light of this contention, the present article discusses Max Weber’s view of language as a way to relativize the frame of the national society. While a “linguistic turn” in sociology since the 1960s has assumed that the sharing of language—linguistic community—stands as an intersubjective foundation for understanding of meaning, Weber saw linguistic community as constructed. From Weber’s rationalist, subjectivist, individualist viewpoint, linguistic community was (...) a result of social actions, not a prior entity as assumed by German metaphysical organicism (and historicist holism). Indeed, Central Europe in Weber’s era was a battlefield of linguistic nationalism(s); in contrast to the national societies of the Cold War period, national borders were unstable and ultimately the multiethnic empires of the region were dismantled after World War I into ethnolinguistic nation-states. Experience of this contemporary reality brought Weber to the core of the relationship between language and politics: A language community is an imaginary one demarcated not by language itself but by conscious opposition against outsiders, with monolingual contexts within borders created artificially by homogenizing policies like linguistic standardization and national education—the first modernity of language. In this way, Weber felt, language can be a means to domination. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...) The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic and for affine logic, i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL, and intuitionistic LLW. In addition, we shall show the finite model property for contractive linear logic, i.e., linear logic with contraction, and for its intuitionistic version. The finite model property for related substructural logics also follow by our (...) method. In particular, we shall show that the property holds for all of FL and GL$^-$-systems except FL$_c$ and GL$^-_c$ of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

The aim of this article is to explore how a self-referential social system, although it is not a human being, can be said to “observe.” For this purpose, the article reformulates Niklas Luhmann’s theory of social systems as sociological phenomenology, or the de-consciousness philosophized phenomenology, because a social system has the same structure of intentionality as consciousness: Just as consciousness is always consciousness of something, communication is always communication of something. In correlation to this communicative intentionality, communicated environments come and (...) go as social phenomena. A social system is not a thing, but an autonomously observing subject. Hence, this systems theory takes on the role of a second-order observer: It observes how social systems as first-order observers observe self-referentially because phenomena given to the natural attitude of the first-order observer constitute multiple social realities in daily life. Therefore, the theory of self-referential social systems is not objectivism, but a variation of mundane subjectivist phenomenology. (shrink)

The aim of this article is to explore how a self-referential social system, although it is not a human being, can be said to “observe.” For this purpose, the article reformulates Niklas Luhmann’s theory of social systems as sociological phenomenology, or the de-consciousness philosophized phenomenology, because a social system has the same structure of intentionality as consciousness: Just as consciousness is always consciousness of something, communication is always communication of something. In correlation to this communicative intentionality, communicated environments come and (...) go as social phenomena. A social system is not a thing, but an autonomously observing subject. Hence, this systems theory takes on the role of a second-order observer: It observes how social systems as first-order observers observe self-referentially because phenomena given to the natural attitude of the first-order observer constitute multiple social realities in daily life. Therefore, the theory of self-referential social systems is not objectivism, but a variation of mundane subjectivist phenomenology. (shrink)

The aim of this article is to explore how a self-referential social system, although it is not a human being, can be said to “observe.” For this purpose, the article reformulates Niklas Luhmann’s theory of social systems as sociological phenomenology, or the de-consciousness philosophized phenomenology, because a social system has the same structure of intentionality as consciousness: Just as consciousness is always consciousness of something, communication is always communication of something. In correlation to this communicative intentionality, communicated environments come and (...) go as social phenomena. A social system is not a thing, but an autonomously observing subject. Hence, this systems theory takes on the role of a second-order observer: It observes how social systems as first-order observers observe self-referentially because phenomena given to the natural attitude of the first-order observer constitute multiple social realities in daily life. Therefore, the theory of self-referential social systems is not objectivism, but a variation of mundane subjectivist phenomenology. (shrink)

A Correction to this paper has been published: 10.1007/s11186-021-09436-2.

When Thomas Luckmann, a pioneer of the “linguistic turn” in sociology, regarded Émile Durkheim as a source for the sociology of language, he had lifeworldly community–building in mind. However, the French sociologist himself understood language in the context ofcivil society–building. To Durkheim, language was a “social thing in the highest degree” that enabled general ideas and intermediated them to people. Abstract human ideals like the civil religion since the French Revolution could be shared through (a common) language. Thus, Durkheim took (...) the exclusive use of French in the Third Republic’s laic public education for granted, ignoring the patois in the country: This “child of the Enlightenment” considered French to be a universal language ofGesellschaftand, beyond ethno-communal elements, to work as a basis for the organic solidarity of French national civil society where the social division of labor was progressing. Durkheim’s theory was predicated on civil-linguistic, not ethnolinguistic, nationalism. (shrink)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...) can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.