Purpose: The purpose of this article was to compare different modes of feedback on 30 min cycling time-trial performance in non-cyclist’s and cyclists-triathletes, and investigate cyclists-triathlete’s information acquisition.Methods: 20 participants performed two 30 min self-paced cycling time-trials with either a single feedback or multiple feedback. Cyclists-triathlete’s information acquisition was also monitored during the multiple feedback trial via an eye tracker. Perceptual measurements of task motivation, ratings of perceived exertion and affect were collected every 5 min. Performance variables and heart rate (...) were recorded continuously.Results: Cyclists-triathletes average power output was greater compared to non-cyclists with both multiple feedback. Whereas, cyclists-triathletes 30 min cycling time-trial performance was impaired with multiple feedback compared to single feedback. Cyclists-triathlete’s primary and secondary objects of regard were power and elapsed time. However, total glance time during multiple feedback decreased from the first 5 min to the last 5 min.Conclusion: Cyclists-triathletes indoor 30 min cycling TT performance was impaired with multiple feedback compared to single feedback. Whereas non-cyclist’s performance did not differ between multiple and single feedback. Cyclists-triathletes glanced at power and time which corresponds with the wireless sensor networks they use during training. However, total glance time during multiple feedback decreased over time, and therefore, overloading athletes with feedback may decrease performance in cyclists-triathletes. (shrink)

Why is human history a catalogue of one war after another? Physicalist and sociobiological explanations of war seem to be lacking, especially when we consider archaeological and ethnographic evidence for the absence of war amongst hunter-gatherer societies and during the early to middle Neolithic period of history. James DeMeo's book Saharasia suggests that the 'age of war' only began at around 4000 BCE, amongst particular human groups who inhabited areas of Central Asia and the Middle East. He sees it (...) as the result of an environmental disaster which occurred at this time: the dessication of the 'Saharasia' region. I summarize DeMeo's findings, but disagree with his Reichian analysis. I propose that the real factor was the intensified ego-consciousness which these groups developed at this time. I suggest how and why this 'sharpened sense of ego' arose, and at how it gave rise to -- and still gives rise to -- war. (shrink)

Conversations about the past can involve voicing and silencing; processes of validation and invalidation that shape recall. In this experiment we examined the products and processes of remembering a significant autobiographical event in conversation with others. Following the death of Australian celebrity Steve Irwin, in an adapted version of the collaborative recall paradigm, 69 participants described and rated their memories for hearing of his death. Participants then completed a free recall phase where they either discussed the event in groups (...) of three or wrote about the event on their own. Finally, participants completed the original questionnaire again, both 1 week and 1 month after the free recall phase. Discussion influenced later memories for hearing of Irwin’s death, particularly memories for emotion and shock. Qualitative analysis of the free recall phase suggested that during conversation a shared understanding of the event developed, but that emotional reactions to the event were silenced in ways that minimised the event’s impact. These findings are discussed in terms of the processes and consequences of sharing public and personal memories in conversation. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Despite Kant's belief in a universal causal determinism among phenomena and his rejection of any noumenal agency in brutes, he nevertheless rejected Descartes's hypothesis that brutes are machines. Explaining Kant's response to Descartes forms the basis for this discussion of the nature of consciousness and matter in Kant's system. Kant's numerous remarks on animal psychology-as found in his lecture notes and reflections on metaphysics and anthropology-suggest a theory of consciousness and self-consciousness at odds with that traditionally ascribed to him.

of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...) A B(x), which are regarded as indexed families of types. There are simple type forming operations A × B and A → B, as well as operations on dependent types, including in particular the sum x:A B(x) and product x:A B(x) types (see the appendix for details). The Curry-Howard interpretation of the operations A × B and A → B is as propositional conjunction and.. (shrink)

The thesis of this work is that in both modern Japanese philosophy and American pragmatism there has been a paradigm shift from a monological concept of self as an isolated "I" to a dialogical concept of the social self as an "I-Thou relation," including a communication model of self as individual-society interaction. It is also shown for both traditions all aesthetic, moral, and religious values are a function of the social self arising through communicative interaction between the individual and society. (...) However, at the same time this work critically examines major ideological conflicts arising between the social self theories of modern Japanese philosophy and American pragmatism with respect to such problems as individualism versus collectivism, freedom versus determinism, liberalism versus communitarianism, and relativism versus objectivism. (shrink)

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)

This is a draft of the introduction to a forthcoming volume that brings together all of J. G. Herder's student notes from Immanuel Kant's lectures. It is intended as a volume in Kant's gesammelte Schriften (de Gruyter). These are the earliest notes (1762-64) we have from Kant's lectures (which span from 1755 to 1796) and the only notes before his professorship began in 1770. Included are improved transcriptions of Herder's notes on metaphysics, moral philosophy, logic, physics, and mathematics, and the (...) first transcription of his notes from Kant’s physical geography lectures. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...) f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

_ Source: _Page Count 22 Analysis of the concept of habit has been relatively neglected in the contemporary analytic literature. This paper is an attempt to rectify this lack. The strategy begins with a description of some paradigm cases of habit which are used to derive five features as the basis for an explicative definition. It is argued that habits are social, acquired through repetition, enduring, environmentally activated, and automatic. The enduring nature of habits is captured by their being dispositions (...) of a certain sort. This is a realist account of habits insofar as the dispositions put forward must fit into some recognizable underlying system – in the case of humans a biological system – to fill the role as set out by the definition. This role is wide-ranging; in addition to the familiar cases of habitual behavior, habitual activities also include thinking, perceiving, feeling, and willing. (shrink)

We will analyze the concept of anonymity, along with cognate notions, and their relation to privacy, with a view to developing an understanding of how we control our identity in public and why such control is important in developing and maintaining our social selves. We will take anonymity to be representative of a suite of techniques of nonidentifiability that persons use to manage and protect their privacy. At the core of these techniques is the aim of being untrackable; this means (...) that others lack the information they would need either to intrude physically upon me or to discover some private facts about me. Anonymity often enough goes together with privacy, but not always. Consider a person walking down a foreign street. It is not a physically private situation but no one there knows who you are. On the other hand, when I cast a postal vote, this act is both private and anonymous. Privacy and anonymity seem to go together because of the way each protects something importantly personal, but their coming apart suggests a difference both in what they mean and in our purposes for securing them. A lot has been written about privacy, and deservedly so; there is reason to think anonymity, and its cognates, important as well. (shrink)

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.

This book represents emerging alternative perspectives to the "constructivist" orthodoxy that currently dominates the field of science and technology studies. Various contributions from distinguished Americans and Europeans in the field, provide arguments and evidence that it is not enough simply to say that science is "socially situated." Controversial Science focuses on important political, ethical, and broadly normative considerations that have yet to be given their due, but which point to a more realistic and critical perspective on science policy.

_ Source: _Page Count 22 Analysis of the concept of habit has been relatively neglected in the contemporary analytic literature. This paper is an attempt to rectify this lack. The strategy begins with a description of some paradigm cases of habit which are used to derive five features as the basis for an explicative definition. It is argued that habits are social, acquired through repetition, enduring, environmentally activated, and automatic. The enduring nature of habits is captured by their being dispositions (...) of a certain sort. This is a realist account of habits insofar as the dispositions put forward must fit into some recognizable underlying system – in the case of humans a biological system – to fill the role as set out by the definition. This role is wide-ranging; in addition to the familiar cases of habitual behavior, habitual activities also include thinking, perceiving, feeling, and willing. (shrink)

Artistic Detachment in Japan and the West takes up the notion of artistic detachment, or psychic distance, as an intercultural motif for East-West comparative aesthetics. The work begins with an overview of aesthetic theory in the West from the eighteenth-century empiricists to contemporary aesthetics and concludes with a survey of various critiques of psychic distance. Throughout, the author takes a highly innovative approach by juxtaposing Western aesthetic theory against Eastern aesthetic theory. Weaving between cultures and time periods, the author focuses (...) on a remarkably wide range of theories: in the West, the Kantian notion of disinterested contemplation, Heidegger's Gelassenheit, semiotics, and pragmatism; in Japan, Zeami's notion of riken no ken, the Kyoto School's intepretation of nothingness, D. T. Suzuki's analysis of the function of no-mind, and the writings of Kuki Shuzo on Buddhist detachment. "Portrait of the artist" fiction by such writers as Henry James, James Joyce, Mori Ogai, and Natsume Soseki demonstrates how the main theme of detachment is expressed in literary traditions. The role of sympathy or pragmatism in relation to disinterest is examined, suggesting conflicts within or challenges to the notion of detachment. Researchers and students in Eastern and Western areas of study, including philosophers and religionists, as well as literary and cultural critics, will deem this work an invaluable contribution to cross-cultural philosophy and literary studies. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

Addiction appears to be a deeply moralized concept. To understand the entwinement of addiction and morality, we briefly discuss the disease model and its alternatives in order to address the following questions: Is the disease model the only path towards a ‘de-moralized’ discourse of addiction? While it is tempting to think that medical language surrounding addiction provides liberation from the moralized language, evidence suggests that this is not necessarily the case. On the other hand non-disease models of addiction may seem (...) to resuscitate problematic forms of the moralization of addiction, including, invoking blame, shame, and the wholesale rejection of addicts as people who have deep character flaws, while ignoring the complex biological and social context of addiction. This is also not necessarily the case. We argue that a deficit in reasons responsiveness as basis for attribution of moral responsibility can be realized by multiple different causes, disease being one, but it also seems likely that alternative accounts of addiction as developed by Flanagan, Lewis, and Levy, may also involve mechanisms, psychological, social, and neurobiological that can diminish reasons responsiveness. It thus seems to us that nondisease models of addiction do not necessarily involve moralization. Hence, a non-stigmatizing approach to recovery can be realized in ways that are consistent with both the disease model and alternative models of addiction. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Abbreviations Works by Alfred North Whitehead 1) Adventures of Ideas. New York: Macmillan Co., 1967 AI 2) Concept of Nature. Cambridge: Cambridge University Press, 1971 CN 3) Modes of Thought. New York: Macmillan Co., 1968 MT 4) Process ..

This book introduces the history of third way ideology, surveys its various contrasting forms and locates it within the context of a recurrent crisis of modern European ideologies.

Social persons routinely tell themselves and others richly elaborated autobiographical stories filled with details about deeds, plans, roles, motivations, values, and character. Saul, let us imagine, is someone who once sailed the world as a young adventurer, going from port to port and living a gypsy existence. In telling his new acquaintance, Jess, of his former exotic life, he shines a light on his present character and this may guide to some extent their interaction here and now. Perhaps Jess also (...) spent time at one of these port locations; perhaps their paths might even have crossed. They might be drawn into recounting some common events that indeed do establish a common link. Did they visit a certain famous landmark? Did they meet up at the same bars? And so on. When we open up to friends, acquaintances, colleagues, and close others through the stories we tell them, we do so by revealing bits of ourselves. (shrink)

This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...) new and perhaps more natural notion of ideal, and in the class theory of part three. (shrink)

The integral consciousness -- The internal universe -- The evolution of consciousness -- The within of things -- The systemic nature of evolution -- Stages of consciousness and culture -- The spiral of development -- Tribal consciousness -- Warrior consciousness -- Traditional consciousness -- Modernist consciousness -- Postmodern consciousness -- The spiral as a whole -- What is the real evidence for the spiral? -- The integral stage of consciousness -- Life conditions for integral consciousness -- The values of integral (...) consciousness -- Integral consciousness in the context of history -- Practicing the integral lifestylevalue metabolism -- Postintegral consciousness -- Integral politics -- The politics of the spiral -- Integral politics and global governance -- Is global governance an unrealistic fantasy? -- Is global governance too dangerouswhat are the safeguards? -- Global governance and integral consciousness cocreate each other -- Integral spirituality -- The development of spiritual traditions -- Public spirituality in the integral age -- Beauty, truth, and goodnessphilosophical spirituality -- The practice of beauty, truth, and goodness -- The revelation of evolution -- The founders of integral philosophy -- Ken Wilber in context -- The evolution of philosophy as a human endeavor -- Hegel, the first integral philosopher -- Bergson, the first post-darwinian integral philosopher -- Whitehead, spiritual philosopher for the ages -- Teilhard de Chardin, master of the internal universe -- Gebser, prophet of integral consciousness -- Developmental psychology and the mapping of the internal universe -- Habermas, architect of integral foundations -- Wilber, framer of integral philosophys twenty-first-century synthesis -- What I add to integral philosophy -- The integral reality frame -- Metaphysics and the evolution of reality frames -- The integral map of reality -- Integral philosophy and human spirituality -- Some critiques of the integral reality frame -- Structures of the human mind -- Lines of development recognized by psychologists -- Wilber's theory of the lines of development -- A critique of Wilber's theory of developmental lines -- An alternative theory of the structures of consciousness -- The self as a whole -- The directions of evolution -- Evolution and the idea of progress -- Unity, complexity, and consciousness -- Directions of evolution in the internal universe -- The dialectical quality of the master patterns of evolution -- Potential applications of a dialectical understanding of evolution. (shrink)

Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using (...) regular categories. We show that dependent type theory with the unit type, strong extensional equality types, strong dependent sums, and bracket types is the internal type theory of regular categories, in the same way that the usual dependent type theory with dependent sums and products is the internal type theory of locally Cartesian closed categories. We also show how to interpret first-order logic in type theory with brackets, and we make use of the translation to compare type theory with logic. Specifically, we show that the propositions-as-types interpretation is complete with respect to a certain fragment of intuitionistic first-order logic, in the sense that a formula from the fragment is derivable in intuitionistic first-order logic if, and only if, its interpretation in dependent type theory is inhabited. As a consequence, a modified double-negation translation into type theory (without bracket types) is complete, in the same sense, for all of classical first-order logic. (shrink)

Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...) literature for details. Each of the three steps considered below is based on more recent logical research than the preceding one. The first step from sets to types is essentially the familiar idea of set theoretic semantics for a syntactic system, i.e. giving a model; we take a brief glance at this step from the current point of view, mainly just to fix ideas and notation. The second step from types to categories is known to categorical logicians as the construction of a “syntactic category”; we give some specifics for the benefit of the reader who is not familiar with it. The third step from categories to sets is based on quite recent work, but captures in a precise way an intuition from the early days of foundational studies. With these pieces in place, we can then draw some conclusions regarding the differences between the three schemes, and their relative merits. In particular, it is possible to state more precisely why the methods of category theory are more appropriate to philosophical structuralism. (shrink)

Abstract:Watsuji Tetsurō's model of human existence (ningen sonzai) and his ethical principle of selfless solicitude (kokorozukai) imply not only a broadly permissive position on reproductive rights but a clearer vision of pregnancy and the fetus, and also a deeper moral critique of the anti-abortion movement.

Comics writer and artist Frank Miller reinvented Batman, bringing greater emotional, moral, and political depth to the character. This chapter considers Batman’s ethics and politics, examining his rejection of utilitarianism, his embrace of the will to power, his Kantian dilemma when dealing with the Joker, and the distinction to be drawn between Miller’s own libertarianism and Bruce Wayne’s Bat-Libertarianism.

Wonder Woman has evolved considerably since the Golden Age. (Thank Hera!) Different writers in different eras have tinkered with her back story and her resulting character. Yet throughout her many retellings people can point to two consistent trends: she is a warrior, and she protects the abused. As a warrior, her honor code isn't so different from bushido, the code of the samurai. She is selfless, fearless, relentless, and she even has a magic lasso to enforce the samurai virtue of (...) honesty. In the hands of her best writers, Wonder Woman is not a generic do‐gooder, nor is she a milquetoast rule follower. Though her moral motivations may shift from one author to the next, what is consistent throughout her many incarnations is that Wonder Woman is uniquely placed to be the samurai feminist, the only one who can reconcile bushido and care ethics. (shrink)