-
Expand entry
-
Added by: Berta Grimau
Summary: This article provides the basics of a typical logic, sometimes called 'classical elementary logic' or 'classical first-order logic', in a rigorous yet accessible manner. Section 2 develops a formal language, with a syntax and grammar. Section 3 sets up a deductive system for the language, in the spirit of natural deduction. Section 4 provides a model-theoretic semantics. Section 5 turns to the relationships between the deductive system and the semantics, and in particular, the relationship between derivability and validity. The authors show that an argument is derivable only if it is valid (soundness). Then they establish a converse: that an argument is valid only if it is derivable (completeness). They also briefly indicate other features of the logic, some of which are corollaries to soundness and completeness. The final section, Section 6, is devoted to a brief examination of the philosophical position that classical logic is 'the one right logic'.Bimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms2015, CRC Press, Boca Raton, FL-
Expand entry
-
Added by: Berta Grimau
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.Comment: This book can be used in a variety of advanced undergraduate and postgraduate courses. Chapters 1, 2, 3 and 8 may be useful in an advanced undergraduate or beginning graduate course, where an emphasis is placed on classical logic and on a range of different proof calculi (mainly for classical logic). Chapters 4, 5 and 6 deal almost exclusively with non-classical logics. Chapters 7 and 9 are rich in meta-logical results, including results that have been obtained specifically using sequent calculus formalizations of various logics. These last five chapters might be used in a graduate course that embraces classical and nonclassical logics together with their meta-theory. To facilitate the use of the book as a text in a course, the text is peppered with exercises. In general, the starring indicates an increase in difficulty, however, sometimes an exercise is starred simply because it goes beyond the scope of the book or it is very lengthy. Solutions to selected exercises may be found on the web at the URL www.ualberta.ca/˜bimbo/ProofTheoryBook.
2003, Mcgraw-Hill.-
Expand entry
-
Added by: Berta Grimau
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.Comment: This book would be ideal for an introductory course on symbolic logic. It presupposes no previous training in logic, and because it covers sentential logic through the metatheory of first-order predicate logic, it is suitable for both introductory and intermediate courses in symbolic logic. The instructor who does not want to emphasize metatheory can simply omit Chapters 6 and 11. The chapters on truth-trees and the chapters on derivations are independent, so it is possible to cover truth-trees but not derivations and vice versa. However, the chapters on truth-trees do depend on the chapters presenting semantics; that is, Chapter 4 depends on Chapter 3 and Chapter 9 depends on Chapter 8. In contrast, the derivation chapters can be covered without first covering semantics. The Logic Book includes large exercise sets for all chapters. Answers to unstarred exercises appear in the Student Solutions Manual, available at www.mhhe.com/bergmann6e, while answers to starred exercises appear in the Instructor's Manual, which can be obtained by following the instructions on the same web page.
Dembroff, Robin, Wodak, Daniel. He/She/They/Ze2018, Ergo: An Open Access Journal of Philosophy, 5(14): 371 - 406.-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Rory Wilson
Abstract: In this paper, we defend two main claims. The first is a moderate claim: we have a negative duty to not use binary gender-specific pronouns he or she to refer to genderqueer individuals. We defend this with an argument by analogy. It was gravely wrong for Mark Latham to refer to Catherine McGregor, a transgender woman, using the pronoun he; we argue that such cases of misgendering are morally analogous to referring to Angel Haze, who identifies as genderqueer, as he or she. The second is a radical claim: we have a negative duty to not use any gender-specific pronouns to refer to anyone, regardless of their gender identity. We offer three arguments in favor of this claim (which appeal to concerns about inegalitarianism and risk, invasions of privacy, and reinforcing essentialist ideologies). We also show why the radical claim is compatible with the moderate claim. Before concluding, we examine common concerns about incorporating either they or a neologism such as ze as a third-person singular gender-neutral pronoun. These concerns, we argue, do not provide sufficient reason to reject either the moderate or radical claim.Comment: This text can be used as a companion piece to other texts on the metaphysics of gender or to introduce students to transgender / nonbinary identities. Dembroff and Wodak give a good overview of the importance of pronouns as well as the contemporary pronoun debate between they and ze for those with little to no prior background. This paper is good for debate over its radical claim.
Narayan, Uma. Undoing the ‘Package Picture’ of Cultures2004, Signs: Journal of Women in Culture and Society 25 (4): 1083-1086.-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Nadia Mehdi
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.Comment: This text can be used to teach about the pitfalls of imperialist feminism such as Susan M. Okin's as well as gender and cultural essentialism. It would also be excellent on any courses that attempt to discuss cultural value or cultural heritage as it complicates the idea of cultures as discrete, bounded and unified entities.
Siegel, Susanna. Do Experiences Have Contents?2010, In Bence -Nanay (ed.), Perceiving the World. Oxford University Press.-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Will Hornett
Summary: This paper argues that despite the differences between perception and belief, perception involves states that are importantly similar to beliefs: conscious visual experiences. According to the Content View, these experiences have contents in the form of accuracy conditions. The paper develops and defends the Content View, discusses its significance, and argues that contrary to what is often supposed, the Content View is compatible with Naive Realist disjunctivism.Comment: It is a fairly difficult paper because it has some technical sections and her main argument is rather dense. However, it is generally very clearly written, with numerous helpful examples, and a broad discussion of views on contemporary debate on perception. This paper could be used in a senior year or postgraduate course on the philosophy of perception as seminar reading since it is a detailed and controversial discussion of the metaphysics of perception. It has also been central to recent debates. It is is useful to teach alongside Thomas Raliegh's "Phenomenology Without Representation" (2013). It is a fairly difficult paper because it has some technical sections and her main argument is rather dense. However, it is generally very clearly written, with numerous helpful examples, and a broad discussion of views on contemporary debate on perception. This paper could be used in a senior year or postgraduate course on the philosophy of perception as seminar reading since it is a detailed and controversial discussion of the metaphysics of perception. It has also been central to recent debates. It is is useful to teach alongside Thomas Raliegh's "Phenomenology Without Representation" (2013).
Bettcher, Talia Mae. Trapped in the Wrong Theory: Rethinking Trans Oppression and Resistance2014, Signs: Journal of Women Culture and Society, 39 (2): 383 - 406.-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Rory Wilson
Abstract: In this essay, I defend an account of trans oppression and resistance that departs from the prevailing transgender model. While I show why both the “trapped in the wrong body” model and the transgender model are problematic, I also illuminate how the former can be seen as a resistant narrative. The new account has two key ideas. First, I draw from María Lugones’s work to defend a model of multiple meanings, arguing that the traditional accounts assume dominant meanings while foreclosing resistant ones. Second, I draw from the recent literature on the transphobic representation of trans people as deceivers to argue that reality enforcement is an important consequence of dominant ways of doing gender. The traditional wrong-body narrative can be seen as resisting reality enforcement.Comment: This article can pair well with teaching on gender or transgender / queer philosophy. Compliments the work of Rachel MacKinnon.
Christina, Greta. Are we having sex now or what?1992, Greta Christina's blog-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Rosa VinceAbstract:
Comment: This text is essential for anyone interested in how we define 'sex', 'sexual', or 'sex acts'. It lays out the key difficulties faced in philosophy of sex in a thorough yet accessible and engaging way. Initially a blog post, but since reprinted in philosophy of sex anthologies, it is very easy to read and I recommend setting it as the first reading for a philosophy of sex course.
Sartorio, Carolina. Causation and Free Will2016, Oxford University Press.-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Jingbo Hu
Publisher's Note: Carolina Sartorio argues that only the actual causes of our behaviour matter to our freedom. The key, she claims, lies in a correct understanding of the role played by causation in a view of that kind. Causation has some important features that make it a responsibility-grounding relation, and this contributes to the success of the view. Also, when agents act freely, the actual causes are richer than they appear to be at first sight; in particular, they reflect the agents' sensitivity to reasons, where this includes both the existence of actual reasons and the absence of other reasons. So acting freely requires more causes and quite complex causes, as opposed to fewer causes and simpler causes, and is compatible with those causes being deterministic. The book connects two different debates, the one on causation and the one on the problem of free will, in new and illuminating ways.Comment: This book provides an interesting compatibilist theory for free will and moral responsibility. Chapter One can be used as an introductory material about the Frankfurt-style cases as well as the motivations for compatibilism. Chapter Four can be used as an auxiliary reading for Fischer and Ravizza's reasons-responsiveness theory for it points out some problem of their theory and provides an alternative proposal.
Richardson, S. Sarah. Sex Itself: The Search for Male and Female in the Human Genome2013, The University of Chicago Press.-
Expand entry
-
Added by: Andrea Blomqvist, Contributed by: Isela
Publisher's Note: Human genomes are 99.9 percent identical—with one prominent exception. Instead of a matching pair of X chromosomes, men carry a single X, coupled with a tiny chromosome called the Y. Tracking the emergence of a new and distinctive way of thinking about sex represented by the unalterable, simple, and visually compelling binary of the X and Y chromosomes, Sex Itself examines the interaction between cultural gender norms and genetic theories of sex from the beginning of the twentieth century to the present, postgenomic age. Using methods from history, philosophy, and gender studies of science, Sarah S. Richardson uncovers how gender has helped to shape the research practices, questions asked, theories and models, and descriptive language used in sex chromosome research. From the earliest theories of chromosomal sex determination, to the mid-century hypothesis of the aggressive XYY supermale, to the debate about Y chromosome degeneration, to the recent claim that male and female genomes are more different than those of humans and chimpanzees, Richardson shows how cultural gender conceptions influence the genetic science of sex. Richardson shows how sexual science of the past continues to resonate, in ways both subtle and explicit, in contemporary research on the genetics of sex and gender. With the completion of the Human Genome Project, genes and chromosomes are moving to the center of the biology of sex. Sex Itself offers a compelling argument for the importance of ongoing critical dialogue on how cultural conceptions of gender operate within the science of sex.Comment:
Can’t find it?Contribute the texts you think should be here and we’ll add them soon!
-
-
-
This site is registered on Toolset.com as a development site. -
-
-
-
-
-
Kouri Kissel, Teresa, Stewart Shapiro. Classical Logic
2018, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.)
Comment: This article introduces all the necessary tools in order to understand both the proof-theoretic and the model-theoretic aspects of first-order classical logical consequence. As such it can be used as a main reading in an introductory logic course covering classical first-order logic (assuming the students will have already looked at classical propositional logic). Moreover, the article covers some metatheoretic results (soundness, completeness, compactness, upward and downward Löwenheim-Skolem), which makes it suitable as a reading for a slightly more advanced course in logic. Finally, the article includes a brief incursion into the topic of logical pluralism. This makes it suitable to be used in a course on non-classical logics with an introduction module on classical logic.