DNA arrays have become the preferred method for large-scale expression measurement. Such data are needed in view of the large amounts of sequence data available: expression levels in a number of different tissues or situations provide a first step toward functional characterisation of new entities revealed by DNA sequencing. Although the basic principle of measurement is in all cases based on hybridisation of a mixed probe derived from tissue RNA to large sets of DNA fragments representing many genes, a number (...) of different forms of implementation of this principle are at hand. They are briefly described and compared, emphasizing the important issue of sensitivity and sample requirements and the accessibility of the methods to academic scientists. When these factors are taken into account, it appears that, contrary to a largely prevalent impression, the “best” approach is not necessarily always provided by the widely advertised glass microarrays or oligonucleotide chips. BioEssays 21:781–790, 1999. © 1999 John Wiley & Sons, Inc. (shrink)

I am writing on moral knowledge in Locke's Essay Concerning Human Understanding. There are two basic parts. In the first part, I articulate and attack a predominant interpretation of the Essay . This interpretation attributes to Locke the view that he did not write in the Essay anything that would be inconsistent with his early views in the Questions Concerning the Laws of Nature that there exists a single, ultimate, moral standard, i.e., the Law of Nature. For example, John Colman, (...) in his book John Locke's Moral Philosophy , argues that even though Locke explains in the Essay that we arbitrarily create our moral notions, they are still objective since they are bound together with the Law of Nature. Colman explains that the features of human nature relevant to the derivation of the Law of Nature are universally shared needs and concerns . I argue that this presupposes a view of Locke which assumes that there are essences of species independent of our beliefs about them. However, I attempt to show from the text of the Essay that this view cannot be supported. ;In the second part, I argue that the text of the Essay supports two alternative theses. The first is that given the kind of metaphysical world-view presupposed by the corpuscular method of science employed within the Essay, coupled with Locke's commitment to the possibility of moral knowledge, he was left with only one option with reference to ethics, viz., to make moral goodness or evil a mind-dependent relation between a rule and an action, instead of a property of an action or person which exists independently of our moral beliefs. This view is logically inconsistent with the existence of the Law of Nature. The second is that Locke has a semantical view of moral claims which is consistent with his relational view of moral goodness, viz., the primary function of moral judgments is to recommend behavior for ourselves and others. I described. However, Locke explains in the Essay that the opposite takes place with respect to our moral notions: events and persons must conform to the moral notion. ;On the account that I offer, Locke's views on moral epistemology are much closer to David Hume's than many have supposed, and correspondingly, anticipate the more skeptical views of moral epistemology in the twentieth century. (shrink)

This book is a collection of eleven essays by one of the most interesting moral philosophers currently writing. It examines challenges to liberal thought posed by the changing circumstances of the modern world such as the conflicting tendencies toward global integration, and greater ethnic and communal identification. The author considers whether liberal principles of justice can accommodate social and global interdependencies while reaffirming the importance of individual responsibility and acknowledging the significance of people's diverse personal and communal allegiances.

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Taking the title of his book from Isaiah Berlin's famous essay distinguishing a negative concept of liberty connoting lack of interference by others from a positive concept involving participation in the political realm, Samuel Fleischacker explores a third definition of liberty that lies between the first two. In Fleischacker's view, Kant and Adam Smith think of liberty as a matter of acting on our capacity for judgment, thereby differing both from those who tie it to the satisfaction of our (...) desires and those who translate it as action in accordance with reason or "will." Integrating the thought of Kant and Smith, and developing his own stand through readings of the Critique of Judgment and The Wealth of Nations, Fleischacker shows how different acting on one's best judgment is from acting on one's desires--how, in particular, good judgment, as opposed to mere desire, can flourish only in favorable social and political conditions. At the same time, exercising judgment is something every individual must do for him- or herself, hence not something that philosophers and politicians who reason better than the rest of us can do in our stead. For this reason advocates of a liberty based on judgment are likely to be more concerned than are libertarians to make sure that government provides people with conditions for the use of their liberty--for example, excellent standards of education, health care, and unemployment insurance--while at the same time promoting a less paternalistic view of government than most of the movements associated for the past thirty years with the political left. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

I argue that Spinoza endorses "conceptual dependence monism," the thesis that all forms of metaphysical dependence (such as causation, inherence, and existential dependence) are conceptual in kind. In the course of explaining the view, I further argue that it is actually presupposed in the proof for his more famed substance monism. Conceptual dependence monism also illuminates several of Spinoza’s most striking metaphysical views, including the intensionality of causal contexts, parallelism, metaphysical perfection, and explanatory rationalism. I also argue that this priority (...) of the conceptual does not commit Spinoza to forms of idealism or mentalism. The question of how to understand different kinds of metaphysical dependence is quite controversial in Spinoza studies; I address major alternative readings in the notes. But there I also try to draw connections to the growing debate in contemporary discussions about metaphysical dependence, as this topic is a happy point of shared interest between Spinoza and contemporary metaphysicians alike. (shrink)

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

Why should we care what happens to future generations? Samuel Scheffler argues that we are more invested in the fate of our descendants than we may realize. Implicit in our own attachments are powerful reasons for wanting the chain of human generations to persist into the indefinite future under conditions conducive to human flourishing.

In this collection of essays Samuel Wheeler discusses Derrida and other “deconstructive” thinkers from the perspective of an analytic philosopher willing to treat deconstruction as philosophy, taking it seriously enough to look for and analyze its arguments. The essays focus on the theory of meaning, truth, interpretation, metaphor, and the relationship of language to the world. Wheeler links the thought of Derrida to that of Davidson and argues for close affinities among Derrida, Quine, de Man, and Wittgenstein. He also (...) demonstrates the propinquity of Plato and Derrida and shows that New Criticism shares deconstruction’s conception of language. Of the twelve essays in the collection, four are published here for the first time. The fundamental resemblance between Derrida and such analytic thinkers as Quine, Wittgenstein, and Davidson, the author argues, is that they deny the possibility of meanings as self-interpreting media constituting thoughts and intentions. Derrida argues that some form of magic language has determined the very project of philosophy, and his arguments work out the consequences of denying that there are such self-interpreting mental contents. In addition, Derrida and Davidson agree in denying any “given.” Without a given, questions about realism and idealism cease to have a point. Derrida and Davidson are both committed to the textuality of all significant marks, whether in neurons or on paper. They argue that there is no mode of representation more direct than language. (shrink)

http://dx.doi.org/10.5007/1808-1711.2008v12n1p35 This paper aims to show that Bas van Fraassen’s constructive empiricism, such as it is expounded in The Scientific Image , ends up in considerable difficulties in the philosophy of science. The main problem would be the exclusion of mathematics from the conception of science, given its clear absence of empirical adequacy, which is the most important requirement of his formulation. In this sense, it is suggested a more inclusive formulation of scientific theory, aroused from the notion of Da (...) Costa’s (1999) simple structure , considering the notion of scientific discovery in a strict sense, and the validity limit of a theory and the formalism used in a temporal context. (shrink)

O presente trabalho tem por objetivo apresentar os principais aspectos do Empirismo Construtivo de Bas C. van Fraassen, particularmente no que diz respeito ao problema do sucesso científico. Nesse contexto, serão examinadas as noções de observável e inobservável e suas relações com o ‘argumento do milagre’ e da ‘coincidência cósmica’, ambos criticados por van Fraassen. As respostas de autores que defendem o Realismo Científico serão então apresentadas, contrapondo-se aos argumentos do Empirismo Construtivo. Finalmente, possíveis dificuldades do Empirismo Construtivo serão ainda (...) examinadas e uma proposta para superá-las será apresentada. (shrink)

Upon first encountering Immanuel Kant’s 1766 essay Dreams of a Spirit-Seer Elucidated by Dreams of Metaphysics, one is immediately struck by its literary style. Indeed, Dreams constitutes a unique moment in Kant’s literary development—never before had he thrown himself with such fervor into the attempt to express his thoughts in a provocative manner, and never again would he indulge his poetic tendencies with such reckless abandon. Unsurprisingly, then, Kant’s poetic rhetoric in Dreams has long puzzled readers. Immediately following the essay’s (...) publication, Moses Mendelssohn voiced his perplexity about Kant’s mode of writing in it. In the early twentieth century, Ernst Cassirer noted this essay’s unorthodox... (shrink)

The history of philosophy is like an epic novel. There are revered ancestors who, through great suffering, establish traditions for the betterment of their descendants. There are black sheep of the family who stir up trouble, embarrass their brothers and sisters, and sometimes even invite the wrath of political and religious authorities. There are bitter feuds between families that last generations, often with no clear victor ever emerging. As the saga passes from one era to another, there is some feeling (...) of progress. Old-fashioned ways are discarded and replaced with new-although sometimes faddish-ones. Thus, the history of philosophy is an "adventure of ideas," to use the words of one great philosopher. This book attempts to describe a major thread of that drama. (shrink)

Mintz examines seventeenth-century reactions to the political philosophy of Thomas Hobbes.

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

Spinoza studies have seen a renaissance of interest in his views on modality, from which considerable disagreement has emerged about Spinoza's modal commitments. Much of this disagreement stems from larger interpretive disagreements about Spinoza's metaphysics. After a brief introduction, this SEP article begins with Spinoza's views on the distribution of modal properties, which quickly leads the heart of Spinoza's metaphysics, intersecting his views on causation, inherence, God, ontological plenitude and the principle of sufficient reason. Although the question of whether Spinoza (...) was a necessitarian is the predominant topic of discussion in the recent secondary literature on Spinoza's modal views, Spinoza also sketches interesting accounts of the nature of modality and the ground of modality that shed fresh light on his modal commitments. Though understudied by recent interpreters, these latter topics were of interest to Spinoza's peers and remain vibrant research questions in contemporary metaphysics of modality. (shrink)

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

Samuel J. Kerstein develops a new, broadly Kantian account of the ethical issues that arise when a person treats another merely as a means. He explores how Kantian principles on the dignity of persons shed light on pressing issues in modern bioethics, including the distribution of scarce medical resources and the regulation of markets in organs.

The philosophy of Henri Maldiney has played an important role in the evolution of French philosophy, especially its phenomenological strand. Maldiney's ideas have to a large extent developed from a close study of psychopathology. In this article, I present some of the key principles of Maldineyan thought, which has found little recognition to date in Anglophone philosophy and psychopathology. My main purpose is to explain the psychopathological and therapeutic implications of these principles. First, I make a few observations about Maldiney's (...) life and then sum up some of the main concepts of Maldineyan thought, such as sensing, rhythm, and, most important, openness to the event. Based on these concepts... (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

Adam Smith was a philosopher before he ever wrote about economics, yet until now there has never been a philosophical commentary on the Wealth of Nations . Samuel Fleischacker suggests that Smith's vastly influential treatise on economics can be better understood if placed in the light of his epistemology, philosophy of science, and moral theory. He lays out the relevance of these aspects of Smith's thought to specific themes in the Wealth of Nations , arguing, among other things, that (...) Smith regards social science as an extension of common sense rather than as a discipline to be approached mathematically, that he has moral as well as pragmatic reasons for approving of capitalism, and that he has an unusually strong belief in human equality that leads him to anticipate, if not quite endorse, the modern doctrine of distributive justice. Fleischacker also places Smith's views in relation to the work of his contemporaries, especially his teacher Francis Hutcheson and friend David Hume, and draws out consequences of Smith's thought for present-day political and philosophical debates. The Companion is divided into five general sections, which can be read independently of one another. It contains an index that points to commentary on specific passages in Wealth of Nations . Written in an approachable style befitting Smith's own clear yet finely honed rhetoric, it is intended for professional philosophers and political economists as well as those coming to Smith for the first time. (shrink)

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (shrink)

Liberalism generally holds that legitimate political power is limited and is to be impartially exercised, only for the public good. Liberals accordingly assign political priority to maintaining certain basic liberties and equality of opportunities; they advocate an essential role for markets in economic activity, and they recognize government's crucial role in correcting market breakdowns and providing public goods. Classical liberalism and what I call “the high liberal tradition” are two main branches of liberalism. Classical liberalism evolved from the works of (...) Adam Smith and the classical utilitarian economists; its major 20th century representatives include Friedrich Hayek and Milton Friedman. The high liberal tradition developed from John Stuart Mill's works, and its major philosophical representatives in the 20th century are John Dewey and, later, John Rawls. This paper discusses the main distinguishing features of the classical and the high liberal traditions and their respective positions regarding capitalism as an economic and social system. Classical liberals, unlike high liberals, regard economic liberties and rights of private property in productive resources to be nearly as important as basic liberties. They conceive of equality of opportunity in more formal terms, and regard capitalist markets and the price system as essential not only to the allocation of production resources, but also as the fundamental criterion for the just distribution of income, wealth, and economic powers. High liberals, by contrast, regard the economic liberties as subordinate to the exercise of personal and civic liberties. They are prepared to regulate and restrict economic liberties to achieve greater equality of opportunities, reduce inequalities of economic powers, and promote a broader conception of the public good. And while high liberals endorse markets and the price system as essential to allocation of productive resources, they do not regard markets as the fundamental criterion for assessing just distributions of income, wealth, and economic powers and positions of responsibility. The paper concludes with some reflections upon the essential role that dissimilar conceptions of persons and society play in grounding the different positions on economic justice that classical and high liberals advocate. (shrink)

"Have the courage to use your own understanding! - that is the motto of enlightenment." - Immanuel Kant The Enlightenment is one of the most important and contested periods in the history of philosophy. The problems it addressed, such as the proper extent of individual freedom and the challenging of tradition, resonate as much today as when they were first debated. Of all philosophers, it is arguably Kant who took such questions most seriously, addressing them above all in his celebrated (...) short essay, An Answer to the Question: What is Enlightenment? In this engaging and lucid book, Samuel Fleischacker first explains and assesses Kant’s philosophy of Enlightenment. He then considers critics of Kant’s views - from Burke and Hegel to Horkheimer and Adorno - and figures he regards as having extended Kant’s notion of enlightenment, such as Feuerbach, Marx, Habermas, Foucault, and Rawls. Throughout, he demonstrates how Kant holds two distinct theories of enlightenment. On the one hand, Kant proposes a ‘minimal’ view, where to be enlightened is simply to engage in critical public discussion, allowing diversity of opinion to flourish. On the other, he argues that Kant elsewhere calls for a ‘maximal’ view of enlightenment, where, for example, an enlightened person cannot believe in a traditional religion. With great skill Fleischacker shows how these two views are taken in a multitude of directions by both critics and advocates of Kant’s philosophy. Arguing that Kant’s minimal enlightenment is a precondition for a healthy proliferation of cultures, religious faiths and political movements, What is Enlightenment? is a fascinating introduction to a key aspect of Kant’s thought and a compelling analysis of philosophical thinking about the Enlightenment. Including helpful chapter summaries and guides to further reading, it is ideal for anyone studying Kant or the philosophy of the Enlightenment, as well as those in related disciplines such as politics, history and religious studies. (shrink)

According to Phenomenal Conservatism (PC), if it seems to a subject S that P, S thereby has some degree of (defeasible) justification for believing P. But what is it for P to seem true? Answering this question is vital for assessing what role (if any) such states can play. Many have appeared to adopt a kind of non-reductionism that construes seemings as intentional states which cannot be reduced to more familiar mental states like beliefs or sensations. In this paper I (...) aim to show that reductive accounts need to be taken more seriously by illustrating the plausibility of identifying seemings and conscious inclinations to form a belief. I briefly close the paper by considering the implications such an analysis might have for views such as PC. (shrink)

In this article, we describe four theoretical and methodological problems that have impeded implicit attitude research and the popular understanding of its findings. The problems all revolve around assumptions made about the relationships among measures, constructs, cognitive processes, and features of processing. These assumptions have confused our understandings of exactly what we are measuring, the processes that produce implicit evaluations, the meaning of differences in implicit evaluations across people and contexts, the meaning of changes in implicit evaluations in response to (...) intervention, and how implicit evaluations predict behavior. We describe formal modeling as one means to address these problems, and provide illustrative examples. Clarifying these issues has important implications for our understanding of who has particular implicit evaluations and why, when those evaluations are likely to be particularly problematic, how we might best try to change them, and what interventions are best suited to minimize the effects of implicit evaluations on behavior. (shrink)

The clock hypothesis of relativity theory equates the proper time experienced by a point particle along a timelike curve with the length of that curve as determined by the metric. Is it possible to prove that particular types of clocks satisfy the clock hypothesis, thus genuinely measure proper time, at least approximately? Because most real clocks would be enormously complicated to study in this connection, focusing attention on an idealized light clock is attractive. The present paper extends and generalized partial (...) results along these lines with a theorem showing that, for any timelike curve in any spacetime, there is a light clock that measures the curve’s length as accurately and regularly as one wishes. (shrink)