In this paper, I will investigate the problem of transparent white, as is it formulated by Ludwig Wittgenstein in Remarks on Colour. I will do so by gathering transparency requirements from RC paragraphs to develop a clear definition of transparency. The impossibility of a transparent white will be explained by pointing to the fact that white conflicts with such a definition. Furthermore, based on Paul Gilbert's and Jonathan Westphal's discussion of the problem of transparent white, I will investigate the problem (...) of transparent black. Although neither transparent white nor transparent black is possible, the impossibility of each is grounded on conflicts with different elements of the definition of transparency. (shrink)

This text addresses the profound human questions of love and work. Beginning with a historical introduction, the author progresses through adaptive problems that humans face, and concludes by showing how evolutionary psychology encompasses all branches of psychology.

To be autonomous is to be a law to oneself; autonomous agents are self-governing agents. Most of us want to be autonomous because we want to be accountable for what we do, and because it seems that if we are not the ones calling the shots, then we cannot be accountable. More importantly, perhaps, the value of autonomy is tied to the value of self-integration. We don't want to be alien to, or at war with, ourselves; and it seems that (...) when our intentions are not under our own control, we suffer from self-alienation. What conditions must be satisfied in order to ensure that we govern ourselves when we act? Philosophers have offered a wide range of competing answers to this question. (shrink)

Contemporary mate preferences can provide important clues to human reproductive history. Little is known about which characteristics people value in potential mates. Five predictions were made about sex differences in human mate preferences based on evolutionary conceptions of parental investment, sexual selection, human reproductive capacity, and sexual asymmetries regarding certainty of paternity versus maternity. The predictions centered on how each sex valued earning capacity, ambition— industriousness, youth, physical attractiveness, and chastity. Predictions were tested in data from 37 samples drawn from (...) 33 countries located on six continents and five islands. For 27 countries, demographic data on actual age at marriage provided a validity check on questionnaire data. Females were found to value cues toresource acquisitionin potential mates more highly than males. Characteristics signalingreproductive capacitywere valued more by males than by females. These sex differences may reflect different evolutionary selection pressures on human males and females; they provide powerful cross-cultural evidence of current sex differences in reproductive strategies. Discussion focuses on proximate mechanisms underlying mate preferences, consequences for human intrasexual competition, and the limitations of this study. (shrink)

The (re)building of the post-communist states offers new perspectives both on the state and on the multiple transitions that followed communism. Specifically, it shifts our analytical focus from states as consolidated outcomes and unitary actors to the process by which states come into being and into action in the modern era. This process consists of elite competition over policy-making authority, which is shaped and constrained by existing institutional resources, the pacing of transformation, and the international context. The four ideal types (...) of state-building that result are exemplified by the post-communist experience: democratic, autocratic, fractious, and personalistic. (shrink)

Buss, S.R., The undecidability of k-provability, Annals of Pure and Applied Logic 53 75-102. The k-provability problem is, given a first-order formula ø and an integer k, to determine if ø has a proof consisting of k or fewer lines . This paper shows that the k-provability problem for the sequent calculus is undecidable. Indeed, for every r.e. set X there is a formula ø and an integer k such that for all n,ø has a proof of k sequents if (...) and only if n ε X. (shrink)

Recently, metaphysical coherentism has been propounded as an alternative to metaphysical foundationalism and infinitism. The view replaces the picture of reality as a hierarchy of levels with that of a network of objects or facts standing in symmetric or, more generally, cyclic relations of metaphysical dependence. This paper defends the orthodox picture of a well-founded hierarchy against the claimed superiority of coherentism. First, it will be argued that alleged theoretical advantages of coherentism do not hold up to scrutiny. Secondly, examples (...) that are claimed to support coherentism are either misdescribed as involving metaphysical interdependence, or foundationalist treatments fare at least as good and often better than coherentist interpretations. Thirdly, a similar diagnosis applies to a recently proposed coherentist interpretation of quantum entanglement. The more general diagnosis is that claims of metaphysical dependence are convincing only if there is a detailed account of how one item metaphysically explains another. While foundationalists can resort to various specific explanatory relations, coherentism seems to be incapable of providing detailed explanations. (shrink)

Samuel R. Buss and Aleksandar Ignjatović. Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.

I wish more books of philosophy were like this one. It is elegantly written. It is filled with provocative claims and ingenious arguments. It is a really good read, even while it forces us to rethink many of our assumptions about practical reason and practical reasoning, morality and agency.

The static properties of leaves with parallel venation from terrestrial orchids of the genus Epipactis were modelled as coupled elastic rods using the geometrically exact Cosserat theory and the resulting boundary-value problem was solved numerically using a method from Shampine, Muir and Xu. The response of the leaf structure to the applied force was obtained from preliminary measurements. These measurements allowed the Young’s modulus of the Epipactis leaves to be determined. The appearance of wrinkles and undulation characteristics for some leaves (...) has been attributed to the small torsional stiffness of the leaf edges. (shrink)

Aus einer bestimmten Perspektive betrachtet, zeigt sich Martin Heideggers erste systematische Schrift "Sein und Zeit" als Konzeptualisierung des "Sterns der Erlosung" von Franz Rosenzweig. Diesen Befund gilt es anhand eines intensiven Vergleiches beider Texte zu bestatigen. Erganzend werden Heideggers Arbeiten uber rund zwanzig Jahre von seiner Dissertation bis zu den "Beitragen zur Philosophie" verfolgt, um die Phasen einer Rezeption zwischen Aneignung, Widerspruch und Negation rekonstruieren zu konnen, die in der Geschichte der westlichen Rationalitat ihresgleichen sucht. Denn es wird sichtbar, wie (...) stark Heideggers Begrundung eines angeblichen seinsgeschichtlichen Auftrages der Deutschen von jenen Aussagen Franz Rosenzweigs gepragt ist, in denen dieser das judische Volk charakterisiert. Ein vertiefender Blick auf das Selbstverstandnis Martin Heideggers zur Zeit des Nationalsozialismus wird moglich, der dazu beitragen kann, die Frage seiner ideologischen Positionierung vor neuem Hintergrund zu stellen. (shrink)

The bounded arithmetic theory S2 is finitely axiomatized if and only if the polynomial hierarchy provably collapses. If T2i equals S2i + 1 then T2i is equal to S2 and proves that the polynomial time hierarchy collapses to ∑i + 3p, and, in fact, to the Boolean hierarchy over ∑i + 2p and to ∑i + 1p/poly.

Partial consistency statements can be expressed as polynomial-size propositional formulas. Frege proof systems have polynomial-size partial self-consistency proofs. Frege proof systems have polynomial-size proofs of partial consistency of extended Frege proof systems if and only if Frege proof systems polynomially simulate extended Frege proof systems. We give a new proof of Reckhow's theorem that any two Frege proof systems p-simulate each other. The proofs depend on polynomial size propositional formulas defining the truth of propositional formulas. These are already known to (...) exist since the Boolean formula value problem is in alternating logarithmic time; this paper presents a proof of this fact based on a construction which is somewhat simpler than the prior proofs of Buss and of Buss-Cook- Gupta-Ramachandran. (shrink)

Wie kann eine Theorie der Ethik beschaffen sein, wenn sie aus dem gedanklichen Repertoire der Existenzphilosophie entworfen wird? Sie bedarf vor allem einer speziellen Sprachfindung, die einen Diskurs mit zeitgenossischen Ethik-Konzeptionen im ersten Moment zu erschweren scheint. Susanne Mobua zeigt auf, dass dieses nicht zwangslaufig gilt, wenn der strukturelle Rahmen, in dem die Ethik der Existenz sich artikulieren kann, in die Untersuchung einbezogen wird. Hier kommt das Konzept des Neuen Denkens zum Tragen, das 1925 von Franz Rosenzweig vorgestellt wurde. Zum (...) ersten Mal ist es moglich, die Bedeutung des Rosenzweig'schen Denkens fur die Entwicklung von Existenzphilosophie und Dekonstruktion darzustellen. (shrink)

One of the most significant shifts in current thinking on war and gender is the recognition that rape in wartime is not a simple by-product of war, but often a planned and targeted policy. For many feminists ‘rape as a weapon of war’ provides a way to articulate the systematic, pervasive, and orchestrated nature of wartime sexual violence that marks it as integral rather than incidental to war. This recognition of rape as a weapon of war has taken on legal (...) significance at the Rwandan and Yugoslav Tribunals where rape has been prosecuted as a crime against humanity and genocide. In this paper, I examine how the Rwanda Tribunal’s record of judgments conceives of rape enacted as an instrument of the genocide. I consider in particular how the Tribunal’s conception of ‘rape as a weapon of war’ shapes what can be known about sexual violence and gender in the Rwandan genocide and what cannot, the categories of victims legally recognised and those that are not, and the questions pursued, and those foreclosed, about the patterns of violence before and during the genocide. (shrink)

Martin Heideggers Denken nach 1938 ist vor allem durch drei grosse Themen gepragt: den Wandel des Menschenbildes, die Einfuhrung eines neuen Begriffes vom Denken und den Nachweis, dass Sein Seyn in Beziehung ist. Dabei stutzt er sich auf das Denken Franz Rosenzweigs, das bereits in der Formulierung von Sein und Zeit erkennbar ist, in den Schriften der 40er und 50er Jahre aber in besonders intensiver Weise nachwirkt. Ausgehend von dieser Zusammenschau von Heideggers und Rosenzweigs Denken zeichnet sich auch eine neue (...) Bewertung des Denkens von Emmanuel Levinas ab. (shrink)

Modal dispositionalism is the view that possibilities are a matter of the dispositions of individual objects: it is possible that p if and only if something has a disposition for p to be the case. We raise a problem for modal dispositionalism: nothing within the theory rules out that there could be necessary, perfect masks, which make the manifestation of a disposition impossible. Unless such necessary perfect masks are ruled out, modal dispositionalism runs the risk of failing to provide a (...) sufficient condition for possibility, and indeed of engendering contradictions. But to rule them out, modal dispositionalism would have to revise a crucial tenet of the view, its localism. (shrink)

We believe we owe one another respect. We believe we ought to pay what we owe by treating one another ‘with respect.’ If we could understand these beliefs we would be well on the way to understanding morality itself. If we could justify these beliefs we could vindicate a central part of our moral experience.Respect comes in many varieties. We respect some people for their upright character, others for their exceptional achievements. There are people we respect as forces of nature: (...) we go to great lengths to accommodate their moods, wiles, and demands. Finally, most of us seem to respect people simply because they are people. This is the sort of respect of special interest to moral theory.In order to be worthy of this last sort of respect, it is not only sufficient but necessary that one be a person. We can, of course, take a similar attitude towardnonpersons. (shrink)

We study the long-standing open problem of giving$\forall {\rm{\Sigma }}_1^b$separations for fragments of bounded arithmetic in the relativized setting. Rather than considering the usual fragments defined by the amount of induction they allow, we study Jeřábek’s theories for approximate counting and their subtheories. We show that the$\forall {\rm{\Sigma }}_1^b$Herbrandized ordering principle is unprovable in a fragment of bounded arithmetic that includes the injective weak pigeonhole principle for polynomial time functions, and also in a fragment that includes the surjective weak pigeonhole (...) principle for FPNPfunctions. We further give new propositional translations, in terms of random resolution refutations, for the consequences of$T_2^1$augmented with the surjective weak pigeonhole principle for polynomial time functions. (shrink)

Capturing a scientific change in thinking about personality and individual differences that has been building over the past 15 years, this volume stands at an important moment in the development of psychology as a discipline. Rather than viewing individual differences as merely the raw material upon which selection operates, the contributing authors provide theories and empirical evidence which suggest that personality and individual differences are central to evolved psychological mechanisms and behavioral functioning. The book draws theoretical inspiration from life history (...) theory, evolutionary genetics, molecular genetics, developmental psychology, personality psychology, and evolutionary psychology, while utilizing the theories of the "best and the brightest" international scientists working on this cutting edge paradigm shift. In the first of three sections, the authors analyze personality and the adaptive landscape; here, the authors offer a novel conceptual framework for examining "personality assessment adaptations." Because individuals in a social environment have momentous consequences for creating and solving adaptive problems, humans have evolved "difference-detecting mechanisms" designed to make crucial social decisions such as mate selection, friend selection, kin investment, coalition formation, and hierarchy negotiation. In the second section, the authors examine developmental and life-history theoretical perspectives to explore the origins and development of personality over the lifespan. The third section focuses on the relatively new field of evolutionary genetics and explores which of the major evolutionary forces--such as balancing selection, mutation, co-evolutionary arms races, and drift--are responsible for the origins of personality and individual differences. Existing as a seminal work in the newly emerging evolutionary psychology field, this book is a "must-read" for anyone invested in the development of psychology as a field. (shrink)

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...) these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. (shrink)

A core thesis of Kitcher's is that thinking about objects requires awareness of necessary connections between one's object-directed representations ‘as such’ and that this is what Kant means by the transcendental unity of apperception. I argue that Kant's main point is the spontaneity or ‘self-made-ness’ of combination rather than the requirement of reflexive awareness of combination, that Kitcher provides no plausible account of how recognition of representations ‘as such’ should be constituted and that in fact Kant himself appears to lack (...) the theoretical resources to clearly distinguish between consciousness and self-consciousness or apperception properly so-called. (shrink)

The paper proves refined feasibility properties for the disjunction property of intuitionistic propositional logic. We prove that it is possible to eliminate all cuts from an intuitionistic proof, propositional or first-order, without increasing the Horn closure of the proof. We obtain a polynomial time, interactive, realizability algorithm for propositional intuitionistic proofs. The feasibility of the disjunction property is proved for sequents containing Harrop formulas. Under hardness assumptions for NP and for factoring, it is shown that the intuitionistic propositional calculus does (...) not always have polynomial size proofs and that the classical propositional calculus provides a superpolynomial speedup over the intuitionistic propositional calculus. The disjunction property for intuitionistic propositional logic is proved to be P-hard by a reduction to the circuit value problem. (shrink)

We survey the best known lower bounds on symbols and lines in Frege and extended Frege proofs. We prove that in minimum length sequent calculus proofs, no formula is generated twice or used twice on any single branch of the proof. We prove that the number of distinct subformulas in a minimum length Frege proof is linearly bounded by the number of lines. Depthd Frege proofs ofm lines can be transformed into depthd proofs ofO(m d+1) symbols. We show that renaming (...) Frege proof systems are p-equivalent to extended Frege systems. Some open problems in propositional proof length and in logical flow graphs are discussed. (shrink)

C'est sur la nécessité de l'absence d'une telle définition que Julien Busse invite à se pencher pour en analyser aussi bien les causes que les effets.

We believe we owe one another respect. We believe we ought to pay what we owe by treating one another ‘with respect.’ If we could understand these beliefs we would be well on the way to understanding morality itself. If we could justify these beliefs we could vindicate a central part of our moral experience.Respect comes in many varieties. We respect some people for their upright character, others for their exceptional achievements. There are people we respect as forces of nature: (...) we go to great lengths to accommodate their moods, wiles, and demands. Finally, most of us seem to respect people simply because they are people. This is the sort of respect of special interest to moral theory.In order to be worthy of this last sort of respect, it is not only sufficient but necessary that one be a person. We can, of course, take a similar attitude towardnonpersons. (shrink)