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)

In this paper a principle of substitutivity of logical equivalents salve veritate and a version of Leibniz’s law are formulated and each is shown to cause problems when combined with naive truth theories.

The distinction between a priori and a posteriori knowledge has been the subject of an enormous amount of discussion, but the literature is biased against recognizing the intimate relationship between these forms of knowledge. For instance, it seems to be almost impossible to find a sample of pure a priori or a posteriori knowledge. In this paper, it will be suggested that distinguishing between a priori and a posteriori is more problematic than is often suggested, and that a priori and (...) a posteriori resources are in fact used in parallel. We will define this relationship between a priori and a posteriori knowledge as the bootstrapping relationship. As we will see, this relationship gives us reasons to seek for an altogether novel definition of a priori and a posteriori knowledge. Specifically, we will have to analyse the relationship between a priori knowledge and a priori reasoning , and it will be suggested that the latter serves as a more promising starting point for the analysis of aprioricity. We will also analyse a number of examples from the natural sciences and consider the role of a priori reasoning in these examples. The focus of this paper is the analysis of the concepts of a priori and a posteriori knowledge rather than the epistemic domain of a posteriori and a priori justification. (shrink)

This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

On the face of it, normative conflicts are commonplace. Yet standard deontic logic declares them to be logically impossible. That prompts the question, What are the proper principles of normative reasoning if such conflicts are possible? This paper examines several alternatives that have been proposed for a logic of 'ought' that can accommodate normative conflicts, and finds all of them unsatisfactory as measured against three criteria of adequacy. It then introduces a new logic that does meet all three criteria, and (...) so allows for the possibility of genuine normative conflicts. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

The goals of this paper are two-fold: I wish to clarify the Aristotelian conception of the law of non-contradiction as a metaphysical rather than a semantic or logical principle, and to defend the truth of the principle in this sense. First I will explain what it in fact means that the law of non-contradiction is a metaphysical principle. The core idea is that the law of non-contradiction is a general principle derived from how things are in the world. For example, (...) there are certain constraints as to what kind of properties an object can have, and especially: some of these properties are mutually exclusive. Given this characterisation, I will advance to examine what kind of challenges the law of non-contradiction faces; the main opponent here is Graham Priest. I will consider these challenges and conclude that they do not threaten the truth of the law of non-contradiction understood as a metaphysical principle. (shrink)

Although there has been a recent swell of interest in theories of truth that attempt solutions to the liar paradox and the other paradoxes affecting our concept of truth, many of these theories have been criticized for generating new paradoxes, called revenge paradoxes. The criticism is that the theories of truth in question are inadequate because they only work for languages lacking in the resources to generate revenge paradoxes. Theorists facing these objections offer a range of replies, and the matter (...) seems now to be at a standoff. I aim, first, to bolster the revenge objections by considering a relation, internalizability, between languages and theories of truth. A theory of truth is internalizable for a language iff there is an extension of that language in which the theory is expressible and for which the theory provides an accurate and complete assignment of semantic values. There are good reasons to think that acceptable theories of truth are internalizable for any language. With this internalizability requirement in hand, I argue that properly formulated revenge objections are decisive and that the replies to them are inadequate. Second, I show that the internalizability requirement can be met by a certain theory of truth. The central claim of this theory is that truth is an inconsistent concept and should be replaced with a pair of consistent concepts that can then be used to provide a semantics for our truth predicates. This theory is compatible with classical logic, does not give rise to revenge paradoxes of any kind, and satisfies the internalizability requirement. (shrink)

A Liar sentence is a sentence that, paradoxically, we cannot evaluate for truth in accordance with classical logic and semantics without arriving at a contradiction. For example, consider L If we assume that L is true, then given that what L says is ‘L is false,’ it follows that L is false. On the other hand, if we assume that L is false, then given that what L says is ‘L is false,’ it follows that L is true. Thus, L (...) is an example of a Liar sentence. Several philosophers have proposed that the Liar paradox, and related paradoxes, can be solved by accepting the contradictions that these paradoxes seem to imply (including Priest 2006, Rescher and Brandom 1980). The theory that there are true .. (shrink)