Although dual-process or divided-mind models of self-control dominate the literature, they suffer from empirical and conceptual challenges. We propose an alternative approach, suggesting that self-control can be characterized by a fragmented part versus integrated whole dynamic. Whereas responses to events derived from fragmented parts of the mind undermine self-control, responses to events derived from integrated wholes enhance self-control. We review empirical evidence from psychology and related disciplines that support this model. We, moreover, discuss the implications of this work for psychology, (...) neuroscience, economics, and philosophy. In particular, we highlight how this model addresses many of the conceptual and empirical short-comings of divided-mind models. We suggest that understanding self-control as the interplay between fragmented parts versus integrated wholes, moreover, provides novel insights and testable new hypotheses. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

New equations of motion for a Bloch electron [momentum p=h k,energy ε n(p),zone number n, charge -e]: $$m_j \frac{{dv_j }}{{dt}} = - e(E + v \times B)_j $$ are proposed, where v≡∂εn(p)/∂p is the velocity, and {mj}are the principal masses m j − 1=∂2εn/∂p j 2 along the normal and the two principal axes of curvatures at each point of the constant-energy surface represented by ε=εn(p).Their advantages over the prevalent equations of motion where the left-hand-side is replaced by hk j (...) are demonstrated by examining de Haas-van Alphen oscillations and orientation-dependent cyclotron resonance peaks. (shrink)

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions of ordered (...) fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

The following two assertions are equivalent for an o-minimal expansion of an ordered group $$\mathcal M=(M,<,+,0,\ldots )$$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function $$f:A \rightarrow M$$ defined on a definable closed subset of $$M^n$$ has a definable continuous extension $$F:M^n \rightarrow M$$.

We define a discrete closure operator for definably complete locally o‐minimal structures. The pair of the underlying set of and the discrete closure operator forms a pregeometry. We define the rank of a definable set over a set of parameters using this fact and call it ‐dimension. A definable set X is of dimension equal to the ‐dimension of X. The structure is simultaneously a first‐order topological structure. The dimension rank of a set definable in the first‐order topological structure also (...) coincides with its dimension. (shrink)

We study definably complete locally o‐minimal expansions of ordered groups. We propose a notion of special submanifolds with tubular neighborhoods and show that any definable set is decomposed into finitely many special submanifolds with tubular neighborhoods.

膨大な資料をもとに魅力あふれる西田の素顔を描きだし、彼の言葉に豊かな広がりを与える決定的評伝。.

The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...) a simple and purely syntactical proof to the theorem by use of the reduction. In addition, we show that we can give a computation model with rich expressive power with our system. (shrink)

日本、中国、韓国はそれぞれの伝統に依拠しつつ西洋哲学を受容することで近代哲学を形成してきた。哲学や思想における特徴や制限は、他の思想を鏡として、そこに映し出すことで明らかになる。なぜ違いが生まれたのか 。互いの違いをどう克服するのか。西田幾多郎、吉田松陰、九鬼周造、西周、和辻哲郎、土田杏村、大西克礼、戸坂潤...。受容から対話へと続く道から、いま、東アジアにおける哲学的創造の新たな意義と可能性が拓か れる。.