Human rights debates neglect social rights. This paper defends one fundamentally important, but largely unacknowledged social human right. The right is both a condition for and a constitutive part of a minimally decent human life. Indeed, protection of this right is necessary to secure many less controversial human rights. The right in question is the human right against social deprivation. In this context, ‘social deprivation’ refers not to poverty, but to genuine, interpersonal, social deprivation as a persisting lack of minimally adequate opportunities for decent human contact and social inclusion. Such deprivation is endured not only in arenas of institutional segregation by prisoners and patients held in long‐term solitary confinement and quarantine, but also by persons who suffer less organised forms of persistent social deprivation. The human right against social deprivation can be fleshed out both as a civil and political right and as a socio‐economic right. The defence for it faces objections familiar to human rights theory such as undue burdensomeness, unclaimability, and infeasibility, as well as some less familiar objections such as illiberality, intolerability, and ideals of the family. All of these objections can be answered.

To survive, let alone flourish, we need to be sure of—securely tied to—at least one other person. We also need to be sure of our general acceptance within the wider social world. This book explores the normative implications of taking our social needs seriously. Chapter 1 sketches out what our core social needs are, and Chapter 2 shows that they ground a fundamental, but largely neglected human right against social deprivation. Chapter 3 then argues that this human right includes a right to sustain the people we care about, and that often, when we are denied the resources to sustain others, we endure social contribution injustice. Chapters 4–6 explore the tension between our needs for social inclusion and our needs for interactional and associational freedom, showing that social inclusion must take priority. While Chapters 5 and 6 defend a narrow account of freedom of association, Chapter 7 shows that the moral ballgame changes once we have made morally messy associative decisions. Sometimes we have rights to remain in associations that we had no right to form. Finally, Chapter 8 exposes the distinct social injustices that we do to people whom we deem to be socially threatening. Overall, the book identifies ways to change our social and political practices, and our personal perspectives, to better honour the fact that we are fundamentally social beings.

This chapter gives a survey of the field of philosophy where the philosophical foundations of modern logic were discussed and where such themes of logic were discussed that were on the borderline between logic and other branches of the philosophical enterprise, such as metaphysics and epistemology. The contributions made by Gottlob Frege and Charles Peirce are included since their work in logic is closely related to and also strongly motivated by their philosophical views and interests. In addition, the chapter pays attention to a few philosophers to whom logic amounted to traditional Aristotelian logic and to those who commented on the nature of logic from a philosophical perspective without making any significant contribution to the development of formal logic.

This chapter begins with a discussion of humanist criticisms of scholastic logic. It then discusses the evolution of the scholastic tradition and the influence of Renaissance Aristotelianism, Descartes and his influence, the Port-Royal Logic, the emergence of a logic of cognitive faculties, logic and mathematics in the late 17th century, Gottfried Wilhelm Leibniz's role in the history of formal logic, and Kant's influence on logic.

The chapter is an overview of Indian logic, with a general introduction followed by specialized sections on four different schools: Nyāya logic, Buddhist logic, Jaina logic, and Navya-Nyāya logic.

The chapter is an introduction to logical treatments of indicative conditionals, comparing truth-functional, non-truth-functional, and suppositional approaches. Some of the topics discussed are truth conditions, conditional belief, assertability, and issues with compounds of conditionals.

Logicians have always found inspiration for new research in the ordinary language that is used on a daily basis and acquired naturally in childhood. Whereas the logical issues in the foundations of mathematics motivated the development of mathematical logic with its emphasis on notions of proof, validity, axiomatization, decidability, consistency, and completeness, the logical analysis of natural language motivated the development of philosophical logic with its emphasis on semantic notions of presupposition, entailment, modality, conditionals, and intensionality. The relation between research programs in both mathematical and philosophical logic and natural language syntax and semantics as branches of theoretical linguistics has increased in importance throughout the last fifty years. This chapter reviews the development of one particularly interesting and lively area of interaction between formal logic and linguistics—the semantics of natural language. Research in this emergent field has proved fruitful for the development of empirically, cognitively adequate models of reasoning with partial information, sharing or exchanging information, dynamic interpretation in context, belief revision and other cognitive processes.

The concept of truth serves in logic not only as an instrument but also as an object of study. Eubulides of Miletus (fl. fourth century BCE), a Megarian logician, discovered the paradox known as ‘the Liar,’ and, ever since his discovery, logicians down the ages - Aristotle and Chrysippus, John Buridan and William Heytesbury, and Alfred Tarski and Saul Kripke, to mention just a few - have tried to understand the puzzling behavior of the concept of truth.

Val Plumwood’s 1993 paper, “The politics of reason: towards a feminist logic” (hence- forth POR) attempted to set the stage for what she hoped would begin serious feminist exploration into formal logic – not merely its historical abuses, but, more importantly, its potential uses. This work offers us: (1) a case for there being feminist logic; and (2) a sketch of what it should resemble. The former goal of Plumwood’s paper encourages feminist theorists to reject anti-logic feminist views. The paper’s latter aim is even more challenging. Plumwood’s critique of classical negation (and classical logic) as a logic of domination asks us to recognize that particular logical systems are weapons of oppression. Against anti-logic feminist theorists, Plumwood argues that there are other logics besides classical logic, such as relevant logics, which are suited for feminist theorizing. Some logics may oppress while others may liberate. We provide details about the sources and context for her rejection of classical logic and motivation for promoting relevant logics as feminist.

This book is a consideration of Hegel’s view on logic and basic logical concepts such as truth, form, validity, and contradiction, and aims to assess this view’s relevance for contemporary philosophical logic. The literature on Hegel’s logic is fairly rich. The attention to contemporary philosophical logic places the present research closer to those works interested in the link between Hegel’s thought and analytical philosophy, Koch 2014, Brandom 2014, 1-15, Pippin 2016, Moyar 2017, Quante & Mooren 2018 among others). In this context, one particularity of this book consists in focusing on something that has been generally underrated in the literature: the idea that, for Hegel as well as for Aristotle and many other authors, logic is the study of the forms of truth, i.e. the forms that our thought can assume in searching for truth. In this light, Hegel’s thinking about logic is a fundamental reference point for anyone interested in a philosophical foundation of logic.