This thesis focuses on one of the mechanisms for solving the baryon asymmetry of the Universe (BAU) which is a long-standing open question in both particle physics and cosmophysics. Electroweak baryogenesis (EWBG) is one attractive hypothetical scenario to solve this mystery because it can be verified by collider experiments. The author aims to clarify the possibility of EWBG, and to show its verifiability using the Higgs physics and electric dipole moments (EDMs) of an electron, neutron, and proton. The thesis begins (...) with a review of the BAU and EWBG. Subsequently, the possibility of EWBG in one effective model is discussed, which can be applied to some motivated physics beyond the Standard Model. Numerical analyses of electroweak phase transition and sphaleron solution are presented, and the closed time path formalism is also explained to estimate the BAU. After essential calculations for investigation of the possibility of EWBG, the relationship between the BAU and EDMs is described. Through the discussion of the result, it is concluded that both EDMs and the Higgs physics verify the scenario completely. The whole discussion in this thesis causes us to accept the current situation that is ripe for verification of EWBG. (shrink)

This article characterizes Florence Nightingale's nursing reform as the cleaning of the Victorian home which she found unheimlich. She laid strong emphasis on an improvement in the hygiene of the house as a significant part of nursing, and, by establishing the nurse as a new occupation, gave the surplus of unmarried women a decent means of escape from the stifling domesticity in which they had been helplessly trapped. Her nursing at once reformed and reinforced the traditional role of woman as (...) a domestic figure, for she created the nurse as a mother figure in charge of the home space. In the Crimean War, Nightingale successfully nursed the idea of England as Home by attending to the dying soldiers at the front. Her crusade to nurse the unhomely space into a home, however, dismissed one uncanny place inside the imperial Home that needed urgent nursing, that is, Ireland, which had been suffering from the Great Famine and its aftermath. Nightingale confronted Irish Sisters of Mercy, who came to the Crimea to save the lives and souls of the Irish soldiers. These Irish nuns not only embodied the memories of the Famine which they had recently relieved, but also threatened Nightingale's single female authority by representing Ireland as a nation through their equally motherly presence. The service of the Irish nuns in the Crimean War was erased from the myth of the Lady with the Lamp. Nightingale could establish herself as an authoritative female subject and assumed the voice of England only by suppressing another female voice which challenged England's competence in Home management. (shrink)

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.

This paper undertakes a comparative legal study to analyze the challenges of privacy and personal data protection posed by Artificial Intelligence embedded in Robots, and to offer policy suggestions. After identifying the benefits from various AI usages and the risks posed by AI-related technologies, I then analyze legal frameworks and relevant discussions in the EU, USA, Canada, and Japan, and further consider the efforts of Privacy by Design originating in Ontario, Canada. While various AI usages provide great convenience, many issues, (...) including profiling, discriminatory decisions, lack of transparency, and impeding consent, have emerged. The unpredictability arising from the AI machine learning function poses further difficulties, which have only been partially addressed by legal frameworks in the aforementioned jurisdictions. However, analyzing the relevant discussions yielded several suggestions. The first priority is adopting PbD as the most flexible, soft-legal, and preferable approach toward AI-oriented issues. Implementing PbD will protect individual privacy and personal data without specific efforts, and achieve both the development of AI and the advancement of privacy and personal data protection. Technical measures that can adapt to an individual’s dynamic choices according to the “context” should be further developed. Furthermore, alternative technical measures, including those to solve the “algorithmic black box” or achieve differential privacy, warrant thorough examination. If AI surpasses human intelligence, a terminating function, such as a “kill switch” will be the last resort to preserve individual choice. Despite numerous difficulties, we must prepare for the coming AI-prevalent society by taking a flexible approach. (shrink)

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.

人間であること、これを問う政治哲学の徹底。その先に見えるのは、果たして平和的共存の根源性か、戦いのそのとき、自分以外ではありえない人間の生々しさか。.

Drawing upon two independent national samples of 201 and 241 psychology graduate students, this article describes the development and psychometric evaluation of 4 Web-based student self-report scales tapping student socialization in the responsible conduct of research (RCR) with human participants. The Mentoring the Responsible Conduct of Research Scale (MRCR) is composed of 2 subscales assessing RCR instruction and modeling by research mentors. The 2 subscales of the RCR Department Climate Scale (RCR-DC) assess RCR department policies and faculty and student RCR (...) practices. The RCR Preparedness scale (RCR-P) and the RCR Field Integrity scale (RCR-FI) measure respectively students' confidence in their ability to conduct research responsibly and their belief in the RCR integrity of psychology as a discipline. Factor analysis, coefficient alphas, correlations, and multiple regression analyses demonstrated each of the scales had good internal consistency and concurrent and construct validity. (shrink)

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.

Both Ambrose St. John (1815–1875) and John Henry Newman (1801–1890), who were received into the Roman Catholic Church in 1845, became members of the Birmingham Oratory. Newman’s closest companion for over three decades, St. John’s death was extremely painful for Newman, not only because it was unexpected, but because of his devotion to Newman as well as his dedication to his spiritual duties. Along with presenting Newman’s narrative of the last few weeks of St. John’s life, this essay raises the (...) question: why did Newman write this “account.”. (shrink)

John Henry Newman has rightly been hailed as a giant in the Catholic intellectual tradition. His contributions to theology, literature, and education have been studied at length; however, his contribution to philosophy has not received appropriate attention. This essay 1) explores Newman’s unique philosophical insights in terms of the phenomenological tradition of Edmund Husserl; 2) analyzes the transcendental approach of certain British scientists—notably Ronald Knox and Charles Darwin; and 3) discusses how Newman might be considered a phenomenologist.

We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...) with and is algebraizable, with the variety of residuated lattice-ordered groupoids with unit serving as its equivalent algebraic semantics. Overcoming technical complications arising from the lack of associativity, we introduce a generalized version of a logical matrix and apply the method of quasicompletions to obtain an algebra and a quasiembedding from the matrix to the algebra. By applying the general result to specific cases, we obtain important logical and algebraic properties, including the cut elimination of and various extensions, the strong separation of , and the finite generation of the variety of residuated lattice-ordered groupoids with unit. (shrink)

Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using (...) the same approach. First, a negative translation, called extended Kuroda translation is introduced. Then a translation result of an arbitrary involutive substructural predicate logics over QFLe is shown, and the existence of the weakest logic is proved among such logics for which the extended Kuroda translation works. They are obtained by a slight modification of the proof of the Glivenko theorem. Relations of our extended Kuroda translation with other standard negative translations will be discussed. Lastly, algebraic aspects of these results will be mentioned briefly. In this way, a clear and comprehensive understanding of Glivenko theorems and negative translations will be obtained from a substructural viewpoint. (shrink)

We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...) Moreover, the finite model property is obtained for many cases, by modifying our completeness proof. This is an algebraic presentation of the proof of the finite model property discussed by Lafont [12] and Okada-Terui [17]. (shrink)

This paper examines the history of Japanese genetics in the 1920s to 1950s as seen through the work of Hitoshi Kihara, a prominent wheat geneticist as well as a leader in the development of the discipline in Japan. As Kihara's career illustrates, Japanese genetics developed quickly in the early twentieth century through interactions with biologists outside Japan. The interactions, however, ceased due to the war in the late 1930s, and Japanese geneticists were mostly isolated from outside information until the late (...) 1940s. During the isolation in wartime and under the postwar U.S. Occupation, Kihara adapted to political changes. During wartime, he developed a research institute focusing on applied biology of various crops, which conformed to the national need to address food scarcity. After the war, he led the campaign for the establishment of a national institute of genetics and negotiated with American Occupation officers. The Americans viewed this Japanese effort with suspicion because of the rising popularity of the controversial theory of the Russian agronomist, Trofim Lysenko, in Japan. The institute was approved in 1949 partly because Kihara was able to bridge the gap between the American and Japanese sides. With Kihara's flexible and generous leadership, Japanese genetics steadily developed, survived the wartime, and recovered quickly in the postwar period. The article discusses Kihara's interest in cytoplasmic inheritance and his synthetic approach to genetics in this political context, and draws attention to the relation between Kihara's genetics and agricultural practice in Japan. (shrink)

Since at least Hume and Kant, philosophers working on the nature of aesthetic judgment have generally agreed that common sense does not treat aesthetic judgments in the same way as typical expressions of subjective preferences—rather, it endows them with intersubjective validity, the property of being right or wrong regardless of disagreement. Moreover, this apparent intersubjective validity has been taken to constitute one of the main explananda for philosophical accounts of aesthetic judgment. But is it really the case that most people (...) spontaneously treat aesthetic judgments as having intersubjective validity? In this paper, we report the results of a cross‐cultural study with over 2,000 respondents spanning 19 countries. Despite significant geographical variations, these results suggest that most people do not treat their own aesthetic judgments as having intersubjective validity. We conclude by discussing the implications of our findings for theories of aesthetic judgment and the purpose of aesthetics in general. (shrink)

We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.

In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

Glivenko-type theorems for substructural logics are comprehensively studied in the paper [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384]. Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable 279–308] and also [N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, in: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, 2007] for the details). As (...) a complementary work to the algebraic approach developed in [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384], we present here a concise, proof-theoretic approach to Glivenko theorems for substructural logics. This will show different features of these two approaches. (shrink)

In this article, we present evidence that in four different cultural groups that speak quite different languages there are cases of justified true beliefs that are not judged to be cases of knowledge. We hypothesize that this intuitive judgment, which we call “the Gettier intuition,” may be a reflection of an underlying innate and universal core folk epistemology, and we highlight the philosophical significance of its universality.

Philosophers have long debated whether, if determinism is true, we should hold people morally responsible for their actions since in a deterministic universe, people are arguably not the ultimate source of their actions nor could they have done otherwise if initial conditions and the laws of nature are held fixed. To reveal how non-philosophers ordinarily reason about the conditions for free will, we conducted a cross-cultural and cross-linguistic survey (N = 5,268) spanning twenty countries and sixteen languages. Overall, participants tended (...) to ascribe moral responsibility whether the perpetrator lacked sourcehood or alternate possibilities. However, for American, European, and Middle Eastern participants, being the ultimate source of one’s actions promoted perceptions of free will and control as well as ascriptions of blame and punishment. By contrast, being the source of one’s actions was not particularly salient to Asian participants. Finally, across cultures, participants exhibiting greater cognitive reflection were more likely to view free will as incompatible with causal determinism. We discuss these findings in light of documented cultural differences in the tendency toward dispositional versus situational attributions. (shrink)

An intermediate predicate logicS + n (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS + n and for which the cut elimination theorem holds. In § 2, it will be shown thatS + n is characterized by the class of all linear Kripke frames of the heightn.

This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the (...) propositional fragment of FLec is decidable. On the other hand, it will be remarked that logics without the contraction rule are still decidable, if our language contains function symbols. (shrink)

LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part (...) of the paper, we also discuss some extended forms of the Kolmogorov translation and we compare it to the Glivenko translation. (shrink)

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the (...) real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order. (shrink)