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)

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)

To treat some human beings as less worthy of concern and respect than others is to lose sight of their humanity. But what does this moral blindness amount to? In exploring the value of humanity, the essays in this volume offer a wide range of competing, yet overlapping, answers to this question. Some essays examine influential views in the history of Western philosophy. In others, philosophers currently working in ethics develop and defend their own views. Some essays appeal to distinctively (...) human capacities. Others argue that our obligations to one another are ultimately grounded in self-interest or certain shared interests or our natural sociability. The philosophers featured here disagree about whether the value of human beings depends on the value of anything else. They disagree about how reason and rationality relate to this value, and even about whether we can reason our way to discovering it. This rich selection of proposals encourages us to rethink some of our own deepest assumptions about the moral significance of being human. (shrink)

There is tension in the US healthcare system due to conflicting goals of maximizing the public's health and at the same time ensuring shareholder profit among the many private organizations that provide care to those in need. As a result, nurses (often the frontline workers in this mixed public/private and economized system) may experience dissonance between their professional values and the capitalistic values embodied in the healthcare system. Beyond the workplace, nurses are also committed to championing health and wellness, to (...) advocating for social justice, and driving health policy. Yet, constrained by the conflicts between neoliberal values in an economized system and the values of care that inspire many to join the healthcare profession, nurses may lose the ability to live up to their moral ideals, to champion social justice, and to improve public health outcomes. In this paper, we use the critical theory of Juergen Habermas to explore these tensions and to suggest a path forward for nurses. We suggest that by engaging in dialog with each other and the public, and working for greater inclusivity, nurses can find ways to deconstruct ideologies inherent in our current healthcare system, to consider alternatives, and liberate healthcare from the dominance of market forces. (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)

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)

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)

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)

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.

My chief aim is to explain how someone can act freely against her own best judgment. But I also have a second aim: to defend a conception of practical rationality according to which someone cannot do something freely if she believes it would be better to do something else. These aims may appear incompatible. But I argue that practical reason has the capacity to undermine itself in such a way that it produces reasons for behaving irrationally. Weakness of will is (...) possible because it is possible to conclude that one has sufficient reason to reject the verdicts of one's own reason. (shrink)

Minimalism is the view that our concept of truth is constituted by our disposition to accept instances of the truth schema ‘The proposition that p is true if and only if p’. The generalisation problem is the challenge to account for universal generalisations concerning logical truths such as ‘Every proposition of the form 〈if p, then p〉 is true’. This paper argues that such generalisations can be deduced using a single example of the logical truth in question and a single (...) corresponding instance of the truth schema, employing the logical method of reasoning with arbitrary instances of universal and existential generalisations. Suggesting an inferentialist construal of Minimalism, the paper introduces conditional and general acceptance dispositions, distinguishes inferential meaning constitution from implicit definition, highlights the inferential nature of acceptance of instances of the truth schema, sketches a suitable account of structured propositions, compares higher-order with first-order means of quantification, and argues that the conception of truth Minimalism attributes to ordinary speakers is essentially inferential. It finally applies the deductive strategy to generalisations concerning logical validity as well as more complex logical truths. (shrink)

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 four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.

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)

In this essay I attempt to identify the conditions of morally responsible action; and from the start, I conceive morally responsible action as free action. Some philosophers argue that the causal origins of an act are irrelevant to whether it is a free act; others believe that free acts cannot be causally determined; and still others believe that a free act is an act from which the agent must be capable of refraining. I defend a view at odds with each (...) of these positions: a free act may be causally determined by events over which the agent has no control, but it must issue from the agent's attitudes and beliefs in a particular way. On my account, moreover, though the ability to do otherwise is relevant to free agency, it is not a necessary condition: some free agents are incapable of refraining from the acts they perform. ;I develop my position by investigating three major challenges to the claim that someone is a free agent if and only if she has a certain attitude toward what she does. The first of these challenges comes from thought experiments in which mad scientists directly induce an agent's motives; the second, from the phenomenon of weakness of will; and the third, from the main argument for the incompatibility of free will and determinism. An essential feature of my response to these challenges is the appeal to a normative notion of will power. (shrink)

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

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)

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)

The von Hippel & Trivers theory of self-deception will gain added traction by identifying psychological design features that come into play in different domains of deception. These include the domains of mating, kinship, coalition formation, status hierarchy negotiation, parenting, friendship, and enmity. Exploring these domains will uncover psychological adaptations and sex-differentiated patterns of self-deception that are logically entailed by their theory.

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)

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 give a uniform proof of the theorems of Yao and Beigel–Tarui representing ACC predicates as constant depth circuits with MODm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {MOD}_{m}$$\end{document} gates and a symmetric gate. The proof is based on a relativized, generalized form of Toda’s theorem expressed in terms of closure properties of formulas under bounded universal, existential and modular counting quantifiers. This allows the main proofs to be expressed in terms of formula classes instead of Boolean circuits. (...) The uniform version of the Beigel–Tarui theorem is then obtained automatically via the Furst–Saxe–Sipser and Paris–Wilkie translations. As a special case, we obtain a uniform version of Razborov and Smolensky’s representation of AC0[p]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {AC}^{0}[p]$$\end{document} circuits. The paper is partly expository, but is also motivated by the desire to recast Toda’s theorem, the Beigel–Tarui theorem, and their proofs into the language of bounded arithmetic. However, no knowledge of bounded arithmetic is needed. (shrink)