In various theories of truth, people have set forth many definitions to clarify in what sense a set of sentences is paradoxical. But what, exactly, is _a_ paradox per se? It has not yet been realized that there is a gap between ‘being paradoxical’ and ‘being a paradox’. This paper proposes that a paradox is a minimally paradoxical set meeting some closure property. Along this line of thought, we give five tentative definitions based upon the folk notion of paradoxicality implied (...) in Tarski’s undefinability theorem of truth and the dependence relation proposed by Leitgeb (J Philos Log 34(2):155–192, 2005). A definition of ‘being a paradox’ is acceptable if its extension must be sufficiently comprehensive to include all known paradoxes on the one hand, and its standard must also be high enough to exclude those that are evidently not paradoxes on the other hand. It turns out that only the last attempt is acceptable: a set of sentences is a paradox if it is paradoxical and self-dependent, and at the same time, it and any of its paradoxical and self-dependent subsets bisimulate each other. In this way, we articulate in what sense a set of sentences is a paradox, and so establish a connection between the notion of a paradox and the notion of paradoxicality. (shrink)

This paper argues that the traditional characterization of the notion of paradox — an apparently valid argument with apparently true premises and an apparently false conclusion — is too narrow; there are paradoxes that do not satisfy it. After discussing, and discarding, some alternatives, an outline of a new characterization of the notion of paradox is presented. A paradox is found to be an apparently valid argument such that, apparently, it does not present the kind of commitment to the conclusion (...) that should be implied by an acceptance of the truth of the premises and the validity of the argument. (shrink)

The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...) for modal hypodoxes as duals to known paradoxes. I also try to continue this search further by mapping the relations between some paradoxes and hypodoxes in duality squares. This investigation increases the known extension of the concept of hypodox, and the duality relation between paradoxes and hypodoxes assists in finding some of these. (shrink)

De um modo geral, queríamos mostrar que a filosofia tem suas próprias áreas, mas tem também subáreas em interdisciplinaridade com as ciências. As ciências e as disciplinas acadêmicas em geral têm problemas, cuja a solução pode ser encontrada empiricamente, por meio de experimentos, entrevistas, documentos, ou formalmente, por meio de cálculos etc, porém os problemas das filosofias dessas disciplinas são justamente os problemas mais fundamentais dessas disciplinas, que fundam o quadro conceitual e de pesquisa das mesmas, e que só poderiam (...) ser respondidos por meio de uma extensa argumentação. A filosofia de cada uma dessas disciplinas é uma mistura (a) de metafísica da disciplina, perguntando-se qual a natureza e justificação das entidades que formam o quadro teórico da disciplina, i.e., quais delas realmente existem na realidade (não sendo meros instrumentos para obter resultados) e quais as suas categorizações fundamentais, naturezas e funções teóricas, (b) de epistemologia dessa disciplina, ao nos perguntarmos sobre como tal área poderia obter conhecimento de modo confiável e se ela de fato o faz, e (c) de teorias do valor, ao nos perguntarmos, por exemplo, sobre qual o valor moral do desenvolvimento de uma certa disciplina e, finalmente, (d) a lógica, que perpassa tudo, ao nos perguntarmos sobre a consistência das teses assumidas pela disciplina. Não é à toa que falamos que a filosofia é mãe de todas as ciências. Ela é mãe tanto num sentido geracional, pois a maioria das ciências foram desenvolvimentos particulares, empíricos ou de cálculo, das questões filosóficas sobre um certo tema, quanto num sentido fundamental, pois é a filosofia que fornece os fundamentos mais gerais, metafísicos, epistêmicos, valorativos e lógicos, na construção do quadro teórico de cada ciência e na qualidade dos métodos para se aproximar da verdade que a disciplina utiliza. A biologia, por exemplo, foi criada por Aristóteles, tal como os primeiros desenvolvimentos da meteorologia (na verdade, esta começa com os pré-socráticos), e grande parte do fundamento da física atual jaz nas discussões de filosofia da física. Sendo você filósofo ou cientista de outra área, a filosofia promete te dar as bases para uma reflexão geral ou sobre sua área, que seja muito mais informada e profunda do que aquilo que você poderia realizar sem ela. /// In general, we wanted to show that philosophy has its own areas, but it also has subareas in interdisciplinarity with the sciences. The sciences and academic disciplines in general have problems, the solution of which can be found empirically, through experiments, interviews, documents, or formally, through calculations etc., but the problems of the philosophies of these disciplines are precisely the most fundamental problems. of these disciplines, which build their conceptual and research framework, and which could only be answered through extensive argumentation. The philosophy of each of these disciplines is a mixture (a) of metaphysics of the discipline, asking what is the nature and justification of the entities that form the theoretical framework of the discipline, ie, which ones really exist in reality (not being mere instruments for achieving results) and what are its fundamental categorizations, natures and theoretical functions, (b) the epistemology of this discipline, when we ask ourselves how such an area could obtain knowledge reliably and if it does, and (c) theories of value, when we ask ourselves, for example, about the moral value of the development of a certain discipline and, finally, (d) the logic, which permeates everything, when we ask ourselves about the consistency of the theses assumed by the discipline. It is not for nothing that we say that philosophy is the mother of all sciences. It is a mother both in a generational sense, as most sciences were particular empirical or formal developments of philosophical questions on a certain topic, and in a fundamental sense, as it is philosophy that provides the most general, metaphysical, epistemic, evaluative and logical foundations, in the construction of the theoretical framework of each science and in the quality of the methods to approach the truth that the discipline uses. Biology, for example, was created by Aristotle, like the first developments in meteorology (in fact, it starts with the pre-Socratics), and much of the foundation of current physics lies in discussions of the philosophy of physics. Whether you are a philosopher or scientist from another area, philosophy promises to give you the basis for a general reflection or about your area, which is much more informed and profound than what you could accomplish without it. (shrink)

I argue for two claims: that the ordinary English truth predicate is a gradable adjective and that truth is a property that comes in degrees. The first is a semantic claim, motivated by the linguistic evidence and the similarity of the truth predicate’s behavior to other gradable terms. The second is a claim in natural language metaphysics, motivated by interpreting the best semantic analysis of gradable terms as applied to the truth predicate. In addition to providing arguments for these two (...) claims, I draw out consequences for debates about deflationism and truth-based analyses of notions such as assertion and logical consequence. (shrink)

I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...) role of an implicit premise in the derivation of the paradox. In conclusion, I propose a different zig zag solution obtained by the adoption of a negative free logic. (shrink)

The laws of logic and two of the broader theories of truth are fundamental components that are responsible for espousing an ontology and meaningfulness in matters of analytic philosophy. In this respect they have persisted as conventional attitudes or modes of thought which most, if not all, of analytic philosophy uses to philosophize. However, despite the conceptual productivity of these components they are unable to account for matters that are beyond them. These matters would include certain theological beliefs, for instance, (...) that transcend the purview of analytic ontology and the meaningfulness it ensues. Any attempt in making rational sense of such beliefs that are insusceptible to these methodological components would conventionally prohibit (restrict) us from rationally believing in them. This is because we would be unable to make sense of such beliefs with the aid of these methodological components. As a result of this, religious beliefs of this particular nature would be deemed irrational. I shall demonstrate this point by applying both of these components to an absolutely ineffable God of Islam. This would entail, attempting to make sense of an absolutely ineffable God of Islam in virtue of the laws of logic and two broad categories of truth theories, namely, substantive and insubstantive theories. I hope to establish that applying both of these methodological components in attempting to make sense of an absolutely ineffable God of Islam would not be conceptually viable. It would result in a contradictory notion which I shall allude to as the paradox of ineffability. (shrink)

It seems that the Truth-teller is either true or false, but there is no accepted principle determining which it is. From this point of view, the Truth-teller is a hypodox. A hypodox is a conundrum like a paradox, but consistent. Sometimes, accepting an additional principle will convert a hypodox into a paradox. Conversely, in some cases, retracting or restricting a principle will convert a paradox to a hypodox. This last point suggests a new method of avoiding inconsistency. This article provides (...) a significant example. The Liar paradox can be defused to a hypodox by relatively minimally restricting three principles: the T-schema, substitution of identicals and universal instantiation. These restrictions are not arbitrary. For each, I identify the source of a contradiction given some presumptions. Then I propose each restriction as a reasonable way to deal with that source of contradiction. (shrink)

I argue that there are living and everyday case in which rationality requires you, as a non-idealized human thinker, to have inconsistent beliefs while recognizing the inconsistency. I defend my argument against classical and insightful objections by Doris Olin, as well as others. I consider three versions of the preface paradox as candidate cases, including Makinson’s original version. None is free from objection. However, there is a fourth version, Modesty, that supposes that you believe that at least one of your (...) beliefs is false. I argue that this version escapes all the objections that could trouble the other versions, including the objection that given certain closure principles for justified belief, justified inconsistent beliefs saddle you with a pair of justified beliefs that are in explicit contradiction. I also argue more tentatively for the same verdict for Modesty*, a version that supposes that you believe that at least one of your beliefs is false. In that case, your belief guarantees that its content is true, in which case your beliefs are inconsistent, because at least one of them must be false. Once you think you’re wrong, you must be right! Crucial to my argument is a distinction between explicitly contradictory beliefs and three forms of inconsistency in belief. In the first of these, you believe contingent propositions each of which is logically independent of the others, yet you also believe the syntactic negation of their conjunction. In the second, your beliefs are inconsistent because of the rigid designation of demonstratives such as ‘this’ embedded in their contents. In the third, as in Modesty and Modesty* your beliefs are inconsistent because of self-reference. (shrink)

In Paradox in Christian Theology I argued that the Christian doctrines of the Trinity and the Incarnation are paradoxical—that is, they appear to involve implicit contradictions—yet Christians can still be rational in affirming and believing those doctrines. Dale Tuggy has characterized my theory of theological paradox as a form of “positive mysterianism” and argues that the theory “faces steep epistemic problems, and is at best a temporarily reasonable but ultimately unsustainable stance.” After summarizing my proposed model for the rational affirmation (...) of theological paradox and considering whether my proposal is indeed a form of “positive mysterianism” as Tuggy defines the term, I address the two main criticisms raised in Tuggy’s paper: first, that the doctrine of divine incomprehensibility cannot bear the weight required by my defense of paradox; and second, that my proposed model is afflicted with epistemic instability. I conclude that Tuggy has failed to show that a mysterian stance with respect to paradoxical Christian doctrines is in principle unreasonable, unnatural, or unsustainable. (shrink)

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the (...) problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

I argue that code words like “inner city” do not semantically encode hidden or implicit meanings, and offer an account of how they nonetheless manage to bring about the surprising effects discussed in Mendelberg 2001, White 2007, and Stanley 2015 (among others).

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises (...) of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

This paper divides the sophisms and paradoxes put forth by Chinese thinkers of the pre-Qin period of China into six groups: paradoxes of motion and infinity, paradoxes of class membership, semantic paradoxes, epistemic paradoxes, paradoxes of relativization, other logical contradictions. It focuses on the comparison between the Chinese items and the counterparts of ancient Greek and even of contemporary Western philosophy, and concludes that there turn out to be many similar elements of philosophy and logic at the beginnings of Chinese (...) and Greek civilizations. (shrink)

In their (2008) article Liar-Like Paradox and Object Language Features C.S. Jenkins and Daniel Nolan (henceforth, JN) argue that it is possible to construct Liar-like paradox in a metalanguage even though its object language is not semantically closed. I do not take issue with this claim. I find fault though with the following points contained in JN’s article: First, that it is possible to construct Liar-like paradox in a metalanguage, even though this metalanguage is not semantically closed. Second, that the (...) presented examples of Liar-like paradox are supposed to be counterexamples to Tarski’s diagnosis of the classic Liar paradox. Third, that JN fail to notice Tarski’s postulate. And finally, that JN fail to recognize that the world they are pondering is not among the possible worlds. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart of (...) Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

To borrow a colorful phrase from Kant, this dissertation offers a prolegomenon to any future semantic theory. The dissertation investigates Yablo's omega-liar paradox and draws the following consequence. Any semantic theory that accepts the existence of semantic objects must face Yablo's paradox. The dissertation endeavors to position Yablo's omega-liar in a role analogous to that which Russell's paradox has for the foundations of mathematics. Russell's paradox showed that if we wed mathematics to sets, then because of the many different possible (...) restrictions available for blocking the paradox, mathematics fractionates. There would be different mathematics. This is intolerable. It is similarly intolerable to have restrictions on the `objects' of Intentionality. Hence, in the light of Yablo's omega-liar, Intentionality cannot be wed to any theory of semantic objects. We ought, therefore, to think of Yablo's paradox as a natural language paradox, and as such we must accept its implications for the semantics of natural language, namely that those entities which are `meanings' must not be construed as objects. To establish our result, Yablo's paradox is examined in light of the criticisms of Priest. Priest maintains that Yablo's original omega-liar is flawed in its employment of a Tarski-style T-schema for its truth-predicate. Priest argues that the paradox is not formulable unless it employs a "satisfaction" predicate in place of its truth-predicate. Priest is mistaken. However, it will be shown that the omega-liar paradox depends essentially on the assumption of semantic objects. No formulation of the paradox is possible without this assumption. Given this, the dissertation looks at three different sorts of theories of propositions, and argues that two fail to specify a complete syntax for the Yablo sentences. Purely intensional propositions, however, are able to complete the syntax and thus generate the paradox. In the end, however, the restrictions normally associated with purely intensional propositions begin to look surprisingly like the hierarchies that Yablo sought to avoid with his paradox. The result is that while Yablo's paradox is syntactically formable within systems with formal hierarchies, it is not semantically so. (shrink)

In this thesis I seek to advance our understanding of what intuitions are. I argue that intuitions are experiences of a certain kind. In particular, they are experiences with representational content, and with a certain phenomenal character. -/- In Chapter 1 I identify our target and provide some important reliminaries. Intuitions are mental states, but which ones? Giving examples helps: a person has an intuition when it seems to her that torturing the innocent is wrong, or that if something is (...) red it is coloured. We can also provide an initial characterisation of the state by saying that it has representational content, often causes belief, and appears to justify belief. In addition, there is something it is like to have an intuition: intuition has a certain phenomenal character. -/- Some argue that intuition does not explain anything which cannot be explained by other mental states. One version of this view takes intuition to reduce to belief. In Chapter 2 I argue that this entails that agents are rationally criticisable in situations where we know they are not, and that such views are therefore untenable. A parallel argument shows that the corresponding approach to perception fails. This suggests a similarity in nature: both intuition and perception are experiences. -/- Others take intuition to reduce to a disposition to have a belief. In Chapter 3 I consider a line of argument against such views, find it unsuccessful, and present two new arguments. One is likely to be dialectically ineffective. The other suffers no such weakness: it shows that the proposed reduction fails. As before, the argument also applies to perception, and suggests that intuition and perception are both experiences. -/- In the remainder of the thesis I develop an account of intuition as an experience. I distinguish between content-specific and attitude-specific phenomenology, and argue that intuition lacks the former (Chapter 4), but has the latter (Chapter 5). This allows us to say what intuition is: it is is an experience with representational content and with attitude-specific phenomenology of a certain kind. -/- In Chapter 6 I put this account of intuition to use. When a person has a perceptual or intuitional experience, I argue that simply having the experience is what makes the subject justified in believing what the experience represents. Moreover, what explains that intuition and perception can justify belief in this way is precisely their phenomenal character. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

If time travel is possible, presumably so is my shooting my younger self ; then apparently I can kill him – I can commit retrosuicide. But if I were to kill him I would not exist to shoot him, so how can I kill him? The standard solution to this paradox understands ability as compossibility with the relevant facts and points to an equivocation about which facts are relevant: my killing YS is compossible with his proximity but not with his (...) survival, so I can kill him if facts like his survival are irrelevant but I cannot if they are relevant. I identify a lacuna in this solution, namely its reliance without argument on the hidden assumption that my killing YS is possible: if it is impossible, it is not compossible with anything. I argue that this lacuna is important, and I sketch a different solution to the paradox. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].

It is notoriously difficult to spell out the norms of inductive reasoning in a neat set of rules. I explore the idea that explanatory considerations are the key to sorting out the good inductive inferences from the bad. After defending the crucial explanatory virtue of stability, I apply this approach to a range of inductive inferences, puzzles, and principles such as the Raven and Grue problems, and the significance of varied data and random sampling.

We present a strategy to dissolve semantic paradoxes which proceeds from an explanation of why paradoxical sentences or their definitions are semantically defective. This explanation is compatible with the acceptability of impredicative definitions, self-referential sentences and semantically closed languages and leaves the status of the so-called truth-teller sentence unaffected. It is based on platitudes which encode innocuous constraints on successful definition and successful expression of propositional content. We show that the construction of liar paradoxes and of certain versions of Curry’s (...) paradox rests on presuppositions that violate these innocuous constraints. Other versions of Curry’s paradox are shown not to be paradoxical at all once their presuppositions are made explicit. Part of what we say rehearses a proposal originally made by Laurence Goldstein in 1985. Like Goldstein we dispose of certain paradoxes by rejecting some of the premises from which they must be taken to proceed. However, we disagree with his more recent view that the premises to be rejected are neither true nor false. (shrink)

The Politics of Orientation provides the first substantial exploration of a surprising theoretical kinship and its rich political implications, between Gilles Deleuze's philosophy and the sociological systems theory of Niklas Luhmann. Through their shared theories of sense, Hannah Richter draws out how the works of Luhmann and Deleuze complement each other in creating worlds where chaos is the norm and order the unlikely and yet remarkably stable exception. From the encounter between Deleuze and Luhmann, Richter develops a novel take on (...) postfoundational ontology where subjects and societies unfold in self-productive relations of sense against a background of complexity. The Politics of Orientation breaks and rebuilds theoretical alliances by reading core concepts and thinkers of Continental Philosophy, from Leibniz to Whitehead and Marx, through this encounter. Most importantly, the book puts Luhmann and Deleuze to work to offer urgently needed insight into the rise of post-truth populism. In our complex democratic societies, Richter argues, orientation against complexity has become the ground of political power, privileging the simplistic narratives of the populist right. (shrink)

In this paper I show that one of the most fruitful ways of employing paradoxes has been as a philosophical method that forces us to reconsider basic assumptions. After a brief discussion of recent understandings of the notion of paradoxes, I show that Zeno of Elea was the inventor of paradoxes in this sense, against the background of Heraclitus’ and Parmenides’ way of argumentation: in contrast to Heraclitus, Zeno’s paradoxes do not ask us to embrace a paradoxical reality; and in (...) contrast to Parmenides, Zeno shows common assumptions to be internally problematic, not just in light of Eleatic positions. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

In the course of this paper, I shall argue that an absolute ineffable God of Islam is contradictory beyond the ordinary categories (substantive or insubstantive) of truth. In order to demonstrate my thesis, I shall refer to a metaphysical and epistemological inquiry. In virtue of both of these inquires, I shall establish that the contradictory assumption ‘the God of Islam is absolutely ineffable’ cannot be false in a substantive or an insubstantive sense. The metaphysical inquiry shall comprise of two related (...) phases. The first phase includes logical realism and anti-realism, while the second phase includes ontological realism and ontological deflationism. I demonstrate that the contradictory assumption ‘the God of Islam is absolutely ineffable’ cannot be considered false in virtue of these outlooks for different reasons. The epistemological inquiry refers to epistemicism. I demonstrate that although this particular view infers an indeterminate truth-value of the contradictory assumption ‘the God of Islam is absolutely ineffable’, it is incompatible with the notion of an absolute ineffable God of Islam. In light of both these inquires, it will become apparent that the contradictory assumption of an absolute ineffable God of Islam cannot be false in a substantive or insubstantive sense. This is because an absolute ineffable God of Islam transcends beyond these very categories of falsehood and truth. (shrink)

In this paper a new resolution to the gamer’s dilemma is presented. The first part of the paper is devoted to strictly formulating the dilemma, and the second to establishing its resolution. The proposed resolution, the grave resolution, aims to resolve not only the gamer’s dilemma, but also a wider set of analogous paradoxes – which together make up the paradox of treating wrongdoing lightly.

The purpose of this paper is to provide a new solution to the radical sceptical paradox. A sceptical paradox purports to indicate the inconsistency within our fundamental epistemological commitments that are all seemingly plausible. Typically, sceptics employ an intuitively appealing epistemic principle (e.g., the closure principle, the underdetermination principle) to derive the sceptical conclusion. This paper will reveal a dilemma intrinsic to the sceptical paradox, which I refer to as the self-hollowing problem of radical scepticism. That is, on the one (...) hand, if the sceptical conclusion turns out to be true, then the epistemic principle employed by sceptics would lose its foundation of plausibility; on the other hand, if the sceptical conclusion does not follow, then the sceptical problem would not arise. In either case, the so-called sceptical paradox cannot be a genuine paradox. This new solution has three theoretical merits: it is undercutting, less theory-laden, and widely applicable. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

Assertions of statements such as 'it's raining, but I don't believe it' are standard examples of what is known as Moore's paradox. Here I consider moral equivalents of such statements, statements wherein individuals affirm moral judgments while also expressing motivational indifference to those judgments. I argue for four main conclusions concerning such statements: 1. Such statements are genuinely paradoxical, even if not contradictory. 2. This paradoxicality can be traced to a form of epistemic self-defeat that also explains the paradoxicality of (...) ordinary Moore-paradoxical statements. 3. Although a simple form of internalism about moral judgment and motivation can explain the paradoxicality of these moral equivalents, a more plausible explanation can be provided that does not rely on this simple form of internalism. 4. The paradoxicality of such statements suggests a more credible understanding of the thesis that those who are not motivated by their moral judgments are irrational. (shrink)

I argue that the standard Bayesian solution to the ravens paradox— generally accepted as the most successful solution to the paradox—is insufficiently general. I give an instance of the paradox which is not solved by the standard Bayesian solution. I defend a new, more general solution, which is compatible with the Bayesian account of confirmation. As a solution to the paradox, I argue that the ravens hypothesis ought not to be held equivalent to its contrapositive; more interestingly, I argue that (...) how we formally represent hypotheses ought to vary with the context of inquiry. This explains why the paradox is compelling, while dealing with standard objections to holding hypotheses inequivalent to their contrapositives. (shrink)

The thesis includes six essays, each corresponding to a chapter, which have the target of widening the discussion on the limits of knowability through the consideration of some general problematics and the discussion of specific topics. The work is composed of two parts, each of three chapters. In the first part, the discussion is focused on a perspective proper of the philosophy of language. In particular, I consider the discussion on the limits of knowability from the point of view of (...) the debate between semantic realism and antirealism. The second part of the thesis is focused on the discussion on the limits of knowability from a perspective more strictly epistemological and proper of the philosophy of science. (shrink)

I develop a solution to the Sorites Paradox, according to which a concatenation of valid arguments need not itself be valid. I specify which chains of valid arguments are those that do not preserve validity: those that pass the vague boundary between cases where the relevant concept applies and cases where that concept does not apply. I also develop various criticisms of this solution and show why they fail; basically, they all involve a petitio at some stage. I criticise the (...) conviction that if every short argument in a long concatenated argument is valid, so is the long argument: it is, I argue, the result of an unjustified generalisation from the case of arguments that do not employ vague concepts (as in mathematics) to arguments that do employ them. My approach is Wittgensteinian in its “leaving everything as it is,” in its claiming that the “beginning” has been searched too far back (see paper's epigraph) and in its claim that the paradox was generated by a misapplication of a partial picture of the behaviour of arguments. I conclude my paper by comparing and contrasting my approach to the few precedents found in the vagueness literature and by answering a few additional objections that were raised there. (shrink)

We argue that standard definitions of ‘vagueness’ prejudice the question of how best to deal with the phenomenon of vagueness. In particular, the usual understanding of ‘vagueness’ in terms of borderline cases, where the latter are thought of as truth-value gaps, begs the question against the subvaluational approach. According to this latter approach, borderline cases are inconsistent (i.e., glutty not gappy). We suggest that a definition of ‘vagueness’ should be general enough to accommodate any genuine contender in the debate over (...) how to best deal with the sorites paradox. Moreover, a definition of ‘vagueness’ must be able to accommodate the variety of forms sorites arguments can take. These include numerical, total-ordered sorites arguments, discrete versions, continuous versions, as well as others without any obvious metric structure at all. After considering the shortcomings of various definitions of ‘vagueness’, we propose a very general non-question-begging definition. (shrink)

Assertions of statements such as ‘it’s raining, but I don’t believe it’ are standard examples of what is known as Moore’s paradox. Here I consider moral equivalents of such statements, statements wherein individuals affirm moral judgments while also expressing motivational indifference to those judgments (such as ‘hurting animals for fun is wrong, but I don’t care’). I argue for four main conclusions concerning such statements: 1. Such statements are genuinely paradoxical, even if not contradictory. 2. This paradoxicality can be traced (...) to a form of epistemic self-defeat that also explains the paradoxicality of ordinary Moore-paradoxical statements. 3. Although a simple form of internalism about moral judgment and motivation can explain the paradoxicality of these moral equivalents, a more plausible explanation can be provided that does not rely on this simple form of internalism. 4. The paradoxicality of such statements suggests a more credible understanding of the thesis that those who are not motivated by their moral judgments are irrational. (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)

This paper discusses how to deal with research that threatens to cause harm to society—in particular, whether and in what cases bans and moratoria are appropriate. First, it asks what normative resources philosophy of science may draw on to answer such questions. In an effort to presuppose only resources acknowledgeable across different comprehensive worldviews, it is claimed that the aim of credibility provides a good basis for normative reflection. A close analysis reveals an inner tension inherent in the pursuit of (...) credibility, referred to as the paradox of credibility: Although the aim of credibility involves the goal of being trusted, the immediate pursuit of the goal of being trusted as much as possible can run counter to and undermine the pursuit of credibility. From this inner tension, considerations are derived on what it means to uncompromisingly strive for trustworthiness. When applied to the problem of harmful research, it becomes apparent that it is important to distinguish between different types of cases. Some cases allow science to prevent harm while relinquishing credibility in the associated research area. In contrast, other cases demand preserving subject-specific scientific credibility in order to manage potential harm. (shrink)

El presente escrito presenta las ventajas y desventajas de la formalización matemática como una herramienta para el análisis de argumentos complejos o difusos en la filosofía. De tal forma, aquí se encuentra un recorrido histórico de algunas consideraciones del papel de las matemáticas en la búsqueda del conocimiento. Posterior a ello, se muestra cómo por medio de la teoría de conjuntos y laabstracción matemática, es posible proponer una reinterpretación de algunos textos filosóficos. Para lograr este objetivo, se presenta, a manera (...) de ejemplo, la formalización de los conceptos de “Dios”, “error” y “Creación” dados por Descartes en su libro las Meditaciones de la filosofía primera, este ejercicio permiteproponer una paradoja en donde se evidencia una posible falencia en la delimitación del concepto de Dios. Con todo ello, se demuestra por qué los enfoques matemáticos deben ser promovidos en los estudios filosóficos. (shrink)

A semantic solution to the liar paradox (“This statement is not true”) is presented in this article. Since the liar paradox seems to evince a contradiction, the principle of non-contradiction is preliminarily discussed, in order to determine whether dismissing this principle may be reason enough to stop considering the liar paradox a problem. No conclusive outcome with respect to the value of this principle is aspired to here, so that the inquiry is not concluded at this point and the option (...) to explore an alternative, semantic, solution remains open. This proposed solution is focused on what the liar paradox expresses and what it fails to express. (shrink)

I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...) role of an implicit premise in the derivation of the paradox. In conclusion, I propose a different zig zag solution obtained by the adoption of a negative free logic. (shrink)

In this paper we argue that our conception of and intuitions about paradoxes are themselves paradoxical. Specifically, we argue that our commitment to the existence and nature of paradoxes is inconsistent with a norm of rationality—which is a paradox.

Fogelin’s Wittgensteinian view of deep disagreement as allowing no rational resolution has been criticized from both argumentation theoretic and epistemological perspectives. These criticisms typically do not recognize how his point applies to the very argumentative resources on which they rely. Additionally, more extremely than Fogelin himself argues, the conditions of deep disagreement make each position literally unintelligible to the other, again disallowing rational resolution. In turn, however, this failure of sense is so extreme that it partly cancels its own meaning (...) as a failure of sense. Consequently, it paradoxically opens new possibilities for sense and therefore rationally unexpected resolutions. (shrink)

RÉSUMÉ: Les philosophes, au cours des cinquante dernières années, se sont efforcés de démontrer qu’un professeur peut, d’une manière cohérente et exacte, annoncer à ses étudiants qu’un examen surprise aura lieu lors d’une journée non spécifiée d’une période donnée, le problème étant qu’une telle annonce peut sembler s’annuler ellemême lorsqu’elle est soumise à une induction régressive. Deux grandes approches, l’une épistémique et l’autre logique, one été développées à ce propos. Le présent article adopte une approche logique, mais repose aussi d’une (...) manière cruciale sur une compréhension épistémique du problème, pour essayer de montrer que l’annonce du professeur peut effectivement être cohérente et exacte. (shrink)