Meta-ethical realism faces the serious epistemological problem of how to explain our epistemic access to moral reality. In the face of this challenge many are sceptical about non-naturalist realism. Nonetheless, there is good reason to acknowledge moral objectivity: morality shows all the signs of a truth-apt discourse but doesn’t exhibit the typical relativity inducing features. This suggests a middle-ground position, a theory that embraces the virtues of realism but does avoid its vices: objectivist antirealism. In this paper, I’ll discuss, mainly (...) following Crispin Wright’s account of moral truth as superassertibility, a promising version of objectivist antirealism and show how to cope with notorious problems, notably those arising from the thought that moral disagreement might be possible in which nobody is guilty of a cognitive shortcoming, which contradicts the antirealist claim that moral truth is not beyond our epistemic reach. The solution is to deny the possibility of cognitively faultless moral disagreement by arguing that cognitively blameless thinkers either agree or stay agnostic and, therefore, never disagree about any moral proposition. Since assuming an agnostic stance on the part of such thinkers contradicts the antirealist’s conception of truth—even within the limits of intuitionistic logic—I’ll propose an alternative logical revision for the moral discourse: a three-valued logic with epistemically construed truth-values. (shrink)

Meta-ethical realism faces the serious epistemological problem of how to explain our epistemic access to moral reality. In the face of this challenge many are sceptical about non-naturalist realism. Nonetheless, there is good reason to acknowledge moral objectivity: morality shows all the signs of a truth-apt discourse but doesn’t exhibit the typical relativity inducing features. This suggests a middle-ground position, a theory that embraces the virtues of realism but does avoid its vices: objectivist antirealism. In this paper, I’ll discuss, mainly (...) following Crispin Wright’s account of moral truth as superassertibility, a promising version of objectivist antirealism and show how to cope with notorious problems, notably those arising from the thought that moral disagreement might be possible in which nobody is guilty of a cognitive shortcoming, which contradicts the antirealist claim that moral truth is not beyond our epistemic reach. The solution is to deny the possibility of cognitively faultless moral disagreement by arguing that cognitively blameless thinkers either agree or stay agnostic and, therefore, never disagree about any moral proposition. Since assuming an agnostic stance on the part of such thinkers contradicts the antirealist’s conception of truth—even within the limits of intuitionistic logic—I’ll propose an alternative logical revision for the moral discourse: a three-valued logic with epistemically construed truth-values. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

The tolerance principle, the idea that vague predicates are insensitive to sufficiently small changes, remains the main bone of contention between theories of vagueness. In this paper I examine three sources behind our ordinary belief in the tolerance principle, to establish whether any of them might give us a good reason to revise classical logic. First, I compare our understanding of tolerance in the case of precise predicates and in the case of vague predicates. While tolerance in the case of (...) precise predicates results from approximation, tolerance in the case of vague predicates appears to originate from two more specific sources: semantic indeterminacy on the one hand, and epistemic indiscriminability on the other. Both give us good and coherent grounds to revise classical logic. Epistemic indiscriminability, it is argued, may be more fundamental than semantic indeterminacy to justify the intuition that vague predicates are tolerant. (shrink)

Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?

Popper emphasised both the problem-solving nature of human knowledge, and the need to criticise a scientific theory as strongly as possible. These aims seem to contradict each other, in that the former stresses the problems that motivate scientific theories while the one ignores the character of the problems that led to the formation of the theories against which the criticism is directed. A resolution is proposed in which problems as such are taken as prime in the search for knowledge, and (...) subject to discussion. This approach is then applied to the problem of induction. Popper set great stake to his solution of it, but others doubted its legitimacy, in ways that are clarified by changing the form of the induction problem itself. That change draws upon logic, which is the subject of another application: namely, in contrast to Popper’s adhesion to classical logic as the only welcome form (because of the maximal strength of criticism that it dispenses), can other logics be used without abandoning his philosophy of criticism? (shrink)

Formal approaches that aim at representing human reasoning should be evaluated based on how humans actually reason. One way of doing so is to investigate whether psychological findings of human reasoning patterns are represented in the theoretical model. The computational logic approach discussed here is the so-called weak completion semantics which is based on the three-valued ᴌukasiewicz logic. We explain how this approach adequately models Byrne’s suppression task, a psychological study where the experimental results show that participants’ conclusions systematically deviate (...) from the classical logically correct answers. As weak completion semantics is a novel technique in the field of computational logic, it is important to examine how it corresponds to other already established non-monotonic approaches. For this purpose we investigate the relation of weak completion with respect to completion and three-valued stable model semantics. In particular, we show that well-founded semantics, a widely accepted approach in the field of non-monotonic reasoning, corresponds to weak completion semantics for a specific class of modified programs. (shrink)

In this paper, I identify the source of the differences between classical logic and many-valued logics (including fuzzy logics) with respect to the set of valid formulas and the set of inferences sanctioned. In the course of doing so, we find the conditions that are individually necessary and jointly sufficient for any many-valued semantics (again including fuzzy logics) to validate exactly the classically valid formulas, while sanctioning exactly the same set of inferences as classical logic. This in turn shows, contrary (...) to what has sometimes been claimed, that at least one class of infinite-valued semantics is axiomatizable. (shrink)

Deflationism about truth, what is often simply called “deflationism”, is really not so much a theory of truth in the traditional sense, as it is a different, newer sort of approach to the topic. Traditional theories of truth are part of a philosophical debate about the nature of a supposed property of truth. Philosophers offering such theories often make suggestions like the following: truth consists in correspondence to the facts; truth consists in coherence with a set of beliefs or propositions; (...) truth is what is acceptable in the ideal limit of inquiry. According to deflationists, such suggestions are mistaken, and, moreover, they all share a common mistake. The common mistake is to assume that truth has a nature of the kind that philosophers might find out about and develop theories of. The main idea of the deflationary approach is (a) that all that can be significantly said about truth is exhausted by an account of the role of the expression ‘true’ or of the concept of truth in our talk and thought, and (b) that, by contrast with what traditional views assume, this role is neither metaphysically substantive nor explanatory. For example, according to deflationary accounts, to say that ‘snow is white’ is true, or that it is true that snow is white, is in some sense strongly equivalent to saying simply that snow is white, and this, according to the deflationary approach, is all that can be said significantly about the truth of ‘snow is white’. Philosophers looking for some underlying nature of some truth property that is attributed with the use of the expression ‘true’ are bound to be frustrated, the deflationist says, because they are looking for something that isn’t there. Deflationism comprises a variety of different versions, each of which have gone by different names, including at least the following: disquotationalism, minimalism, prosententialism, the redundancy theory, the disappearance theory, the no-truth theory. There has not always been terminological consensus in the literature about how to use these labels: sometimes they have been used interchangeably; sometimes they have been used to mark distinctions between different developments of the same general approach. The actual variety of deflationary views has not always been clear in discussions of this approach, especially in the earlier literature, where important differences are occasionally missed. To help clear this up, we will use ‘deflationism’ to denote the general approach we want to discuss and reserve other names for specific versions of that approach. (shrink)

In recent years, a number of well-known intentional realists have focused their energy on attempts to provide a naturalized theory of mental representation. What tends to be overlooked, however, is that a naturalized theory of mental representation will not, by itself, salvage intentional realism. Since most naturalistic properties play no interesting causal role, intentional realists must also solve the problem of showing how intentional properties , even if naturalized, could be causally efficacious. Because of certain commitments, this problem is especially (...) difficult for intentional realists such as Fodor. In the current paper I focus on the problem as it arises for such realists, and I argue that the best-known solution proposed to date is inadequate. If what I say is correct, then such intentional realists are left with an additional and substantial problem, and one that has generally not been sufficiently appreciated. (shrink)

O objetivo geral da pesquisa da qual esse artigo faz parte é investigar o sistema metafísico que emerge dos trabalhos de David Lewis. Esse sistema pode ser decomposto em pelo menos duas teorias. A primeira nomeada como realismo modal genuíno (RMG) e a segunda como mosaico neo-humeano. O RMG é, sem dúvida, mais popular e defende a hipótese metafísica da existência de uma pluralidade de mundos possíveis. A principal razão em favor dessa hipótese é a sua aplicabilidade na discussão de (...) problemas losó cos, esse motivo não será diretamente abordado neste artigo. Pois, o foco está em compreender o mosaico neo-humea- no e como ele relaciona-se com a metafísica de mundos possíveis. Em outras palavras, o meu objetivo é entender as bases losó cas que sus- tentam o realismo modal genuíno. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)