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)

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)

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 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)

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...) the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (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.

The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...) The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to formal mathematics. (shrink)

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.

The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...) given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates. (shrink)

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of $(\Pi^{1}_{1}-CA) + BI$ and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game . Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game , by a simple and natural interpretation . Jervell proposed another type of a combinatorial game, by abstracting (...) Gentzen's proof-reductions and showed that his game is independent of PA. We show that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φω = ϵ0) in the Veblen hierarchy of ordinals. (shrink)

This article aims at clarifying the philosophical (=phenomenological) implication of Talcott Parsons’s analytical realism. Generally, his theory is understood as being confrontational to phenomenology; however, in his first book, The Structure of Social Action, Parsons positively referred to Husserl’s Logical Investigations. They shared a sense of crisis: Husserl thought that there was no certain basis in modern science, and Parsons had the feeling that there was no common theory to establish sociology as a science. Thus, both of them criticized the (...) factual sciences of positivism (positivistic empiricism) and showed a strong orientation to the general theory. For this, they depended on conceptual realism (Platonic realism). According to Husserl, scientific knowledge will be arbitrary if the Ideal is not there as the norm of fact. He believed that in truth all people always see Ideas. Similarly, Parsons thought that in truth all people always act toward the Ideal, because the Ideal element is necessarily found through the logical framework of sociology, i.e., the action frame of reference. Hence, he maintained that the Ideal element that gives a normative orientation to actions is real, though analytical, insofar as the social order is established. (shrink)

This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.

This paper presents a new correctness criterion for marked Danos-Reginer graphs of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.

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)

Prior studies suggest that psychological difficulties arise from higher trait rejection sensitivity (RS)—heightened vigilance and differential detection of social rejection cues and defensive response to. On the other hand, from an evolutionary perspective, rapid and efficient detection of social rejection cues can be considered beneficial. We conducted a survey and an electrophysiological experiment to reconcile this seeming contradiction. We compared the effects of RS and rejection detection capability (RDC) on perceived interpersonal experiences (Study 1) and on neurocognitive processes in response (...) to cues of social rejection (disgusted faces; Study 2). We found that RS and RDC were not significantly related, although RS was positively related to perceived social rejection experiences and RDC was positively related to perceived social inclusion experiences. Event-related brain potentials (ERPs) revealed that higher RS was related to cognitive avoidance (i.e., P1) and heightened motivated attention (i.e., late positive potential: LPP), but not to facial expression encoding (i.e., N170) toward disgusted faces. On the other hand, higher RDC was related to heightened N170 amplitude, but not to P1 and LPP amplitudes. These findings imply that sensitivity to rejection is apparently distinct from the ability to detect social rejection cues and instead reflects intense vigilance and defensive response to those cues. We discussed an alternative explanation of the relationship between RS and RDC from a signal detection perspective. (shrink)

Persons with visual impairments (hereafter PVI) detect and discover obstacles and road conditions by touching with a white cane when walking on the streets. In one training session, an Orientation and Mobility specialist (hereafter SPT) guided a PVI by grasping and moving the cane that the PVI was holding. We conducted a multimodal analysis of two instruction sequences, one a "proving and achieving" demonstration (Sacks in Lectures on conversation, Blackwell, 1992) and the other a "learnable" (Zemel and Koschmann, in Discourse (...) Stud 16:163–183, 2014) demonstration. The achieving demonstration proved the assessment of the PVI's performance. In the "learnable" demonstration, the PVI was able to receive and perform the most critical part of the "learnable" of the long contact touch without the aid of talk. Sharing a single cane touch is an efficient way for both the guiding SPT and the guided PVI to jointly experience and understand the environmental features. The SPT did not need to verbally confirm that the guided touch was accountable to the PVI and seemed confident that intersubjectivity with the PVI had been established. A unique form of being with others and achieving intersubjectivity in society was identified. In traditional learning instruction, it has been assumed that the learnable is presented and communicated visually and audibly. However, through guided touch learnable is presented and conveyed effectively in the cases of this paper. It seems that the sense of touch has been considered to be just for the occasion, but this is an example of something that is not just for the occasion but is consequential, that is, usable for further occasions. The data is in Japanese. (shrink)

The effect of Internet use as a mediating variable on self-efficacy as it relates to the cognition of network-changing possibility (i.e., connecting people or groups with different social backgrounds) was examined. The results showed that Internet use (i.e., the frequency of sending e-mail, friends made on the Internet) had a positive effect on the cognition of network-changing possibility. The cognition that it is possible to connect people with different social backgrounds by using the Internet also had a positive effect on (...) self-efficacy. On the other hand, the cognition that it is possible to find people or groups who share beliefs and interests by using the Internet negatively affected self-efficacy. Hence, it was found that the effect of Internet use on self-efficacy was different as a function of cognition of network-changing possibility. (shrink)

This article examines how minimal genome research mobilizes philosophical concepts such as minimality and essentiality. Following a historical approach the article aims to uncover what function this terminology plays and which problems are raised by them. Specifically, four historical moments are examined, linked to the work of Harold J. Morowitz, Mitsuhiro Itaya, Eugene Koonin and Arcady Mushegian, and J. Craig Venter. What this survey shows is a historical shift away from historical questions about life or descriptive questions about specific (...) organisms towards questions that explore biological possibilities: what are possible forms of minimal genomes, regardless of whether they exist in nature? Moreover, it highlights a fundamental ambiguity at work in minimal genome research between a universality claim and a standardization claim: does a minimal genome refer to the minimal gene set for any organism whatsoever? Or does it refer rather to a gene set that will provide stable, robust and predictable behaviour, suited for biotechnological applications? Two diagnoses are proposed for this ambiguity: a philosophical diagnosis of how minimal genome research either misunderstands the ontology of biological entities or philosophically misarticulates scientific practice. Secondly, a historical diagnosis that suggests that this ambiguity is part of a broader shift towards technoscience. (shrink)