We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to (...) more realistically characterize the epistemic life of agents. To show this, I propose an epistemic logic with partial grasp that has in mind considerations from first-order aboutness theory with the aim of avoiding certain forms of logical omniscience, and which provides an alternative to immanent closure (Yablo Aboutness, Princeton University Press, 2014). (shrink)

Heraclitus uses paradoxical language to present the relationship between opposites in his worldview. This mode of expression has generated much controversy. Some take the paradoxes as evidence of a contradictory identity of opposites (Barnes), while others propose a dynamic union through transformation without identity that avoids the contradiction (Graham). By examining B88 and B62, I seek to identify the stronger and weaker points of such readings. The contradictory identity reading thwarts the transformation between opposites. The dynamic reading offers a plausible (...) alternative. However, it skips a characterization of how Heraclitus conceives of the transformation between opposites in physical terms. To fill this gap, I consider Heraclitus’ use of what I call the anti-cognate internal object in B62. I argue that ‘living the death and dying the life’ is a case of change as mixture, a popular conception among the early Presocratics. Upon closer examination, the anti-cognate internal object suggests that real contradictions belong to Heraclitus conception of change. The details reveal a philosophically compelling view. (shrink)

This paper generalizes the preface paradox beyond the conjunctive aggregation of beliefs and constructs an analogous paradox for deontic reasoning. The analysis of the deontic case suggests a systematic restriction of intuitive rules for reasoning with obligations. This proposal can be transferred to the epistemic case: it avoids the preface and the lottery paradox and saves one of the two directions of the Lockean Thesis (i.e., high credence is sufficient, but not necessary for rational belief). The resulting account compares favorably (...) to competing proposals; in particular, we can formulate the rules of correct doxastic reasoning without reference to probabilistic features of the involved propositions. (shrink)

According to internalism about rationality, the ir/rationality of a subject depends only on how things appear from her subjective perspective. According to culpabilism, rationality is a normative standard such that violations of rationality are (at least sometimes) blameworthy. According to a classical line of reasoning, culpabilism entails internalism. I argue that, to the contrary, culpabilism entails that internalism is false. The internalist cannot accommodate the possibility of culpable irrationality.

The first half of this article is critical: it develops an interpretation of Kant as trying, and failing, to limit our judgments to phenomena and abstain from making claims about noumena, and an interpretation of Wittgenstein as trying, and failing, to develop a theory of meaning that abstains from attempting to say the unsayable. On the reading offered, both Kant and Wittgenstein find themselves saying things that by their own lights cannot be said: in Kant’s case, claims about noumena, and (...) in Wittgenstein’s case, structural claims. While Kant attempts a solution of the problem which also fails, Wittgenstein bites the bullet and leaves his Tractatus, for the most part, void and meaningless. The suggested response is a dialetheic approach—either as an alternative or, potentially, as an amendment to a Kantian or Wittgensteinian theory. According to this approach, certain problems in philosophy arise from true contradictions and thus require a theory that makes sense of contradiction. A subgroup of these problems (among them the noumenal and structural issues in Kant and Wittgenstein) are about things that both are and are not ineffable. The second half of the paper develops a dialetheic account of ineffability and a concise formal theory to ensure that contradiction at the limits of language does not spread to other areas. (shrink)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

A teoria minimalista da verdade consiste em todas as instâncias do esquema 'φ é verdadeira sse φ' e na afirmação de que nossa aceitação (primitiva) dessas instâncias é suficiente para explicar nossas atitudes em relação a todas sentenças envolvendo ‘verdade’. Filósofos têm apontado que o minimalismo tem dificuldades em explicar nossas atitudes em relação a generalizações envolvendo ‘verdade’ bem como em lidar com instanciações contraditórias do esquema para sentenças paradoxais (ex. paradoxo do mentiroso). Proponentes do minimalismo apresentam soluções para esses (...) problemas. Nesse artigo, argumento que essas soluções entram em conflito, analiso algumas estratégias para resolver esse conflito e concluo que o minimalismo não pode evitar conflitos desse tipo mantendo seu caráter minimalista. ENGLISH: The minimalist theory of truth consists in all the instances of the schema 'φ is true iff φ' and in the claim that our primitive acceptance of these instances explains our attitudes in relation to propositions involving truth. Philosophers point that minimalism has difficulties in explaining our attitudes in relation to generalizations involving truth and with the contradictory instances of the schema for paradoxal sentences (e.g. the liar). Minimalists present solutions to these problems. In this paper, I argue that these solutions conflict with each other. I analyze some strategies to resolve this conflict. I conclude that minimalism cannot avoid the conflict maintaining it minimalist character. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

In their attempt to defend philosophy from accusations of uselessness made by prominent scientists, such as Stephen Hawking, some philosophers respond with the charge of ‘scientism.’ This charge makes endorsing a scientistic stance, a mistake by definition. For this reason, it begs the question against these critics of philosophy, or anyone who is inclined to endorse a scientistic stance, and turns the scientism debate into a verbal dispute. In this paper, I propose a different definition of scientism, and thus a (...) new way of looking at the scientism debate. Those philosophers who seek to defend philosophy against accusations of uselessness would do philosophy a much better service, I submit, if they were to engage with the definition of scientism put forth in this paper, rather than simply make it analytic that scientism is a mistake. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

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 arguments of the dialetheists for the rejection of the traditional law of noncontradiction are not yet conclusive. The reason is that the arguments that they have developed against this law uniformly fail to consider the logic of encoding as an analytic method that can resolve apparent contradictions. In this paper, we use Priest [1995] and [1987] as sample texts to illustrate this claim. In [1995], Priest examines certain crucial problems in the history of philosophy from the point of view (...) of someone without a prejudice in favor of classical logic. For each of these problems, the logic of encoding offers an alternative explanation of the phenomena---this alternative is not considered when Priest describes what options there are in classical logic for analyzing the problem at hand. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent with a (...) directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

Are there questions for which 'there is no determinate fact of the matter' as to which answer is correct? Most of us think so, but there are serious difficulties in maintaining the view, and in explaining the idea of determinateness in a satisfactory manner. The paper argues that to overcome the difficulties, we need to reject the law of excluded middle; and it investigates the sense of 'rejection' that is involved. The paper also explores the logic that is required if (...) we reject excluded middle, with special emphasis on the conditional. There is also discussion of higher order indeterminacy (in several different senses) and of penumbral connections; and there is a suggested definition of determinateness in terms of the conditional and a discussion of the extent to which the notion of determinateness is objective. And there are suggestions about a unified treatment of vagueness and the semantic paradoxes. (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)

Today there is a wealth of fascinating studies of connexive logical systems. But sometimes it looks as if connexive logic is still in search of a convincing interpretation that explains in intuitive terms _why_ the connexive principles should be valid. In this paper I argue that difference-making conditionals as presented in Rott (_Review of Symbolic Logic_ 15, 2022) offer one principled way of interpreting connexive principles. From a philosophical point of view, the idea of difference-making demands full, unrestricted connexivity, because (...) neither logical truths nor contradictions or other absurdities can ever ‘make a difference’ (i.e., be relevantly connected) to anything. However, difference-making conditionals have so far been only partially connexive. I show how the existing analysis of difference-making conditionals can be reshaped to obtain full connexivity. The classical AGM belief revision model is replaced by a conceivability-limited revision model that serves as the semantic base for the analysis. The key point of the latter is that the agent should never accept any absurdities. (shrink)

Set theory faces two difficulties: formal definitions of sets/subsets are incapable of assessing biophysical issues; formal axiomatic systems are complete/inconsistent or incomplete/consistent. To overtake these problems reminiscent of the old-fashioned principle of individuation, we provide formal treatment/validation/operationalization of a methodological weapon termed “outer approach” (OA). The observer’s attention shifts from the system under evaluation to its surroundings, so that objects are investigated from outside. Subsets become just “holes” devoid of information inside larger sets. Sets are no longer passive containers, rather (...) active structures enabling their content’s examination. Consequences/applications of OA include: a) operationalization of paraconsistent logics, anticipated by unexpected forerunners, in terms of advanced truth theories of natural language; b) assessment of embryonic craniocaudal migration in terms of Turing’s spots; c) evaluation of hominids’ social behaviors in terms of evolutionary modifications of facial expression’s musculature; d) treatment of cortical action potentials in terms of collective movements of extracellular currents, leaving apart what happens inside the neurons; e) a critique of Shannon’s information in terms of the Arabic thinkers’ active/potential intellects. Also, OA provides an outer view of a) humanistic issues such as the enigmatic Celestino of Verona’s letter, Dante Alighieri’s “Hell” and the puzzling Voynich manuscript; b) historical issues such as Aldo Moro’s death. Summarizing, we suggest that the safest methodology to quantify phenomena is to remove them from our observation and tackle an outer view, since mathematical/logical issues such as selective information deletion and set complement rescue incompleteness/inconsistency of biophysical systems. (shrink)

This paper aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (shrink)

Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...) Priest e Filippo Casati a Padova nel 2016, in occasione del Corso di Eccellenza per il dottorato in filosofia dell’Università di Padova. La seconda contiene quattro contributi sul dialeteismo di autori italiani. (shrink)

This book proposes a new solution to the problem of vagueness. There are several different ways of addressing this problem and no clear agreement on which one is correct. The author proposes that it should be understood as the problem of explaining vague predicates in a way that systematizes six intuitions about the phenomenon and satisfies three criteria of adequacy for an ideal theory of vagueness. The third criterion, which is called the “criterion of precisification”, is the most controversial one. (...) It is based on the intuition that a predicate is vague only if it is imprecise. The author considers some different definitions of linguistic imprecision, proposing that a predicate is imprecise if and only if there is no sharp boundary between objects to which its application yields some particular truth-value and objects to which its application does not yield that truth-value. The volume critically reviews the current theories of vagueness and proposes a new one, the Theory of Vagueness as Arbitrariness, which defines a vague predicate as an arbitrary predicate that must be precisified in order to contribute to a sentence that has truth-conditions. The main advantages of this theory over the current alternatives are that it satisfies all three criteria and systematizes the relevant intuitions. (shrink)

In this essay I argue that art is able to open a new window on to reality only when art can transcend reason and the confines of language. Moreover, both logic and language have their limitations when used as tools for the creation of meaning and that art helps us overcome these inadequacies in the way it transcends — or even transgresses — the absolutes that underpin our “rational” view of the world. Lastly, the violation of the strictures of logic (...) by art is also emblematic of art’s heightened awareness of certain unique features of reality — in particular, its dynamic and fluid nature — which are not normally readily visible to a mind tied to thinking in terms only of binary truth values. (shrink)

The contributions to Concepts of Philosophy in Asia and the Islamic World reflect upon the problems implied in the received notions of philosophy in the respective scholarly literatures. They ask whether, and for what reasons, a text should be categorized as a philosophical text (or excluded from the canon of philosophy), and what this means for the concept of philosophy. The focus on texts and textual corpora is central because it makes authors expose their claims and arguments in direct relation (...) to specific sources, and discourages generalized reflections on the characteristics of, for example, Japanese culture or the Indian mind. The volume demonstrates that close and historically informed readings are the sine qua non in discussing what philosophy is in Asia and the Islamic world, just as much as with regard to Western literature Contributors are Yoko Arisaka, Wolfgang Behr, Thomas Fröhlich, Lisa Indraccolo, Paulus Kaufmann, Iso Kern, Ralf Müller, Gregor Paul, Lisa Raphals, Fabian Schäfer, Ori Sela, Rafael Suter, Christian Uhl, Viatcheslav Vetrov, Yvonne Schulz Zinda, and Nicholas Zufferey. (shrink)

We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...) language either. We then turn to an alternative proposal, recently defended by Beall (in Analysis 73(3):438–445, 2013; Rev Symb Log, 2014), for expressing truth and falsity only, and hence disagreement. According to this, the exclusive semantic status of A, that A is either true or false only, can be conveyed by adding to one’s theory a shrieking rule of the form A & ~A |- \bot, where \bot entails triviality. We argue, however, that the proposal doesn’t work either. The upshot is that glut theorists face a dilemma: they can either express denial, or disagreement, but not both. Along the way, we offer a bilateral logic of exclusive denial for glut theorists—an extension of the logic commonly called LP. (shrink)

Journal Name: SATS Issue: Ahead of print.

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

First, I briefly recapitulate the main points of Rosen’s article, namely, that the word “Being” does not adequately signify the paradoxical unification of subject and object and that the Klein bottle can serve as a more appropriate sign -vehicle than the word. I then propose to apply his insight more widely; however, in order to do that, it is first necessary to identify infra- and exostructures of language, including culture, category structure, logic, metaphor, semantics, syntax, concept, and sign vehicles, that (...) preserve the status quo and keep subject and object disjunct. After analyzing those infra/exostructures, I engage a complementary process of integrating them, coagula, in order to spark ideas for innovating ways in which more of those facets of language can embrace paradox. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

In his 1910 book On the principle of contradiction in Aristotle, Jan Łukasiewicz claims that syllogistic is independent of the principle of contradiction . He also argues that Aristotle would have defended such a thesis in the Posterior Analytics. In this paper, we first show that Łukasiewicz's arguments for these two claims have to be rejected. Then, we show that the thesis of the independence of assertoric syllogistic vis-à-vis PC is nevertheless true. For that purpose, we first establish that there (...) is no possibility to account for Aristotle's original views on syllogistic without using per impossibile deductions. At last, following an idea due to Smith 1983, we prove that there is a complete reconstruction of assertoric syllogistic using ecthesis instead of reductio ad absurdum. Contrary to what is claimed in Smith 1983, we show that Smith's system SE has to be improved for such a reconstruction. This results in an ecthetic system which is complete with respect to syllogistic arguments, not explosi.. (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)

In early Buddhist logic, it was standard to assume that for any state of a ff airs there were four possibilities: that it held, that it did not, both, or neither. This is the catuskoti (or tetralemma). Classical logicians have had a hard time mak­ing sense of this, but it makes perfectly good sense in the se­mantics of various paraconsistent logics, such as First Degree Entailment. Matters are more complicated for later Buddhist thinkers, such as Nagarjuna, who appear to suggest (...) that none of these options , or more than one, may hold. The point of this paper is to examine the matter, including the formal logical machinery that may be appropriate. (shrink)

This paper was presented at the 26th International Wittgenstein Symposium on “Knowledge and Belief”, Kirchberg am Wechsel, Austria (3rd - 10th August 2003). The focus of study is a dialogue situation in which one party holds that P while the other holds that ~P. A simple way to establish harmony between the parties in dialogue is to insist that each should include the other’s point of view. This is unsatisfactory because it results in an inconsistent set of beliefs. Clarity is (...) essential, therefore, on how to deal with inconsistency. In this paper, I will proceed in two steps. In the first, I will indicate how some attempts at trying to manage contradictions in terms of ontology remain unsatisfactory. In the second step, I will introduce and evaluate another way in terms of belief and acceptance. I make an original application of L.J. Cohen’s distinction between belief and acceptance, the former being a matter of feeling, the latter a matter of policy in reasoning. (shrink)

I consider here several versions of finitism or conceptions that try to work around postulating sets of infinite size. Restricting oneself to the so-called potential infinite seems to rest either on temporal readings of infinity (or infinite series) or on anti-realistic background assumptions. Both these motivations may be considered problematic. Quine’s virtual set theory points out where strong assumptions of infinity enter into number theory, but is implicitly committed to infinity anyway. The approaches centring on the indefinitely large and the (...) use of schemata would provide a work-around to circumvent usage of actual infinities if we had a clear understanding of how schemata work and where to draw the conceptual line between the indefinitely large and the infinite. Neither of this seems to be clear enough. Versions of strict finitism in contrast provide a clear picture of a (realistic) finite number theory. One can recapture standard arithmetic without being committed to actual infinities. The major problem of them is their usage of a paraconsistent logic with an accompanying theory of inconsistent objects. If we are, however, already using a paraconsistent approach for other reasons (in semantics, epistemology or set theory), we get finitism for free. This strengthens the case for paraconsistency. (shrink)

Emotions are Janus‐faced. They tell us something about the world, and they tell us something about ourselves. This suggests that we might speak of a truth, or perhaps two kinds of truths of emotions, one of which is about self and the other about conditions in the world. On some views, the latter comes by means of the former. Insofar as emotions manifest our inner life, however, we are more inclined to speak of authenticity rather than truth. What is the (...) difference? We need to distinguish the criteria of correspondence or appropriateness suitable for authenticity from those that embody the criterion of truth. Furthermore there is also a question about the transitions – among states of mind, and between states of mind and behaviour – that emotions encourage. This realm of transitions concerns rationality. After sketching the relevant distinctions, I will endeavour to justify the view that emotions should be appraised in terms of all three terms. (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)

All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully identify necessary conditions for having a paradox of this kind. I examine in this paper Priest’s description of these paradoxes, the Inclosure Scheme (IS), and consider in what sense it may help us understand and solve the problems they pose. However, I also consider the limitations of this kind of structural descriptions and give arguments against Priest’s use (...) of IS in favour of dialetheism. IS fails to identify sufficient conditions for having a paradox of self-reference. That means that, even if we identified a problem common to any reasoning satisfying IS, that problem would not explain why some of those reasonings are paradoxical and some others are not. Therefore IS cannot justify by itself the claim that some particular theory offers the best solution to the paradoxes of self-reference. We still need to consider aspects concerning the content and context of occurrence of every paradox. (shrink)

Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models (...) that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value. (shrink)

The main goal of my text is to generalize Alexy's explicative argument against human rights skeptics in order to minimize the overall room for their escape. This argument tries to show that any attempt to intersubjectively justify the nonexistence of human rights as moral rights necessarily commits the so‐called performative self‐contradiction. Alexy worries that the effect of his argument can be weakened by a group reduction of discourse. But I will argue that this worry is overstated because the price of (...) such a reduction is much higher than Alexy estimates. I will then turn to the issue of moral relativism. I will try to show that the explicative argument, if suitably generalized, can cope even with human rights skeptics who think in terms of moral relativism. (shrink)

1. Hegel’s Doctrine of the Concept advances a theory of conceptual determinacy. As I will demonstrate, Hegel’s theory of conceptual determinacy leads him to endorse self-predication and existential...

I argue that there is nothing about the structure of inference to the best explanation (IBE) that prevents it from establishing a contradiction in general, though there are some potential limitations on when it can be used for this purpose. Studying the relationship between IBE and contradictions is worthwhile for three reasons. First, it enhances our understanding of IBE. We see that, in many cases, IBE does not require explanations to be consistent, though there are some cases where consistency may (...) be required. Second, the argument has implications for the debate over scientific realism. Many scientific theories appear to be inconsistent. The best argument for scientific realism, however, appeals to IBE. My argument thus shows that a certain kind of realist faces a threat from inconsistent theories. Third, the argument is important for dialetheism. Dialetheists maintain that some contradictions are true. Many of the arguments in favour of dialetheism appeal to explanatory considerations. What I say here provides support for defending dialethism using an IBE-based methodology. (shrink)