In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...) developing paraconsistent logics. In Section 3, I’ll discuss what seem to me to be some promising applications of certain paraconsistent logics. In fact, however, I don’t think there’s all that much to the concept ‘paraconsistent’ itself; the collection of paraconsistent logics is far too heterogenous to be very productively dealt with under a single label. Perhaps that will emerge as we go. (shrink)

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

Sometimes people are unfortunate in ways which facilitate their success ‐ and happiness. This creates the perplexity whether someone can be said to have been unfortunate, if an apparent misfortune has been, overall, beneficial to his or her life. I argue that whether something is a misfortune cannot be determined in itself, even in seemingly obvious cases. It depends also upon what one makes of it, what it makes of one. In short, it depends upon what happens later. People cannot (...) claim to have suffered a misfortune for which they are to be pitied or compensated, when this ‘misfortune’ is crucial in having made them what they are, what they are happy to be. Hard determinism aside, the notion of ‘fortunate misfortune’ lacks, however, an easy parallel in ‘unfortunate good‐fortune’. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

Testimony is an invaluable source of knowledge. We rely on the reports of those around us for everything from the ingredients in our food and medicine to the identity of our family members. Recent years have seen an explosion of interest in the epistemology of testimony. Despite the multitude of views offered, a single thesis is nearly universally accepted: testimonial knowledge is acquired through the process of transmission from speaker to hearer. In this book, Jennifer Lackey shows that this thesis (...) is false and, hence, that the literature on testimony has been shaped at its core by a view that is fundamentally misguided. She then defends a detailed alternative to this conception of testimony: whereas the views currently dominant focus on the epistemic status of what speakers believe, Lackey advances a theory that instead centers on what speakers say. The upshot is that, strictly speaking, we do not learn from one another's beliefs - we learn from one another's words. Once this shift in focus is in place, Lackey goes on to argue that, though positive reasons are necessary for testimonial knowledge, testimony itself is an irreducible epistemic source. This leads to the development of a theory that gives proper credence to testimony's epistemologically dual nature: both the speaker and the hearer must make a positive epistemic contribution to testimonial knowledge. The resulting view not only reveals that testimony has the capacity to generate knowledge, but it also gives appropriate weight to our nature as both socially indebted and individually rational creatures. The approach found in this book will, then, represent a radical departure from the views currently dominating the epistemology of testimony, and thus is intended to reshape our understanding of the deep and ubiquitous reliance we have on the testimony of those around us. (shrink)

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

Fricker shows that virtue epistemology provides a general epistemological idiom in which these issues can be forcefully discussed.

This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

Michael Dummett is a leading contemporary philosopher whose work on the logic and metaphysics of language has had a lasting influence on how these subjects are conceived and discussed. This volume contains some of the most provocative and widely discussed essays published in the last fifteen years, together with a number of unpublished or inaccessible writings. Essays included are: "What is a Theory of Meaning?," "What do I Know When I Know a Language?," "What Does the Appeal to Use Do (...) for the Theory of Meaning?," "Language and Truth," "Truth and Meaning," "Language and Communication," "The Source of the Concept of Truth," "Mood, Force, and Convention," "Frege and Husserl on Reference," "Realism," "Existence," "Does Quantification Involve Identity?," "Could there be Unicorns?," "Causal Loops," "Common Sense and Physics," "Testimony and Memory," "What is Mathematics About?," "Wittgenstein on Necessity: Some Reflections," and "Realism and Anti-Realism." Serving well as a companion to Dummett's other collections, the essays in this volume are not forbiddingly technical or specialized, and have relevance to many areas of analytic philosophy. (shrink)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict implication but (...) restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle. (shrink)

This book aims to provide a solution to the semantic paradoxes. It argues for a unified solution to the paradoxes generated by our concepts of denotation, predicate extension, and truth. The solution makes two main claims. The first is that our semantic expressions 'denotes', 'extension' and 'true' are context-sensitive. The second, inspired by a brief, tantalizing remark of Godel's, is that these expressions are significant everywhere except for certain singularities, in analogy with division by zero. A formal theory of singularities (...) is presented and applied to a wide variety of versions of the definability paradoxes, Russell's paradox, and the Liar paradox. Keith Simmons argues that the singularity theory satisfies the following desiderata: it recognizes that the proper setting of the semantic paradoxes is natural language, not regimented formal languages; it minimizes any revision to our semantic concepts; it respects as far as possible Tarski's intuition that natural languages are universal; it responds adequately to the threat of revenge paradoxes; and it preserves classical logic and semantics. Simmons draws out the consequences of the singularity theory for deflationary views of our semantic concepts, and concludes that if we accept the singularity theory, we must reject deflationism. (shrink)

A new definition of lying is gaining traction, according to which you lie only if you say what you know to be false. Drawing inspiration from “New Evil Demon” scenarios, I present a battery of counterexamples against this “Knowledge Account” of lying. Along the way, I comment upon the methodology of conceptual analysis, the moral implications of the Knowledge Account, and its ties with knowledge-first epistemology.

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

In a recent book (_Lying and insincerity_, Oxford University Press, 2018), Andreas Stokke argues that one lies iff one says something one believes to be false, thereby proposing that it becomes common ground. This paper shows that Stokke’s proposal is unable to draw the right distinctions about insincere performative utterances. The objection also has repercussions on theories of assertion, because it poses a novel challenge to any attempt to define assertion as a proposal to update the common ground.

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

Is life meaningless? Does life have enough meaning to make it feel worthwhile? If we think our lives lack meaning, what can we do about it? Finding Meaning in an Imperfect World answers these and other difficult questions, while confronting head-on famous, recurrent theories that insist on life's meaninglessness. Landau shows us how to single out what is meaningful, explains why we sometimes fail to recognize meaning, and suggests ways in which we can resensitize ourselves to it.

While much of our knowledge relies on testimony or the words of others, until recently few philosophers had much to say about the nature of testimony or how we learn from another's words, but testimony has now become a popular topic. Jennifer Lackey's Learning from Words: Testimony as a Source of Knowledge is a useful and intelligent guide, a well informed and appreciative but critical and provocative commentary on a large and growing body of literature.According to Lackey, most of the (...) literature assumes that testimony can spread but not create knowledge, much as memory can be a reminder of old but not a source of new truth. Lackey maintains that the assumption is mistaken and offers an account of testimony, according to which, testimony can give rise to new knowledge as well as transmit old truths from one person to another.In her introduction, Lackey characterizes what she calls the belief view of testimony and suggests that this view dominates today's literature. On the belief view, testimony is a vehicle for expressing belief, and when I tell you that p, I express my belief that p with the intention …. (shrink)

This book is about one of the most baffling of all paradoxes – the famous Liar paradox. Suppose we say: 'We are lying now'. Then if we are lying, we are telling the truth; and if we are telling the truth we are lying. This paradox is more than an intriguing puzzle, since it involves the concept of truth. Thus any coherent theory of truth must deal with the Liar. Keith Simmons discusses the solutions proposed by medieval philosophers and offers (...) his own solutions and in the process assesses other attempts to solve the paradox. Unlike such attempts, Simmons' 'singularity' solution does not abandon classical semantics and does not appeal to the kind of hierarchical view found in Barwise's and Etchemendy's The Liar. Moreover, Simmons' solution resolves the vexing problem of semantic universality – the problem of whether there are semantic concepts beyond the expressive reach of a natural language such as English. (shrink)

Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept, and proposes a detailed theory of inconsistent concepts that can be applied to the case of truth. Truth also happens to be a useful concept, but its inconsistency inhibits its utility; as such, it should be replaced with consistent concepts that can (...) do truth's job without giving rise to paradoxes. To this end, Scharp offers a pair of replacements, which he dubs ascending truth and descending truth, along with an axiomatic theory of them and a new kind of possible-worlds semantics for this theory. He goes to develop Davidson's idea that truth is best understood as the core of a measurement system for rational phenomena, and offers a semantic theory that treats truth predicates as assessment-sensitive and solves the problems posed by the liar and other paradoxes. (shrink)

This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my main aim was to argue against the Entailment Principle by arguing against the Conjunction Thesis, which is entailed by the Entailment Principle. In the course of so doing, although not essential for my project in that paper, I defended the Disjunction Thesis. López de Sa has objected both to my defence of the Disjunction (...) Thesis and my case against the Conjunction Thesis. I shall show that his objections are unfounded and based on serious misunderstandings of my position, what the relevant debate is, and some fundamental notions of Truthmaker Theory. Jago argues that accepting the Disjunction Thesis and rejecting the Conjunction Thesis is hard to maintain. But I show that Jago has not shown that accepting the Disjunction Thesis while rejecting the Conjunction Thesis is impossible or even hard to maintain. Jago believes that, to accept the Disjunction Thesis while rejecting the Conjunction Thesis, one needs to reject his axiom (T3), which says that all the truthmakers for <P&P> are truthmakers for <P>. I argue that there are reasons to reject such a principle, and the version of it that says that what makes <P&P> true makes <P> true. (shrink)

The traditional view of lying holds that this phenomenon involves two central components: stating what one does not believe oneself and doing so with the intention to deceive. This view remained the generally accepted view of the nature of lying until very recently, with the intention-to-deceive requirement now coming under repeated attack. In this article, I argue that the tides have turned too quickly in the literature on lying. For while it is indeed true that there can be lies where (...) there is no intention on the part of the speaker to deceive the hearer, this does not warrant severing the connection between lying and deception altogether. Thus, I defend the following account of lying: A lies to B if and only if (1) A states that p to B, (2) A believes that p is false, and (3) A intends to be deceptive to B in stating that p. (shrink)

There are roughly two philosophical literatures on “happiness,” each corresponding to a different sense of the term. One uses ‘happiness’ as a value term, roughly synonymous with well-being or flourishing. The other body of work uses the word as a purely descriptive psychological term, akin to ‘depression’ or ‘tranquility’. An important project in the philosophy of happiness is simply getting clear on what various writers are talking about: what are the important meanings of the term and how do they connect? (...) While the “well-being” sense of happiness receives significant attention in the contemporary literature on well-being, the psychological notion is undergoing a revival as a major focus of philosophical inquiry, following on recent developments in the science of happiness. This entry focuses on the psychological sense of happiness (for the well-being notion, see the entry on well-being). The main accounts of happiness in this sense are hedonism, the life satisfaction theory, and the emotional state theory. Leaving verbal questions behind, we find that happiness in the psychological sense has always been an important concern of philosophers. Yet the significance of happiness for a good life has been hotly disputed in recent decades. Further questions of contemporary interest concern the relation between the philosophy and science of happiness, as well as the role of happiness in social and political decision-making. (shrink)

Of all the cases made against classical logic, Michael Dummett's is the most deeply considered. Issuing from a systematic and original conception of the discipline, it constitutes one of the most distinctive achievements of twentieth century British philosophy. Although Dummett builds on the work of Brouwer and Heyting, he provides the case against classical logic with a new, explicit and general foundation in the philosophy of language. Dummett's central arguments, widely celebrated if not widely endorsed, concern the implications of the (...) relation between meaning and use for both the inference rules that govern logical connectives and the relation between truth and its recognition. It is less often noted that Dummett has a further argument against classical logic, one based on the semantic and set-theoretic paradoxes. That is the topic of this paper. (shrink)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

An essential work for anyone interested in the creativity of the human mind, "The Creative Mind" has been updated to include recent developments in artificial ...

Is truth the rule or the aim of assertion? Philosophers disagree. After reviewing the available evidence, the hypothesis that truth is the aim of assertion is defended against recent attempts to prove that truth is rather a rule of assertion.

Mark Jago presents and defends a novel theory of what truth is, in terms of the metaphysical notion of truthmaking. This is the relation which holds between a truth and some entity in the world, in virtue of which that truth is true. By coming to an understanding of this relation, he argues, we gain better insight into the metaphysics of truth. The first part of the book discusses the property being true, and how we should understand it in terms (...) of truthmaking. The second part focuses on truthmakers, the worldly entities which make various kinds of truths true, and how they do so. Jago argues for a metaphysics of states of affairs, which account for things having properties and standing in relations. The third part analyses the logic and metaphysics of the truthmaking relation itself, and links it to the metaphysical concept of grounding. The final part discusses consequences of the theory for language and logic. Jago shows how the theory delivers a novel and useful theory of propositions, the entities which are true or false, depending on how things are. A notable feature of this approach is that it avoids the Liar paradox and other puzzling paradoxes of truth. (shrink)

There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant linguistic data, (...) and finds independent support from general considerations about the differences between rules and aims. (shrink)

1. Lying -- 2. The problem of what is said -- 3. What is said -- 4. Is lying worse than merely misleading? -- 5. Some interesting cases.

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.

How is it possible to think new thoughts? What is creativity and can science explain it? And just how did Coleridge dream up the creatures of The Ancient Mariner? When The Creative Mind: Myths and Mechanisms was first published, Margaret A. Boden's bold and provocative exploration of creativity broke new ground. Boden uses examples such as jazz improvisation, chess, story writing, physics, and the music of Mozart, together with computing models from the field of artificial intelligence to uncover the nature (...) of human creativity in the arts. The second edition of The Creative Mind has been updated to include recent developments in artificial intelligence, with a new preface, introduction and conclusion by the author. It is an essential work for anyone interested in the creativity of the human mind. (shrink)

Dummett's account of the semantic paradoxes in terms of his theory of indefinitely extensible concepts is compared with Bürge's account in terms of indexicality. Dummett's appeal to intuitionistic logic does not block the paradoxes but Bürge's attempt to avoid the Strengthened Liar is unconvincing. It is argued that in order to avoid the Strengthened Liar and other semantic paradoxes involving nonindexical expressions (constants), one must postulate that when we reflect on the paradoxes there are slight shifts in the meaning (not (...) just reference) we ascribe to metalinguistic expressions (in particular 'say', and derivatively 'true' and 'false'). Consideration of metaphor and gradual linguistic change suggests that such semantic shifts are consistent with language-learning and communication. On this account there is no threat to classical logic, bivalence or the fundamental principles governing 'true' and 'false'. (shrink)

The Russell class does not exist because the conditions purporting to specify that class are contradictory, and hence fail to specify any class. Equally, the conditions purporting to specify the Liar statement are contradictory and hence, although the Liar sentence is grammatically in order, it fails to yield a statement. Thus the common source of these and related paradoxes is contradictory (or tautologous) specifying conditions-for such conditions fail to specify. This is the diagnosis. The cure consists of seeking and destroying (...) the deep-seated preconceptions that make almost irresistible our belief in the existence of items which provably do not exist. (shrink)

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. (shrink)

Recent experiments have shown that naive speakers find borderline contradictions involving vague predicates acceptable. In Cobreros et al. we proposed a pragmatic explanation of the acceptability of borderline contradictions, building on a three-valued semantics. In a reply, Alxatib et al. show, however, that the pragmatic account predicts the wrong interpretations for some examples involving disjunction, and propose as a remedy a semantic analysis instead, based on fuzzy logic. In this paper we provide an explicit global pragmatic interpretation rule, based on (...) a somewhat richer semantics, and show that with its help the problem can be overcome in pragmatics after all. Furthermore, we use this pragmatic interpretation rule to define a new consequence-relation and discuss some of its properties. (shrink)

There is consent among psychologists and some economists that satisfaction from some events, like income and marriage, is adaptive. We propose a subtle but vital difference: happiness may itself be adaptive. First we present a model to explain the emergence of adaptive stimuli. We test our hypotheses running dynamic happiness regressions based on data from the German Socio-Economic Panel Study, the British Household Panel Survey and the Swiss Household Panel. Surprisingly, the autoregressive component is positive and significant in most econometric (...) models considered. We propose that the hedonic treadmill may be mixed with what we call the "scale treadmill". (shrink)