Two of the most important outcomes of The Contradictory Christ include: identifying Christ as an unproblematically contradictory being as well as laying the foundations of an investigation of the logical consequences of the existence of Christ, qua contradictory, within a particular 'theory'. In light of the enormous reluevance of Beall’s The contradictory Christ for the study of inconsistency, my main concern here is to explore the effect of some methodological choices behind Beall’s proposal -this in order to recognize in more (...) detail the scope of Beall’s contribution. To do so, I will focus on three main questions: 1. What is required for the identification of a contradiction? 2. How can we recognize a true contradiction from either an apparent or a temporal contradiction? 3. If we identify a true contradiction within a theory, where can we actually go from there? (shrink)

Logical anti-exceptionalism is the view that logic is not special among the sciences. In particular, anti-exceptionalists claim that logical theory choice is effected on the same bases as any other theory choice procedure, i.e., by abduction, by weighting pros and cons of rival views, and by judging which theory scores best on a given set of parameters. In this paper, we first present the anti-exceptionalists favourite method for logical theory choice. After spotting on important features of the method, we discuss (...) how they lead to trouble when the subject matter of choice is logic itself. The major difficulty we find concerns the role of the logic employed to evaluate theory choice, or, more specifically, the role of the metalanguage employed to run the abductive method. When rival logical theories are being evaluated and compared, we argue, it is difficult not to beg some important questions; the metalanguage introduce biases difficult to avoid. These difficulties seem to be inherent to the method described. We suggest that they put some constraints on the scope of application of the method of abductive theory choice in logic and on the kind of disputes the anti-exceptionalist may plausibly expect to solve with it. We end the paper with some suggestions for how the anti-exceptionalist may address these issues on this front. (shrink)

Logical anti‐exceptionalism is the view that logic is not special, it is continuous with science. This continuity is typically understood in terms of the use of the abductive method in logical theory choice, with logical knowledge resulting from our choice of the theory best accounting for the data. In this paper, we argue for two related claims: (i) that this understanding of the continuity between logic and science faces considerable challenges; and (ii) that such challenges may be avoided by elaborating (...) the continuity of logic with science in terms of the “logic‐as‐models” approach. More specifically, we defend that logical theories should be seen in the lights of the “models‐as‐epistemic‐tools” approach, an approach to the nature of models in empirical science more closely connected with current scientific practice. The result is a version of logical anti‐exceptionalism opening new perspectives for the philosophical understanding of logic. (shrink)

This paper is about the underlying logical principles of scientific theories. In particular, it concerns ex contradictione quodlibet (ECQ) the principle that anything follows from a contradiction. ECQ is valid according to classical logic, but invalid according to paraconsistent logics. Some advocates of paraconsistency claim that there are ‘real’ inconsistent theories that do not erupt with completely indiscriminate, absurd commitments. They take this as evidence in favor of paraconsistency. Michael (2016) calls this the non-triviality strategy (NTS). He argues that this (...) strategy fails in its purpose. I will show that Michael's criticism significantly over-reaches. The fundamental problem is that he places more of a burden on the advocate of paraconsistency than on the advocate of classical logic. The weaknesses in Michael's argument are symptomatic of this preferential treatment of one viewpoint in the debate over another. He does, however, make important observations that allow us to clarify some of the complexities involved in giving a logical reconstruction of a theory. I will argue that there are abductive arguments deserving of further consideration for the claim that paraconsistent logic offers the best explanation of the practice of inconsistent science. In this sense, the debate is still very much open. (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).

Many have contended that non-classical logicians have failed at providing evidence of paraconsistent logics being applicable in cases of inconsistency toleration in the sciences. With this in mind, my main concern here is methodological. I aim at addressing the question of how should we study and explain cases of inconsistent science, using paraconsistent tools, without ruining into the most common methodological mistakes. My response is divided into two main parts: first, I provide some methodological guidance on how to approach cases (...) of inconsistent science; and second, I focus on a peculiar type of formal methodologies for the scrutiny of inconsistent reasoning, the _Paraconsistent Alternative Approach_ (henceforth, PAA) and argue that PAA can enhance a more accurate understanding of sensible reasoning in inconsistent contexts. (shrink)

Logic appears to be normative for rational belief. The thesis of the normativity of logic holds that indeed logic has such a normative status. Gilbert Harman has questioned it, thereby giving rise to what has been called “Harman's skeptical challenge”. MacFarlane has clarified that in order to answer this challenge and support the normativity of logic, one needs a “bridge principle” that appropriately connects logical entailments and norms for belief, as well as relevant desiderata for the evaluation of candidate bridge (...) principles. Steinberger has identified a list of desiderata, on the basis of which he has proposed his own bridge principle and shown the inadequacy of previous proposals. This paper argues that Steinberger's list is in need of revision and his principle is unsatisfactory, and then puts forward a revised list of desiderata and a new bridge principle in support of the normativity of logic. (shrink)