According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should not require (...) appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure. (shrink)

Logical consequence is the relation that obtains between premises and conclusion(s) in a valid argument. Orthodoxy has it that valid arguments are necessarily truth-preserving, but this platitude only raises a number of further questions, such as: how does the truth of premises guarantee the truth of a conclusion, and what constraints does validity impose on rational belief? This volume presents thirteen essays by some of the most important scholars in the field of philosophical logic. The essays offer ground-breaking new insights (...) into the nature of logical consequence; the relation between logic and inference; how the semantics and pragmatics of natural language bear on logic; the relativity of logic; and the structural properties of the consequence relation. (shrink)

Recent work in philosophical logic has taken interesting and unexpected turns. It has seen not only a proliferation of logical systems, but new applications of a wide range of different formal theories to philosophical questions. As a result, philosophers have been forced to revisit the nature and foundation of core logical concepts, chief amongst which is the concept of logical consequence. This essay sets the contributions of the volume in context and identifies how they advance important debates within the philosophy (...) of logic. (shrink)

This paper contributes to the study of paracompleteness and paraconsistency. We present two logics that address the following questions in novel ways. How can the paracomplete theorist characterize the formulas that defy excluded middle while maintaining that not all formulas are of this kind? How can the paraconsistent theorist characterize the formulas that obey explosion while still maintaining that there are some formulas not of this kind?

According to the logical pluralism of Beall and Restall, there are several distinct relations of logical consequence. Some critics argue that logical pluralism suffers from what I call the collapse problem: that despite its intention to articulate a radically pluralistic doctrine about logic, the view unintentionally collapses into logical monism. In this paper, I propose a contextualist resolution of the collapse problem. This clarifies the mechanism responsible for a plurality of logics and handles the motivating data better than the original (...) view. It is a major improvement that should be embraced by all logical pluralists. (shrink)

This paper is about the underlying logical principles of scientific theories. In particular, it concerns ex contradictione quodlibet (ECQ) the principle that anything follows from a contradiction. ECQ is valid according to classical logic, but invalid according to paraconsistent logics. Some advocates of paraconsistency claim that there are ‘real’ inconsistent theories that do not erupt with completely indiscriminate, absurd commitments. They take this as evidence in favor of paraconsistency. Michael (2016) calls this the non-triviality strategy (NTS). He argues that this (...) strategy fails in its purpose. I will show that Michael's criticism significantly over-reaches. The fundamental problem is that he places more of a burden on the advocate of paraconsistency than on the advocate of classical logic. The weaknesses in Michael's argument are symptomatic of this preferential treatment of one viewpoint in the debate over another. He does, however, make important observations that allow us to clarify some of the complexities involved in giving a logical reconstruction of a theory. I will argue that there are abductive arguments deserving of further consideration for the claim that paraconsistent logic offers the best explanation of the practice of inconsistent science. In this sense, the debate is still very much open. (shrink)

This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The (...) present paper aims to improve this situation by looking at a promising case study and drawing general lessons about the kind of evidence that would support logical pluralism. I argue that the best motivation for logical pluralism will ultimately be rooted in certain kinds of performative data. (shrink)

This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.

In a recent series of articles, Beall has developed the view that FDE is the formal system most deserving of the honorific “Logic”. The Simple Argument for this view is a cost-benefit analysis: the view that FDE is Logic has no drawbacks and it has some benefits when compared with any of its rivals. In this paper, I argue that both premises of the Simple Argument are mistaken. I use this as an opportunity to further reflect on how such arguments (...) can be bolstered to provide more substantial and productive support for revisionary theses about Logic. (shrink)

The advocate of modal logic or relevant logic has traditionally argued that her preferred system offers the best regimentation of the theory of entailment. Essential to the projects of modal and relevant logic is the importation of non-truth-functional expressive resources into the object language on which the logic is defined. The most elegant technique for giving the semantics of such languages is that of frame semantics, a variation on which features the device of partitioned frames that divide 'points of evaluation' (...) into two types: normal points and abnormal points. This essay attempts to provide satisfying philosophical interpretations of the partitioned frame semantics for some weak modal logics and relevant logics. According to the current best interpretation, partitioned frame semantics are a kind of possible worlds semantics that appeal to 'logically impossible worlds' where the laws of logic may fail to hold. This is undermined by the fact that all of the target logics fail to satisfy criteria of expressibility needed to support the thesis that laws of logic fail to hold at abnormal points. This suggests that we should not look for a monistic interpretive paradigm for partitioned frame semantics. (shrink)

Jenkins (2007) charges that the language advanced in Beall (2007) is either expressively impoverished, or inconsistent. We argue that Jenkins’ objections are based on unreasonably strong constraints on formal theories of truth. Our primary concern is not to defend the ‘paranormal’ framework advanced in Beall, but to respond to a common – and implausible – ‘revenge’-style charge directed at a certain class of formal theories of truth and paradox.

The semantic tradition in logic descends from Tarski's seminal work on truth and logical consequence. In the introduction to this volume, Sagi and Woods remind us that this tradition prominently uses model theory to study languages and their interpretations. Tarski's model-theoretic definition of logical consequence is the prime example of this approach, seeking as it does to reduce logical properties to a class of operations on classical, iterative (ZF) sets. Sagi and Woods explain with admirable clarity the origins, implications, and (...) philosophical questions surrounding this project. The contributions to the volume go on to address whether this approach successfully elucidates logicality and how it intersects with the foundations of mathematics and natural language semantics. (shrink)

A review of Jc Beall's "Spandrels of Truth".

In the mid-eighteenth century David Hume argued that successful prediction tells us nothing about the truth of the predicting theory. But physical theory routinely predicts the values of observable magnitudes within very small ranges of error. The chance of this sort of predictive success without a true theory suggests that Hume's argument is flawed. However, Colin Howson argues that there is no flaw and examines the implications of this disturbing conclusion; he also offers a solution to one of the (...) central problems of Western philosophy, the problem of induction. (shrink)

This volume provides a guide to the discussion among biologists and philosophersabout the role of concepts such as function and design in an evolutionary understanding oflife.

Pragmatism is America's best-known native philosophy. It espouses a practical set of beliefs and principles that focus on the improvement of our lives. Yet the split between classical and contemporary pragmatists has divided the tradition against itself. Classical pragmatists, such as John Dewey and William James, believed we should heed the lessons of experience. Neopragmatists, including Richard Rorty, Hilary Putnam, and Jürgen Habermas, argue instead from the perspective of a linguistic turn, which makes little use of the idea of experience. (...) Can these two camps be reconciled in a way that revitalizes a critical tradition? -/- Colin Koopman proposes a recovery of pragmatism by way of "transitionalist" themes of temporality and historicity which flourish in the work of the early pragmatists and continue in contemporary neopragmatist thought. "Life is in the transitions," James once wrote, and, in following this assertion, Koopman reveals the continuities uniting both phases of pragmatism. Koopman's framework also draws from other contemporary theorists, including Michel Foucault, Pierre Bourdieu, Bernard Williams, and Stanley Cavell. By reflecting these voices through the prism of transitionalism, a new understanding of knowledge, ethics, politics, and critique takes root. Koopman concludes with a call for integrating Dewey and Foucault into a model of inquiry he calls genealogical pragmatism, a mutually informative critique that further joins the analytic and continental schools. (shrink)

McGinn's latest brings together moral philosophy and literary analysis in a way that illuminates both. Setting out to enrich the domain of moral reflection by showing the value of literary texts as sources of moral illumination, McGinn starts by setting out an uncompromisingly realist ethical theory, arguing that morality is an area of objective truth and genuine knowledge. He goes on to address such subjects as the nature of goodness, evil character, and the meaning of monstrosity in the context of (...) an aesthetic theory of virtue, which maintains that goodness of character is the same thing as beauty of soul. Looking at such literary works as Billy Budd, Lolita, The Picture of Dorian Gray, and Frankenstein, as well as examples from film and painting, Ethics, Evil, and Fiction is an original and compelling book by a leading philosopher who is also a critic and novelist. (shrink)

In the past two decades, much work on Kant has aimed to delimit and evaluate the bedrock assumptions of Kant's mature Critical philosophy. This volume brings together leading Kant scholars to address this issue in conversation with each other, articulating and interrogating Kant's critical assumptions.

Many weaknesses of game theory are cured by new models that embody simple cognitive principles, while maintaining the formalism and generality that makes game theory useful. Social preference models can generate team reasoning by combining reciprocation and correlated equilibrium. Models of limited iterated thinking explain data better than equilibrium models do; and they self-repair problems of implausibility and multiplicity of equilibria.

In recent years there has been a resurgence of interest in the work of Emmanuel Levinas, widely recognized as one of the most important yet difficult philosophers of the 20th century. In this much-needed introduction, Davis unpacks the concepts at the centre of Levinas's thought - alterity, the Other, the Face, infinity - concepts which have previously presented readers with major problems of interpretation. Davis traces the development of Levinas's thought over six decades, describing the context in which he worked, (...) and the impact of his writings. He argues that Levinas's work remains tied to the ontological tradition with which he wants to break, and demonstrates how his later writing tries to overcome this dependency by its increasingly disruptive, sometimes opaque, textual practice. He discusses Levinas's theological writings and his relationship to Judaism, as well as the reception of his work by contemporary thinkers, arguing that the influence of his work has led to a growing interest in ethical issues among poststructuralist and postmodernist thinkers in recent years. Comprehensive and clearly written, this book will be essential reading for students and researchers in continental philosophy, French studies, literary theory and theology. (shrink)

The epistemic position of an agent often depends on their position in a larger network of other agents who provide them with information. In general, agents are better off if they have diverse and independent sources. Sullivan et al. [19] developed a method for quantitatively characterizing the epistemic position of individuals in a network that takes into account both diversity and independence; and presented a proof-of-concept, closed-source implementation on a small graph derived from Twitter data [19]. This paper reports on (...) an open-source reimplementation of their algorithm in Python, optimized to be usable on much larger networks. In addition to the algorithm and package, we also show the ability to scale up our package to large synthetic social network graph profiling, and finally demonstrate its utility in analyzing real-world empirical evidence of ‘echo chambers’ on online social media, as well as evidence of interdisciplinary diversity in an academic communications network. (shrink)

Henry More argues that materialism cannot account for cases where a single subject or perceiver has multiple perceptions simultaneously. Since we clearly do have multiple perceptions at the same time--for example, when we see, hear, and smell simultaneously--More concludes that we are not wholly material. In response to More's argument, Margaret Cavendish adopts a two-fold strategy. First, she argues that there is no general obstacle to mental unification in her version of materialism. Second, Cavendish appeals to the mind or rational (...) matter--terms she often uses interchangeably—to explain the integration of sensory input from multiple senses. When the mind integrates perceptions across modalities, the different parts of rational matter share their knowledge so that they all come to perceive alike. When rational parts successfully communicate their knowledge, each part knows what all the others know. They pool their knowledge; they perceive alike. Thus, when someone hears, sees, and tastes, each part of her mind hears, sees, and tastes alike, in parallel and in unison. The Cavendishian mind, in short, approximates simplicity by achieving uniformity or homogeneity of perceptions across its parts. (shrink)

The Oxford-educated philosopher serves up his trenchant survey of his academic discipline, offering his commentary on Descartes, Anselm Bertrand Russell, Sartre ...

Consider the distinctive qualitative property grass visually appears to have when it visually appears to be green. This property is an example of what I call sensuous color. Whereas early modern mechanists typically argue that bodies are not sensuously colored, Margaret Cavendish (1623–73) disagrees. In cases of veridical perception, she holds that grass is green in precisely the way it visually appears to be. In defense of her realist approach to sensuous colors, Cavendish argues that (i) it is impossible to (...) conceive of colorless bodies, (ii) the very possibility of color experience requires that bodies are sensuously colored, and (iii) the attribution of sensuous colors to bodies provides the best explanation of color constancy. Although some passages might suggest that Cavendish endorses a reductive account of sensuous color, according to which sensuous color reduces to a body's microscopic surface texture (or some other mechanistically respectable property), I argue that she accepts a nonreductive account, on which sensuous color is not thus reducible. (shrink)

The heart of this book is the reciprocal relationship between philosophical theories of mind and empirical studies of animal cognition.

Many, including Marx, Rawls, and the contemporary 'Black Lives Matter' movement, embrace the ambition to secure terms of co-existence in which the worth of people's lives becomes a lived reality rather than an empty boast. This book asks whether, as some believe, the philosophical idea of human dignity can help achieve that ambition. Offering a new fourfold typology of dignity concepts, Colin Bird argues that human dignity can perform this role only if certain traditional ways of conceiving it are (...) abandoned. Accordingly, Bird rejects the idea that human dignity refers to the inherent worth or status of individuals, and instead reinterprets it as a social relation, constituted by affects of respect and the modes of mutual attention which they generate. What emerges is a new vision of human dignity as a vital political value, and an arresting vindication of its role as an agent of critical reflection on politics. (shrink)

Should cognitive scientists be any more embarrassed about their lack of a discipline-fixing definition of cognition than biologists are about their inability to define “life”? My answer is “no”. Philosophers seeking a unique “mark of the cognitive” or less onerous but nevertheless categorical characterizations of cognition are working at a level of analysis upon which hangs nothing that either cognitive scientists or philosophers of cognitive science should care about. In contrast, I advocate a pluralistic stance towards uses of the term (...) ‘cognition’ that eschews the urge to treat cognition as a metaphysically well-defined “natural” kind. (shrink)

The long eighteenth century is a crucial period in the history of ethics, when our moral relations to God, ourselves and others were minutely examined and our duties, rights and virtues systematically and powerfully presented. Colin Heydt charts the history of practical morality - what we ought to do and to be - from the 1670s, when practical ethics arising from Protestant natural law gained an institutional foothold in England, to early British responses to the French Revolution around 1790. (...) He examines the conventional philosophical positions concerning the content of morality, and utilizes those conventions to reinterpret the work of key figures including Locke, Hume, and Smith. Situating these positions in their thematic and historical contexts, he shows how studying them challenges our assumptions about the originality, intended audience, and aims of philosophical argument during this period. His rich and readable book will appeal to a range of scholars and students. (shrink)

As arti® cial intelligence moves ever closer to the goal of producing fully autonomous agents, the question of how to design and implement an arti® cial moral agent (AMA) becomes increasingly pressing. Robots possessing autonomous capacities to do things that are useful to humans will also have the capacity to do things that are harmful to humans and other sentient beings. Theoretical challenges to developing arti® cial moral agents result both from controversies among ethicists about moral theory itself, and from (...) computational limits to the implementation of such theories. In this paper the ethical disputes are surveyed, the possibility of a `moral Turing Test ’ is considered and the computational di culties accompanying the diŒerent types of approach are assessed. Human-like performance, which is prone to include immoral actions, may not be acceptable in machines, but moral perfection may be computationally unattainable. The risks posed by autonomous machines ignorantly or deliberately harming people and other sentient beings are great. The development of machines with enough intelligence to assess the eŒects of their actions on sentient beings and act accordingly may ultimately be the most important task faced by the designers of arti® cially intelligent automata. (shrink)

According to recently influential conceptions of public reasoning, citizens have the right to demand of each other ‘public justifications’ for controversial political action. On this view, only arguments that all reasonable citizens can affirm from within their diverse ethical standpoints can count as legitimate justifications for political action. Both proponents and critics often assume that the case for this expectation derives from the special justificatory burden created by the systematically coercive character of political action. This paper challenges that assumption. While (...) conceding that citizens who propose to deploy the coercive apparatus of the state to enforce controversial legislation owe their fellows a justification that overcomes the strong presumption against coercing agents, it denies that this consideration can explain why public justifications are also required. Having argued that the public justification requirement is not among the justification conditions for public coercion, the paper then proposes an alternative rationale for the expectation that political action be publicly justified. On this alternative, the case for the public justification requirement depends on democratic citizens’ standing as legislative co-authors, and not on considerations having to do with their liability as private individuals to coercion at the hands of the state. (shrink)

According to recently influential conceptions of public reasoning, citizens have the right to demand of each other ‘public justifications’ for controversial political action. On this view, only arguments that all reasonable citizens can affirm from within their diverse ethical standpoints can count as legitimate justifications for political action. Both proponents and critics often assume that the case for this expectation derives from the special justificatory burden created by the systematically coercive character of political action. This paper challenges that assumption. While (...) conceding that citizens who propose to deploy the coercive apparatus of the state to enforce controversial legislation owe their fellows a justification that overcomes the strong presumption against coercing agents, it denies that this consideration can explain why public justifications are also required. Having argued that the public justification requirement is not among the justification conditions for public coercion, the paper then proposes an alternative rationale for the expectation that political action be publicly justified. On this alternative, the case for the public justification requirement depends on democratic citizens’ standing as legislative co-authors, and not on considerations having to do with their liability as private individuals to coercion at the hands of the state. (shrink)

In this entry, the authors outline the goals of a "dynamic reference work", and explain how the Stanford Encyclopedia of Philosophy has been designed to achieve those goals.

For 300 years, Fermat’s Last Theorem seemed to be pure arithmetic little connected even to other problems in arithmetic. But the last decades of the twentieth century saw the discovery of very special cubic curves, and the rise of the huge theoretical Langlands Program. The Langlands perspective showed those curves are so special they cannot exist, and thus proved Fermat’s Last Theorem. With many great contributors, the proof ended in a deep and widely applicable geometric result relating nice curves in (...) rational coordinates to very nice surfaces in complex coordinates. This geometry is the only proof strategy for FLT yet known. Outstanding but not atypical of current mathematics, the proof challenges common philosophic views on abstraction and structure and raises still-open logical questions in arithmetic. (shrink)

In this chapter I explore the reciprocal relationship between the metaphysical views mathematicians hold and their mathematical activity. I focus on the set-theoretic pluralism debate, in which set theorists disagree about the implications of their formal mathematical work. As a first case study, I discuss how Woodin’s monist argument for an Ultimate-L feeds on and is fed by mathematical results and metaphysical beliefs. In a second case study, I present Hamkins’ pluralist proposal and the mathematical research projects it endows with (...) relevance. These case studies support three claims: (1) the metaphysical views of mathematicians can shape what counts as relevant research; (2) mathematical results can shape the metaphysical beliefs of mathematicians; (3) metaphysical thought and mathematical activity develop in tandem in mathematical practices. This makes metaphysical thought an integral part of mathematical practices. (shrink)

Recently something close to a consensus about the best way to naturalize the notion of biological function appears to be emerging. Nonetheless, teleological notions in biology remain controversial. In this paper we provide a naturalistic analysis for the notion of natural design. Many authors assume that natural design should be assimilated directly to function. Others find the notion problematic because it suggests that evolution is a directed process. We argue that both of these views are mistaken. Our naturalistic account does (...) not simply equate design with function. We argue that the distinction between function and design is important for understanding the evolution of the physical and behavioral traits of organisms. (shrink)

This advanced introductory text offers a synoptic view of philosophical inquiry, discussing such topics as consciousness, the self, meaning, free will, the a ..

In Plato’s Statesman, the Eleatic Stranger leads Socrates the Younger and their audience through an analysis of the statesman in the service of the interlocutors’ becoming “more capable in dialectic regarding all things”. In this way, the dialectical exercise in the text is both intrinsically and instrumentally valuable, as it yields a philosophically rigorous account of statesmanship and exhibits a method of dialectical inquiry. After the series of bifurcatory divisions in the Sophist and early Statesman, the Stranger changes to a (...) non-bifurcatory method of dividing to account for the statesman, but does not explain the reason for this change. I argue that the change is prepared by the elements discussed in the digression from 277a2 to 287b2. Here the Stranger makes use of four concepts that are crucial for understanding this change: the notion of paradigm, the paradigms of care and the weaver, and the notion of due measure. I claim that the notion of paradigm clarifies the nature of dialectical inquiry, care and weaving act as paradigms appropriate to dialectical practice, and an account of due measure offers insight into the constitutive ratios that govern the structuring of kinds pursued through dialectical inquiry. I suggest that the non-bifurcatory method is intended to articulate knowledge in the strictest sense, or knowledge of the forms, presenting a method of inquiry into being and its structure that will foster the turning of the soul from things to forms that Socrates describes in the Republic. (shrink)

Despite his reputation for neglecting the body, Descartes develops a systematic account of bodily awareness. He holds that in bodily awareness each of us feels intimately connected to our body. We experience this body as inescapable, as infused with bodily sensations and volitions, and as a special object of concern. This multifaceted experience plays an ambivalent role in Descartes’s philosophy. Bodily awareness is epistemically dangerous. It tempts us to falsely judge that we cannot exist apart from our bodies. But bodily (...) awareness isn’t all bad for Descartes. It helps us stay alive. Bodily awareness also serves as a corrective to overly disembodied conceptions of the self. (shrink)

"After the first 40 pages I was hooked, and it has been a long time since I have been unable to put a book down unitl it was finished. I would highly recommend this book. Colin Feltham has brought together all the elements that have or do influence counselling, including placing counselling in a social context. As far as this publication goes I have actually put my money where my mouth is and paid for a copy of my own." (...) --Gladeana McMahon in British. (shrink)

Kant: Philosophy of Mind Immanuel Kant was one of the most important philosophers of the Enlightenment Period in Western European history. This encyclopedia article focuses on Kant’s views in the philosophy of mind, which undergird much of his epistemology and metaphysics. In particular, it focuses on metaphysical and epistemological doctrines forming the … Continue reading Kant: Philosophy of Mind →.