Savant aux intérêts multiples--historiques, scientifiques et religieux, connu et estimé dans l'Europe du XVIIIe siècle, bien qu'ayant très peu publié de son vivant, Firmin Abauzit reste à beaucoup d'égards un mystère. Comment ce réfugié huguenot, arrivé à Genève encore enfant après la révocation de l'édit de Nantes, a-t-il pu bénéficier d'une réputation flatteuse dans la ville d'accueil alors que ses opinions hétérodoxes sur la trinité ou la christologie ou les prophéties bibliques étaient notoires? Au-delà des étiquettes faciles, quelle était la (...) nature exacte de son hétérodoxie? Comment sa légendaire 'modestie', qui lui a fait refuser honneurs et charges publiques, se concilie-t-elle avec le fait de laisser copier et circuler abondamment en Europe ses manuscrits? Quel rapport existe-t-il entre une telle circulation et son refus obstiné d'autoriser la publication de ses travaux? Comment interpréter, dans son cas, la tension entre réputation et publication? À ces questions, souvent escamotées ou abordées dans une visée hagiographique, le volume répond par une réflexion large qui croise l'histoire des religions, de la littérature, de la philosophie et du fait religieux. Une approche qui intègre des aspects peu ou pas du tout étudiés de la vaste production de l'auteur, tels que le rapport entre idolâtrie et religion, ou sa lecture de textes déistes anglais, ou encore ses écrits de controverse confessionnelle, mais qui reprend aussi, en les renouvelant, des thèmes plus classiques, comme la célèbre note de Rousseau sur Abauzit philosophe ou les éditions concurrentes qui ont été publiées peu après la mort du savant"--Page 4 of cover. (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)

Resolution is the most widely studied approach to propositional theorem proving. In developing efficient resolution-based algorithms, dozens of variants and refinements of resolution have been studied from both the empirical and analytic sides. The most prominent of these refinements are: DP (ordered). DLL (tree), semantic, negative, linear and regular resolution. In this paper, we characterize and study these six refinements of resolution. We give a nearly complete characterization of the relative complexities of all six refinements. While many of the important (...) separations and simulations were already known, many new ones are presented in this paper: in particular, we give the first separation of semantic resolution from general resolution. As a special case, we obtain the first exponential separation of negative resolution from general resolution. We also attempt to present a unifying framework for studying all of these refinements. (shrink)

The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for automated theorem proving. In this paper, we discuss the complexity of the system as a method for refuting contradictory sets of clauses, and resolve several open questions. We discuss the three forms of analytic tableaux: clausal tableaux, generalized clausal tableaux, and binary tableaux. We resolve the relative complexity of these three forms of tableaux proofs and also resolve the (...) relative complexity of analytic tableaux versus resolution. We show that there is a quasi-polynomial simulation of tree resolution by analytic tableaux; this simulation is close to optimal, since we give a matching lower bound that is tight to within a polynomial. (shrink)

We consider small-weight Cutting Planes (CP * ) proofs; that is, Cutting Planes (CP) proofs with coefficients up to $\operatorname{Poly}(n)$ . We use the well known lower bounds for monotone complexity to prove an exponential lower bound for the length of CP * proofs, for a family of tautologies based on the clique function. Because Resolution is a special case of small-weight CP, our method also gives a new and simpler exponential lower bound for Resolution. We also prove the following (...) two theorems: (1) Tree-like CP * proofs cannot polynomially simulate non-tree-like CP * proofs. (2) Tree-like (CP * proofs and Bounded-depth-Frege proofs cannot polynomially simulate each other. Our proofs also work for some generalizations of the CP * proof system. In particular, they work for CP * with a deduction rule, and also for any proof system that allows any formula with small communication complexity, and any set of sound rules of inference. (shrink)

La question de la légitimité et de la faisabilité de l’examen religieux – l’un des sujets principaux de la controverse confessionnelle en France au XVIIe siècle – traverse l’ensemble du corpus baylien. Étroitement lié à des questions cruciales comme celle de la nature des vérités divines, des dispositions éthiques du croyant et du statut de la Bible, l’examen religieux est en réalité pour Bayle un oxymore, qui tente de concilier ce qui est antithétique, à savoir l’examen philosophique et la croyance.

The present article traces the changes that took place within the Genevan church between the late seventeenth and early eighteenth centuries. These changes resulted from a number of different factors, but especially from the evolution in theological and other, broader intellectual parameters. The analysis focuses on the spirited debates that surrounded the Consensus Helveticus, a formula which was adopted in Geneva in 1679 and to which all pastors were required to subscribe. When the Genevan church decided in 1706 no longer (...) to require subscription, it did so – among others – for the freedom of conscience on articles not necessary to salvation, and thus embarked on a long road of theological reflection which led it eventually to abandon, within the space of only several decades, the orthodox theology that had dominated the seventeenth century. As result of this evolution, the eighteenth century saw a slow but definite change in the image the church of Geneva held for the rest of European Calvinism. ☆ This article is an uptated English translation of «De l’exemplarité au soupçon: l’Eglise genevoise entre la fin du XVIIe siècle et le début du XVIIIe» in W. Kaiser, C. Sieber-Lehmann et C. Windler (éd.), Eidgenössische «Grenzfälle»: Mülhausen und Genf/en marge de la Confédération: Mulhouse et Genève (Basler Beiträge zur Geschichtswissenschaft 172), Bâle, Schwabe et Co, 2001, 273–92. I thank Keith Tribe for his translation and Albert Gootjes for his suggestions for updating. (shrink)

Some philosophers have thought that life could only be meaningful if there is no God. For Sartre and Nagel, for example, a God of the traditional classical theistic sort would constrain our powers of self-creative autonomy in ways that would severely detract from the meaning of our lives, possibly even evacuate our lives of all meaning. Some philosophers, by contrast, have thought that life could only be meaningful if there is a God. God and the Meanings of Life is interested (...) in exploring the truth in both these schools of thought, seeking to discover what God could and couldn't do to make life meaningful (as well as what he would and wouldn't do). Mawson espouses a version of the 'amalgam' or 'pluralism' thesis about the issue of life's meaning – in essence, that there are a number of different legitimate meanings of 'meaning' (and indeed 'life') in the question of life's meaning. According to Mawson, God, were he to exist, would help make life meaningful in some of these senses and hinder in some others. He argues that whilst there could be meaning in a Godless universe, there could be other sorts of meaning in a Godly one and that these would be deeper. (shrink)

T. A. Cavanaugh's Hippocrates' Oath and Asclepius' Snake: The Birth of the Medical Profession articulates the Oath as establishing the medical profession's unique internal medical ethic - in its most basic and least controvertible form, this ethic mandates that physicians help and not harm the sick. Relying on Greek myth, drama, and medical experience (e.g., homeopathy), the book shows how this medical ethic arose from reflection on the most vexing medical-ethical problem -- injury caused by a physician -- and argues (...) that deliberate iatrogenic harm, especially the harm of a doctor choosing to kill (physician assisted suicide, euthanasia, abortion, and involvement in capital punishment), amounts to an abandonment of medicine as an exclusively therapeutic profession. The book argues that medicine as a profession necessarily involves stating before others what one stands for: the good one seeks and the bad one seeks to avoid on behalf of the sick, and rejects the view that medicine is purely a technique lacking its own unique internal ethic. It concludes noting that medical promising (as found in the White Coat Ceremony through which U. S. medical students matriculate) implicates medical autonomy which in turn merits respect, including honoring professional conscientious objections. (shrink)

Issu des travaux présentés dans le cadre d'une journée d'étude sur le malebranchisme, organisée en novembre 2015 par l'Institut d'histoire de la Réformation de l'Université de Genève, cet ouvrage propose une relecture de la philosophie de Malebranche à travers le kaléidoscope des controverses et des réceptions qu'elle a inspirées. Les contributions réunies dans le volume explorent, d'un côté, l'impact que les querelles ont eu sur le développement du malebranchisme et leur écho chez les prétendus héritiers de cette philosophie ; de (...) l'autre, la réception contemporaine de certains philosophèmes malebranchiens ainsi que, inversement, les modalités d'assimilation par l'auteur de théories incontournables pour la pensée moderne. (shrink)

This text is designed to help students construct and evaluate arguments.

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

How do we think about animals? How do we decide what they deserve and how we ought to treat them? Subhuman takes an interdisciplinary approach to these questions, drawing from research in philosophy, neuroscience, psychology, law, history, sociology, economics, and anthropology. Subhuman argues that our attitudes to nonhuman animals, both positive and negative, largely arise from our need to compare ourselves to them.

_Purpose._ This paper aims to investigate the phenomenon of a human being within the Confucian tradition as well as its interpretations from intercultural perspective. _Theoretical basis._ One of the ways to understand the deepest level of the intercultural dialogue is to reveal the interpretations of a human being in philosophical traditions, since they refer to the formation of personality and identity within a given culture including interpersonal, intergroup, and intercultural relations. Humanism based on the unity of Human and Heaven runs (...) like a red thread through the philosophical teachings of Confucius, Mencius, Xunzi, Zhu Xi, Wang Yangming defining the ideas of human nature, his/her duties, his/her place and roles in society that shaped the Chinese mentality. _Originality._ Quite often, Chinese concepts (for example, human dignity beyond the ideas of democracy and mass political participation, guanxi, mianzi) are incomprehensible to the representatives of the Western civilization, which leads to the challenges in intercultural communication. The interpretation of these ideas in the context of Confucianism allows to understand them from the perspective of Others and expand the set of patterns of cultural perception. This ultimately leads to the awareness that there are many social, political, cultural realities, which we perceive through the lens of our own concepts and attitudes. The participants of an intercultural dialogue realize that each of them has a unique experience, own way of posing a problem and resolving it, and no one is better or worse. _Conclusions._ Confucian philosophy shaped the worldview of Chinese people, defined values, goals, meanings, attitudes, communication models, which affected all spheres of Chinese life and culture. The study of the philosophical heritage of the great Chinese civilization enhances the cultural competence of the intercultural communicators and expands the field of dialogue to the level of global communication. (shrink)

This robust, clear, and well-researched textbook for classes in logic introduces students to both formal logic and to the virtues of intellectual inquiry. Part 1 challenges students to develop the analytical skills of deductive and inductive reasoning, showing them how to identify and evaluate arguments. Part 2 helps students develop the intellectual virtues of the wise inquirer. The book includes helpful pedagogical features such as practice exercises and a concluding summary with definitions of key concepts for each chapter. Resources for (...) professors and students are available through Baker Academic's Textbook eSources. (shrink)

Knowledge, theory of; Islamic philosophy; philosophy, Arab; interpretation and construction.

Logic; Islamic philosophy; Islam--doctrines.

This book includes critical editions, Turkish translations and short studies of two treatises by Taşköprüzade, one of the most important Ottoman philosophers of the sixteenth century.

This book includes a critical edition and a Turkish translation and a study of an Arabic treatise by Taşköprüzade, one of the most important Ottoman philosophers of the sixteenth century.

Modernism; influence; social and economic aspects; Arab countries; 21st century.