In dieser Abhandlung versuchen wir die Theorie des Erhabenen bei Kant als eine Logik der reflektierenden Urteilskraft darzustellen, die den Ubergang des Sinnlichen ins Ubersinnliche ermoglicht. Die Urteilskraft bezieht die Spannung der Einbildungskraft vor dem Nicht-Darstellbaren auf das Ubersinnliche, und in dieser Beziehung sieht Kant "eine a priori im Subjekte liegende Zweckmassigkeit". Durch die Vorstellung der gewaltigen Natur kann unsere innere Idee erweckt werden, wenn wir berucksichtigen, "dass auf jene moralischen Anlagen bei jeder schicklichen Veranlassung Rucksicht genommen werden sollte". Durch (...) das Urteil uber das Erhabene erhalten wir eine Veranlassung fur diejenige Reflexion, die innerhalb der Natur auch die ubersinnliche Idee (oder ein gottliches Wesen) denkt. (edited). (shrink)

The key mutation of the schizophrenic psyche can be described as a disturbance of the first person-ness of the I-sense, i.e., of the sense of the "I" as personal subject of experience and of action. Under these circumstances, representations of things are not definitively experienced as "my" representations—with the self-evidence of belonging to me. This uncertainty of selfhood, specific to schizophrenia, cannot be reduced to a disability of intellect, logic, judgment, or memory. In the course of developing his argument, the (...) author criticizes philosopher Michel Henry's critique of Heidegger's (1961) interpretation of Descartes's cogito ergo sum. (shrink)

Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...) N4, as well as its non-constructive extension C3. For these systems, various observations concerning provable contradictions are made, using mainly a proof-theoretic approach. The topics covered in this paper include: how new contradictions are found from parts of provable contradictions; how to characterise provable contradictions in C3 that are constructive; how contradictions can be seen from the relative viewpoint of strong implication; and as an appendix an attempt at generating provable contradictions in C3. (shrink)

Intuitionistic logic formalises the foundational ideas of L.E.J. Brouwer’s mathematical programme of intuitionism. It is one of the earliest non-classical logics, and the difference between classical and intuitionistic logic may be interpreted to lie in the law of the excluded middle, which asserts that either a proposition is true or its negation is true. This principle is deemed unacceptable from the constructive point of view, in whose understanding the law means that there is an effective procedure to determine the truth (...) of all propositions. This understanding of the distinction between the two logics supports the view that negation plays a vital role in the formulation of intuitionistic logic.Nonetheless, the formalisation of negation in intuitionistic logic has not been universally accepted, and many alternative accounts of negation have been proposed. Some seek to weaken or strengthen the negation, and others actively supporting negative inferences that are impossible with it.This thesis follows this tradition and investigates various aspects of negation in intuitionistic logic. Firstly, we look at a problem proposed by H. Ishihara, which asks how effectively one can conserve the deducibility of classical theorems into intuitionistic logic, by assuming atomic classes of non-constructive principles. The classes given in this section improve a previous class given by K. Ishii in two respects: (a) instead of a single class for the law of the excluded middle, two classes are given in terms of weaker principles, allowing a finer analysis and (b) the conservation now extends to a subsystem of intuitionistic logic called Glivenko’s logic. This section also discusses the extension of Ishihara’s problem to minimal logic.Secondly, we study the relationship between two frameworks for weak constructive negation, the approach of D. Vakarelov on one hand and the framework of subminimal negation by A. Colacito, D. de Jongh, and A. L. Vargas on the other hand. We capture a version of Vakarelov’s logic with the semantics of the latter framework, and clarify the relationship between the two semantics. This also provides proof-theoretic insights, which results in the formulation of a cut-free sequent calculus for the aforementioned system.Thirdly, we investigate the ways to unify the formalisations of some logics with contra-intuitionistic inferences. The enquiry concerns paraconsistent logics by R. Sylvan and A. B. Gordienko, as well as the logic of co-negation by G. Priest and of empirical negation by M. De and H. Omori. We take Sylvan’s system as basic, and formulate the frame conditions of the defining axioms of the other systems. The conditions are then used to obtain cut-free labelled sequent calculi for the systems.Finally, we consider L. Humberstone’s actuality operator for intuitionistic logic, which can be seen as the dualisation of a contra-intuitionistic negation. A compete axiomatisation of intuitionistic logic with actuality operator is given, and comparisons are made for some related operators.Abstract prepared by Satoru Niki.E-mail:Satoru[email protected]. (shrink)

Chef de file de la réflexion psychiatrique au Japon, le Professeur Kimura Bin s’oppose dans cet article aux réductionnismes physicalistes en découvrant au coeur de la subjectivité une articulation complexe entre le personnel et l’impersonnel qui simultanément confirme la conception spirituelle zen de la constitution de l’individualité et donne une base à la fondation d’une science psychiatrique véritable. Il démontre que l’orientation donnée par les sciences cognitives et la philosophie analytique conduit à ignorer la différence entre réalité et actualité, (...) et occulte ainsi le fait que chaque existant est unique, manquant de la sorte à la fois son unité et son unicité. Pour retrouver l’originalité propre à chacun, Kimura propose d’en retrouver l’originarité, esquissée dans le concept heideggérien de Befindlichkeit, et d’élargir la subjectivité au sens proposé par Victor von Weizsäcker en tant que rencontre avec le milieu. Il conclut cette étude phénoménologique en proposant de fonder une psychopathologie en première personne, c’est-à-dire d’introduire la subjectivité dans la science psychiatrique, seule voie pour comprendre l’existence et résoudre l’énigme de la schizophrénie. (shrink)

We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.

Aversive memories have the potential to impair one’s psychological well-being. It is desirable to reduce the anguish over such memories, as well as the chance that they will be retrieved. In two experiments, we investigated whether retrieval stopping reduces the distress elicited by negative memories retrieved from cues and how the effects of retrieval stopping are modulated by mental disorders, such as depression and anxiety. Participants engaged in retrieval stopping of aversive scene memories without any diversionary thoughts (direct suppression, Experiment (...) 1) or with diversionary positive thoughts (thought substitution, Experiment 2). Direct suppression reduced arousal elicited by the retrieval of aversive memories, while thought substitution did not only reduce arousal but also increased positive valence. Self-reported anxious/depressive symptoms negatively modulated the effects of direct suppression. For no or mild anxious/depressed individuals, direct suppression alleviated negative valence and high arousal when retrieving aversive memories. The negative relationship was not observed between the severity of the symptoms and the effect of thought substitution. These findings suggest that both retrieval stopping strategies can reduce distress from aversive memories. (shrink)

S-Modulin is a frog homolog of recoverin. The function and the underlying mechanism of the action of these proteins are now understood in general. However, there remain some unsolved issues including; two distinct effects of S-modulin; Ca2+-dependent binding of S-modulin to membranes and a possible target protein; S-modulin-like proteins in other neurons. These issues are considered in this commentary.

We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.

We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.

We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.

日本の固有の宗教神道より説き起こし、日本の仏教、歌人・念仏者・茶人・武人・医者・妙好人・禅僧・真宗僧侶・作家・俳人と多種な人間像を通して、日本人の生き生きとした生命の躍動感を解き明かす。.

We prove in the framework of Bishop's constructive mathematics that the sequential completion equation image of the space [MATHEMATICAL SCRIPT CAPITAL D] is filter-complete. Then it follows as a corollary that the filter-completeness of [MATHEMATICAL SCRIPT CAPITAL D] is equivalent to the principle BD-ℕ, which can be proved in classical mathematics, Brouwer's intuitionistic mathematics and constructive recursive mathematics of Markov's school, but does not in Bishop's constructive mathematics. We also show that equation image is identical with the filter-completion which was (...) provided by Bishop. (shrink)

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.

H. Omori and H. Wansing introduced in a recent paper possible alternatives for the negation of the logic of first-degree entailment. One of their observations with regard to these alternative negations is that some of them turn out to induce negation inconsistency, meaning that some contradictions become provable (under an arbitrary premise) when used in place of the original negation. Omori and Wansing also considered a non-deterministic generalisation of such operators, but it was left open whether the generalised negation similarly (...) induces negation inconsistency. In this paper, we provide an answer to this question in the positive, and moreover look into further generalisation and characterisation of non-deterministic operators which satisfy the formal criteria of negation inconsistency and its pair notion of negation incompleteness in the setting of Omori and Wansing. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Death and Dying in JapanRihito Kimura (bio)A majority of Japanese, at present, feel that the modern biomedical and technological innovations pertaining to human life and death have been forcing a change in our common understanding of what, historically, was simply the natural event and process of death and dying. The meaning of death and the dying process in our lives is changing as have the traditional criteria for (...) determining death, namely, cessation of heartbeat and respiration.An individual’s death should be a personal and private matter as well as a familial, communal, and social matter. It has been regarded as such for many thousands of years in our Japanese society and culture. It is well understood that our traditional socio-cultural understanding of human life positively admits the natural process of death as the final event of life. The ideas expressed in Zen-Buddhist phrases such as “accept death as it is” and “life-death as one phenomenon” have been key motifs totally integrated into our traditional understanding of life (Tomomatsu 1939).However, the traditional perception of death as an acceptable process has [End Page 374] been vanishing as the Japanese have applied modern biomedical technologies more frequently in well-equipped hospital settings. Although the involvement of family members in the process of dying and particularly in the death event continues in a variety of ways, the care of dying patients in Japan is becoming much more similar to that delivered in advanced hospital settings in many countries of the world, than it is different. Now, in Japan, a majority of people end their lives in the hospital, surrounded by high-technology machines. Yet, in a survey by the Yomiuri Shimbun of 15 June 1991, half of the respondents said they would prefer to die at home.In addition, there has been a tradition of not explaining to terminally ill people the true nature of their condition, on the ground that this is most appropriate way to proceed (Kashiwagi 1994, pp. 78–85). However, views on this matter are changing. There is a gradual move toward telling patients the truth, and the notion of informed consent has been widely publicized in the clinical setting (Leflar 1996, pp. 96–107). In the 1991 nationwide opinion poll by the Yomiuri Shimbun, 65 percent of the participants said that they would like to be given full diagnostic information about themselves even if they were terminally ill. Nevertheless, only 22 percent of the people questioned said they themselves would definitely be prepared to disclose such information to a family member.The same survey indicated that 78 percent of people considered palliative care desirable, even though it might shorten life, while 16 percent thought life should be sustained as long as possible, irrespective of the pain that patients might be suffering.Challenges of Care for the DyingA special task force on terminal care, set up by the Ministry of Health and Welfare, issued a report in 1989 that encouraged the disclosure of diagnostic information to patients, provided that consideration was given to patients’ life histories, personalities, relationships with family members, and other factors. The report favored the use of drugs for pain control; it also dealt with matters such as spiritual requirements and the care of the family members.Traditionally, the physician-patient relationship in Japan is based on a complete and unquestioning trust of the physician by the patient, such that the physician acts to make health care decisions on behalf of the patient (Kimura 1991). However, increasingly it is believed that people should not have to accept without question the authority of doctors in the treatment of disease. Responsibility for the care of the dying should be shared between family members and all health professionals, not only physicians. Changes are needed in the mentalities of health care providers, patients, and family members, and it must be recognized that the medical system and institutions are not immutable (Annas and Miller 1994, pp. 374–76). [End Page 375]To complicate matters even further, although a patient’s family is informed of the incurable nature of the disease affecting their family member, the patient, as noted above, usually is not told of... (shrink)

N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide’s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the (...) system and embeddability of contradictions from other systems. In addition, we attempt at an informational interpretation of the negation using the dimathematical framework of H. Wansing. (shrink)

We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.

In recent times, international comparative studies on managers’ beliefs regarding ethical/unethical leadership have increased in number. These studies focus on both Eastern and Western countries. However, although these previous studies focused on the effects of national culture, they did not pay sufficient attention to the effects of institutions. Moreover, these studies covered only a few countries. Despite Japan’s strong influence on the world economy, it has not been included in previous studies on ethical leadership. Thus, to reveal unexplored factors—particularly cultural (...) and institutional factors—and to determine the generalizability of previous findings, this study used a qualitative research method to examine Japanese business managers’ beliefs about ethical/unethical leadership. The data revealed the convergence and divergence in beliefs regarding ethical/unethical leadership between managers in Japan and in other countries. The analysis identified mostly the same themes of ethical/unethical leadership as found in other countries albeit with different distributions. In addition, We identified new themes that may be specific to Japan or that were neglected in previous studies. Moreover, this study suggests the necessity of considering each society’s history of business ethics and current ethics-related institutional contexts in ethical/unethical leadership studies. (shrink)

For genetic algorithms, it is important to maintain the population diversity. Some genetic algorithms have been proposed, which have an ability to control the diversity. But these algorithms use the distance between two individuals to control the diversity. Therefore, these performances become worse on ill-scaled functions. In this paper, we propose a new genetic algorithm, DIDC(a genetic algorithm with Distance Independent Diversity Control), that does not use a distance to control the population diversity. For controlling the diversity, DIDC uses two (...) GAs that have different natures. For realizing different natures, one GA uses a crossover operator as a search operator, and the other GA uses a mutation operator in DIDC. By applying DIDC to several benchmark problems, we show that DIDC has a good performance on high dimensional, multimodal, non-separable and ill-scaled problems. Finally, we show that the control parameter of DIDC has the same effect on the search with the number of generating children n c. (shrink)

Foodways are important in understanding the bio-cultural dynamics of crop diversity. This paper examines the example of tsukemono and their importance for heirloom vegetables. Social histories of heirlooms and tsukemono were difficult to obtain, so various sources from archives, published reports, to interviews were used to stitch together the stories of the tsukemono-heirloom relationships. The paper finds that tsukemono has provided different opportunities for heirlooms. Tsukemono can enhance the taste and flavors of heirlooms. Pickling can make the best of heirloom’s (...) unique tastes even when they are not suited for other uses. Moreover, certain tsukemono has historically been associated with important social customs like gift-giving and seasonal events. The theoretical contribution of this study is to analyze the foodway-heirloom relationships from the vantage point of the political economy of agrofood systems. It is not enough to say a particular foodway is important for heirlooms. The paper reveals the necessity of analyses that situate the heirloom- foodway relationships in the modern agrofood systems. Changes not only in agriculture but also in consumption, retail, and processing are crucial in understanding the heirloom-foodway relationship. (shrink)

Ishihara's problem of decidable variables asks which class of decidable propositional variables is sufficient to warrant classical theorems in intuitionistic logic. We present several refinements to the class proposed by Ishii for this problem, which also allows the class to cover Glivenko's logic. We also treat the extension of the problem to minimal logic, suggesting a couple of new classes.

Recently, some studies revealed that transcranial direct current stimulation reduces dual-task interference. Since there are countless combinations of dual-tasks, it remains unclear whether stable effects by tDCS can be observed on dual-task interference. An aim of the present study was to investigate whether the effects of tDCS on dual-task interference change depend on the dual-task content. We adopted two combinations of dual-tasks, i.e., a word task while performing a tandem task and a classic Stroop task while performing a tandem task. (...) We expected that the Stroop task would recruit the dorsolateral prefrontal cortex and require involvement of executive function to greater extent than the word task. Subsequently, we hypothesized that anodal tDCS over the DLPFC would improve executive function and result in more effective reduction of dual-task interference in the Stroop-tandem dual-task than in the word-tandem dual-task. Anodal or cathodal tDCS was applied over the DLPFC or the supplementary motor area using a constant current of 2.0 mA for 20 min. According to our results, dual-task interference and the task performances of each task under the single-task condition were not changed after applying any settings of tDCS. However, anodal tDCS over the left DLPFC significantly improved the word task performance immediately after tDCS under the dual-task condition. Our findings suggested that the effect of anodal tDCS over the left DLPFC varies on the task performance under the dual-task condition was changed depending on the dual-task content. (shrink)

Previous empirical studies have shown that perceptions of organizational politics are negatively related to individuals’ affective commitment. The key contribution of this study was that it found the interactive moderating effects of political skill and quality of leader–member exchange (LMX) on the relationship between perceptions of organizational politics and affective commitment. Our results indicated that politics perception affective commitment relationship was weaker when both political skill and quality of LMX are high. When only political skill is high and the quality (...) of LMX is low, or LMX quality is high but political skill is low, the negative relationship between politics perception and affective commitment was not mitigated. Limitations and implications for future research are discussed. (shrink)