Relational parametricity for higher kinds

Reynolds’ notion of relational parametricity has been extremely influential and well studied for polymorphic programming languages and type theories based on System F. The extension of relational parametricity to higher kinded polymorphism, which allows quantification over type operators as well as types, has not received as much attention. We present a model of relational parametricity for System Fω, within the impredicative Calculus of Inductive Constructions, and show how it forms an instance of a general class of models defined by Hasegawa. We investigate some of the consequences of our model and show that it supports the definition of inductive types, indexed by an arbitrary kind, and with reasoning principles provided by initiality

The Priority of Relation for Creation: A primer in the logic of three

An exploration of the metaphysics of relation as a unifying motif in modern physics. What happens when Ideal observers begin to observe their own observing

Romantic Love and Knowledge: Refuting the Claim of Egoism

Romantic love and its predecessor eros have both been characterized as forms of egoistic love. Part of this claim is concerned specifically with the relation between love and knowledge. Real love, it is claimed, is prior to knowledge and is not motivated by it. Romantic love and eros according to this view are egoistic in that they are motivated by a desire for knowledge. Agapic love characterized by bestowal represents a true form of love unmotivated by selfish desires. I argue that such an emphasis on bestowal at the expense of knowledge or appraisal of the beloved is problematic. The knowledge dimension of romantic love, rather than contributing to selfishness, can be a means of freeing us from egoism when we understand identity in its relational or social form

Anticipation as prediction in the predication of data types

Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two. The formalism of set theory cannot guarantee the two are co-extensive. That has to be imposed by the axiom of extensibility, which is inadequate for types as shown by Bertrand Russell's rami ed type theory, for language as by Henri Poincar e's impredication and for intension unless satisfying Port Royal's de nitive concept. An anticipatory system is usually de ned to contain its own future state. What is its type? What is its predicate? What is its extension? Set theory can well represent formally the weak anticipatory system, that is in a model of itself. However we have previously shown that the metaphysics of process category theory is needed to represent strong anticipation. Time belongs to extension not intension. The apparent prediction of strong anticipation is really in the structure of its predication. The typing of anticipation arises from a combination of and | respectively (co) multiplication of the (co)monad induced by adjointness of the system's own process. As a property of cartesian closed categories this predication has signi cance for all typing in general systems theory including even in the de nition of time itself

Freedom and Equality: Beyond Egalitarianism and Anti-Egalitarianism

Philosophy, as we know, is an abstract expression of worries, sentiments and longings that move people and societies. Philosophical debates are often innovative, but sometimes we have reason to ask ourselves why they develop at all and what general social trends they follow. An example of such a philosophical discussion-one that seems bewildering to many-is the current dispute between egalitarians and anti-egalitarians which has also reached German-speaking countries and which divides philosophers into opposing camps. Given feminist arguments against egalitarianism that seem initially to have the potential to erode the social responsibilities of societies, the debate must seem especially strange to those feminist philosophers who have considered the European welfare state as a reasonable normative standard. The political shifts of the last decade, especially the change in former communist countries and the globalization of markets, provide the general social background for these challenges to egalitarian thinking. Yet a look at these causal factors does not answer compelling questions such as, Are the normative demands of a strict egalitarianism really binding? Are these demands morally compelling? Are the arguments with which we justify people's acess to certain social and economic goods in fact egalitarian? Do we have to base an acceptable conception of society and its fundamental institutions on the ideal of equality at all? In this talk I shall not address in detail the debate between egalitarians and anti-egalitarians. Instead I shall argue for an autonomy-based political theory that defines a specific structure among basic political values like universal respect, freedom, and equality. My claim is that such a theory integrates the value of equality in a form that allows us to leave behind the dispute between egalitarianism and anti-egalitarianism. Finally I shall try to show that an autonomy-oriented political theory is attractive from a feminist point of view

Adding HL7 version 3 data types to PostgreSQL

The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, point in time and concept descriptor but also complex types such as interval types, collection types and probabilistic types. Typical HL7 applications will store their communications in a database, resulting in a translation from HL7 concepts and types into database types. Since the data types were not designed to be implemented in a relational database server, this transition is cumbersome and fraught with programmer error. The purpose of this paper is two fold. First we analyze the HL7 version 3 data type definitions and define a number of conditions that must be met, for the data type to be suitable for implementation in a relational database. As a result of this analysis we describe a number of possible improvements in the HL7 specification. Second we describe an implementation in the PostgreSQL database server and show that the database server can effectively execute scientific calculations with units of measure, supports a large number of operations on time points and intervals, and can perform operations that are akin to a medical terminology server. Experiments on synthetic data show that the user defined types perform better than an implementation that uses only standard data types from the database server.Comment: 12 pages, 9 figures, 6 table