Publisher’s Note: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.
The Logic Book
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well as a tableaux-style method of consistency-checking and a natural deduction-style deductive calculus. Moreover, it discusses the metatheory of both logics.
Ancient Logic
Summary: A comprehensive introduction to ancient (western) logic from the 5th century BCE to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Topics include pre-Aristotelian logic, Aristotelian logic, Peripatetic logic, Stoic Logic and a note on Epicureans and their views on logic.
Women in Philosophy: What Needs to Change?
Publisher’s Note: Despite its place in the humanities, the career prospects and numbers of women in philosophy much more closely resemble those found in the sciences and engineering. This book collects a series of critical essays by female philosophers pursuing the question of why philosophy continues to be inhospitable to women and what can be done to change it. By examining the social and institutional conditions of contemporary academic philosophy in the Anglophone world as well as its methods, culture, and characteristic commitments, the volume provides a case study in interpretation of one academic discipline in which women’s progress seems to have stalled since initial gains made in the 1980s. Some contributors make use of concepts developed in other contexts to explain women’s under-representation, including the effects of unconscious biases, stereotype threat, and micro-inequities. Other chapters draw on the resources of feminist philosophy to challenge everyday understandings of time, communication, authority and merit, as these shape effective but often unrecognized forms of discrimination and exclusion. Often it is assumed that women need to change to fit existing institutions. This book instead offers concrete reflections on the way in which philosophy needs to change, in order to accommodate and benefit from the important contribution women’s full participation makes to the discipline.
Undoing the ‘Package Picture’ of Cultures
Abstract: Many feminists of color have demonstrated the need to take into account differences among women to avoid hegemonic gender-essentialist analyses that represent the problems and interests of privileged women as paradigmatic. As feminist agendas become global, there is growing feminist concern to consider national and cultural differences among women. However, in attempting to take seriously these cultural differences, many feminists risk replacing gender-essentialist analyses with culturally essentialist analyses that replicate problematic colonialist notions about the cultural differences between “Western culture” and “non-Western cultures” and the women who inhabit them (Narayan 1998). Seemingly universal essentialist generalizations about “all women” are replaced by culture-specific essentialist generalizations that depend on totalizing categories such as “Western culture,’ “non-Western cultures,” “Indian women,” and “Muslim women.” The picture of the “cultures” attributed to these groups of women remains fundamentally essentialist, depicting as homogeneous groups of heterogeneous peoples whose values, ways of life, and political commitments are internally diverge.
Heidegger’s hermeneutic account of cognition
Abstract: Hermeneutic phenomenology is absent in 4 EAC literature (embedded, embodied, enactive, extended and affective cognition). The aim of this article is to show that hermeneutic phenomenology as elaborated in the work of Heidegger is relevant to 4 EAC research. In the first part of the article I describe the hermeneutic turn Heidegger performs in tandem with his ontological turn of transcendental phenomenology, and the hermeneutic account of cognition resulting from it. I explicate the main thesis of the hermeneutic account, namely that cognition is interaction with the world, followed by a discussion of the modes of cognition distinguished in the hermeneutic account. In the second part of the article I discuss the implications of this account with respect to the status and meaning of first, second and third person perspective of cognition. The article concludes with the draft and discussion of an exploratory model of hermeneutic cognition.
Disability, Enhancement, and the Harm-Benefit Continuum
Abstract: Suppose that you are soon to be a parent and you learn that there are some simple measures that you can take to make sure that your child will be healthy. In particular, suppose that by following the doctor’s advice, you can prevent your child from having a disability, you can make your child immune from a number of dangerous diseases and you can even enhance its future intelligence. All that is required for this to happen is that you (or your partner) comply with lifestyle and dietary requirements. Do you and your partner have any moral reasons (or moral obligations) to follow the doctor’s advice? Would it make a difference if, instead of following some simple dietary requirements, you consented to genetic engineering to make sure that your child was free from disabilities, healthy and with above average intelligence? In this paper we develop a framework for dealing with these questions and we suggest some directions the answers might take.
Divine Freedom
Abstract: In ‘Divine Freedom,’ I argue that morally significant incompatibilist freedom is a great good. So God possesses morally incompatibilist freedom. So, God can do wrong or at least can do worse than the best action He can do. So, God is not essentially morally perfect. After careful consideration of numerous objections, I conclude that this argument is undefeated.
Theraputic Theodicy? Suffering, Struggle, and the Shift from the Gods-Eye View
Abstract: From a theoretical standpoint, the problem of human suffering can be understood as one formulation of the classical problem of evil, which calls into question the compatibility of the existence of a perfect God with the extent to which human beings suffer. Philosophical responses to this problem have traditionally been posed in the form of theodicies, or justifications of the divine. In this article, I argue that the theodical approach in analytic philosophy of religion exhibits both morally and epistemically harmful tendencies and that philosophers would do better to shift their perspective from the hypothetical ‘God’s-eye view’ to the standpoint of those who actually suffer. By focusing less on defending the epistemic rationality of religious belief and more on the therapeutic effectiveness of particular imaginings of God with respect to suffering, we can recover, (re)construct, and/or (re)appropriate more virtuous approaches to the individual and collective struggle with the life of faith in the face of suffering.
Free Speech and Illocution
Abstract: We defend the view of some feminist writers that the notion of silencing has to be taken seriously in discussions of free speech. We assume that what ought to be meant by ‘speech’, in the context ‘free speech’, is whatever it is that a correct justification of the right to free speech justifies one in protecting. And we argue that what one ought to mean includes illocution, in the sense of J.L. Austin.