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)

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)

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)

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)

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 present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law (PEML) as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.

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)

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)

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