Here, we describe how Casas Grandes Medio period (AD 1200 to 1450) shamanic practices of the North American Southwest used tobacco shamanism, a ritual stance called the Tennessee Diviner (TD) posture, and cultural expectations to generate trance experiences of soul flight and divination. We introduce a conceptual model that holds that specific trance experiences are the emergent result of human minds interacting with additional factors including entheogens, cultural expectations, physiological states, postures/movement, and sound/stimulation. Experimental and ethnographic evidence indicates initiating trance (...) with either tobacco intoxication or the TD posture accompanied with a rapidly beating drum or rattle corresponds with perceptions of soul flight, transformation, and divination/information acquisition. Both have similar results but pairing them together as they were during the Medio period likely helped ensure the culturally desired trance experiences. This practice of mutually reinforcing factors was likely part of tobacco‐based shamanism found in other New World cultures as well. We suggest our general model can be applied to other contexts to examine how various aspects of trance induction interact to produce the cultural patterns (and resulting cosmological and spiritual frameworks) anthropologists have documented in other cultures. (shrink)

Paul Moser's book defends what has been an unfashionable view in recent epistemology: the foundationalist account of knowledge and justification. Since the time of Plato philosophers have wondered what exactly knowledge is. This book develops a new account of perceptual knowledge which specifies the exact sense in which knowledge has foundations. The author argues that experiential foundations are indeed essential to perceptual knowledge, and he explains what knowledge requires beyond justified true beliefs. In challenging prominent sceptical claims that we (...) have no justified beliefs about the external world, the book outlines a theory of rational belief. (shrink)

What kind of thing are we? Paul Snowdon's answer is that we are animals, of a sort. This view--'animalism'--may seem obvious but on the whole philosophers have rejected it. Snowdon argues that animalism is a defensible way of thinking about ourselves. Its rejection rests on the tendency when doing philosophy to mistake fantasy for reality.

In this work, Paul Weithman offers a fresh, rigorous and compelling interpretation of John Rawls' reasons for taking his so-called 'political turn'.

In this volume Paul Formosa sets out a novel approach to Kantian ethics as an ethics of dignity by focusing on the Formula of Humanity as a normative principle distinct from the Formula of Universal Law. By situating the Kantian conception of dignity within the wider literature on dignity, he develops an important distinction between status dignity, which all rational agents have, and achievement dignity, which all rational agents should aspire to. He then explores constructivist and realist views on (...) the foundation of the dignity of rational agents, before developing a compelling account of who does and does not have status dignity and of what kind of achievement dignity or virtue we, as vulnerable rational agents, can and should strive for. His study will be highly valuable for those interested in Kant's ethical, moral and political philosophies. (shrink)

De Marco and colleagues claim that the standard account of invasiveness as commonly encountered ‘…does not capture all uses of the term in relation to medical interventions1 ’. This is open to challenge. Their first example is ‘non-invasive prenatal testing’. Because it involves puncturing the skin to obtain blood, De Marco et al take this as an example of how an incision or insertion is not sufficient to make an intervention invasive; here is a procedure that involves an incision, but (...) it is regarded as non-invasive. However, this ignores the context, and the term should really be understood in reference to the fetus. It is hard to believe healthcare professionals regard taking blood to measure, for example, ferritin levels as invasive but taking blood to look for fragments of fetal DNA as not. If anyone uses the term thinking it is not invasive to the mother, the solution would be to call it invasive, not redefine what is invasive. De Marco and colleagues’ second example is describing electroconvulsive therapy (ECT) as invasive. However, this is not borne out by their referenced papers. The first cited source is about non-invasive brain stimulation2 and only contains a single sentence about ECT. This sentence may suggest that their view is that ECT …. (shrink)

Many jurisdictions have put regulatory strategies in place to provide incentives and safeguards to whistleblowers to encourage whistleblowing on corporate wrongdoings. One such strategy is the provision of a financial incentive to the whistleblower if the complaint leads to a successful regulatory enforcement action against the offending organization. We conducted an experiment using professional accountants as participants to examine whether such an incentive encourages potential whistleblowers to report an observed financial reporting fraud to a relevant external authority. We also examine (...) the effect of perceived seriousness of the wrongdoing on accountants’ intention to whistleblow. We find that a financial incentive results in a higher intention to whistleblow to a relevant external authority. We also find that perceptions of the seriousness of the wrongdoing are significantly and positively associated with accountants’ intention to whistleblow to a relevant external authority. We find a significant interaction between the provision of a financial incentive and the perceived seriousness of the wrongdoing on the intention to report the wrongdoing externally. The intention to report the financial reporting fraud externally is higher when the level of perceived seriousness is higher, regardless of the availability of a financial incentive. However, when the perceived level of seriousness is lower, the presence of financial incentive results in a higher intention to report the financial reporting fraud externally. These findings indicate that the impact of a financial incentive on the intention to whistleblow is moderated by perceptions of the seriousness of the wrongdoing. (shrink)

Hegel offers perhaps the most profound and systematic modern attempt to understand the state as the realization of human freedom. In this examination of the philosopher’s ideas on freedom, Paul Franco focuses particularly on G. W. F. Hegel’s masterpiece, Philosophy of Right. Franco traces the development of Hegel’s ideas and relates them to modern political theory.

Michel Foucault and Paul Veyne: the philosopher and the historian. Two major figures in the world of ideas, resisting all attempts at categorization. Two timeless thinkers who have long walked and fought together. In this short book Paul Veyne offers a fresh portrait of his friend and relaunches the debate about his ideas and legacy. ‘Foucault is not who you think he is’, writes Veyne; he stood neither on the left nor on the right and was frequently disowned (...) by both. He was not so much a structuralist as a sceptic, an empiricist disciple of Montaigne, who never ceased in his work to reflect on 'truth games', on singular, constructed truths that belonged to their own time. A unique testimony by a scholar who knew Foucault well, this book succeeds brilliantly in grasping the core of his thought and in stripping away the confusions and misunderstandings that have so often characterized the interpretation of Foucault and his work. (shrink)

Für Natorp selbst stand seine Arbeit an Plato in unmittelbarem Zusammenhang mit der Arbeit an seiner eigenen Philosophie; sosehr sein großes Buch sich als Hinführung zu Plato verstand, sosehr bildet die Ausarbeitung von Platos Ideenlehre auch einen originären Teil der Philosophie Paul Natorps. Die Sonderausgabe dieses Standardwerkes zur Philosophie Platons bietet den Text nach der zweiten Auflage von 1921.

This book explores the role of divine severity in the character and wisdom of God, and the flux and difficulties of human life in relation to divine salvation. Much has been written on problems of evil, but the matter of divine severity has received relatively little attention. Paul K. Moser discusses the function of philosophy, evidence and miracles in approaching God. He argues that if God's aim is to extend without coercion His lasting life to humans, then commitment to (...) that goal could manifest itself in making human life severe, for the sake of encouraging humans to enter into that cooperative good life. In this scenario, divine agapē is conferred as free gift, but the human reception of it includes stress and struggle in the face of conflicting powers and priorities. Moser's work will be of great interest to students of the philosophy of religion, and theology. (shrink)

In this strikingly original work, Paul W. Kahn rethinks the meaning of political theology. In a text innovative in both form and substance, he describes an American political theology as a secular inquiry into ultimate meanings sustaining our faith in the popular sovereign. Kahn works out his view through an engagement with Carl Schmitt's 1922 classic, _Political Theology: Four Chapters on the Concept of Sovereignty_. He forces an engagement with Schmitt's four chapters, offering a new version of each that (...) is responsive to the American political imaginary. The result is a contemporary political theology. As in Schmitt's work, sovereignty remains central, yet Kahn shows how popular sovereignty creates an ethos of sacrifice in the modern state. Turning to law, Kahn demonstrates how the line between exception and judicial decision is not as sharp as Schmitt led us to believe. He reminds readers that American political life begins with the revolutionary willingness to sacrifice and that both sacrifice and law continue to ground the American political imagination. Kahn offers a political theology that has at its center the practice of freedom realized in political decisions, legal judgments, and finally in philosophical inquiry itself. (shrink)

This book discusses some of the most challenging ideas emerging out of the research program on institutional diversity associated with the 2009 co-recipient of 2009 Nobel Prize in economics, Elinor Ostrom, while outlining a set of new research directions and an original interpretation of the significance and future of this program.

Paul Ludwig examines how and why Greek theorists treated political passions as erotic. Because of the tiny size of ancient Greek cities, contemporary theory and ideology could conceive of entire communities based on desire. A recurrent aspiration was to transform the polity into one great household that would bind the citizens together through ties of mutual affection. In this study, Ludwig evaluates sexuality, love, and civic friendship as sources of political attachment and as bonds of political association.

In lieu of an abstract, here is a brief excerpt of the content:Ought We to Require Emotional Capacity as Part of Decisional Competence?Paul S. Appelbaum* (bio)AbstractThe preceding commentary by Louis Charland suggests that traditional cognitive views of decision-making competence err in not taking into account patients’ emotional capacities. Examined closely, however, Charland’s argument fails to escape the cognitive bias that he condemns. However, there may be stronger arguments for broadening the focus of competence assessment to include emotional capacities, centering (...) on the ways in which emotions aid humans in processing information. Before emotional capacities are added to the list of functions essential for decisional competence, though, the feasibility and utility of such a reorientation must be demonstrated.To what extent ought persons’ capacities to experience emotion be taken into account when determining whether they should be deemed competent to make their own decisions? In the previous article, Louis Charland (1998) argues that traditional models of decision-making competence—of which the MacArthur Competence Treatment Study is a typical example—are mistaken in focusing narrowly on persons’ cognitive abilities to the neglect of emotional factors. In contrast, he suggests, constructs of competence ought explicitly to require a capacity to experience emotions, which he believes is central to meaningful decision making, before deeming persons competent.Charland, as he acknowledges, is not the first to suggest that the presence of some degree of emotional capacity is a necessary element of competence, but his argument is among the most elaborate to date and is certainly worth closer examination. Looked at carefully, however, Charland’s argument does not make quite the case for the determination of emotional capacity in competence assessment that he claims for it. Indeed, as I demonstrate below, Charland may share the same “pernicious [End Page 377] cognitive bias” that he ascribes to more traditional approaches. However, despite what I identify as the problems in Charland’s argument, others have raised more disturbing questions about the lack of attention to emotional issues in competence assessment. Thus, I am not ready to reject entirely the possibility that determinations of decisional competence ought to consider emotional factors. I conclude by outlining the questions that remain to be answered to identify more clearly the potential benefits of such an approach.The Construct of Decision-Making CompetenceSome preliminary comments about the nature of the dominant construct of decision-making competence may provide a useful frame for my response to Charland’s paper. Contemporary ideas of competence are tied inextricably to the ideal of self-determination in modern Western societies. Such societies are committed to respect for individual choice, both as a good in its own right and on the grounds that each person knows best what choices will maximize his or her own welfare. In general, therefore, states will not intervene to prevent persons from acting on their decisions, even when the choices they make—like the decision to smoke or to refuse potentially life-saving medical care—may objectively be thought to be detrimental to them.In some cases, however, the presumption that people will act in their own interests, as well as the notion that there is something intrinsically valuable in respecting their choices, fails (Buchanan and Brock 1989). When people’s minds are so disordered that they cannot be said to be making meaningful choices, other values come into play. Such people are called “incompetent.” When persons reach that point, the state’s interest in protecting its citizens becomes primary and someone else must make decisions on their behalf. Note that the size of this group must be sharply limited, lest a liberal society’s commitment to self-determination be undermined: There is no more profound infringement of the rights of citizens than the determination that they are incompetent. Thus, the criteria for incompetence must be selected in a deliberately narrow fashion—alternately, one might say that the standards for competence are made intentionally broad—so that all but a tiny percentage of citizens will be permitted to make decisions on their own.In the Anglo-American world, the process of formulating criteria of competence by and large has been left to the common law courts. Over the course of centuries they have identified the capacities that are, in... (shrink)

Paul C. H. Lim offers an insightful examination of the polemical debates about the doctrine of the Trinity in seventeenth-century England, showing that this philosophical and theological re-configuration significantly impacted the politics of religion in the early modern period.

Paul Noordhof; Discussion: Micro-Based Properties and the Supervenience Argument: A Response to Kim, Proceedings of the Aristotelian Society, Volume 99, Issue 1.

Mystical experiences of the natural world bring a sense of unity, knowledge, self-transcendence, eternity, light, and love. This is the first detailed study of these intriguing phenomena. Paul Marshall surveys and evaluates a wide range of explanations put forward by religious thinkers, philosophers, and scientists, and offers his own perspective on the nature of these experiences.

We examine a distinctive kind of problem for decision theory, involving what we call discontinuity at infinity. Roughly, it arises when an infinite sequence of choices, each apparently sanctioned by plausible principles, converges to a ‘limit choice’ whose utility is much lower than the limit approached by the utilities of the choices in the sequence. We give examples of this phenomenon, focusing on Arntzenius et al.’s Satan’s apple, and give a general characterization of it. In these examples, repeated dominance reasoning (...) (a paradigm of rationality) apparently gives rise to a situation closely analogous to having intransitive preferences (a paradigm of irrationality). Indeed, the agents in these examples are vulnerable to a money pump set-up despite having preferences that exhibit no obvious defect of rationality. We explore several putative solutions to such problems, particularly those that appeal to binding and to deliberative dynamics. We consider the prospects for these solutions, concluding that if they fail, the examples show that money pump arguments are invalid. (shrink)

Some patients with damaged striate cortex have blindsight-the ability to discriminate unseen stimuli in their clinically blind visual field defects when forced-choice procedures are used. Blindsight implies a sharp dissociation between visual performance and visual awareness, but signal detection theory indicates that it might be indistinguishable from the behavior of normal subjects near the lower limit of conscious vision, where the dissociations could arise trivially from using different response criteria during clinical and forced-choice tests. We tested the latter possibility with (...) a hemianopic subject during yes-no and forced-choice detection of static and moving targets. His response criterion differed significantly between yes-no and forced-choice responding, and the difference was sufficient to produce a blindsight-like dissociation with bias-sensitive measures of performance. When measured independently of bias, his sensitivity to static targets was greater in the forced-choice than in the yes-no task (unlike normal control subjects), but his sensitivity to moving targets did not differ. Differences in response criterion could therefore account for dissociations between yes-no and forced-choice detection of motion, but not of static pattern. The results explain why patients with blindsight are apparently more often ''aware'' of moving stimuli than of static stimuli. However, they also imply that blindsight is unlike normal vision near threshold, and that pattern- and motion-detection in blindsight may depend on different sets of neural mechanisms during yes-no and forced-choice tests. (shrink)

In Decision Space: Multidimensional Utility Analysis, first published in 2001, Paul Weirich increases the power and versatility of utility analysis and in the process advances decision theory. Combining traditional and novel methods of option evaluation into one systematic method of analysis, multidimensional utility analysis is a valuable tool. It provides formulations of important decision principles, such as the principle to maximize expected utility; enriches decision theory in solving recalcitrant decision problems; and provides in particular for the cases in which (...) an expert must make a decision for a group of people. The multiple dimensions of this analysis create a decision space broad enough to accommodate all factors affecting an option's utility. The book will be of interest to advanced students and professionals working in the subject of decision theory, as well as to economists and other social scientists. (shrink)

Simon Saunders and David Wallace attempt to use a modified form of David Lewis's analysis of personal fission to ground the claim that prior to undergoing Everett branching an informed subject can be uncertain about which outcome s/he will observe. I argue that a central assumption of this seductive idea is questionable despite appearing innocuous and that at the very least further argument is needed in support of it. CiteULike Connotea Del.icio.us What's this?

This collection of newly commissioned essays, edited by NYU philosophers Paul Boghossian and Christopher Peacocke, resumes the current surge of interest in the proper explication of the notion of a priori. The authors discuss the relations of the a priori to the notions of definition, meaning, justification, and ontology, explore how the concept figured historically in the philosophies of Leibniz, Kant, Frege, and Wittgenstein, and address its role in the contemporary philosophies of logic, mathematics, mind, and science. The editors’ (...) Introduction familiarizes the reader with the issues that are to be explored in detail in later parts of the anthology. (shrink)

Genomic research—including whole genome sequencing and whole exome sequencing—has a growing presence in contemporary biomedical investigation. The capacity of sequencing techniques to generate results that go beyond the primary aims of the research—historically referred to as “incidental findings”—has generated considerable discussion as to how this information should be handled—that is, whether incidental results should be returned, and if so, which ones.Federal regulations governing most human subjects research in the United States require the disclosure of “the procedures to be followed” in (...) the research as part of the informed consent process. It seems reasonable to assume—and indeed, many commentators have concluded—that genomic investigators will be expected to inform participants about, among other procedures, the prospect that incidental findings will become available and the mechanisms for dealing with them. Investigators, most of whom will not have dealt with these issues before, will face considerable challenges in framing meaningful disclosures for research participants.To help in this task, we undertook to identify the elements that should be included in the informed consent process related to incidental findings. We did this by surveying a large number of genomic researchers (n = 241) and by conducting in‐depth interviews with a smaller number of researchers (n = 28) and genomic research participants (n = 20). Based on these findings, it seems clear to us that routine approaches to informed consent are not likely to be effective in genomic research in which the prospect of incidental findings exists. Ensuring that participants’ decisions are informed and meaningful will require innovative approaches to dealing with the consent issue. We have identified four prototypical models of a consent process for return of incidental findings. (shrink)

In this book Paul Dragos Aligica revisits the theory of political self-governance in the context of recent developments in behavioral economics and political philosophy that have challenged the foundations of this theory. Building on the work of the 'Bloomington School' created by Nobel Laureate Elinor Ostrom and Public Choice political economy co-founder Vincent Ostrom, Aligica presents a fresh conceptualization of the key processes at the core of democratic-liberal governance systems involving civic competence and public entrepreneurship. The result is not (...) only a re-assessment and re-articulation of the theories constructed by the Bloomington School of Public Choice, but also a new approach to several cutting-edge discussions relevant to governance studies and applied institutional theory, such as the debates generated by the recent waves of populism, paternalism and authoritarianism. (shrink)

The Modern School Movement traces the efforts made by the Anarchist movement to abolish all forms of authority and usher in a new society through a different form of education. Between 1910 and 1960 anarchists established more than twenty schools in the United States where children might study in an atmosphere of freedom and self-reliance in sharp contrast to the discipline of the traditional classroom. The prominent participants of this movement, including Emma Goldman, Margaret Sanger, Alexander Berkman and Man Ray (...) are discussed. (shrink)

There is no doubt that spatial relations aid us in pairing up causes and effects. But when we consider the possibility of qualitatively indiscernible things, it might seem that spatial relations are more than a mere aid – they might seem positively required. The belief that spatial relations are required for causal relations is behind an important objection to Cartesian Dualism, the pairing problem. I argue that the Cartesian can answer this objection by appeal to the possibility of primitive causal (...) relations, a possibility I defend. This topic is of importance beyond the philosophy of mind; the possibility that causal relations might sometimes hold brutely is of general metaphysical importance. I close with a discussion of what Cartesians should say about embodiment, and how that bears on issues of mental causation. (shrink)

Examines the true purpose of writing history, explains how history can be understood in terms of plot, and discusses the progress of history.

Pastoral seems a fairly accessible literary concept; most critics and readers seem to know what they mean by it, and they often seem to have certain works in mind that count as pastorals. But when we look at what has been written about pastoral in the last decades -- when it has become one of the flourishing light industries of academic criticism -- we find nothing like a coherent account of either its nature or its history. We are told that (...) pastoral "is a double longing after innocence and happiness"; that its universal idea is the Golden Age; that it is based on the antithesis of Art and Nature; that its fundamental motive is hostility to urban life; that its "central tenet" is "the pathetic fallacy"; that it expresses the ideal of otium; that it is "the poetic expression par excellence of the cult of aesthetic Platonism" in the Renaissance or of Epicureanism in the Hellenistic world; that it is "that mode of viewing common experience through the medium of the rural world."1 It sometimes seems as if there are as many versions of pastoral as there are critics who write about it.[…]A definition of pastoral must first give a coherent account of its various features—formal, expressive, and thematic—and second, provide for historical continuity or change within the form. The basis of such a definition is provided by what Kenneth Burke calls a "representative anecdote":Men seek for vocabularies that will be faithful reflections of reality. To this end, they must develop vocabularies that are selections of reality. And any selection of reality must, in certain circumstances, function as a deflection of reality. Insofar as the vocabulary meets the needs of reflection, we can say that it has the necessary scope. In its selectivity, it is a reduction. Its scope and reduction become a deflection when the given terminology, or calculus, is not suited to the subject matter which it is designated to calculate.Dramatism suggests a procedure to be followed in the development of a given calculus, or terminology. It involves the search for a "representative anecdote," to be used as a form in conformity with which the vocabulary is constructed.6Burke uses "anecdote" and not a more philosophically respectable term in order to emphasize the contingencies inherent in all such intellectual choices. Anecdote implies that they are inseparable from the stuff of reality with which they deal and that of their selection does not escape the conditions of ordinary accounts of our lives. "Representative," as Burke uses it here, has a double meaning. An anecdote is representative in that it is a typical instance of an aspect of reality and by being typical it serves to generate specific depictions or representations of that reality.1. The allusions are to the following: "double longing" ; Golden Age ; Art and Nature ; hostility to urban life ; "pathetic fallacy" ; otium , "aesthetic Platonism" ; Epicureanism .6. Kenneth Burke, A Grammar of Motives , p. 59. This is the beginning of the section entitled "Scope and Reduction."Paul Alpers is professor of English at the University of California, Berkeley, and is the author of The Poetry of "The Faerie Queene" and The Singer of the Eclogues: A Study of Virgilian Pastoral. The present essay is part of a larger study entitled "Pastoral Poetics.". (shrink)

We publish here the letters between Gadamer and Ricoeur, as they are found in the Archives of the two philosophers (Gadamer-Archiv in Marbach and Fonds Ricoeur in Paris). Starting from February 1964 and ending on October 2000, the thirty-five letters reproduced here cannot give a complete picture of their much richer correspondence and relations, because it seems that neither Ricoeur, nor Gadamer kept all the letters they received from one another. But altogether, they document their common concerns, their mutual respect, (...) even their intellectual solidarity and finally the particular context that brought them to write to one another, i.e. Ricoeur’s intention to publish a translation of Gadamer’s book, Truth and Method, in a new series he edited for the Seuil Publisher. This publishing and translation project will mark their entire correspondence. (shrink)

In this wide-ranging interdisciplinary work, Paul W. Kahn argues that political order is founded not on contract but on sacrifice. Because liberalism is blind to sacrifice, it is unable to explain how the modern state has brought us to both the rule of law and the edge of nuclear annihilation. We can understand this modern condition only by recognizing that any political community, even a liberal one, is bound together by faith, love, and identity.Putting Liberalism in Its Place draws (...) on philosophy, cultural theory, American constitutional law, religious and literary studies, and political psychology to advance political theory. It makes original contributions in all these fields. Not since Charles Taylor's The Sources of the Self has there been such an ambitious and sweeping examination of the deep structure of the modern conception of the self.Kahn shows that only when we move beyond liberalism's categories of reason and interest to a Judeo-Christian concept of love can we comprehend the modern self. Love is the foundation of a world of objective meaning, one form of which is the political community. Arguing from these insights, Kahn offers a new reading of the liberalism/communitarian debate, a genealogy of American liberalism, an exploration of the romantic and the pornographic, a new theory of the will, and a refoundation of political theory on the possibility of sacrifice.Approaching politics from the perspective of sacrifice allows us to understand the character of twentieth-century politics, which combined progress in the rule of law with massive slaughter for the state. Equally important, this work speaks to the most important political conflicts in the world today. It explains why American response to September 11 has taken the form of war, and why, for the most part, Europeans have been reluctant to follow the Americans in their pursuit of a violent, sacrificial politics. Kahn shows us that the United States has maintained a vibrant politics of modernity, while Europe is moving into a postmodern form of the political that has turned away from the idea of sacrifice. Together with its companion volume, Out of Eden, Putting Liberalism in Its Place finally answers Clifford Geertz's call for a political theology of modernity. (shrink)

Prompted by recent comments on the moral authority of dialogic consensus, we argue that consensus, specifically dialogic consensus, possesses a unique form of moral authority. Given our multicultural era and its plurality of values, we contend that traditional ethical frameworks or principles derived from them cannot be viewed substantively. Both philosophers and clinicians prioritize the need for a decision to be morally justifiable, and also for the decision to be action-guiding. We argue that, especially against the background of our pluralistic (...) society, it is only via unforced dialogue and properly founded argumentation, aiming for consensus, that we can ascribe rightness or wrongness in a normative fashion to dilemmatic situations. We argue that both the process of dialogue, properly constituted, and the consensual outcome itself have moral authority vested within them. Finally, we argue that the consensual decision made is able to withstand moral scrutiny and is action-guiding, without claiming absolute moral authority in other contexts. (shrink)

Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, _Logic_ introduces and explains: * The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The Language of Quantificational Logic including (...) the Theory of Descriptions. _Logic _is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com. (shrink)

The combinatorial parity principle states that there is no perfect matching on an odd number of vertices. This principle generalizes the pigeonhole principle, which states that for a fixed bipartition of the vertices, there is no perfect matching between them. Therefore, it follows from recent lower bounds for the pigeonhole principle that the parity principle requires exponential-size bounded-depth Frege proofs. Ajtai previously showed that the parity principle does not have polynomial-size bounded-depth Frege proofs even with the pigeonhole principle as an (...) axiom schema. His proof utilizes nonstandard model theory and is nonconstructive. We improve Ajtai's lower bound from barely superpolynomial to exponential and eliminate the nonstandard model theory. Our lower bound is also related to the inherent complexity of particular search classes . In particular, oracle separations between the complexity classes PPA and PPAD, and between PPA and PPP also follow from our techniques. (shrink)