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 considers the implications of the early development of London Zoo. It gives insight into the differences between the ideal image of the zoo, the real situation under which the zoo was managed, and popular perceptions of the zoo. The discussion explores three areas: the heterogeneous audience of the zoo, the aestheticization of the zoo and its animal displays, and the pedagogy of observing nonhuman animals in the zoo. The zoo's ideals confronted various difficulties, while the pedagogy of zoo (...) visits, which developed within a frame of natural theology, was subject to various applications. The article argues that these differences were not evidence of the zoo's failure to consolidate its ideological backbone in Victorian society. It concludes that such divergence characterized the zoo's unique capacity both to evoke and to receive competing ideals, anxieties and criticism. (shrink)

ABSTRACTAnother individual’s gaze automatically shifts an observer’s attention to a location. This reflexive response occurs even when the gaze is presented subliminally over a short period. Another’s gaze also increases the preference level for items in the gaze direction; however, it was previously unclear if this effect occurs when the gaze is presented subliminally. This study showed that the preference levels for nonsense figures looked at by a subliminal gaze were significantly greater than those for items that were subliminally looked (...) away from. Targets that were looked at by a subliminal gaze were detected faster ; however, the participants were unable to detect the gaze direction. These results indicate that another individual’s gaze automatically increases the preference levels for items in the gaze direction without conscious awareness. (shrink)

Modal realism -- Time, space, world -- Existence -- Actuality -- Modal realism and modal tense -- Transworld individuals and their identity -- Existensionalism -- Impossibility -- Proposition and relief -- Fictional worlds -- Epistemology.

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)

Molecular and biochemical analysis of the biogenesis of peroxisomes has made rapid progress in recent years. Research on the mechanism of targeting of peroxisomal proteins has revealed that many, but not all, peroxisomal proteins have a conserved tripeptide motif in their carboxy‐terminal portions which is required for entry into peroxisomes; the topogenic signal mechanism thus differs in these instances from those employed in mitochondria and endoplasmic reticulum. Other factors involved in peroxisome biogenesis are also coming to light.

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 paper attempts to construct a global model of a social contract using well-known metaphors of two great philosophers: Jean-Jacques Rousseau and John Locke. By modelling a global social contract, I mean the formulation of a social contract using two sets of data: one is global citizens' preferences about values and norms while the other is sovereign states' participation in multilateral treaties. Both Rousseau and Locke formulate their versions of social contract theories in the national context of eighteenth-century Europe. This (...) paper tries my hands on extending their theories to the global context. This paper attempts to link empirically the relationship between global citizens' preferences as gauged by the World Values Survey and sovereign states' participation in 120 multilateral treaties deposited to the United Nations. To see the link between citizens and treaties (quasi-legislative outcomes, sort of), dimensional similarities of the cosmos of citizens' preference and the cosmos of sovereign states' willingness to join multilateral treaties are examined. Once done, all the sovereign states are located in each of the two cosmoses, citizens and states, and the correlation coefficients between them are measured. Based on these empirical results, the nature of the global quasi-legislative process is clarified. Conclusions and implications are drawn. (shrink)

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].

Call a sentential context semantically transparent if and only if all synonymous expressions are substitutable for one another in it salva veritate. Nathan Salmon has boldly advanced a refreshingly crisp semantic theory according to which belief contexts are semantically transparent. If he is right, belief contexts are much better behaved than widely suspected. Impressive as it is, this author does not believe that Salmon’s theory is completely satisfactory. This article tries to show that Salmon’s theory, in conjunction with a number (...) of auxiliary but important claims he makes to buttress the theory, seems to lead to failure of semantic transparency of belief contexts. (shrink)

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.

闇斎門下の個性豊かな諸家の事跡を通して、垂加神道の史的展開を検討すると共に、『日本書紀』神代巻の解釈に見える思想の根幹を明らかにする。.

The paper explores the logical strength of Isbell's zig‐zag theorem using the framework of reverse mathematics. Working in, we show that is equivalent to Isbell's zig‐zag theorem for countable monoids: If B is a monoid extension of A, then is dominated by A if and only if b has a zig‐zag over A. Our proof of Isbell's zig‐zag theorem avoids use of strong comprehension axioms common in traditional proofs. We also analyze the strength of theorems concerning binary relations.

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.