Something should be done for a better global environment as soon as possible. This paper investigates the direction of management of the global environment and proposes new, concrete ideas for it.

In his book review of Graham Priest's The Fifth Corner of Four, Mark Siderits, while criticising Priest's philology, suggests that Priest's work is 'of considerable interest' for two reasons. First, 'when two independent traditions use similar methods to work on similar issues, it is always possible that one may have hit on approaches that the other missed'. Second, 'the decentering that can be induced by looking at another tradition may trigger fresh insights, even if those insights are not ones that (...) were actually developed by the tradition marked 'other''. The main task of this paper is to unpack Siderits' thought. By analysing some of Priest's work, I will suggest a decentering that must have taken place in China when Buddhism was 'exported to China in Buddhist shipping containers'. For anyone familiar with the forms of Buddhist philosophy developed in India, various forms of Chinese Buddhism can often look strange. Some ideas that were debated and defended by Indian Buddhists do not appear anywhere in Chinese Buddhism and some assumptions have been quietly added to Buddhism by Chinese Buddhists. By showing that Priest's work brings out the 'innovation' that Chinese Buddhists gave to Buddhism, I will suggest that it is this decentering that Siderits suggests Priest makes use of. (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)

It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra, B, A is embeddable into a quotient algebra of B, if and only if Jankov's formula ${\rm{\chi A}}$ A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number ${\rm{\kappa }}$, we present Jankov's theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete (...) ${\rm{\kappa }}$ - Heyting algebras and ${\rm{\kappa }}$ - infinitary logic, where a ${\rm{\kappa }}$ -Heyting algebra is a Heyting algebra A with ${\rm{\# A}} \le {\rm{\kappa }}$ and ${\rm{\kappa }}$ - infinitary logic is the infinitary logic such that for any set ${\rm{\Theta }}$ of formulas with ${\rm{\# \Theta }} \le {\rm{\kappa }}$ ⌈ Θ and ‷ Θ are well defined formulas. (shrink)

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)

This article develops an axiom system to justify an additive representation for a preference relation ${\succsim}$ on the product ${\prod_{i=1}^{n}A_{i}}$ of extensive structures. The axiom system is basically similar to the n-component (n ≥ 3) additive conjoint structure, but the independence axiom is weakened in the system. That is, the axiom exclusively requires the independence of the order for each of single factors from fixed levels of the other factors. The introduction of a concatenation operation on each factor A i (...) makes it possible to yield a special type of restricted solvability, i.e., additive solvability and the usual cancellation on ${\prod_{i=1}^{n}A_{i}}$ . In addition, the assumption of continuity and completeness for A i implies a stronger type of solvability on A i . The additive solvability, cancellation, and stronger solvability axioms allow the weakened independence to be effective enough in constructing the additive representation. (shrink)

The measurement of pain depends upon subjective reports, but we know very little about how research subjects or pain patients produce self-reported judgments. Representationalist assumptions dominate the field of pain research and lead to the critical conjecture that the person in pain examines the contents of consciousness before making a report about the sensory or affective magnitude of pain experience as well as about its nature. Most studies to date have investigated what Fechner termed “outer psychophysics”: the relationship between characteristics (...) of an external stimulus and the magnitude and nature of pain experience. In contrast, Fechner originally envisioned that “inner psychophysics” should investigate the relationship between physiological states and subjective experience. Despite the lack of established research tradition, inner psychophysics has a potential utility in elucidating underlying mechanisms for the production of phenomenal self-report. We illustrate this, using causal modeling analyses of the accuracy of self-reported pain ratings from our laboratory. We submit that the results are inconsistent with representationalist assumptions. Converging trends from several domains of consciousness studies seem to suggest that we need to abandon the unquestioned doctrine of representationalism and search for a more viable framework for understanding the generation of subjective self-report. (shrink)

昨今の脳神経科学的知見からは、刑法的な責任も再検討を迫られる。現代的な視点から法哲学と法理論の融合を試みる「法倫理学」へ。.

Under the presupposition that human time perception is distorted in intertemporal choice, this study constructs a time scale in the framework of axiomatic measurement. First, the conditions (homogeneity of degree one or two) to identify the form of a time scale are proposed so that one can determine whether the hyperbolic or exponential is a more suitable function for modeling people’s discounting. Homogeneity of degree one implies that subjective time delay is measured by a power scale and its discount function (...) becomes a power-exponential type, whereas homogeneity of degree two implies that subjective time delay is measured by a log scale and its discount function becomes a hyperbolic type. Second, a method is shown for constructing a model that can reflect subadditive and superadditive discounting. A non-commutative and non-associative concatenation operation is provided to generate a time string consisting of subdivided durations that incorporates the effect of repeated delay with a subdivided duration. The discounting model is yielded by substituting these strings in an exponential model equipped with a generalized time scale, and the determination of subadditivity or superadditivity depends on whether the discount function value of a product by the non-commutative and non-associative operation is, respectively, smaller or greater than that of a product by an operation of the usual extensive structure. (shrink)

November 4th-5th, 2012 at Kyoto University. Organizers: Hisashi Nakao & Pierre-Alain Braillard.

It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □2 p → □3 p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □5 p → □6 p).

First published in 1928, this book discusses 'the groundwork and skeleton of the common intellectual life of the people' of Japan.

It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB.

It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB.

This paper presents an ethnomethodological analysis of the representation of space in hand-drawn maps. The rendering practice of hand drawn maps includes some systematic devices by which real space is transformed into two-dimensional space on paper and a map is recognized as the map representing a certain space. In other words, members use these devices not only to trace real space but also to enable the recognition of space in a specific mode. The paper deals with three distinctive patterns affording (...) accountability of geographical features: retention of the three-dimensionality of real space; formal resemblance with intertextuality; and identification of space by means of words. Retention of the 3D of space on map is the device that assigns 3D effect to maps and contributes to the perception of the figure as being similar to real space. Intertextuality bestows formal resemblance on various maps to secure the intersubjectivity and scientific objectivity of maps. Words entered on hand-drawn maps enable a reading of a correspondence of maps with real space. The representation of space makes sense by virtue of these devices that accomplish the recognizability of space between the drawers and readers of hand-drawn maps. (shrink)

Japanese prefer odd numbers, whereas Westerners emphasize even numbers, an observation that is clear from the distribution of number-related words in Japanese and English dictionaries. In this article, the author explains why these two cultures differ by surveying the history of numbers, including yin-yang thought from ancient China, ancient Greek philosophy, and modern European mathematics. The author also mentions that oddness and evenness are only mathematical concepts, but understanding the cultures and histories of individual countries contributes to world peace.

In this paper, we present three main results on orthologics. Firstly, we give a sufficient condition for an orthologic to have variable separation property and show that the orthomodular logic has this property. Secondly, we show that the class of modular orthologics has an infinite descending chain. Finally we show that there exists a continuum of orthologics.

哲学というととかく難しく分かりにくいように思われがちだが、哲学者にはまずはじめにイメージがあり、術語による概念化はそのあとのことだと著者は言う。さまざまな哲学者が差し出した寓意や比喩を蒐集し、それらを もとにイメージの系譜学とでもいうべきものを作ろうとしたのが本書である。プラトンからヘーゲルまでの哲学の歴史を徹底的に噛み砕き、しかも原典に忠実に解説している。この以上分かりやすい哲学史の概説書は他にな い。.