Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...) is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...) estimating the promising degrees of children using individual distribution and fitness information of population, and selecting children based on the promising degree before evaluating the fitness. Experimental results show that RCGA with Saving MGG can provide large reducing effects on 20 or 30 dimensional Sphere functions, Rosenbrock functions, ill-scaled Rosenbrock functions, and Rastrigin function. (shrink)

An assessment of mood or emotion is important in developing mental health measures, and facial expressions are strongly related to mood or emotion. This study thus aimed to examine the relationship between levels of negative mood and characteristics of mouth parts when moods are drawn as facial expressions on a common platform. A cross-sectional study of Japanese college freshmen was conducted, and 1,068 valid responses were analyzed. The questionnaire survey consisted of participants’ characteristics, the Profile of Mood States, and a (...) sheet of facial expression drawing, and the sheet was digitized and analyzed using an image-analysis software. Based on the total POMS score as an index of negative mood, the participants were divided into four groups: low, normal, high, and very high. Lengths of drawn lines and between both mouth corners were significantly longer, and circularity and roundness were significantly higher in the L group. With increasing levels of negative mood, significant decreasing trends were observed in these lengths. Convex downward and enclosed figures were significantly predominant in the L group, while convex upward figures were significantly predominant and a tendency toward predominance of no drawn mouths or line figures was found in the H and VH groups. Our results suggest that mood states can be significantly related to the size and figure characteristics of drawn mouths of FACED on a non-verbal common platform. That is, these findings mean that subjects with low negative mood may draw a greater and rounder mouth and figures that may be enclosed and downward convex, while subjects with a high negative mood may not draw the line, or if any, may draw the line shorter and upward convex. (shrink)

To determine the role Latino community gardens play in community development, open space, and civic agriculture, we conducted interviews with 32 community gardeners from 20 gardens, and with staff from 11 community gardening support non-profit organizations and government agencies. We also conducted observations in the gardens, and reviewed documents written by the gardeners and staff from 13 support organizations and agencies. In addition to being sites for production of conventional and ethnic vegetables and herbs, the gardens host numerous social, educational, (...) and cultural events, including neighborhood and church gatherings, holiday parties, children’s activities, school tours, concerts, health fairs, and voter registration drives. In some cases, the gardens also serve to promote community activism. The primary concern of gardeners is to secure land tenure in the face of pressures to develop the garden sites for housing. The support organizations and agencies provide help with land tenure, as well as with advocacy, organization, and horticultural practices. Although the role of the Latino gardens in community development appears to be more important than their role in open space or agricultural production, the gardens can also be viewed as unique “participatory landscapes” that combine aspects of all three movements, as well as provide a connection between immigrants and their cultural heritage. (shrink)

Narrative views of the self argue that we constitute our self in self-narratives. Embodied views hold that our self is shaped through embodied experiences. In that case, what is the relation between embodiment and narrativity in the process of self-constitution? The question demands a clear definition of embodiment, but existing studies remains unclear on this point (section 2). We offer a correction to this situation by drawing on Merleau-Ponty’s analysis of the body that highlights its habituality. On this account, the (...) body has an inherent tendency to cultivate an organization of habits through its history of engagement with the world (section 3). Next, we explore its role in narrative self-constitution by distinguishing between two aspects of the narrative self, the narrated I and the narrating I (section 4). We argue on phenomenological grounds that self-narratives are informed by bodily perspectives in both respects. Furthermore, a focus on the habituality of the body allows for a better explanation of self-constitution than those based on implicit self-narratives (section 5). For these phenomenological and theoretical reasons, we conclude that narrative self-constitution is an embodied and embedded practice (section 6). (shrink)

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from what we (...) take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...) consequence relations for a given spi-logic. (shrink)

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

Following on from Shaun Gallagher's influential 2005 book How the Body Shapes the Mind, this volume brings together leading experts from the fields of philosophy, neuroscience, psychology, and psychiatry in a productive dialogue, exploring key questions and debates about the relationship between body schema and body image.

We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.

We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.

Since the realisation that the antigen‐binding regions of antibodies, the variable (V) regions, can be uncoupled from the rest of the molecule to create fragments that recognise and abrogate particular protein functions in cells, the use of antibody fragments inside cells has become an important tool in bioscience. Diverse libraries of antibody fragments plus in vivo screening can be used to isolate single chain variable fragments comprising VH and VL segments or single V‐region domains. Some of these are interfering antibody (...) fragments that compete with protein‐protein interactions, providing lead molecules for drug interactions that until now have been considered difficult or undruggable. It may be possible to deliver or express antibody fragments in target cells as macrodrugs per se. In future incarnations of intracellular antibodies, however, the structural information of the interaction interface of target and antibody fragment should facilitate development of binding site mimics as small drug‐like molecules. This is a new dawn for intracellular antibody fragments both as macrodrugs and as precursors of drugs to treat human diseases and should finally lead to the removal of the epithet of the ‘undruggable’ protein‐protein interactions. (shrink)

Body image and body schema refer to two different yet closely related systems. Whereas BI can be defined as a system of perceptions, attitudes, and beliefs pertaining to one's own body, BS is a system of sensory-motor capacities that functions without awareness or the necessity of perceptual monitoring. Studies have demonstrated that applying the concepts of BI and BS enables us to conceptualize complex pathological phenomena such as anorexia, schizophrenia, and depersonalization. Likewise, it has further been argued that these concepts (...) play a crucial role in our ability to grasp our bodily experiences in the socio-cultural world according to various factors, such as gender, social class, and ethnicity. Referring to the insights of Frantz Fanon, the author of Black Skin, White Masks, this paper suggests that under certain conditions the BI can take over and reshape the BS. Based on an examination of Fanon’s writings, the paper suggests that not only the BI can truly remold the BS but that the gaze of the other can directly influence the BI. (shrink)

This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation.

Jecker and Au’s paper raises important issues concerning health equity in pandemic responses, and the importance of considering the long-term effects of pandemic strategy on population health and well-being.1 We welcome their focus on the experience of Asian countries, including Japan. However, we have some concerns with both the distinction which they draw between elimination and mitigation, and their account of the nature and origins of the Japanese response to the COVID-19 pandemic. First, we believe that the distinction between elimination (...) and mitigation is not fine grained enough to capture the various strategies which countries have taken towards the pandemic. Many of Jecker and Au’s criticisms of the elimination strategy relate to specific policies such as lockdowns, travel restrictions and restrictions on businesses, which have been employed by numerous countries irrespective of their end goal. By contrast to the simple elimination/mitigation dichotomy with which Jecker and Au work, Baker et al have identified five separate COVID-19 strategies, namely: exclusion, elimination, suppression, mitigation and no substantive strategy.2 Baker et al define an elimination strategy as ‘maximum action to exclude disease and eliminate community transmission’ with the goal of reaching ‘zero [disease] transmission in the community’. On this account, Japan’s strategy does …. (shrink)

This study explores the effect of individuation training on the acquisition of race-specific expertise. First, we investigated whether practice individuating other-race faces yields improvement in perceptual discrimination for novel faces of that race. Second, we asked whether there was similar improvement for novel faces of a different race for which participants received equal practice, but in an orthogonal task that did not require individuation. Caucasian participants were trained to individuate faces of one race (African American or Hispanic) and to make (...) difficult eye-luminance judgments on faces of the other race. By equating these tasks we are able to rule out raw experience, visual attention, or performance/success-induced positivity as the critical factors that produce race-specific improvements. These results indicate that individuation practice is one mechanism through which cognitive, perceptual, and/or social processes promote growth of the own-race face recognition advantage. (shrink)

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

In this paper, we discuss semantical properties of the logic \(\textbf{GL}\) of provability. The logic \(\textbf{GL}\) is a normal modal logic which is axiomatized by the the Löb formula \( \Box (\Box p\supset p)\supset \Box p \), but it is known that \(\textbf{GL}\) can also be axiomatized by an axiom \(\Box p\supset \Box \Box p\) and an \(\omega \) -rule \((\Diamond ^{*})\) which takes countably many premises \(\phi \supset \Diamond ^{n}\top \) \((n\in \omega )\) and returns a conclusion \(\phi \supset (...) \bot \). We show that the class of transitive Kripke frames which validates \((\Diamond ^{*})\) and the class of transitive Kripke frames which strongly validates \((\Diamond ^{*})\) are equal, and that the following three classes of transitive Kripke frames, the class which validates \((\Diamond ^{*})\), the class which weakly validates \((\Diamond ^{*})\), and the class which is defined by the Löb formula, are mutually different, while all of them characterize \(\textbf{GL}\). This gives an example of a proof system _P_ and a class _C_ of Kripke frames such that _P_ is sound and complete with respect to _C_ but the soundness cannot be proved by simple induction on the height of the derivations in _P_. We also show Kripke completeness of the proof system with \((\Diamond ^{*})\) in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations \(\Box x\le \Box \Box x\) and \(\bigwedge _{n\in \omega }\Diamond ^{n}1=0\) is not a variety. (shrink)

Graphical AbstractEnvironmental oxygen might have been the key for the evolution of novel developmental mechanisms, such as the interdigital cell death of amniotes. Increased amount of oxygen can also induce cell death in interdigital regions of an amphibian that typically lacks it. To learn more about the role of environmental oxygen in the evolution of new traits, see the article number 2000025 by Ingrid Rosenburg Cordeiro and Mikiko Tanaka. Cover image by Itoko Tanaka and Mikiko Tanaka.

Magnetoencephalography (MEG) and electroencephalography (EEG) are invaluable neuroscientific tools for unveiling human neural dynamics in three dimensions (space, time, and frequency), which are associated with a wide variety of perceptions, cognition, and actions. MEG/EEG also provides different categories of neuronal indices including activity magnitude, connectivity, and network properties along the three dimensions. In the last 20 years, interest has increased in inter-regional connectivity and complex network properties assessed by various sophisticated scientific analyses. We herein review the definition, computation, short history, (...) and pros and cons of connectivity and complex network (graph-theory) analyses applied to MEG/EEG signals. We briefly describe recent developments in source reconstruction algorithms essential for source-space connectivity and network analyses. Furthermore, we discuss a relatively novel approach used in MEG/EEG studies to examine the complex dynamics represented by human brain activity. The correct and effective use of these neuronal metrics provides a new insight into the multi-dimensional dynamics of the neural representations of various functions in the complex human brain. (shrink)

Oxygen is a key regulator of both development and homeostasis and a promising candidate to bridge the influence of the environment and the evolution of new traits. To clarify the various ways in which oxygen may modulate embryogenesis, its effects are reviewed at distinct organizational levels. First, the role of pathways that sense dioxygen levels and reactive oxygen species are reviewed. Then, the effects of microenvironmental oxygen on metabolism, stemness, and differentiation throughout embryogenesis are discussed. Last, the interplay between ecology (...) and development are reexamined with a focus on the evolution of tetrapods, including during the emergence of a novel mechanism that shapes amniote limbs—interdigital cell death. Both genetic and environmental components work together during the formation of organisms, highlighting the importance of a multidisciplinary approach for understanding the evolution of new traits. (shrink)

Correct chromosome segregation in mitosis relies on chromosome biorientation, in which sister kinetochores attach to microtubules from opposite spindle poles prior to segregation. To establish biorientation, aberrant kinetochore–microtubule interactions must be resolved through the error correction process. During error correction, kinetochore–microtubule interactions are exchanged (swapped) if aberrant, but the exchange must stop when biorientation is established. In this article, we discuss recent findings in budding yeast, which have revealed fundamental molecular mechanisms promoting this “swap and stop” process for error correction. (...) Where relevant, we also compare the findings in budding yeast with mechanisms in higher eukaryotes. Evidence suggests that Aurora B kinase differentially regulates kinetochore attachments to the microtubule end and its lateral side and switches relative strength of the two kinetochore–microtubule attachment modes, which drives the exchange of kinetochore–microtubule interactions to resolve aberrant interactions. However, Aurora B kinase, recruited to centromeres and inner kinetochores, cannot reach its targets at kinetochore–microtubule interface when tension causes kinetochore stretching, which stops the kinetochore–microtubule exchange once biorientation is established. (shrink)

The present study assesses imitative ability in chimpanzees and human children. A direct comparison of these two species was conducted in an object-manipulation task. The subjects were required to copy the model stack by stacking colored blocks in the same order as the model. Four juvenile/adolescent chimpanzees failed to copy the model stack even after a long training-period. Two adult chimpanzees eventually learned to copy the model stack of two blocks. However, they failed to copy the model of three blocks, (...) and analysis of their stacking patterns revealed that they only focused on the color of the top block in the model. Human children started to copy the model of two blocks when they were two years of age and gradually increased the number of successfully copied blocks. The results from both chimpanzees and humans are discussed in terms of the social intelligence involved in object manipulation. (shrink)

The present study assesses imitative ability in chimpanzees and human children. A direct comparison of these two species was conducted in an object-manipulation task. The subjects were required to copy the model stack by stacking colored blocks in the same order as the model. Four juvenile/adolescent chimpanzees failed to copy the model stack even after a long training-period. Two adult chimpanzees eventually learned to copy the model stack of two blocks. However, they failed to copy the model of three blocks, (...) and analysis of their stacking patterns revealed that they only focused on the color of the top block in the model. Human children started to copy the model of two blocks when they were two years of age and gradually increased the number of successfully copied blocks. The results from both chimpanzees and humans are discussed in terms of the social intelligence involved in object manipulation. (shrink)

Kenzo saw a slight movement of his opponent. “Now is the time to strike!” he thought. He started moving. But before he had time to raise his shinai (sword) he was struck on the men (head) by his opponent. “Ippon!” the judge called.

In bacteria, PriA protein, a conserved DEXH‐type DNA helicase, plays a central role in replication restart at stalled replication forks. Its unique DNA‐binding property allows it to recognize and stabilize stalled forks and the structures derived from them. Cells must cope with fork stalls caused by various replication stresses to complete replication of the entire genome. Failure of the stalled fork stabilization process and eventual restart could lead to various forms of genomic instability. The low viability of priA null cells (...) indicates a frequent occurrence of fork stall during normal growth that needs to be properly processed. PriA specifically recognizes the 3′‐terminus of the nascent leading strand or the invading strand in a displacement (D)‐loop by the three‐prime terminus binding pocket (TT‐pocket) present in its unique DNA binding domain. Elucidation of the structural basis for recognition of arrested forks by PriA should provide useful insight into how stalled forks are recognized in eukaryotes. (shrink)