It is valuable for inquiry to have researchers who are committed advocates of their own theories. However, in light of pervasive disagreement, such a commitment is not well explained by the idea that researchers believe their theories. Instead, this commitment, the rational attitude to take toward one’s favored theory during the course of inquiry, is what I call endorsement. Endorsement is a doxastic attitude, but one which is governed by a different type of epistemic rationality. This inclusive epistemic rationality is (...) sensitive to reasons beyond those to think the particular proposition in question is true. Instead, it includes extrinsic epistemic reasons, which concern the health of inquiry more generally. Such extrinsic reasons include the distribution of cognitive labor that a researcher will contribute to by endorsing a particular theory. Recognizing endorsement and inclusive epistemic rationality thus allows us to smooth a tension between individual rationality and collective rationality. It does so by showing how it can be epistemically rational to endorse a theory on the basis of the way this endorsement will benefit collective inquiry. I provide a decision theoretic treatment for inclusive epistemic rationality and endorsement which illustrates how this can be accomplished. (shrink)

Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that these (...) views face. It will be suggested that logical realism is best understood as a metaphysical view about the logical structure of the world, but this raises an important question: does logical realism collapse into standard metaphysical realism? It will be argued that this result can be accommodated, even if it cannot be altogether avoided. (shrink)

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of the propositions (...) which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...) identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

The philosophical difficulties presented by self-deception are vexed and multifaceted. One such difficulty is what I call the ‘doxastic problem’ of self-deception. Solving the doxastic problem involves determining whether someone in a state of self-deception that ∼p both believes that p and believes that ∼p, simply holds one or the other belief, or, as I will argue, holds neither. This final option, which has been almost entirely overlooked to-date, is what I call ‘ nondoxasticism ’ about self-deception. In this article, (...) I present a negative case for nondoxasticism according to which, in the paradigm case of self-deception, there is no explanatory need to attribute the self-deceived person either their undesired belief that p, or their desired belief that ∼p. Folk psychology is replete with concepts other than belief, and if we bear this in mind, it becomes clear that the explanatory roles for which the self-deceived person's purported beliefs have traditionally been enlisted can be comfortably filled without recourse to belief. (shrink)

This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the "Scottish" neo-logicist school, present a generic form (...) of the Bad Company objection and introduce an epistemic issue connected to this general problem that will be the focus of the rest of the paper. In the third section, we present an alternative approach within philosophy of mathematics, a view that emerges from Hilbert's Grundlagen der Geometrie (1899, Leipzig: Teubner; Foundations of geometry (trans.: Townsend, E.). La Salle, Illinois: Open Court, 1959.). We will argue that Bad Company-style worries, and our concomitant epistemic issue, also affects this conception and other foundationalist approaches. In the following sections, we then offer various ways to address our epistemic concern, arguing, in the end, that none resolves the issue. The final section offers our own resolution which, however, runs against the foundationalist spirit of the Scottish neo-logicist program. (shrink)

Two epistemic principles are Knowledge Exclusion and Belief Exclusion. Knowledge Exclusion says that it is necessarily the case that if an agent knows that p, then she does not believe that ∼p, and Belief Exclusion says that it is necessarily the case that if an agent believes that q, then she does not believe that ∼q. Many epistemologists find it reasonable to reject the latter principle and accept the former. I argue that this is in fact not reasonable by proposing (...) a case in which an agent can use that she has contradictory beliefs towards a proposition as decisive evidence for that proposition. A natural response is that this case conflicts with common assumptions about the relation between knowledge, contradictory beliefs and rationality. I reply by drawing ideas from Lasonen-Aarnio’s remarks on unreasonable knowledge to explain why these common assumptions do not threaten my argument. (shrink)

Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación y la transitividad (...) en ellas. Finalmente, propondré una nueva caracterización de la paraconsistencia, la que llamaré paraconsistencia pura y mostraré que la regla de monotonía juega un rol crucial en todas las presentaciones de dicho concepto. (shrink)

We characterize the notion of validity relatively to models, for comprehension axioms, containing gluts.

One diagnosis of Fitch’s paradox of knowability is that it hinges on the factivity of knowledge: that which is known is true. Yet the apparent role of factivity and non-factive analogues in related paradoxes of justified belief can be shown to depend on familiar consistency and positive introspection principles. Rejecting arguments that the paradox hangs on an implausible consistency principle, this paper argues instead that the Fitch phenomenon is generated both in epistemic logic and logics of justification by the interaction (...) of analogues of the knowability principle and positive introspection theses that are characteristic of, even if not entailed by, epistemic internalism. (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?

Although “theory” has been the prevalent unit of analysis in the meta-study of science throughout most of the twentieth century, the concept remains elusive. I further explore the leitmotiv of several authors in this issue: that we should deal with theorizing (rather than theory) in biology as a cognitive activity that is to be investigated naturalistically. I first contrast how philosophers and biologists have tended to think about theory in the last century or so, and consider recent calls to upgrade (...) the role of theory in the life sciences against the background of the recent “data deluge” in molecular biology, systems biology, etc. I then review thinking about theory in biology in relation to physical theory as a positive or negative exemplar. I conclude by discussing various aspects of a positive program for “naturalizing theorizing.”. (shrink)

I begin with an explication of "thought experiment". I then clarify the role that intuitions play in thought experiments by addressing two important issues: (1) the informativeness of thought experiments and (2) the legitimacy of the method of thought experiments in philosophy and the natural sciences. I defend a naturalistic account of intuitions that provides a plausible explanation of the informativeness of thought experiments, which, in turn, allows thought experiments to be reconstructed as arguments. I also specify criteria for distinguishing (...) bad "intuition pumps" from legitimate thought experiments. These criteria help us to avoid being seduced by the dangerous suggestive power of misleading intuitions. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

Mark Balaguer argues for full blooded platonism (FBP), and argues that FBP alone can solve Benacerraf's familiar epistemic challenge. I note that if FBP really can solve Benacerraf's epistemic challenge, then FBP is not alone in its capacity so to solve; RFBP—really full blooded platonism—can do the trick just as well, where RFBP differs from FBP by allowing entities from inconsistent mathematics. I also argue briefly that there is positive reason for endorsing RFBP.

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

Francesco Berto has argued that a primitive concept of material exclusion could be employed to formulate a notion of absolute contradiction that not even dialetheists could accept. The machinery of material exclusion and absolute contradiction could then be employed as a common ground by both dialetheists as well as their opponents in debates about negation and truth. In this paper, we first put the idea on a clear basis, and then present some criticism to it. We shall argue that the (...) concepts of material exclusion and absolute contradiction hardly help with a clear basis for the debate on dialetheism; furthermore, the introduction of material exclusion threatens the coherence of dialetheism by allowing one to express the opposition between designated and undesignated values, with unwanted conclusions. (shrink)

Dialetheism is the view that some true sentences have a true negation as well. Defending dialetheism, Graham Priest argues that the correct account of negation should allow for true contradictions and \) without entailing triviality. A negation doing precisely that is said to have ‘surplus content’. Now, to defend that the correct account of negation does have surplus content, Priest advances arguments to hold that classical Boolean negation does not even make sense without begging the question against the dialetheist. We (...) shall argue that Priest’s arguments may be turned upon themselves, and that he may also be accused of begging the question against the classical logician. We then advance an argument to the effect that Priest’s account of negation falls short of satisfying his own desiderata on a correct account of a negation: a theory of negation that attempts to represent contradictions cannot coherently allow surplus content, and vice-versa, a negation allowing for surplus content bans contradiction. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Approaches to truth and the Liar paradox seem invariably to face a dilemma: either appeal to some sort of hierarchy, or declare apparently perfectly coherent concepts incoherent. But since both options lead to severe expressive restrictions, neither seems satisfactory. The aim of this paper is a new approach, which avoids the dilemma and the resulting expressive restrictions. Previous approaches tend to appeal to some new sort of semantic value for the truth predicate to take. I argue that such approaches inevitably (...) lead to the dilemma in question. In contrast, the present proposal sticks with classical semantic values, but allows the compositional rules associated with these to admit of exceptions. I show how such an approach can be developed systematically. (shrink)

One might ask of two or more texts—what can be inferred from them, taken together? If the texts happen to contradict each other in some respect, then the unadorned answer of standard logic is EVERYTHING. But it seems to be a given that we often successfully reason with inconsistent information from multiple sources. The purpose of this paper is to attempt to develop an adequate approach to accounting for this given.

In this paper we discuss Priest’s account of change and motion, contrasting it with its more orthodox rival, the Russellian account. The paper is divided in two parts. In first one we take a stance that is more sympathetic to the Russellian view, arguing that Priest’s arguments against it are inconclusive. In the second part, instead, we take a more sympathetic attitude towards Priest’s objections. We argue, however, that if these objections pose insurmountable difficulties to the Russellian account, then they (...) pose the same difficulties also to Priest’s favoured Hegelian account, and for the same reasons. (shrink)

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...) other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest’s argument for Dialetheism from Gödel’s theorem is unconvincing as the lesson of Gödel’s proof (or Rosser’s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest’s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Gödel sentence to the inconsistent and complete theory of arithmetic. We argue, (...) however, that the alternative argument raises a circularity problem. In sum, Gödel’s and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of Gödel sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of Gödel sentence. Hence, Gödel’s and its related theorem never can be a ground for Dialetheism. (shrink)

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the (...) problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥. (shrink)

Graham Priest has brilliantly analyzed Hegel's dialectics, as far as its logical and abstract ontological (metaphysical) structure goes, and has successfully related it to his own logically sophisticated dialethism. After briefly reminding the reader of his account, the paper turns to the other, not purely logical side of Hegel's dialectics, and points to his strategy of bringing together ontological, anthropological and historical matters together with the logical structure, in a manner quite foreign to analytic tradition. It concludes with the proposal (...) that Hegel's way of directly connecting logical ontological, anthropological and historical matters has played the crucial role in the birth of what later became known as specifically ``continental'' philosophy. The paper concludes by raising the question of the relation between the two, the abstract logico-ontological approach, favored by Priest, and the rich, anthropologically and historically informed one found in all major works of Hegel. (shrink)