The Pinocchio paradox poses one dialetheia too many for semantic dialetheists (Eldridge-Smith 2011). However, Beall (2011) thinks that the Pinocchio scenario is merely an impossible story, like that of the village barber who shaves just those villagers who do not shave themselves. Meanwhile, Beall maintains that Liar paradoxes generate dialetheia. The Barber scenario is self-contradictory, yet the Pinocchio scenario requires a principle of truth for a contradiction. In this and other respects the Pinocchio paradox is a version of the Liar, (...) unlike the Barber. One wonders why some Liars would be impossible if others generate dialetheias. (shrink)

Four Basic Logical Issues: The paper addresses what we see as the four major issues in logic. The overriding issue is that of the choice of logic. We start with some discussion of the preliminary issue of whether there is such a 'one true logic,' but we reserve the main discussion for the first issue of 'classical logic versus nonclassical logic.' Here, we discuss the role of meaning and truth, the relation between classical logic and classical negation, and whether and, (...) if so, how classical logic should reside at the base world. Given the argument in favor of an overall use of nonclassical logic, the second issue is that of the choice of nonclassical logic. Brady's logic MC of meaning containment is argued for, with some comparison made with other relevant logics. For the remaining two issues, we make a case for relevant deduction, in comparison with classical deduction, and we explore possibilities for the appropriate metalogic, comparing classical and nonclassical approaches. (shrink)

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their business, be it (...) logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several (...) distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (shrink)

When faced with the charge that a given concept of God is contradictory, the standard move among philosophers and theologians has been to try to explain away the contradiction and show that the concept of God in question is consistent. This has to do, of course, with the Law of Non-Contradiction (LNC). Another option, which has recently generated interest among logicians and analytic philosophers of religion, is to reject such a move as unnecessary and defend what might be called the (...) contradictory God thesis. To be sure, something close to that can be found in philosophers such as Pseudo-Dionysius, Thomas Aquinas and Nicolaus de Cusa. However, it is only recently that this approach has gained momentum, certainly driven by the contemporary advance of dialetheism and glut theoretic approaches in general, and paraconsistent logic. Needless to say, a standard move among defenders of the contradictory God thesis is to reject the LNC. The argumentation, however, is seldomly framed in conceptual terms. Instead, it is mostly framed in ontological terms, as God being a contradictory entity. From this perspective, the contradictory God thesis is the thesis that God is a contradictory object. My goal in this paper is to provide a conceptual assessment of the discussion surrounding the contradictory God thesis. To achieve this, I make use of a general and hopefully non-controversial meta-theory of concepts and adopt a semantic approach rather than a metaphysical one. Within this framework, I address the following questions: What are the different ways we can understand the contradictory God thesis? What grounds are there for rejecting a contradictory concept of God? What standard moves are available to defend oneself from such criticisms and how do they relate to the LNC? What challenges do they present? As a secondary goal, the paper introduces a novel defense of the contradictory God thesis, drawing on a specific interpretation of the theology of the 16th-century Indian thinker Jīva Gosvāmī, which does not necessitate the rejection of the LNC. I term this approach ‘non-dialetheic mystical contradictory theism.’. (shrink)

Islamic theological contradictions are metaphysical contradictions as opposed to logical and semantic ones. I shall demonstrate that if these theological contradictions are tolerable on the theoretical account of metaphysical dialetheism, then logical space, despite being the space of all possibilities, does not accommodate them in virtue of Chalmers’s ‘deep epistemic possibility’. To resolve this issue, I offer a recalibration of the modal concept of possibility. Doing so would redraw a demarcation between what is possible and what is not. Consequently, we (...) can expand logical space, so it is properly inclusive of all possibilities, including metaphysical dialetheism. Expanding logical space in this way would repudiate Chalmers’s ‘deep epistemic possibility’ and make room for Islamic theological contradictions. (shrink)

Dialetheism is the view that some contradictions are true. Resorting to either metaphysical dialetheism or semantic dialetheism may seem like an appropriate resolve to certain theological contradictions. At least for those who concede to theological contradictions, and take dialetheism seriously. However, I demonstrate that neither of these types of dialetheism would serve to be amenable in resolving an Islamic theological contradiction. This is a theological contradiction that I refer to as ‘the paradox of an unknowable and ineffable God’. As a (...) result of this, I propose an alternative type of dialetheism which aims to resolve the paradox of an unknowable and ineffable God. I call this type of dialetheism, ‘mystical dialetheism’. (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)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

Systems of paraconsistent logics violate the law of explosion: from contradictory premises not every formula follows. One of the philosophical options for interpreting the contradictions allowed as premises in these cases was put forward recently by Carnielli and Rodrigues, with their epistemic approach to paraconsistent logics. In a nutshell, the plan consists in interpreting the contradictions in epistemic terms, as indicating the presence of non-conclusive evidence for both a proposition and its negation. Truth, in this approach, is consistent and is (...) dealt with by classical logic. In this paper we discuss the fate of the Liar paradox in this picture. While this is a paradox about truth, it cannot be accommodated by the classical part of the approach, due to trivialization problems. On the other hand, the paraconsistent part does not seem fit as well, due to the fact that its intended reading is in terms of non-conclusive evidence, not truth. We discuss the difficulties involved in each case and argue that none of the options seems to accommodate the paradox in a satisfactory manner. (shrink)

In this paper, I examine the deep theological faultline generated by divergent understandings of the divine attributes among two early antagonistic Muslim groups – the traditionalists (main...

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

Earlenbaugh and Molyneux’s argument against considering intuitions as evidence has an uncharitable consequence — a substantial part of philosophical practice is not justified. A possible solution to this problem is to defend that philosophy must be descriptive metaphysics. But if this statement is rejected, one can only argue (a) that experts’ intuition does constitute evidence, and (b) that philosophical practice is justified by the overall growth of philosophical knowledge it generates.

In the history of Western philosophy, dialetheism – the view that some sentences are both true and false – has been unpopular. This paper recovers a previously overlooked episode in the history of dialetheism. Specifically, it reconstructs a section of Robert Greville's The Nature of Truth (1640) in order to show that he was a dialetheist. Greville's consideration of the view that evil is a privation led him to endorse the claim that sinful acts are contradictory; they are the subjects (...) of both being and non‐being. The paper also explores responses to Greville from John Wallis and Nathaniel Culverwell. (shrink)

This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.

A dialetheia is a sentence, A, such that both it and its negation, A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and (...) false. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)