This paper describes availability of personal Web-pages and a prototype development for Decision Support for Internet Users, called DSIU, which is an area of research for decision support by using information on the Internet. The availability of Web-pages concerns usage of formal pages, which are provided by companies and so on, and personal pages, which are provided by private persons. Web-pages are gathered by using an Internet search engine to determine destinations for travel and personal pages are confirmed to provide (...) much subjective information than formal pages. The prototype development concerns a travel recommendation system, which is a kind of decision support systems. The prototype uses subjective and objective information on the Internet to select several destinations for users and to provide explanations the reason why the destinations are recommended. This paper also describes our perspective of DSIU researches. (shrink)

This article studies three most basic systems of truth as well as their subsystems over set theory ZF possibly with AC or the axiom of global choice GC, and then correlates them with subsystems of Morse–Kelley class theory MK. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, (...) are also presented. The equivalence results among systems of truth and classes obtained in this article are summarized in Theorem 104 , Theorem 107 and Theorem 108. (shrink)

Truth is often considered to be a logico-linguistic tool for expressing indirect endorsements and infinite conjunctions. In this article, I will point out another logico-linguistic function of truth: to enable and validate what I call a blind argument, namely, an argument that involves indirectly endorsed statements. Admitting this function among the logico-linguistic functions of truth has some interesting consequences. In particular, it yields a new type of so-called conservativeness argument, which poses a new type of threat to deflationism about truth.

The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].

The conservativeness argument poses a dilemma to deflationism about truth, according to which a deflationist theory of truth must be conservative but no adequate theory of truth is conservative. The debate on the conservativeness argument has so far been framed in a specific formal setting, where theories of truth are formulated over arithmetical base theories. I will argue that the appropriate formal setting for evaluating the conservativeness argument is provided not by theories of truth over arithmetic but by those over (...) subject matters ‘richer’ than arithmetic, such as set theory. The move to this new formal setting provides deflationists with better defence and brings a broader perspective to the debate. (shrink)

In this article we study the systems KF and VF of truth over set theory as well as related systems and compare them with the corresponding systems over arithmetic.

Classes are the objects of the second sort of second-order set theory. They have sets as their members and behave like sets, but paradoxes tell us that many classes cannot be sets. Then, what are classes? Predicativism about classes suggests that classes are predicates of sets, and this article investigates the question from the predicativist point of view in light of recent developments in the use of classes in set theory. Predicativism has been considered too restrictive and unable to accommodate (...) the use of classes in set theory. This diagnosis, however, is only true of a certain specific type of predicativism. In this article, we propose a new type of predicativism, which we call liberal predicativism, and argue that predicativism is still a highly viable option, and our liberal version provides a sufficiently versatile and workable nominalist concept of classes for set theory. (shrink)

異文化コミュニケーションのスキル、仕事の現場、技術者倫理など、グローバルエンジニアを志す人に必要な情報をまとめた一冊。.

This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.

Second-order arithmetic and class theory are second-order theories of mathematical subjects of foundational importance, namely, arithmetic and set theory. Despite the similarity in appearance, there turned out to be significant mathematical dissimilarities between them. The present paper studies various principles in class theory, from such a comparative perspective between second-order arithmetic and class theory, and presents a few new dissimilarities between them.

Based on a community psychology perspective, this qualitative study explores the community-inclusion effort of one of the largest pulp and paper companies in the world. Extending the literature on workforce diversity/inclusion, we present the community-inclusive organizational framework, which signifies the dynamics of community inclusiveness of organizations highlighting key managerial accountabilities based on the community psychology perspective. Theoretical and practical implications are presented for promoting community-inclusive organizations, along with avenues for further research.

The Sustainable Development Goal of the United Nations related to reduced inequalities calls for greater economic inclusion of the poor. Yet, how business leaders grant economic opportunities and development to the poor is significantly under-researched. Extending burgeoning responsible leadership theory that promotes paradox-savvy leadership for building inclusive ventures through various actors, this study introduces new concepts of inclusive leadership that foster the economic inclusion of the poor from Amartya Sen’s capability approach perspective. By studying how leaders include the poor in (...) social businesses, we provide a fresh perspective of inclusive leadership as a personalized empowering cycle of economic–social–economic inclusion to close the gaps between the rich and poor in business and society. This perspective provides new territories of diversity and inclusion research for reduced inequality. (shrink)

We introduce and analyze a new axiomatic theory $\mathsf {CD}$ of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that $\mathsf {CD}$ is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances (...) of the T-schema are restricted to determinate sentences. Determinateness is introduced as a further primitive predicate and axiomatized. The semantics and proof theory of $\mathsf {CD}$ are analyzed. (shrink)

The Geach‐Kaplan sentence is alleged to be an example of a non‐first‐orderizable sentence, and the proof of the alleged non‐first‐orderizability is credited to David Kaplan. However, there is also a widely shared intuition that the Geach‐Kaplan sentence is still first‐orderizable by invoking sets or other extra non‐logical resources. The plausibility of this intuition is particularly crucial for first‐orderism, namely, the thesis that all our scientific discourse and reasoning can be adequately formalized by first‐order logic. I first argue that the Geach‐Kaplan (...) sentence is, in fact, not first‐orderizable even by invoking extra non‐logical resources, in any sense that is acceptable for first‐orderism and adequately corresponds to the sense in which the Geach‐Kaplan sentence is deemed to be non‐first‐orderizable simpliciter via Kaplan's proof. To address this problem on behalf of first‐orderism, I then propose an alternative conception of first‐orderizability in the sense of which the Geach‐Kaplan sentence and any other second‐order sentences become first‐orderizable by invoking extra non‐logical resources; furthermore, in certain circumstances, they are first‐orderizable without incurring any extra ontological commitment. My analysis also turns out to yield (as a biproduct) a significant enhancement of the so‐called paradox of plurality. (shrink)

Environmental, physiological, and pathological stimuli induce the misfolding of proteins, which results in the formation of aggregates and amyloid fibrils. To cope with proteotoxic stress, cells are equipped with adaptive mechanisms that are accompanied by changes in gene expression. The evolutionarily conserved mechanism called the heat shock response is characterized by the induction of a set of heat shock proteins (HSPs), and is mainly regulated by heat shock transcription factor 1 (HSF1) in mammals. We herein introduce the mechanisms by which (...) HSF1 tightly controls the transcription of HSP genes via the regulation of pre‐initiation complex recruitment in their promoters under proteotoxic stress. These mechanisms involve the stress‐induced regulation of HSF1‐transcription complex formation with a number of coactivators, changes in chromatin states, and the formation of phase‐separated condensates through post‐translational modifications. (shrink)

Deflationism about truth describes truth as a logical notion. In the present paper, I explore the implication of the alleged logicality of truth from the perspective of axiomatic theories of truth, and argue that the deflationist doctrine of the logicality of truth gives rise to two types of self-undermining arguments against deflationism, which I call the conservativeness argument from logicality and the topic-neutrality argument.

This study provides much-needed empirical study of workplace inclusion of underresourced employees of low socioeconomic status. Based upon a conservation of resources perspective, we have examined the centrality of resources as a key inclusion process for well-being outcomes for employees with insufficient resources. In the context of misuse of institutional power over operative workers within highly segmented and hierarchical work settings, this study validates the importance of economic inclusion for fostering workers’ well-being via fair employment practices. This study also offers (...) new knowledge of the integrative resource model of workplace inclusion research by validating workers’ personal resources of learning orientation as an internal condition for strengthening the positive effect of economic inclusion on well-being. (shrink)

Audrito and Viale introduced the new large cardinal notion of an (α)‐uplifting cardinal (for an ordinal α). We shall show that this notion cannot be defined (or expressed) in the standard first‐order language of set theory for every tranfinite α.

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Truth (Oxford).

Through an analysis of university students’ job-hunting logs, we have found that their introspection via rereading their log sometimes helps them discover themselves. Then we have built a system called PLASIU designed to support job-hunter’s creative decision-making based on the observations from their actual job-hunting process. This paper provides an overview of PLASIU and describes the findings from a user study using PLASIU.

Sustained peripheral somatosensory stimulations, such as high-frequency repetitive somatosensory stimulation (HF-RSS) and vibrated stimulation, are effective in altering the balance between excitation and inhibition in the somatosensory cortex (S1) and motor cortex (M1). A recent study reported that whole-hand water flow (WF) stimulation induced neural disinhibition in the M1. Based on previous results, we hypothesized that whole-hand WF stimulation would lead to neural disinhibition in the S1 because there is a strong neural connection between M1 and S1 and aimed to (...) examine whether whole-hand WF stimulation would change the neural balance between excitation and inhibition in the S1. Nineteen healthy volunteers were studied by measuring excitation and inhibition in the S1 before and after each of the four 15-min interventions. The excitation and inhibition in the S1 were assessed using somatosensory evoked potentials (SEPs) and paired-pulse inhibition (PPI) induced by single- and paired-pulse stimulations, respectively. The four interventions were as follows: control, whole-hand water immersion, whole-hand WF, and HF-RSS. The results showed no significant changes in SEPs and PPI following any intervention. However, changes in PPI with an interstimulus interval (ISI) of 30 ms were significantly correlated with the baseline value before whole-hand WF. Thus, the present findings indicated that the whole-hand WF stimulation had a greater decreased neural inhibition in participants with higher neural inhibition in the S1 at baseline. Considering previous results on M1, the present results possibly show that S1 has lower plasticity than M1 and that the duration (15 min) of each intervention may not have been enough to alter the balance of excitation and inhibition in the S1. (shrink)

BackgroundPrevious studies have found that the decision-making process for stored unused frozen embryos involves much emotional burden influenced by socio-cultural factors. This study aims to ascertain how Japanese patients make a decision on the fate of their frozen embryos: whether to continue storage discard or donate to research.MethodsTen Japanese women who continued storage, 5 who discarded and 16 who donated to research were recruited from our infertility clinic. Tape-recorded interviews were transcribed and analyzed for emergent themes.ResultsA model of patients’ decision-making (...) processes for the fate of frozen embryos was developed, with a common emergent theme, “coming to terms with infertility” resulting in either acceptance or postponing acceptance of their infertility. The model consisted of 5 steps: 1) the embryo-transfer moratorium was sustained, 2) the “Mottainai”- embryo and having another child were considered; 3) cost reasonability was taken into account; 4) partner’s opinion was confirmed to finally decide whether to continue or discontinue storage. Those discontinuing, then contemplated 5): the effect of donation. Great emotional conflict was expressed in the theme, steps 2, 4, and 5.ConclusionsPatients’ 5 step decision-making process for the fate of frozen embryos was profoundly affected by various Japanese cultural values and moral standards. At the end of their decision, patients used culturally inherent values and standards to come to terms with their infertility. While there is much philosophical discussion on the moral status of the embryo worldwide, this study, with actual views of patients who own them, will make a significant contribution to empirical ethics from the practical viewpoint. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (shrink)

A challenge in human genome research is how to describe the populations being studied. The use of improper and/or imprecise terms has the potential to both generate and reinforce prejudices and to diminish the clinical value of the research. The issue of population descriptors has not attracted enough academic attention outside North America and Europe. In January 2012, we held a two-day workshop, the first of its kind in Japan, to engage in interdisciplinary dialogue between scholars in the humanities, social (...) sciences, medical sciences, and genetics to begin an ongoing discussion of the social and ethical issues associated with population descriptors. (shrink)

Esta investigación propone una revisión de la idea de lo apocalíptico presente en Fire Punch de Tatsuki Fujimoto a partir de la representación que se hace en ella de lo escatológico y los alcances que tiene la idea de lo apocalíptico dentro del relato. Así se analizarán las acciones y motivaciones de los personajes de esta obra según el sentido que tiene la destrucción retratada en la obra. Para esto hay dos momentos centrales de la investigación: primero, la problematización (...) de lo apocalíptico y los alcances que tiene este fenómeno en este manga (Deleuze, Kant y Parkinson Zamora) y segundo, la aparición de la presencia y la ausencia en Fire Punch (Heidegger, Derrida, Fisher) y su función iluminadora o reveladora. (shrink)

One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions of truth associated (...) with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman & Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension. (shrink)

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Let Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {Th}}$$\end{document} denote the class of models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admit an expansion to a model of theory Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${ Th}$$\end{document}. We show that PA⊃TB⊃RS⊃UTB⊇CT-,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$\end{document}where PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {PA}}$$\end{document} denotes simply the class of all models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} and RS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {RS}}$$\end{document} denotes the class of recursively saturated models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Our main original result is that every model of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admits an expansion to a model of CT-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ CT ^-$$\end{document}, admits also an expansion to a model of UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document}. Moreover, as a corollary to one of the results we conclude that UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document} is not relatively interpretable in TB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ TB $$\end{document}, thus answering the question from Fujimoto. (shrink)

The main aim of our paper was to present three formal tools for comparing various axiomatic theories of truth. In Section 2 we aimed at showing that there are indeed many different approaches to defining a set of axioms for the notion of truth. In Section 3 we introduced three different \measures of strength" of axiomatic theories of truth, i.e. three reflexive and transitive relations on the set of axiomatic theories of truth. We have explained the intuition behind each of (...) them. The three relations were called : Fujimoto definability, model-theoretical strength, proof-theoretical strength. Then in the last section we described how they order the truth theories introduced in Section 2. We observed that theories made equivalent by the coarser relation can be strictly ordered by the next one. (shrink)

It is commonly argued that Liu Zongzhou was dissatisfied with the fact that some followers of Wang Yangming in the late Ming Dynasty paid insufficient attention to self-cultivation practices (gongfu工夫), so he deliberately emphasized the difficulty and importance of personal cultivation which is often misunderstood as some kind of strict inner spiritual cultivation. This essay will argue that with the gradual deepening in the studies on Liu Zongzhou’s thought as a whole, there are more dimensions to be recovered in our (...) understanding of his self-cultivation theory. Liu Zongzhou’s holistic self-cultivation theory is based on the unity of body and heartmind, and theory and practice, where each person is a node of relations, and is an unbounded narrative in the world. On this basis, self-cultivation is not simply an inward vector that relates to inner spiritual practice, but has an important and often overlooked relational and social dimension. (shrink)