It seems to be a challenging task for those non-Western scholars who are deeply immersed in European intellectual resources to theorise multiple forms of modernity and deparochialise political theory. What difficulty awaits us in non-Western contexts, when we attempt to throw off these shackles and to open up alternative views of modernity? To address this question, this article attempts to critically examine Maruyama Masao (丸山眞男, 1914–1996), an influential scholar on the history of Japanese political thought, with respect to his (...) view of Japanese modernity, thereby exploring what obstacles await him in pursuing the multiplicity view of modernity and how he actually or potentially overcomes them. In doing so, I develop two arguments. First, Maruyama's move towards multiple modernities remains incomplete because he fails to throw off the shackles of universal history. Second, however, we can identify an alternative way in his own thought that, though not taken by himself, potentially goes beyond universal history towards multiple modernities. (shrink)

Ethics education for professionals has become popular in Japan over the last two decades. Many professional schools now require students to take an applied ethics or professional ethics course. In contrast, very few courses of professional ethics for teaching exist or have been taught in Japan. In order to obtain suggestions for teacher education, this paper reviews and examines practices of ethics education for engineers and nurses in Japan that have been successfully implemented. The paper concludes that difficulties in professional (...) ethics education in Japan are caused by the fact that both teachers and students lack experience in leading and participating in discussion-based classes and misunderstand the effectiveness of a case-based pedagogy. It also suggests that we need to offer teachers systematic opportunities to be trained to be proficient in enabling students to be active and critical in class. (shrink)

The epistemology which sees intra-specific and intra-group heterogenization, symbiotization, interactive pattern-generating and change as basic principles produces types of theories and research strategies different from the epistemology based on the notions of intra-specific and intra-group uniformity, competition and stabilization. In the uniformistic view, individual variations have been reduced mainly either to statistical deviations from the mean or to dominance relationship. On the other hand in the heterogenistic view, mutual beneficial interactions between qualitatively heterogeneous individuals within a group is regarded as (...) indispensable for the increase of the level of behavioral and biological sophistication and evolution. This article compares five epistemologies including the two mentioned above in the context of the current epistemological transition in science, particularly due to the emergence of non-equilibrium thermodynamics in physics and differentiation-amplifying reciprocal causal models in mathematics and engineering, both of which consider the universe as pattern-generating, information-creating and evolving. (shrink)

Science does not exist in vacuum; it arises and works in context. Ground-breaking achievements transforming the scientific landscape often stem from philosophical thought, just as symbolic logic and computer science were born from the early analytic philosophy, and for the very reason they impact our global worldview as a coherent whole as well as local knowledge production in different specialised domains. Here we take first steps in elucidating rich philosophical contexts in which Samson Abramsky’s far-reaching work centring around categorical science (...) as a new kind of science may be placed, explicated, and articulated. We argue, inter alia, that Abramsky’s work, as a whole, may be construed as demonstrating the categorical unity of science, or rather the sciences, in a mathematically rigorous, down-to-earth manner, which has been a salient feature of his work. At the same time we trace his intellectual history, leading from duality, to intensionality, and to contextuality, and place it in a broader context of philosophy beyond the analytic-continental divide, namely towards the reintegration of them as in the post-analytic tradition. Besides, we address issues in philosophy of category theory, such as the foundational autonomy of category theory and the (presumably two) dogmas of set-theoretical foundationalism, which Abramsky actually touch upon in one of his few philosophically inclined works. As to philosophy of category theory, we also address categorical structuralism as higher-order structuralism, categorical epistemology as elucidating higher-order meta-laws, and categorical ontology as allowing for reduction of ontological commitment via structural realism, the structuralist resolution of Benaceraff’s dilemma, and the pluralistic multiverse view of science as opposed to the set-theoretical reductionist ‘universe’ view. We conclude by speculating about the existence of the Oxford School of (Pluralistic) Unified Science as opposed to the Vienna Circle of (Monistic) Unified Science and to the Stanford School of (Pluralistic) Disunified Science; Categorical Unified Science may potentially allow us to reconcile the two camps on the unity and disunity of science whilst doing justice to both of them. Categorical unity arguably allows for unification via epistemological and ontological networking, and via knowledge transfer thus enabled, rather than unification via the reduction of everything and every truth to a single foundationalist framework, whilst taking at face value disunity, plurality, and diversity, and their significance in science and in human civilisation as a whole. (shrink)

Inspired by locale theory, we propose “pointfree convex geometry”. We introduce the notion of convexity algebra as a pointfree convexity space. There are two notions of a point for convexity algebra: one is a chain-prime meet-complete filter and the other is a maximal meet-complete filter. In this paper we show the following: the former notion of a point induces a dual equivalence between the category of “spatial” convexity algebras and the category of “sober” convexity spaces as well as a dual (...) adjunction between the category of convexity algebras and the category of convexity spaces; the latter notion of point induces a dual equivalence between the category of “m-spatial” convexity algebras and the category of “m-sober” convexity spaces. We finally argue that the former notion of a point is more useful than the latter one from a category theoretic point of view and that the former notion of a point actually represents a polytope and the latter notion of a point properly represents a point. We also remark on the close relationships between pointfree convex geometry and domain theory. (shrink)

It has long been thought that transmembrane cell‐surface receptors, such as receptor tyrosine kinases and cytokine receptors, among others, are activated by ligand binding through ligand‐induced dimerization of the receptors. However, there is growing evidence that prior to ligand binding, various transmembrane receptors have a preformed, yet inactive, dimeric structure on the cell surface. Various studies also demonstrate that during transmembrane signaling, ligand binding to the extracellular domain of receptor dimers induces a rotation of transmembrane domains, followed by rearrangement and/or (...) activation of intracellular domains. The paper here describes transmembrane cell‐surface receptors that are known or proposed to exist in dimeric form prior to ligand binding, and discusses how these preformed dimers are activated by ligand binding. (shrink)

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the (...) n -valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics. (shrink)

10.1093/mind/fzl659p. 688, line 10:for So if is a theorem of M read So if ϕ is a theorem of Mp. 688, line 13:for where ϕ* is the result of indexing the terms of ϕ* to Mread where ϕ* is the result of indexing the terms of ϕ to M.

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...) vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (shrink)

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...) vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (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)

There are still on-going debates on what exactly is wrong with Prior’s pathological “tonk.” In this article I argue, on the basis of categorical inferentialism, that two notions of inconsistency ought to be distinguished in an appropriate account of tonk; logic with tonk is inconsistent as the theory of propositions, and it is due to the fallacy of equivocation; in contrast to this diagnosis of the Prior’s tonk problem, nothing is actually wrong with tonk if logic is viewed as the (...) theory of proofs rather than propositions, and tonk perfectly makes sense in terms of the identity of proofs. Indeed, there is fully complete semantics of proofs for tonk, which allows us to link the Prior’s old philosophical idea with contemporary issues at the interface of categorical logic, computer science, and quantum physics, and thereby to expose commonalities between the laws of Reason and the laws of Nature, which are what logic and physics are respectively about. I conclude the article by articulating the ideas of categorical logical positivism and pluralistic unified science as its goal, including the unification of realist and antirealist conceptions of meaning by virtue of the categorical logical basis of metaphysics. (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)

This paper discusses what constitutes good teaching, taking as its cue the ‘aesthetic’ concept treated in everyday aesthetics and ‘internal good’ accounted by McIntyre. Teaching is viewed as practice, not merely as a basic action, due to its epistemological nature as everyday work. What everyday aesthetics teaches us is that even in the practice of teaching, sensory experiences such as comfort, familiarity, discomfort, ordinariness, etc. can be viewed as aesthetic experience. This kind of aesthetic experience constitute intuition supporting ’good teaching’ (...) that confirmed by examining Dreyfus et al. This ‘good teaching’ sensitivity is not specific to the individual practitioner, but is considered to be an ‘in-practice value (internal good?)’ (McIntyre) shared by the community of practice. From the aesthetic perspective, this value could be called ‘aesthetic value in practice’. In the teaching community of practice, ‘good teaching’ is both ‘beautiful teaching’ and ‘ethically good’ teaching. Teaching should be seen as a relational practice, and for this reason, The Ethico-Aesthetics of Teaching should be constructed. (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.

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.

Ethics education for professionals has become popular in Japan over the last two decades. Many professional schools now require students to take an applied ethics or professional ethics course. In contrast, very few courses of professional ethics for teaching exist or have been taught in Japan. In order to obtain suggestions for teacher education, this paper reviews and examines practices of ethics education for engineers and nurses in Japan that have been successfully implemented. The paper concludes that difficulties in professional (...) ethics education in Japan are caused by the fact that both teachers and students lack experience in leading and participating in discussion‐based classes and misunderstand the effectiveness of a case‐based pedagogy. It also suggests that we need to offer teachers systematic opportunities to be trained to be proficient in enabling students to be active and critical in class. (shrink)

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)

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)