This chapter contains section titled: I II III IV Acknowledgement.

二十世紀初頭、フッサールによって創唱された現象学。経験のなかに知識の原理として機能する原型を探るこの学問は、ハイデガー、サルトル、メルロ=ポンティらに多大な影響を与え、思想・哲学の大きな潮流となる。フ ッサールの哲学を原テクストに則して問い直し、現象学の基本的事象とその本質を解明する、斯界の泰斗の精緻な思索が結晶した珠玉の書。.

How to Pool Risks across Generations makes the case for the collective provision of pensions, on fair terms of social cooperation. Through the insurance of a mutual association which extends across society and over multiple generations, we share one another's fates by pooling risks across both space and time. Resources are transferred, not simply between different people, but also within the possible future lives of each person: from one's more fortunate to one's less fortunate future selves. The book opens with (...) an investigation of the longevity and investment risk that even a single individual on a desert island would face in providing for her old age. From this atomistic starting point, it builds up, within and across the chapters, to increasingly collective forms of pension provision. By joining together, it is possible to tame the risks we would face as individuals each with our own private pension pot. A collective pension can be justified as a 'social union of social unions': an enduring corporate body, which is formed by agreements to pool risks, in a manner that involves reciprocity between the various individuals that constitute the collective. Even though all individuals age and die, a collective pension scheme remains evergreen, as the average age of members remains relatively unchanged, through the influx of new members to replace those who retire. It is therefore possible to smooth risks indefinitely across as well as within generations, to the mutual advantage of each. (shrink)

独自の視点から思想の可能性をつかみ出し、現代の倫理として編み直す。鶴見哲学の中心へ、気鋭の哲学者による決定的論考。.

儒教が「国教」となったのはいつか。皇帝と天子は同じものか。曹操はなぜ文学を称揚したか。諸葛亮は何を守ろうとしたのか。「竹林の七賢」は何に抵抗したか。国家の正統性を主張し、統治制度や世界観の裏づけとなる 「正統思想」の意置に儒教が上り、その思想内容が変転していく様を、体系性と神秘思想の鄭玄、合理性と現実主義の王粛、光武帝、王莽、曹操や諸葛亮など、多彩な人物を軸にして、「漢」の成立と衰退、三国、魏晉時代 の歴史を交えながら描き出す。.

A review essay of Frances Kamm's 'Morality, Mortality', Vol. 2, 'Rights, Duties, and Status' (New York: Oxford University Press, 1996).

In a recent review essay of a two volume anthology on left-libertarianism (edited by two of us), Barbara Fried has insightfully laid out most of the core issues that confront left-libertarianism. We are each left-libertarians, and we would like to take this opportunity to address some of the general issues that she raises. We shall focus, as Fried does much of the time, on the question of whether left-libertarianism is a well-defined and distinct alternative to existing forms of liberal egalitarianism. (...) More specifically, we shall address the following fundamental issues raised by Fried (and others): (1) Does the notion self-ownership have any determinate content? (2) What is the relation between self-ownership and world ownership? (3) How is left-libertarianism different from other forms of liberal egalitarianism (e.g., those of Rawls and Dworkin)? (shrink)

京都学派の経済哲学者として知られた梯明秀の本格的研究書。梯の戦時下における哲学の再評価と創造的復権をめざして、形而上学批判と根源的自然の復権というまったく新たな視点からその意義と射程を明らかにしようと する力作。.

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

Modern technology has radically altered the conditions for human action, endowing us with tremendous power to affect the future. Patterns of action that appear positive in their short-term effects must sometimes be judged unsustainable. Hans Jonas and Thomas Berry are among those who emphasize the necessity of transforming ethics in light of these considerations. In a Whiteheadian framework, this needed transformation is rooted in the nature of things.

The aim of this paper is to examine the role of imagination in environmental ethics and introduce an imaginative dimension as an essential part of environmental ethics. Imagination constitutes a basic condition for ethical thinking and action. Matters of environmental ethics have revealed the indispensable role of imagination in ethics. I’ll advance an imagination-based environmental ethics by developing Hans Jonas’ ethical thought. From his viewpoint, various effects of our action on nature and future generations, generally out of our sight, have (...) become an ethical concern. This necessitates the exercise of imagination because we must “imagine” those distant effects to act in an environmentally responsible way. Jonas’ “heuristics of fear” is an imaginative approach necessary for responsible action. Further, I reinterpret the role of imagination as motivating our “will to know.” In conclusion, I suggest the importance of environmental education as cultivating ecological imagination from the standpoint of environmental ethics. (shrink)

We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson's arithmetic Q, but still essentially undecidable. Hence, as a corollary, WTC is also essentially undecidable.

Specification acquisition in the system design process has been improved since the middle of the 1980s when the upper CASE tools appeared. On the contrary the quality of requirement acquisition in the upper processes of system design has not been enhanced as much as specification acquisition. Understanding the user's requirements is indispensable as one of the basic conditions for building systems that can really satisfy users.This article discusses obtaining requirement knowledge, in terms of human-centred design. The focus is on the (...) process of requirement acquisition, where there is room for one to make full use of human knowledge in a dynamic manner. (shrink)

Michael Otsuka sets out to vindicate left-libertarianism, a political philosophy which combines stringent rights of control over one's own mind, body, and life with egalitarian rights of ownership of the world. Otsuka reclaims the ideas of John Locke from the libertarian Right, and shows how his Second Treatise of Government provides the theoretical foundations for a left-libertarianism which is both more libertarian and more egalitarian than the Kantian liberal theories of John Rawls and Thomas Nagel. Otsuka's libertarianism (...) is founded on a right of self-ownership. Here he is at one with 'right-wing' libertarians, such as Robert Nozick, in endorsing the highly anti-paternalistic and anti-moralistic implications of this right. But he parts company with these libertarians in so far as he argues that such a right is compatible with a fully egalitarian principle of equal opportunity for welfare. In embracing this principle, his own version of left-libertarianism is more strongly egalitarian than others which are currently well known. Otsuka argues that an account of legitimate political authority based upon the free consent of each is strengthened by the adoption of such an egalitarian principle. He defends a pluralistic, decentralized ideal of political society as a confederation of voluntary associations. Part I of Libertarianism without Inequality concerns the natural rights of property in oneself and the world. Part II considers the natural rights of punishment and self-defence that form the basis for the government's authority to legislate and punish. Part III explores the nature and limits of the powers of governments which are created by the consensual transfer of the natural rights of the governed. Libertarianism without Inequality is a book which everyone interested in political theory should read. (shrink)

It is proved that $\Pi^1_1$ -indescribability in $P_{\kappa}\lambda$ can be characterized by combinatorial properties without taking care of cofinality of $\lambda$ . We extend Carr's theorem proving that the hypothesis $\kappa$ is $2^{\lambda^{<\kappa}}$ -Shelah is rather stronger than $\kappa$ is $\lambda$ -supercompact.

We pursue the idea that predicate logic is a “fibred algebra” while propositional logic is a single algebra; in the context of intuitionism, this algebraic understanding of predicate logic goes back to Lawvere, in particular his concept of hyperdoctrine. Here, we aim at demonstrating that the notion of monad-relativised hyperdoctrines, which are what we call fibred algebras, yields algebraisations of a wide variety of predicate logics. More specifically, we discuss a typed, first-order version of the non-commutative Full Lambek calculus, which (...) has extensively been studied in the past few decades, functioning as a unifying language for different sorts of logical systems (classical, intuitionistic, linear, fuzzy, relevant, etc.). Through the concept of Full Lambek hyperdoctrines, we establish both generic and set-theoretical completeness results for any extension of the base system; the latter arises from a dual adjunction, and is relevant to the tripos-to-topos construction and quantale-valued sets. Furthermore, we give a hyperdoctrinal account of Girard’s and Gödel’s translation. (shrink)

I presented an earlier version of this paper to the Law and Philosophy Discussion Group in Los Angeles, whose members I would like to thank for their comments. In addition, I would also like to thank the following people for reading and providing written or verbal commentary on earlier drafts: Robert Mams, Rogers Albritton, G. A. Cohen, David Copp, Matthew Hanser, Craig Ihara, Brian Lee, Marc Lange, Derk Pereboom, Carol Voeller, and the Editors of Philosophy & Public Affairs. I owe (...) special thanks to Timothy Hall and Seana Shiffnn for their insightful and helpful comments. (shrink)

We argue that there is a marked shift in the moral weight of an increment in a person's well-being when one moves from a case involving only intra-personal trade-offs to a case involving only inter-personal trads-offs. This shift, we propose, is required by the separateness of persons. We also argue that the Priority View put forward by Parfit cannot account for such a shift. We also outline two alternative views, an egalitarian view and a claims-based view, that can account for (...) this shift. (shrink)

Abstract.A type of subtlety for Pκλ called “strongly subtle” is introduced to show almost ineffability is consistencywise stronger than Shelah property. The following are also shown: is strongly subtle” has rather strong consequences. (ii) The ideal is not strongly subtle} is not λ-saturated, and completely ineffable ideal is not precipitous. (iii) In case that λ<κ=2λ, almost λ-ineffability coincides with λ-ineffability. (iv) It is not provable that κ is λ<κ-ineffable whenever κ is λ-ineffable.

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)

We discuss two leading theories of distributive justice: egalitarianism and prioritarianism. We argue that while each has particular merits and shortcomings, egalitarian views more fully satisfy a key requirement of distributive justice: respect for both the unity of the individual and the separateness of persons.

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)

I defend an incompatibilist 'Principle of Avoidable Blame' according to which one is blameworthy for performing an act of a given type only if one could instead have behaved in a manner for which one would have been blameless. First, I demonstrate that this principle is resistant to Harry Frankfurt-type counterexample. Second, I present a positive argument for this principle that appeals to the relation of blame to the 'reactive attitude' of indignation. Finally, I argue against the possibility of blamelessly (...) stumbling into a 'moral blind alley' where one would be blameworthy for whatever one is capable of doing. (shrink)

Over the past decade philosophers of biology have discussed whether evolutionary theory is a causal theory or a phenomenological study of evolution based solely on the statistical features of a population. This article reviews this controversy from three aspects, respectively concerning the assumptions, applications, and explanations of evolutionary theory, with a view to arriving at a definite conclusion in each contention. In so doing I also argue that an implicit methodological assumption shared by both sides of the debate, namely the (...) overconfidence in conceptual analysis as a tool to understand the scientific theory, is the real culprit that has both generated the problem and precluded its solution for such a long time. (shrink)

I argue that prioritarianism cannot be assessed in abstraction from an account of the measure of utility. Rather, the soundness of this view crucially depends on what counts as a greater, lesser, or equal increase in a person’s utility. In particular, prioritarianism cannot accommodate a normatively compelling measure of utility that is captured by the axioms of John von Neumann and Oskar Morgenstern’s expected utility theory. Nor can it accommodate a plausible and elegant generalization of this theory that has been (...) offered in response to challenges to von Neumann and Morgenstern. This is, I think, a theoretically interesting and unexpected source of difficulty for prioritarianism, which I explore in this article. (shrink)

In "What We Owe to Each Other", T. M. Scanlon argues that one should save the greater number when faced with the choice between saving one life and two or more different lives. It is, Scanlon claims, a virtue of this argument that it does not appeal to the claims of groups of individuals but only to the claims of individuals. I demonstrate that this argument for saving the greater number, indeed, depends, contrary to what Scanlon says, upon an appeal (...) to the claim of a group of individuals to be saved. (shrink)

The causal nature of evolution is one of the central topics in the philosophy of biology. The issue concerns whether equations used in evolutionary genetics point to some causal processes or purely phenomenological patterns. To address this question the present article builds well-defined causal models that underlie standard equations in evolutionary genetics. These models are based on minimal and biologically plausible hypotheses about selection and reproduction, and generate statistics to predict evolutionary changes. The causal reconstruction of the evolutionary principles shows (...) adaptive evolution as a genuine causal process, where fitness and selection are both causes of evolution. 1 Introduction2 The Philosophical Puzzle3 Causal Models4 Causal Foundations of Evolutionary Genetics4.1 Univariate quantitative genetics model4.1.1 The causal graph4.1.2 Structural equations4.1.3 Deriving evolutionary transition functions4.2 One-locus population genetics model5 Evolution as a Causal Process5.1 Selection as a causal process5.2 Causes of evolutionary change6 Conclusion. (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)

In the Trolley Case (Figure 1), as devised by Philippa Foot and modified by Judith Jarvis Thomson, a runaway trolley (i.e. tram) is headed down a main track and will hit and kill five unless you divert it onto a side track, where it will hit and kill one.

Philosophy & Public Affairs, 34 (2006): 109-35.

We study the distributivity of the bounded ideal on Pkλ and answer negatively to a question of Johnson in [13]. The size of non-normal ideals with the partition property is also studied.

Lawvere hyperdoctrines give categorical algebraic semantics for intuitionistic predicate logic. Here we extend the hyperdoctrinal semantics to a broad variety of substructural predicate logics over the Typed Full Lambek Calculus, verifying their completeness with respect to the extended hyperdoctrinal semantics. This yields uniform hyperdoctrinal completeness results for numerous logics such as different types of relevant predicate logics and beyond, which are new results on their own; i.e., we give uniform categorical semantics for a broad variety of non-classical predicate logics. And (...) we introduce an analogue of Lawvere–Tierney topology and cotopology in the hyperdoctrinal setting, which gives a unifying perspective on different logical translations, in particular allowing for a uniform treatment of Girard’s exponential translation between linear and intuitionistic logics and of Kolmogorov’s double negation translation between intuitionistic and classical logics. In the hyerdoctrinal conception, type theories are categories, logics over type theories are functors, and logical translations between them, then, are natural transformations, in particular Lawvere–Tierney topologies and cotopologies on hyperdoctrines. The view of logical translations as hyperdoctrinal Lawvere–Tierney topologies and cotopologies has not been elucidated before, and may be seen as a novel contribution of the present work. From a broader perspective, this work may be regarded as taking first steps towards interplay between algebraic and categorical logics; it is, technically, a combination of substructural algebraic logic and hyperdoctrinal categorical logic, as the hyperdoctrinal completeness theorem is shown via the integration of the Lindenbaum–Tarski algebra construction with the syntactic category construction. As such this work lays a foundation for further interactions between algebraic and categorical logics. (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)