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.

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)

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)

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)

In order to be a self-governing agent, a person must govern the process by means of which she acquires the intention to act as she does. But what does governing this process require? The standard compatibilist answers to this question all assume that autonomous actions differ from nonautonomous actions insofar as they are a more perfect expression of the agent’s agency. I challenge this conception of autonomous agents as super agents. The distinguishing feature of autonomous agents is, I argue, the (...) nonagential role they play in the formation of their intentions. I offer an account of the relevant role. (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)

Band 1. Von Augustinus bis Nietzsche -- Band 2. Das 20. Jahrhundert.

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)

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)

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.

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)

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.

Cook and Reckhow defined a propositional formulation of the pigeonhole principle. This paper shows that there are Frege proofs of this propositional pigeonhole principle of polynomial size. This together with a result of Haken gives another proof of Urquhart's theorem that Frege systems have an exponential speedup over resolution. We also discuss connections to provability in theories of bounded arithmetic.

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)

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)

Resemblance Nominalism About Perfect Naturalness is the view that perfect naturalness of classes is best defined by a conceptual primitive of resemblance between particulars. The adequacy of RNPN is defended by outlining nominalism as the strictly anti-constitutive view that the particulars’ being the fundamental ways they are is not constituted by anything further, supplying a doubly plural contrastive and graded resemblance predicate that allows for a definition of perfect naturalness on an actualist basis, and proving a representation and a uniqueness (...) theorem on the basis of a formal constraint on resemblance called “the Principle”, thereby revealing that bodies of nominalist resemblance facts are guaranteed to behave as if they were grounded in patterns of universals distributed over particulars. (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.

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)

This paper discusses lower bounds for proof length, especially as measured by number of steps (inferences). We give the first publicly known proof of Gödel's claim that there is superrecursive (in fact. unbounded) proof speedup of (i + 1)st-order arithmetic over ith-order arithmetic, where arithmetic is formalized in Hilbert-style calculi with + and · as function symbols or with the language of PRA. The same results are established for any weakly schematic formalization of higher-order logic: this allows all tautologies as (...) axioms and allows all generalizations of axioms as axioms. Our first proof of Gödel's claim is based on self-referential sentences: we give a second proof that avoids the use of self-reference based loosely on a method of Statman. (shrink)