1-kan. Geijutsuteki rōdō no shakaigaku -- 2-kan. Geijutsuteki sōzō no riron.

We investigate two constants cT and rT, introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that cT does not represent the complexity of T and found that for two theories S and T, one can always find a universal Turing machine such that equation image. We prove the following are equivalent: equation image for some universal Turing machine, equation image for some universal Turing (...) machine, and T proves some Π1-sentence which S cannnot prove. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

Der Begriff der Person wird häufig im Bereich der biomedizinischen Ethik angewandt, wie vor allem in der Abtreibungsdebatte. Es wird immer noch kontrovers darüber diskutiert, ob ein Embryo als Person anzusehen ist.Dieses Buch zeigt einerseits auf, dass der Begriff der Person keinen Beitrag zur Antwort nach dem moralischen Status eines menschlichen Wesens am Lebensbeginn leisten kann. Andererseits wird jedoch deutlich, dass dieser Begriff für den Respekt gegenüber menschlichen Wesen am Lebensende hilfreich ist. Was bedeutet Respekt vor der Autonomie von Personen (...) bei der Sterbehilfe und was bedeutet Respekt gegenüber dementen Personen, die nicht mehr autonom sind? Bei der Beantwortung dieser Fragen spielt der Begriff der Person eine entscheidende Rolle. Dieses Buch soll einen Beitrag zur Verdeutlichung der Grenzen und Gültigkeit des Begriffs der Person in der biomedizinischen Ethik leisten. (shrink)

In biomedical ethics, the concept of person plays a major role in the discussion of ethically appropriate relationships with early human beings. The debate over abortion is one such case. There is still a heated debate over whether a fetus is already a person. However, because of the structure of the argument, the debate over the moral status of the fetus quickly becomes all-or-nothing. Against this background, I would like to address the question of to what extent the concept of (...) person can be helpful in biomedical ethics. I argue that this concept is not useful for ethically appropriate interactions with early human beings, but it is useful for ethically appropriate interactions with human beings at the end of life. I demonstrate my thesis with reference to the argument about euthanasia. The concept of person plays a crucial role in understanding what it means to respect the autonomy of a person who desires euthanasia. (shrink)

This study examines the neural substrate of the understanding of human relationships in verbal communication with Japanese honorific sentences as experimental materials. We manipulated two types of Japanese verbs specifically used to represent respect for others, i.e., exalted and humble verbs, which represent respect for the person in the subject and the person in the object, respectively. We visually presented appropriate and anomalous sentences containing the two types of verbs and analyzed the electroencephalogram elicited by the verbs. We observed significant (...) parietal negativity at a latency of approximately 400 ms for anomalous verbs compared with appropriate verbs. This parietal negativity could be a manifestation of the pragmatic process used to integrate the linguistic forms with the human relationships represented in the sentences. The topographies of these event-related potentials corresponded well with those of ERPs for two second-person pronouns in Chinese. This correspondence suggests that the pragmatic integration process in honorific expressions is cross-linguistically common in part. Furthermore, we assessed the source localization by means of independent component analysis and dipole fitting and observed a significant difference in ERP between the honorific and control sentences in the IC cluster centered in the precentral gyrus and in the cluster centered in the medial part of the occipital lobe, which corresponded well with the functional magnetic resonance imaging findings for Japanese honorification. We also found several significant differences in the time-frequency analyses for the medial occipital cluster. These significant differences in the medial occipital cluster suggested that the circuit of the theory of mind was involved in the processing of Japanese honorification. Our results suggest that pragmatic and syntactic processing are performed in parallel because the person to be respected must fulfill the grammatical function appropriate for the honorific verb. (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)

Refusal is considered a face-threatening act, since it contradicts the inviter’s expectations. In the case of Japanese, native speakers are known to prefer to leave sentences unfinished for a conventional indirect refusal. Successful comprehension of this indirect refusal depends on whether the addressee is fully conventionalized to the preference for syntactic unfinishedness so that they can identify the true intention of the refusal. Then, non-native speakers who are not fully accustomed to the convention may be confused by the indirect style. (...) In the present study, we used event-related potentials of electroencephalography in an attempt to differentiate the neural substrates for perceiving unfinished sentences in a conventionalized indirect refusal as an FTA between NS and NNS, in terms of the unfinishedness and indirectness of the critical sentence. In addition, we examined the effects of individual differences in mentalization, or the theory of mind, which refers to the ability to infer the mental states of others. We found several different ERP effects for these refusals between NS and NNS. NNS induced stronger P600 effects for the unfinishedness of the refusal sentences, suggesting their perceived syntactic anomaly. This was not evoked in NS. NNS also revealed the effects of N400 and P300 for the indirectness of refusal sentences, which can be interpreted as their increased processing load for pragmatic processing in the inexperienced contextual flow. We further found that the NNS’s individual mentalizing ability correlates with the effect of N400 mentioned above, indicating that lower mentalizers evoke higher N400 for indirect refusal. NS, on the contrary, did not yield these effects reflecting the increased pragmatic processing load. Instead, they evoked earlier ERPs of early posterior negativity and P200, both of which are known as indices of emotional processing, for finished sentences of refusal than for unfinished ones. We interpreted these effects as a NS’s dispreference for finished sentences to realize an FTA, given that unfinished sentences are considered more polite and more conventionalized in Japanese social encounters. Overall, these findings provide evidence that a syntactic anomaly inherent in a cultural convention as well as individual mentalizing ability plays an important role in understanding an indirect speech act of face-threatening refusal. (shrink)

There are different ways of defining science, but I should like to examine it primarily as one of the forms of mental labor. In this connection it is appropriate to recall Marx's words: "A distinction must be made between universal labor and cooperative labor. Each plays its own role in the process of production. They overlap, but there is also a distinction between them. Every scientific work, every discovery, every invention is universal labor. It is made possible partly by cooperation (...) among contemporaries and partly by making use of the work of those who have gone before. Joint labor presumes direct cooperation among individuals." What is subsumed here under "cooperative labor," according to Marx, is "directly associated labor," which, to put it in other terms, is "direct labor.". (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)

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)