The sophisticated function of the central nervous system (CNS) is largely supported by proper interactions between neural cells and blood vessels. Accumulating evidence has demonstrated that neurons and glial cells support the formation of blood vessels, which in turn, act as migratory scaffolds for these cell types. Neural progenitors are also involved in the regulation of blood vessel formation. This mutual interaction between neural cells and blood vessels is elegantly controlled by several chemokines, growth factors, extracellular matrix, and adhesion molecules (...) such as integrins. Recent research has revealed that newly migrating cell types along blood vessels repel other preexisting migrating cell types, causing them to detach from the blood vessels. In this review, we discuss vascular formation and cell migration, particularly during development. Moreover, we discuss how the crosstalk between blood vessels and neurons and glial cells could be related to neurodevelopmental disorders. (shrink)

As is well known, Frege gave an explicit definition of number (belonging to some concept) in ?68 of his Die Grundlagen der Arithmetik.

We discuss a propositional logic which combines classical reasoning with constructive reasoning, i.e., intuitionistic logic augmented with a class of propositional variables for which we postulate the decidability property. We call it intuitionistic logic with classical atoms. We introduce two hypersequent calculi for this logic. Our main results presented here are cut-elimination with the subformula property for the calculi. As corollaries, we show decidability, an extended form of the disjunction property, the existence of embedding into an intuitionistic modal logic and (...) a partial form of interpolation. (shrink)

The Paradox of the Knower was originally presented by Kaplan and Montague [26] as a puzzle about the everyday notion of knowledge in the face of self-reference. The paradox shows that any theory extending Robinson arithmetic with a predicate K satisfying the factivity axiom K → A as well as a few other epistemically plausible principles is inconsistent. After surveying the background of the paradox, we will focus on a recent debate about the role of epistemic closure principles in the (...) Knower. We will suggest this debate sheds new light on the concept of knowledge which is at issue in the paradox – i.e. is it a “thin” notion divorced from concepts such as evidence or justification, or is it a “thick” notion more closely resembling mathematical provability? We will argue that a number of features of the paradox suggest that the latter option is more plausible. Along the way, we will provide a reconstruction of the paradox using a quantified extension of Artemovʼs [2] Logic of Proofs, as well as a series of results linking the original formulation of the paradox to reflection principles for formal arithmetic. On this basis, we will argue that while the Knower can be understood to motivate a distinction between levels of knowledge, it does not provide a rationale for recognizing a uniform hierarchy of knowledge predicates in the manner suggested by Anderson. (shrink)

This paper considers the boundary that separates marketable from non-marketable items. First, it examines the issue of blocked exchanges, that is, exchanges that cannot and/or should not take place. Second, it proposes to synthesise the seemingly separate issues of blocked exchanges from a single perspective based on critical realist ontology. Finally, it tackles some scepticism and criticism that has been levelled against the idea that ontology can be useful in determining a market boundary.

One of the remarkable results of Frege’s Logicism is Frege’s Theorem, which holds that one can derive the main truths of Peano arithmetic from Hume’s Principle (HP) without using Frege’s Basic Law V. This result was rediscovered by the Neo-Fregeans and their allies. However, when applied in developing a more advanced theory of mathematics, their fundamental principles—the abstraction principles—incur some problems, e.g., that of inflation. This paper finds alternative paths for such inquiry in extensionalism and object theory.

隠す心理をテーマに,社会・発達・認知・生理・動物心理学の領野から12の話題を厳選。心を科学的に探究する面白さへと誘う書。.

Background: The present study compared the effects of a traditional resistance training and resistance training combined with cognitive task on body composition, physical performance, cognitive function, and plasma brain-derived neurotrophic factor levels in older adults. Methods: Thirty community-dwelling older adults were randomized into TRT and RT+CT. Exercise groups performed a similar resistance training program, twice a week over 16 weeks. Cognitive Training involved performing verbal fluency simultaneously with RT. Exercise sessions were performed 2-3 sets, 8-15 repetitions at 60-70% of 1-repetition (...) maximum. Body composition, physical function, cognitive performance, and BDNF levels were assessed before and after intervention period. Results: The physical performance was similarly improved in response to both TRT and RT+CT. However, exclusive improvements on cognitive function and BDNF levels were observed only after RT+CT. Conclusion: The RT program associated with a cognitive task, improved physical and cognitive performance in healthy older adults. (shrink)

The members of the Six gene family were identified as homologues of Drosophila sine oculis which is essential for compound-eye formation. The Six proteins are characterized by the Six domain and the Six-type homeodomain, both of which are essential for specific DNA binding and for cooperative interactions with Eya proteins. Mammals possess six Six genes which can be subdivided into three subclasses, and mutations of Six genes have been identified in human genetic disorders. Characterization of Six genes from various animal (...) phyla revealed the antiquity of this gene family and roles of its members in several different developmental contexts. Some members retain conserved roles as components of the Pax-Six-Eya-Dach regulatory network, which may have been established in the common ancestor of all bilaterians as a toolbox controlling cell proliferation and cell movement during embryogenesis. Gene duplications and cis-regulatory changes may have provided a basis for diverse functions of Six genes in different animal lineages. (shrink)

Both W9 and OP3‐4 were known to bind the receptor activator of NF‐κB ligand (RANKL), inhibiting osteoclastogenesis. Recently, both peptides were shown to stimulate osteoblast differentiation; however, the mechanism underlying the activity of these peptides remains to be clarified. A primary osteoblast culture showed that rapamycin, an mTORC1 inhibitor, which was recently demonstrated to be an important serine/threonine kinase for bone formation, inhibited the peptide‐induced alkaline phosphatase activity. Furthermore, both peptides promoted the phosphorylation of Akt and S6K1, an upstream molecule (...) of mTORC1 and the effector molecule of mTORC1, respectively. In the in vivo calvarial defect model, W9 and OP3‐4 accelerated BMP‐2‐induced bone formation to a similar extent, which was confirmed by histomorphometric analyses using fluorescence images of undecalcified sections. Our data suggest that these RANKL‐binding peptides could stimulate the mTORC1 activity, which might play a role in the acceleration of BMP‐2‐induced bone regeneration by the RANKL‐binding peptides. (shrink)

Index to the Dhammasangani. Compiled by Tetsuya Tabata, Satoshi Nonome and Shoko Bando. Pali Text Society, London 1987. vii, 128 pp. £8.75.