The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. Keywords Counterfactual logic - David Lewis - Contextually definite description - Hybrid logic - Arthur Prior - The limit assumption - Strong completeness - Decidability - Bisimulation - Pure completeness. (shrink)

One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...) which gives us intuitive readings of connectives, out of truth tables. Then, we revisit the notion of functional completeness, which is one of the key notions in many-valued logic, in view of Dunn’s idea. More concretely, we introduce a generalized notion of functional completeness which naturally arises in the spirit of Dunn’s idea, and prove some fundamental results corresponding to the classical results proved by Post and Słupecki. (shrink)

Genome maintenance requires various nucleoid-associated factors in prokaryotes. Among them, the SMC protein has been thought to play a static role in the organization and segregation of the chromosome during cell division. However, recent studies have shown that the bacterial SMC is required to align left and right arms of the emerging chromosome and that the protein dynamically travels from origin to Ter region. A rod form of the SMC complex mediates DNA bridging and has been recognized as a machinery (...) responsible for DNA loop extrusion, like eukaryotic condensin or cohesin complexes, which act as chromosome organizers. Attention is now turning to how the prototype of the complex is loaded on the entry site and translocated on chromosomal DNA, explaining its overall conformational changes at atomic levels. Here, we review and highlight recent findings concerning the prokaryotic SMC complex and discuss possible mechanisms from the viewpoint of protein architecture. Recent studies show dynamic movements of the prokaryotic SMC protein complex: initial loading, translocation on DNA for bacterial chromosome organization. The recent structural models of the protein also provide a new vision for the structure-function relationship. (shrink)

In nature, cells face a variety of stresses that cause physical damage to the plasma membrane and cell wall. It is well established that evolutionarily conserved cell cycle checkpoints monitor various cellular perturbations, including DNA damage and spindle misalignment. However, the ability of these cell cycle checkpoints to sense a damaged plasma membrane/cell wall is poorly understood. To the best of our knowledge, our recent paper described the first example of such a checkpoint, using budding yeast as a model. In (...) this review, we will discuss this important question as well as provide hypothetical explanations to be tested in the future. (shrink)

This paper deals with two main topics: One is a semantical investigation for a bimodal language with a modal operator \blacksquare associated with the intersection of the accessibility relation R and the inequality ≠. The other is a generalization of some of the former results to general extended languages with modal operators. First, for our language L\sb{\square\blacksquare}, we prove that Segerberg's theorem (equivalence between finite frame property and finite model property) fails and establish both van Benthem-style and Goldblatt-Thomason-style characterizations. We (...) extract the notion of \blacksquare-realizer (a generalization of bulldozing) as an essence from the proofs of our results. Second, we generalize the notion of \blacksquare-realizer and prove quite general versions of these semantical characterization results. The known and previously unknown characterization results for almost all of the languages extended with modal operators already proposed will be immediate corollaries. (shrink)

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先 端の議論までを解説した。.

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

Personnalité et irrationalité chez Merleau-PontyUne personnalité est l’ensemble des traits et des qualités propres à une personne spécifique. Il s’agit d’un être humain concret, considéré dans sa totalité et distinct des autres individus. Merleau-Ponty s’est peu intéressé au concept de “personnalité”. Mais il fait référence au concept de totalité pour un individu lorsqu’il parle d’ “existence” ou d’ “être humain”. Grâce à la clarification du concept merleau-pontien de personnalité, je voudrais démontrer ce qui suit : la philosophie merleau-pontienne de la (...) structure caractérise la personnalité humaine comme un tout. Cette idée est héritée du “personnalisme” de la psychologie française inauguré par Ribot. La personnalité ainsi définie possède une rationalité téléologique (un objet visé). Cependant, lorsque Merleau-Ponty propose plus tard le concept d’“institution”, il souligne que toute signification de l’expérience humaine se fonde sur une expérience particulière et sur un point de vue concret ayant valeur de dimension, de niveau, ou encore sur un critère qui donne un sens à l’expérience suivante. S’il en est ainsi, les êtres humains doivent posséder une irrationalité fondamentale au coeur de leur personnalité ; irrationalité désigne une attitude attachée à une expérience particulière ou à un point de vue singulier. Les hommes peuvent “ré-instituer” leur expérience, c’est-à-dire abolir et transformer une dimension, un niveau ou un critère de l’expérience en y intégrant d’autres points de vue à travers leurs relations intersubjectives. Ils gagnent ainsi en nuance et en objectivité. Cependant, ils ne parviennent jamais à une rationalité totale si celle-ci se définit par une pensée totalement objective, universelle et non située, capable de voir le monde de nulle part. La ré-institution pourrait aussi entraîner une rupture dans la personnalité de quelqu’un et la rendre complexe et multiple, sans être pathologique pour autant.Personalità e irrazionalità in Merleau-PontyLa personalità è l’insieme delle qualità e dei tratti peculiari di una certa persona. È un essere umano concreto, preso nella sua interezza e distinto dagli altri individui. Merleau-Ponty non si è mai occupato molto del concetto di “personalità”. Ma si è riferito a tale concetto di totalità di un individuo sotto i nomi di “esistenza” o “essere umano”. Chiarendo la concezione merleau-pontiana della “personalità”, intendo sostenere che la filosofia della struttura di Merleau-Ponty caratterizza la personalità umana come un tutto unificato. Quest’idea è un’eredità del “personalismo” della psicologia francese inaugurata da Ribot. La personalità definita come tale ha una razionalità teleologica (orientata ad un obiettivo). Tuttavia, quando Merleau-Ponty propose più tardi il concetto di “istituzione”, sottolineò più di quanto avesse fatto precedentemente che perché ogni esperienza umana abbia un significato occore stabilire una particolare esperienza ed un punto di vista concreto quale dimensione, livello, o criterio che dia significato all’esperienza successiva. Se così è, gli esseri umani devono avere una fondamentale irrazionalità nel profondo della loro personalità, intendendo con irrazionalità un atteggiamento che è legato ad una particolare esperienza o punto di vista. Gli esseri umani possono “re-istituire” la loro esperienza, ovvero, riconsiderare una dimensione, un livello, o un criterio dell’esperienza attraverso l’integrazione degli altri punti di vista grazie alle loro relazioni intersoggettive. Guadagnano, così, sfumature e obiettività. Tuttavia, non possono mai realizzare la razionalità completa se per razionalità s’intende il pensiero completamente oggettivo, universale, imparziale, che guarda il mondo da nessun luogo. E la re-istituzione potrebbe creare una fessura decisiva nell’identità personale di un uomo, e rendere tale personalità complessa e “multipla,” anche se non necessariamente patologica. (shrink)

Personnalité et irrationalité chez Merleau-PontyUne personnalité est l’ensemble des traits et des qualités propres à une personne spécifique. Il s’agit d’un être humain concret, considéré dans sa totalité et distinct des autres individus. Merleau-Ponty s’est peu intéressé au concept de “personnalité”. Mais il fait référence au concept de totalité pour un individu lorsqu’il parle d’ “existence” ou d’ “être humain”. Grâce à la clarification du concept merleau-pontien de personnalité, je voudrais démontrer ce qui suit : la philosophie merleau-pontienne de la (...) structure caractérise la personnalité humaine comme un tout. Cette idée est héritée du “personnalisme” de la psychologie française inauguré par Ribot. La personnalité ainsi définie possède une rationalité téléologique (un objet visé). Cependant, lorsque Merleau-Ponty propose plus tard le concept d’“institution”, il souligne que toute signification de l’expérience humaine se fonde sur une expérience particulière et sur un point de vue concret ayant valeur de dimension, de niveau, ou encore sur un critère qui donne un sens à l’expérience suivante. S’il en est ainsi, les êtres humains doivent posséder une irrationalité fondamentale au coeur de leur personnalité ; irrationalité désigne une attitude attachée à une expérience particulière ou à un point de vue singulier. Les hommes peuvent “ré-instituer” leur expérience, c’est-à-dire abolir et transformer une dimension, un niveau ou un critère de l’expérience en y intégrant d’autres points de vue à travers leurs relations intersubjectives. Ils gagnent ainsi en nuance et en objectivité. Cependant, ils ne parviennent jamais à une rationalité totale si celle-ci se définit par une pensée totalement objective, universelle et non située, capable de voir le monde de nulle part. La ré-institution pourrait aussi entraîner une rupture dans la personnalité de quelqu’un et la rendre complexe et multiple, sans être pathologique pour autant.Personalità e irrazionalità in Merleau-PontyLa personalità è l’insieme delle qualità e dei tratti peculiari di una certa persona. È un essere umano concreto, preso nella sua interezza e distinto dagli altri individui. Merleau-Ponty non si è mai occupato molto del concetto di “personalità”. Ma si è riferito a tale concetto di totalità di un individuo sotto i nomi di “esistenza” o “essere umano”. Chiarendo la concezione merleau-pontiana della “personalità”, intendo sostenere che la filosofia della struttura di Merleau-Ponty caratterizza la personalità umana come un tutto unificato. Quest’idea è un’eredità del “personalismo” della psicologia francese inaugurata da Ribot. La personalità definita come tale ha una razionalità teleologica (orientata ad un obiettivo). Tuttavia, quando Merleau-Ponty propose più tardi il concetto di “istituzione”, sottolineò più di quanto avesse fatto precedentemente che perché ogni esperienza umana abbia un significato occore stabilire una particolare esperienza ed un punto di vista concreto quale dimensione, livello, o criterio che dia significato all’esperienza successiva. Se così è, gli esseri umani devono avere una fondamentale irrazionalità nel profondo della loro personalità, intendendo con irrazionalità un atteggiamento che è legato ad una particolare esperienza o punto di vista. Gli esseri umani possono “re-istituire” la loro esperienza, ovvero, riconsiderare una dimensione, un livello, o un criterio dell’esperienza attraverso l’integrazione degli altri punti di vista grazie alle loro relazioni intersoggettive. Guadagnano, così, sfumature e obiettività. Tuttavia, non possono mai realizzare la razionalità completa se per razionalità s’intende il pensiero completamente oggettivo, universale, imparziale, che guarda il mondo da nessun luogo. E la re-istituzione potrebbe creare una fessura decisiva nell’identità personale di un uomo, e rendere tale personalità complessa e “multipla,” anche se non necessariamente patologica. (shrink)

The lifeworld is, according to Husserl, the horizon of all our experiences, in the sense that it is the background environment of human being’s competences, practices, and attitudes. The lifeworld is the intersubjective, pre-given in the ontic sense, and immediately perceived world of everyday life. Although Husserl has distinguished the lifeworld from the objective world that natural science describes with mathematical methods, we cannot divide the world on the practical level into the perceived world of ordinary life and the scientific (...) world. The characteristic of human beings is that they live in the environment which they have enormously changed. Modern science has accelerated this tendency: the contemporary world is constructed so deeply scientifically and technologically. Accordingly, as Ulrich Beck pointed out, the risk of the technologically constructed world is often invisible/unperceivable. The disaster at Fukushima nuclear power plants is a terrible testament of this kind of risk. In order for a land to become the lifeworld of meaningful human interactions, the land should be first of all safe and livable for all of us. The risk calculation made by Tokyo Electric Power Company was shown to be sloppy and deceptive. The contemporary techno-science should be democratically governed and watched by all kinds of stakeholders, and never be left it to the specialists of science. For re-establishing the livable and sustainable lifeworld, safety, resilience, and vulnerability should be the fundamental values. And, the autonomy of the local residents, including the most vulnerable people, through the democratization of the techno-science must be the fundamental value to establish and protect such a safe environment. (shrink)

This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...) satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system $$\mathbf {C+J}$$ proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A, then A is known” (written $$A \supset K A$$ ) in terms of the Brouwer–Heyting–Kolmogorov interpretation. There are two variants of intuitionistic epistemic logic: one with the axiom “ $$KA \supset \lnot \lnot A$$ ” and one without it. The former is called $$\textbf{IEL}$$, and the latter is called $$\textbf{IEL}^{-}$$. The aim of this paper is to study first-order expansions (with equality and function (...) symbols) of these two intuitionistic epistemic logics. We define Hilbert systems with additional axioms called geometric axioms and sequent calculi with the corresponding rules to geometric axioms and prove that they are sound and complete for the intended semantics. We also prove the cut-elimination theorems for both sequent calculi. As a consequence, the disjunction property and existence property are established for the sequent calculi without geometric implications. Finally, we establish that our sequent calculi can also be formulated with admissible structural rules (i.e., in terms of a G3-style sequent calculus). (shrink)

The inositol phosphate metabolism network has been found to be much more complex than previously thought, as more and more inositol phosphates and their metabolizing enzymes have been discovered. Some of the inositol phosphates have been shown to have biological activities, but little is known about their signal transduction mechanisms except for that of inositol 1,4,5‐trisphosphate. The recent discovery, however, of a number of binding proteins for inositol high polyphosphate [inositol 1,3,4,5‐tetrakisphosphate (IP4), inositol 1,3,4,5,6‐pentakisphosphate, or inositol hexakisphosphate] enables us to (...) speculate on the physiological function of these compounds. In this article we focus on two major issues: (1) the roles of inositol high polyphosphates in vesicular trafficking, especially exocytosis, and (2) pleckstrin homology domaincontaining IP4 binding proteins involved in the Ras signaling pathway. (shrink)

The paper is based on a review of research on media selection and related topics on the one hand and on an explorative pilot survey on the other. In summarising the review, the authors propose that the factors explaining media choice be grouped into five categories: (1) the properties of the media itself affect its choice, (2) properties of the user affect media choice, (3) the communication situation plays an important role, (4) macro factors explain media choice, and (5) media (...) choice can be explained as the outcome of a dynamic multiparty negotiation process. The pilot survey compares Japanese and Finnish students’ preference of media in various communication situations. The survey results encourage reserving, local macro factors or culture, a certain amount of explanatory force in explaining media choice. (shrink)

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (C+J)- is (...) semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). (shrink)