We prove that the problem of determining the minimum propositional proof length is NP- hard to approximate within a factor of 2 log 1 - o(1) n . These results are very robust in that they hold for almost all natural proof systems, including: Frege systems, extended Frege systems, resolution, Horn resolution, the polynomial calculus, the sequent calculus, the cut-free sequent calculus, as well as the polynomial calculus. Our hardness of approximation results usually apply to proof length measured either by (...) number of symbols or by number of inferences, for tree-like or dag-like proofs. We introduce the Monotone Minimum (Circuit) Satisfying Assignment problem and reduce it to the problems of approximation of the length of proofs. (shrink)

The Exchange of Words is a philosophical exploration of human testimony, specifically as a form of intersubjective understanding in which speakers communicate by making themselves accountable for the truth of what they say. This account weaves together themes from philosophy of language, moral psychology, action theory, and epistemology, for a new approach to this basic human phenomenon.

The paper argues for the centrality of believing the speaker (as distinct from believing the statement) in the epistemology of testimony, and develops a line of thought from Angus Ross which claims that in telling someone something, the kind of reason for belief that a speaker presents is of an essentially different kind from ordinary evidence. Investigating the nature of the audience's dependence on the speaker's free assurance leads to a discussion of Grice's formulation of non-natural meaning in an epistemological (...) light, concentrating on just how the recognition of the speaker's self-reflexive intention is supposed to count for his audience as a reason to believe P. This is understood as the speaker's explicitly assuming responsibility for the truth of his statement, and thereby constituting his utterance as a reason to believe. (shrink)

The late Rabbi Shlomo Freifeld possessed the enviable ability to relate to a wide range of people. The genuineness of his caring for others, his rock-solid convictions and fluent expression created a magnetic personality few could resist. His ch.

Recent years have seen a shift in the approach to religious life among members of the Israeli Religious Zionist and the American Modern Orthodox communities. The trend towards spirituality, and to Hasidic teachings and practices in particular, is noteworthy and deserving of exploration. A range of leading American and Israeli thinkers - rabbis and philosophers, anthropologists and theologians - weigh in on these trends.

Alan Turing’s 1950 imitation game has been widely understood as a means for testing if an entity is intelligent. Following a series of papers by Diane Proudfoot, I offer a socio-technological interpretation of Turing’s paper and present an alternative way of understanding both the imitation game and Turing’s concept of intelligence. Turing, I claim, saw intelligence as a social concept, meaning that possession of intelligence is a property determined by society’s attitude toward the entity. He realized that as long as (...) human society held a prejudiced attitude toward machinery—seeing machines a priori as mindless objects—machines could not be said to be intelligent, by definition. He also realized, though, that if humans’ a priori, chauvinistic attitude toward machinery changed, the existence of intelligent machines would become logically possible. Turing thought that such a change would eventually occur: He believed that when scientists overcome the technological challenge of constructing sophisticated machines that could imitate human verbal behavior—i.e., do well in the imitation game—humans’ prejudiced attitude toward machinery will have altered in such a way that machines could be said to be intelligent. The imitation game, for Turing, was not an intelligence test, but a technological aspiration whose realization would likely involve a change in society’s attitude toward machines. (shrink)

section 1. Medical ethics -- section 2. Technology -- section 3. Social and business issues -- section 4. Ritual -- section 5. Women -- section 6. Israel -- section 7. Kashrut -- section 8. Jewish identity and marriage -- section 9. Shabbat and holiday.

A review of what a "human right" is. It is a claim that every person can make as an individual who is a part of the human race and which requires an underlying respect for all human beings. The author maintains that human rights can only be realized through conversations with those across all genders, ages, cultures and religions.

Studies in the philosophy of Abul-Barak t al-Baghd d (R), deals with various aspects of the philosophy of Abul-Barak t al-Baghd d (R). Some of Avicennas physical and psychological doctrines are also discussed.

Libertarian paternalism's notion of “nudging” refers to steering individual decision making so as to make choosers better off without breaching their free choice. If successful, this may offer an ideal synthesis between the duty to respect patient autonomy and that of beneficence, which at times favors paternalistic influence. A growing body of literature attempts to assess the merits of nudging in health care. However, this literature deals almost exclusively with health policy, while the question of the potential benefit of nudging (...) for the practice of informed consent has escaped systematic analysis. This article focuses on this question. While it concedes that nudging could amount to improper exploitation of cognitive weaknesses, it defends the practice of nudging in a wide range of other conditions. The conclusion is that, when ethically legitimate, nudging offers an important new paradigm for informed consent, with a special potential to overcome the classical dilemma between paternalistic beneficence and respect for autonomy. (shrink)

This book offers timely contributions to the process of conceptualizing a Latin American specificity and its forms of integration in larger contexts, both on the level of thought and the level of political and social praxis. To produce a critical reading of philosophy while also developing a philosophy of criticism is essential in cultures that continue to struggle for the decolonization of both thought and life. This book allows Anglophone readers access to the world of ideas of some of the (...) most relevant Latin American thinkers of our age. Through a comprehensive discussion of the works and contexts of thinkers such as of José Carlos Mariátegui, Enrique Dussel, Bolívar Echeverría, and Roger Bartra to Walter Benjamin, Michel Foucault, Pierre Bourdieu, and Peter Sloterdijk, Mabel Moraña demonstrates that Latin American thought has not only been inseparable from Western philosophy but also from the determinants of its history and social struggles. By doing so, Mabel Moraña provides an extensive perspective on the connections between historical moments, social structures, and discursive practices. With its interdisciplinary focus, this book will be an important resource for scholars and students in Latin American studies, comparative literature, world literature, and philosophy. (shrink)

This article offers an alternative reading of the Abbé Sieyès and the modern ‘nation-state’ problématique. I argue that the subject/object that is constituted in the early days of modernity is the incomplete society: an impossible-possibility ideal of congruency of population, authority and space. I suggest reading this ideal of congruency as a fantasy in that it offers a certain ‘fullness to come’, the promise of jouissance that can never be attained and is thus constantly re-envisioned and reinvoked. Drawing on discourse-analytical (...) and psychoanalytical tools I explain the logic of fantasy before analysing Sieyès’ What is the Third Estate?, as I show how he critiques and fragments the old model of the state and how his reading of the nation is fantasmatic, a continuous project towards impossible congruency. (shrink)

Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets. This settles a conjecture of La...

Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets. This settles a conjecture of La...

We reviewed 272 phase I oncology trial consent forms and then created an improved informed consent template in both English and Spanish by redesigning and rewording the consent form to be specific to phase I trials, to avoid repetition, and to use simplified language, identifiable sections framed by first-person questions, and tables to present information. The resulting consent form template is shorter than average and considerably easier to read . The template also meets the recommended eighth-grade maximum reading level for (...) consent forms. Use of this template should help improve the informed consent process. (shrink)

A partir de un abordaje plural a los temas del sujeto, la modernidad y la decolonización, este volumen ofrece una imprescindible reflexión sobre aspectos pujantes de nuestro tiempo: ¿cómo redefinir la noción de sujeto de cara a los procesos de globalización, que incluyen dinámicas migratorias, flujos fantasmáticos de capitales reales y simbólicos y proliferación de mundos virtuales? ¿A partir de qué principios se negocia la relación entre contingencia y universalidad, ética y política, cultura y mercado? ¿Qué alcances tienen los proyectos (...) decolonizadores en un mundo marcado por la desaparición de la utopía? ¿A qué formas inéditas de hegemonía y subalteridad nos enfrenta el nuevo (des)orden global? Finalmente, ¿cuál es el lugar de América Latina en el espacio post o trans-nacional? Reconocidos pensadores entregan en este libro elaboraciones fundamentales para la comprensión de estas cuestiones, en las que se resume buena parte del pensamiento filosófico de nuestro tiempo. (shrink)

A philosophical essay on the role of narrative autobiography in the effort of self-understanding. It originated as the 2015 lecture in the annual series of Aquinas Lectures at Marquette University, begun in 1937.

ABSTRACTThis paper introduces the category of ‘non-deceptive manipulation that causes false beliefs’, analyzes how it narrows the traditional scope of ‘deception’, and draws moral implications.

John Rawls, father of contemporary distributive justice, professed the metaphysical neutrality of his theory, and formulated an additional theory to support such neutrality generally. This article exposes Rawls’s own theological underpinnings concerning his conception of the moral arbitrariness of existence, and his structural dichotomous approach for engaging it. I show how both of his theories are reminiscent of Calvin, employing methods of bifurcation, and thus generating tensions within both the concept of justice and moral personality. I end with analysis of (...) the relationship of this structural rationality to arbitrariness. This exposure of Rawls’s theological debt is part of a wider argument concerning the theological basis of distributive justice theory, and the relevance of Theology for philosophical ethics. (shrink)