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

" L'argent est l'envers de toutes les images que le cinéma montre et monte à l'endroit " écrit Gilles Deleuze dans le deuxième volet de Cinéma. Le capital est toujours derrière le cinéma. Le Capital hante Cinéma du début à la fin. C'est donc une lecture marxiste du diptyque composé de L'Image-mouvement et L'Image-temps que propose Jun Fujita dans Ciné-capital. Comment fonctionne le mode de production ciné-capitaliste? Comment celui-ci fait-il produire de la plus-value aux images? Pourquoi et comment s'approprie-t-il (...) le travail même du spectateur? En quel sens peut-on soutenir qu'Eisenstein et Hitchcock ont anticipé l'arrivée de la New Economy des années 1990 (dématérialisation du travail et financiarisation de l'économie)? Quand et comment les images s'insurgent-elles contre l'exploitation ciné-capitaliste? Comment se mettent-elles à valoir pour elles-mêmes? Pourquoi le cinéma politique, depuis Straub et Huillet, a-t-il cessé de privilégier le tournage au bord de la mer? Qu'est-ce qui permet à Deleuze d'affirmer qu'Ozu est un cinéaste de gauche? Telles sont quelques-unes des questions abordées dans Ciné-capital. (shrink)

東洋の思想的な伝統を踏まえ、広い視野で哲学の新しい眺望を切り開いた『善の研究』。難解で知られるこの名著を丁寧に、深く掘り下げて読み解く西田哲学入門。 『善の研究』は西田の最初の著作ながら、晩年に至るまでの思索全体を貫く考え方が示されている主著。その魅力は、西洋の哲学と格闘しながら、その不十分性を乗り越えて物事の真相に迫ろうとする西田の思いがそのまま 表現されている点にある。仏教や儒教など、東洋の思想的な伝統をも踏まえた広い視野で哲学の世界に新しい眺望を切り開いた本書の面白さや意義を分かりやすく解説。西田の思考を丁寧に読み解き、西田が何を語ろうとし たのかを深く掘り下げて明らかにする、格好の西田哲学入門。.

We provide a natural extension of the intuitionistic natural deduction system NJ with at most two consequences, which we call a binary conclusion natural deduction system. The classical natural deduction system NK is defined as NJ together with the law of the excluded middle or the double negation principle. However, in contrast to NK, the new BCN system has no such classical rule, but has two kinds of rules managing two consequences. One is to eliminate one consequence and the other (...) is to introduce another consequence. Except on this point, BCN proofs are derived in exactly the same way as those in NJ. It is shown that with respect to the propositional fragment of NK, the BCN system is sound and sufficiently complete to prove classical propositional theorems. Moreover, as a corollary we obtain a general form of Glivenko's theorem and disjunction property for one of the two consequences. We also show the normalization theorem for BCN. Finally, we study some extensions of BCN to classical predicate logic. (shrink)

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

This paper applies Dehornoy et al.’s Z theorem and its variant, called the compositional Z theorem, to prove confluence of Parigot’s \-calculi extended by the simplification rules. First, it is proved that Baba et al.’s modified complete developments for the call-by-name and the call-by-value variants of the \-calculus with the renaming rule, which is one of the simplification rules, satisfy the Z property. It gives new confluence proofs for them by the Z theorem. Secondly, it is shown that the compositional (...) Z theorem can be applied to prove confluence of the call-by-name and the call-by-value \-calculi with both simplification rules, the renaming and the \-rules, whereas it is hard to apply the ordinary parallel reduction technique or the original Z theorem by one-pass definition of mappings for these variants. (shrink)

We define and investigate a uniformly locally o-minimal structure of the second kind in this paper. All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version of monotonicity theorem of o-minimal structures. We also demonstrate a local definable cell decomposition theorem for definably complete uniformly locally o-minimal structures of the second kind. We define dimension of a definable set and investigate its basic properties when the given structure is a locally o-minimal structure which (...) admits local definable cell decomposition. (shrink)

Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where X is a definable set and R is the universe of the structure. We demonstrate the inequality $\dim ) \leq \dim $ in this paper. As a corollary, we get that the set of the points at which f is discontinuous is of dimension smaller than $\dim $. We also show that the (...) structure is definably Baire in the course of the proof of the inequality. (shrink)

Dans 'les Deux sources de la morale et de la religion', Bergson évoque rarement le Japon. Et pourtant dans le quatrième chapitre du même texte, intitulé Remarques finales 'Mécanique et mystique', c'était lui qui a bien prévu Hiroshima avec ces mots testamentaires: ' Il faut que tous se battent contre tous, comme firent les hordes des premiers temps. Seulement on se bat avec les armes forgées par notre civilisation, et les massacres sont d'une horreur que les anciens n'auraient même pas (...) imaginée. Au train dont va la science, le jour approche où l'un des adversaires, possesseur d'un secret qu'il tenait en réserve, aura le moyen de supprimer l'autre'. Ainsi se pose la question de savoir comment envisager les Deux Sources, à travers les relations assez particulières de ce philosophe avec le Japon. À partir de cette interrogation, PBJ (Projet Bergson au Japon) a organisé, aux 5-8 novembre 2013, à Paris, un colloque qui s'intitule Remarques finales : autour des Deux sources de la morale et de la religion de Bergson. Le présent volume présente les actes de ce colloque ellipsoïdal dont les centres étaient Bergson et le Japon"--Back cover. (shrink)

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)

This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy and van Oostrom, called the Z (...) theorem: existence of a mapping on terms with the Z property concludes the confluence. Since it is still hard to directly define a mapping with the Z property for the lambda calculi with permutative conversions, this paper extends the Z theorem to compositional functions, called compositional Z, and shows that we can adopt it to the calculi. (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.

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)