Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...) Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

Saying that x is ineffable seems to be paradoxical – either I cannot say anything about x, not even that it is ineffable – or I can say that it is ineffable, but then I can say something and it is not ineffable. In this article, I discuss Alston’s version of the paradox and a solution proposed by Hick which employs the concept of formal and substantial predicates. I reject Hick’s proposal and develop a different account based on some (...) passages from Pseudo-Dionysius’ Mystica Theologia. ‘God is ineffable’ is a metalinguistic statement concerning propositions about God: not all propositions about God are expressible in a human language. (shrink)

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...) paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...) solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was (...) class='Hi'>paradoxical that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (shrink)

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by (...) means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

A number of contemporary philosophers think that the unqualified statement “X is unspeakable” faces the danger of self-referential absurdity: if this statement is true, it must simultaneously be false, given that X is speakable by the predicate word “unspeakable.” This predicament is in this chapter formulated as an argument that I term the “ineffability paradox.” After examining the Buddhist semantic theory of apoha (exclusion) and an apoha solution to the issue, I resort to a few Chinese Buddhist and (...) Hindu philosophical materials to rationally reconstruct a strategy for resolving the paradox. By introducing the mode of expression termed “indication,” together with the relevant notions of superimposition and of gesturing beyond the horizon, I show that expressing the ineffable does not necessarily involve irresoluble contradiction. It is also suggested that philosophers may need to acknowledge the relevance of the notion of ineffability for contemporary philosophizing. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more accurate way (...) our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

I aim at dissolving Kripke's dogmatism paradox by arguing that, with respect to any particular proposition p which is known by a subject A, it is not irrational for A to ignore all evidence against p. Along the way, I offer a definition of 'A is dogmatic with respect to p', and make a distinction between an objective and a subjective sense of 'should' in the statement 'A should ignore all the evidence against p'. For the most part, I (...) deal with Kripke's original version of the paradox, wherein the subject wishes, above all else, to avoid losing her true belief or gaining a false one; in the final section I investigate the possibility of having a paradox for a subject who values knowledge above anything else. (shrink)

Critique of Alonzo Church's Translation Test. Church's test is based on a common misconception of the grammar of (so-called) quotations. His conclusion (that metalogical truths are actually contingent empirical truths) is a reductio of that conception. Chruch's argument begs the question by assuming that translation must preserve reference despite altering logical form of statements whose truth is explained by their form.

In this paper I focus on the conditions that have to be met for Chisholm’s Paradox (CP) to occur. My claim is that identity and structure are notions closely related to each other. I propose a discussion in which the minimal framework for CP is set, then analyze the paradox in terms of S5, and suggest that in order to capture the core of the paradox one should use a dynamic valuation function for the model. Identity appears, at this point, (...) to be dependent upon a structuralist point of view. (shrink)

We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda (...) as compared to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing for a (...) sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (shrink)

outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

This paper will attempt a Hegelian reading of Derrida’s Beast and the Sovereign Vol 1 lectures to unpack certain apories and paradoxes in Ambedkar’s brief 1932 statement on modern India’s founding figure, Gandhi. In that small text Ambedkar is critical of Gandhi’s seemingly saintly attempt at fasting himself to death. Ambedkar diagnoses that Gandhi’s act of self-sacrifice conceals a type of subtle coercion of certain political decisions during India’s independent movement from British colonialism. In order to unpack philosophical assumptions (...) in Ambedkar’s statement, this paper examines Derrida’s startlingly original insights into animality, law, and sovereignty in confronting two of the Western tradition’s giants in political philosophy, namely Hobbes and Schmitt. My intuition is that Derridean deconstruction can be expanded further by deploying certain Hegelian resources. My ultimate aim is to show how Western notions of man, soul, God, the sovereign, and the state begin to dissolve when examining the Hindu metaphysical cosmology of the caste system. My thesis and concluding reflections argue that only by destroying that cosmological system of politico-metaphysical inequality can a true democratic notion of the sovereign state emerge in the Indian context. (shrink)

This article draws on several crucial and unpublished manuscripts from the Scholem Archive in exploration of Gershom Scholem's youthful statements on mathematics and its relation to extra-mathematical facts and, more broadly, to a concept of history that would prove to be consequential for Walter Benjamin's own thinking on "messianism" and a "futuristic politics." In context of critiquing the German Youth Movement's subsumption of active life to the nationalistic conditions of the "earth" during the First World War, Scholem turns to mathematics (...) for a genuine and self-consistent theory of action. In the concept of actual infinity (in Cantor and Bolzano) he finds an explanation of how mathematics relates to "the physical" without reducing the former to an "image" of the latter, and without relying on the concept of geometric intuition. This explanation, insofar as it relies on the notion of actual infinity, provides Scholem with a conception of mathematics (and the history of mathematics) that reconciles freedom and necessity—remarks on which he outlines in his diaries and communicates to Benjamin in early March 1916. (shrink)

This article examines the various Liar paradoxes and their near kin, Grelling’s paradox and Gödel’s Incompleteness Theorem with its self-referential Gödel sentence. It finds the family of paradoxes to be generated by circular definition–whether of statements, predicates, or sentences–a manoeuvre that generates pseudo-statements afflicted with the Liar syndrome: semantic vacuity, semantic incoherence, and predicative catalepsy. Such statements, e.g., the self-referential Liar statement, are meaningless, and hence fail to say anything, a point that invalidates the reasoning on which the various (...) paradoxes rest. The seeming plausibility of the paradoxes is due to the fact that often the sentence used to make the pseudo-statement is ambiguous in that it may also be used to make a genuine statement about the pseudo-statement. Hence, if a formal system is to avoid ambiguity and consequent paradox and contradiction, it must distinguish between the two statements the sentence may be used to make. Gödel’s Theorem presents a further complication in that the self-reference involved is sentential rather than statemental. Nevertheless, on the intended interpretation of the system as a formalization of arithmetic, the self-referential Gödel sentence can only be an ambiguous statement, one that is both a pseudo-statement and its genuine double. Consequently, the conclusions commonly drawn from Gödel’s theorem must be deemed unwarranted. Arithmetic might well be formalized in a proper system that either excludes circular definition or introduces disambiguators. (shrink)

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or (...) false, although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

Techne and Truth. The problem of techne in the dispute between Gorgias and Plato -/- The source of the problem matter of the book is the Plato’s dialogue „Gorgias”. One of the main subjects of the discussion carried out in this multi-aspect work is the issue of the art of rhetoric. In the dialogue the contemporary form of the art of rhetoric, represented by Gorgias, Polos and Callicles, is confronted with Plato’s proposal of rhetoric and concept of art (techne). The (...) ingenuous and dramatic structure of the dialogue composed of three acts, in each of which Socrates’ consecutive interlocutors emerge, is difficult to interpret. It seems, however, that even though the first conversation between Socrates and Gorgias constitutes a small part of the dialogue, it forms the foundations for the discussion. This part, dealing with such important issues as the subject of art, knowledge, power and relation between art and good, is the starting point for the conversations which follow. What do the differences between the Gorgias’ and Plato’s concepts of art consist in? Any attempt to answer the question requires presentation of the background for the discussion taking place in Plato’s work as well as the reconstruction of Gorgias’ vision of the art of rhetoric and art in general, defining the relation between art and knowledge. The latter may be undertaken on the basis of two paraphrases of the treatise “On Non-existence”, two epideictic speeches entitled “Helen” and “Palamedes” and some smaller fragments which have been preserved from Gorgias’ creative output. The treatise “On Non–existence”, very paradoxical in its philosophical meaning, testifies to new, sophistic thinking represented by Gorgias of Leontinoi. The treatise is the polemic and attack on Eleatism based on certain principles and methods elaborated by the Eleatics themselves. It also shows that Gorgias – using traditional Eleatic schemes – is opposed to this tradition. Even though the treatise does not discuss the problem of art directly, it anticipates the considerations from epideictic speeches. “Helen” and “Palamedes” constitute further stages in the development of Gorgias’ thought and concept of art combining typically epideictic elements with some philosophical convictions. Gorgias refers to the Eleatic theme considering the issues of truth, knowledge and belief, yet defining them in the empirical spirit. Solutions in the cognitive sphere determine the horizon of Gorgias’ rhetoric. The word is separated from the existence. Human cognition is limited and therefore the word and visual images affect the belief. This promotes the great importance of rhetoric, painting and sculpture, i.e. the areas which influence in a specific way – creating the “delusion” (ἀπάτη). Through idealization art provides pleasure, which is its objective. Therefore the task of art is to create delusion. The rhetor of Leontinoi discusses the issue of “how?” to use the word ‘rhetoric’. Gorgias is aware that rhetoric may be used to talk about what is unknown and that technical correctness of a rhetoric statement is not identical with the truthfulness of the proclaimed message. Mentioning it, Gorgias shows his respect to the truth as a value which should be respected in speech on the one hand, and on the other emphasizes that the truth in itself has no persuasive power. For this reason it is not enough to proclaim the truth, but, to convince the listeners, the orator should possess the skill of speaking. What is then the relation between truth and art emerging from epideictic speeches? Gorgias undoubtedly emphasizes the formal aspect of speech, as rhetoric is art, thus an ability based on certain principles. According to Gorgias, the truth is the value which should be respected in speeches. Rhetoric is able to create a fictive world, as a great range of reality remains outside direct human experience. Rhetoric does not oppose the truth but discussing not only what is directly given concerns the area outside the sphere of direct experience. This concept of rhetoric is the basis of the discussion about art carried out in the dialogue “Gorgias”. Even though the first of the discussions in the dialogue – the conversation between Socrates and Gorgias – is directly concerned with rhetoric itself, numerous remarks testify to its much wider character. This is best exemplified by the way of carrying out the conversation by Socrates, who, asking questions about rhetoric practised by Gorgias, throughout the whole conversation compares it with other skills. Additionally, the manner and the structure of the conversation prove that Plato considers the issue of rhetoric from a wider perspective determined by the issue of art. The specific feature of the conversation is ordering it around main issues – such notions as πρᾶγμα, ἐπιστήμη, δύναμις, each of which has its own meaning in Plato. In the first part of Gorgias Plato presents the principles previously occurring in other dialogues in a certain order, thus constructing the structure of the conversation with Gorgias. The notions are not novum in Plato but the fact that he clearly wants to systematise them and present a certain concept of art is a new and significant aspect. This tendency is of paramount importance for the discussion because Gorgias’ answers are evaluated by Plato from the perspective of this clearly set concept consisting of not only established notions but also certain principles. The discussion between Socrates and Gorgias introduces a theme which is crucial for the dialogue: the relation between art and good, i.e. the technical and ethical spheres. The issue is introduced by Gorgias, who mentions that rhetoric may be used for evil purposes. On this basis Socrates proves that if rhetoricians can use rhetoric for evil purposes, they have no knowledge concerning the subject of their art – justice, because one who knows what is just, always acts justly. Thus the relation between the technical and ethical spheres transpires to be the main point of contention. The question is whether a technician following the principles of the art he practices may act against good. This paradoxical statement based on the well-known Socrates’ principle "nemo sua sponte peccat" acquires philosophical foundations in the dialogue. In its remaining two parts Plato presents a justification, placing the principle within the framework of a certain concept of art, as a result of which not only rhetoric but also many other skills are criticised. The notions on which the conversation with Gorgias focuses are more precisely defined in the subsequent parts of the dialogue. Additionally, Plato presents twice the conditions which art should fulfill. They oblige the “technicians” to know the nature and purpose of the art and to know the causes of undertaken activities and to be able to justify them. These conditions determine the relation between the two spheres – technical and ethical. According to Plato, art may not act against good because it should be the objective of its activities. Certain concepts of good and knowledge outlined in the dialogue are the guarantees of “technicality”. Good, which should be respected by every art, is understood objectively and is contrasted with subjective pleasure. Knowledge, which should be the basis of art, opposes experience, which uses observation and recollection. Additionally, the definition of knowledge, significance of order in the world assuming the form of “geometrical equality”, significance of mathematics becoming the ideal of exactness indicate that Plato’s concept of knowledge is formed in Gorgias. These conclusions render it impossible that the results of any activity deserving the name of art should oppose good. And this is Plato’s main reproach of Gorgias’ concept, who wrote about false speeches possessing the power of conviction because they were written according to the principles proof of art or who defined tragedy as “a deceit, where he who cheats is more just than he who does not and the cheated is wiser than he who was not cheated”. Such determination of the relation between the technical and ethical sphere resulted from Gorgias’ concept of the world and fundamental philosophical principles. The whole concept of art described by Plato in the dialogue opposes the view presented by Gorgias. According to Plato, every technical activity has a defined object (ἔργον), is based on knowledge (ἐπιστήμη) and is always aimed at the good of human soul or body. The danger revealed and presented in the dialogue by Plato exists in the very concept of art presented by Gorgias, i.e. in its empirical foundations and the resulting understanding of the relation between art and good. Gorgias’ concept of art based on empirical cognition, which concerns the world of phenomena and rejects the possibility of perfect knowledge, leads, according to Plato, to a dangerous falsification of the relation between art and good. Plato proves that this weakness of Gorgias’ concept is revealed when confronted with these representatives of “the magnificent art” who are not protected against radicalism by the adherence to the moral tradition. The comparison of two, completely contrasting concepts of art based on different philosophical understanding of knowledge and good is decisive for the criticism of rhetoric in Gorgias. The concept presented by Plato criticises contemporary rhetoric and sophistry but determines the direction of research of the real art of rhetoric. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I (...) argue that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)

Various esoteric traditions apply different modes of expression for the same metaphysical truths. We may name the two most known esoteric languages as ecstatic and scholastic. Early Daoist use of reverse symbolism as for metaphysical truths and its critical way of viewing formalist understanding of traditional teachings, common virtues and popular beliefs show that it applies an ecstatic language, which, being called shaṭḥ in Sufi terminology, has a detailed literature and technical description in Sufism. This article tries, after a short (...) survey of the concept of shaṭḥ in Sufism, to consider some early Daoist teachings such as wuwei, disparagement of moralism, and disparagement of rationality from an Eastern Sufi point of view regarding shaṭḥ to achieve a clearer insight into the gnostic aspects of the tradition, and to avoid certain possible misunderstanding of the teachings. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It is (...) true that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

Confirmation and falsification are different strategies for testing theories and characterizing the outcomes of those tests. Roughly speaking, confirmation is the act of using evidence or reason to verify or certify that a statement is true, definite, or approximately true, whereas falsification is the act of classifying a statement as false in the light of observation reports. After expounding the intellectual history behind confirmation and falsificationism, reaching back to Plato and Aristotle, I survey some of the main controversial (...) issues and arguments that pertain to the choice between these strategies: the Raven Paradox, the Duhem/Quine problem and the Grue Paradox. Finally, I outline an evolutionary criticism of inductive Bayesian approaches based on my assumption of doxastic involuntarism. (shrink)

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or (...) not arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

Can the so-ca\led first incompleteness theorem refer to itself? Many or maybe even all the paradoxes in mathematics are connected with some kind of self-reference. Gбdel built his proof on the ground of self-reference: а statement which claims its unprovabllity. So, he demonstrated that undecidaЬle propositions exist in any enough rich axiomatics (i.e. such one which contains Peano arithmetic in some sense). What about the decidabllity of the very first incompleteness theorem? We can display that it fulfills its conditions. (...) That's why it can Ье applied to itself, proving that it is an undecidaЬle statement. It seems to Ье а too strange kind of proposition: its validity implies its undecidabllity. If the validity of а statement implies its untruth, then it is either untruth (reductio ad absurdum) or an antinomy (if also its negation implies its validity). А theory that contains а contradiction implies any statement. Appearing of а proposition, whose validity implies its undecidabllity, is due to the statement that claims its unprovability. Obviously, it is а proposition of self-referential type. Ву Gбdel's words, it is correlative with Richard's or liar paradox, or even with any other semantic or mathematical one. What is the cost, if а proposition of that special kind is used in а proof? ln our opinion, the price is analogous to «applying» of а contradictory in а theory: any statement turns out to Ье undecidaЬ!e. Ifthe first incompleteness theorem is an undecidaЬ!e theorem, then it is impossiЬle to prove that the very completeness of Peano arithmetic is also an tmdecidaЬle statement (the second incompleteness theorem). Hilbert's program for ап arithmetical self-foundation of matheшatics is partly rehabllitated: only partly, because it is not decidaЬ!e and true, but undecidaЬle; that's wby both it and its negation шау Ье accepted as true, however not siшultaneously true. The first incompleteness theoreш gains the statute of axiom of а very special, semi-philosophical kind: it divides mathematics as whole into two parts: either Godel шathematics or Нilbert matheшatics. Нilbert's program of self-foundation ofmatheшatic is valid only as to the latter. (shrink)

Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. -/- Roughly, iffication is the speech-act in which—by appending a suitable if-clause—the speaker qualifies a previous statement. The clause following if is called the qualiffication. In many cases, the intention is to retract part of the previous statement—called the preiffication. I can retract part of “I will buy three” by appending “if I have money”. This initial study focuses on logical relations among propositional contents of speech-acts—not their full conversational implicatures, which will (...) be treated elsewhere. The modified statement—called the iffication—is never stronger than the preiffication. A degenerate iffication is one logically equivalent to its preiffication. There are limiting cases of degenerate iffications. In one, the qualiffication is tautological, as “I will buy three if three is three”. In another, the negation of the qualiffication implies the preiffication, as “I will buy three if I will not buy three”. Reiffication is iffication of an iffication. “I will buy three if I have money” is reifficated by appending “if there are three left”. Deiffication is the speech-act in which—by appending a suitable and-clause—the effect of an iffication is cancelled so that the result implies the preiffication. “I will buy three if I have money” is deifficated by appending “and I have money”. All further examples come from standard (one-sorted, tenseless, non-modal) first-order arithmetic. All theorems are about first-order arithmetic propositions. An easy theorem, hinted above, is that an iffication is degenerate if and only if the negation of the qualiffication implies the preiffication. The iffication of a conjunction using one of the conjuncts as qualiffication need not imply the other conjunct: “Two is an even square if two is square” does not imply “Two is even”. END OF PRINTED ABSTRACT. -/- Some find that the last statement provides a surprise in logic. https://www.academia.edu/s/a5a4386b75?source=link Acknowledgements: Robert Barnes, William Frank, Amanda Hicks, David Hitchcock, Leonard Jacuzzo, Edward Keenan, Mary Mulhern, Frango Nabrasa, and Roberto Torretti. (shrink)

[Author's note: I am posting this dissertation since it may be of interest to some people working on vagueness and related topics. It does not represent my current views on the topic. I have never attempted to publish any of this work, though I hope some day to return to it.] -/- Philosophers have devoted a lot of attention to vagueness in recent years, but there is still no general consensus about how to resolve the Sorites paradox. Timothy Williamson‘s epistemic (...) view, which claims that our vague terms have unknown sharp boundaries, is the most popular and most controversial current account. No one has shown exactly what is wrong the epistemic view and no one has provided a satisfying alternative to it. These two projects – articulating what is wrong with the epistemic view, and providing a plausible alternative – are the primary goals of this dissertation. -/- Additionally, I survey ordinary intuitions that underlie Sorites paradoxes, and I note how these intuitions inform, and are informed by, a number of deeper philosophical debates in metaphysics, epistemology, philosophy of language, and ethics. In part, this serves as an explanation of why the Sorites paradox has remained so difficult to resolve. -/- The most common objection to the epistemic view – that it provides an unsatisfactory account of the connection between meaning and use – has not been successful in undermining the view. My own objection is a metaphysical, and not a semantic, objection: the epistemic view fails to provide the best explanation of what objects and properties exist. Instead, an eliminativist account of macro-level objects and properties, according to which there are no mountains and there is no property of being lavender-colored, is a better metaphysical account than one that claims that there are mountains and color properties that have sharp boundaries. -/- Of course, this eliminativist view is intuitively unappealing, and to show how statements in ordinary language can in some way be taken to be true, I introduce the normative choice account. According to this view, although non-normative facts about linguistic behavior and about the external world do not determine a precise reference for our terms, our choices may do so. I claim that this provides all that is needed for there to be semantic normativity. First, we are still guided in our choices to some extent by psychological tendencies, and second, there are resources in semantic deliberation to respond to aberrant uses of language. (shrink)

Postmodernists claim that there is no truth. However, the statement 'there is no truth ' is self -contradictory. This essay shows the following: One cannot state the idea 'there is no truth ' universally without creating a paradox. In contrast, the statement 'there is truth ' does not produce such a paradox. Therefore, it is more logical that truth exists.

This article concerns the psychology of the paradoxical Two Envelope Problem. The goal is to find instructive variants of the envelope switching problem that are capable of clear-cut resolution, while still retaining paradoxical features. By relocating the original problem into different contexts involving commutes and playing cards the reader is presented with a succession of resolved paradoxes that reduce the confusion arising from the parent paradox. The goal is to reduce confusion by understanding how we sometimes misread mathematical (...) statements; or, to completely avoid confusion, either by reforming language, or adopting an unambiguous notation for switching problems. This article also suggests that an illusion close in character to the figure/ground illusion hampers our understanding of switching problems in general and helps account for the intense confusion that switching problems sometimes generate. (shrink)

Jan Łukasiewicz, a prominent Polish logician and philosopher, dealt with the scientific analysis of the concept of cause using logic. He wanted first and foremost to construct a definition, which reconciles the irreversibility of causal relationship to the exclusion of time sequence. In this article, I show that his attempts led to many contradictions, paradoxes and inconsistencies between Łukasiewicz’s definitions and commonly recognized examples of causality, even those given by the author himself. First, I present the semantic and formal aspects (...) of the definition proposed by him, and then I analyze examples, most of them proposed by the author. The main charges against his concept of causality are: the ambiguity of the concept of necessity; exclusion “for reasons of terminological” some causal phenomena from the range specified by the definition; paradoxes such as: the existence of the world is the cause of the existence of God; baseless demand, different subjects, and different features for cause and effect; disregard of the defnitive difference between post hoc and propter hoc; unjustified requirement of affirmative statements expressing a possession of attributes. The critique presented in this article is incomplete, but its function is to indicate both the value of logical analysis of philosophical concepts, and the dificulties of which such an analysis can entangle. Such an analysis can sometimes complete the process of defining certain concepts, but more often it provides an opportunity for further discussion and a better overall understanding. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates the (...) epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain assertions (...) are updates on a belief component. Proper names – regular, empty, or fictional – are uniformly analyzed as presupposition triggers. The possibility of different attitude components referentially depending on each other is what ultimately allows us to account for the central paradox mentioned above. (shrink)

1. The two argue: person "A" supports, person "B" refuses evolution... The truth (what is truer) is closer to reality than untruth: the truth improves adaptation 2. If evolution is universally true (anytime), person "A" better adapts to environment, so he gains over person "B" (=natural selection) 3. Statement "evolution is true" is motivated by the 'evolutionary' advantage, so it is biased Summary: Evolution is true, if it is untrue (when it can be unbiased) Exhibited in Holland Park, W8 (...) 6LU, The Ice House between 18. Oct - 3. Nov. 2013. (shrink)

A dialogue among statements that try to explain to each other the mechanisms and peculiarities of self-referential assertions and, particularly, of their context-dependence.

Our aim is to propose a non-referential semantics for the principle of logical charity: neither logical universalism (one logic, one way of thinking), nor logical relativism (several logics, several ways of thinking) afford an adequate conceptual framework to interpret the meaning of any speech act. But neither of them is totally wrong, either. The point is to know to which extent each of these views is partly right, thus leading to a more consensual but paradoxical-sounding "relative principle of charity". (...) After recalling the theoretical background of logical charity, we suggest a four-valued logic of acceptance and rejection (hereafter: AR4); then we explain how such a non-referential semantics does justice both to the champions of logical charity and its opponents. While endorsing coherence as a precondition for rationality, we argue that such a criterion does not entail that classical logic is a necessary conceptual scheme to interpret the others' beliefs. A better application of charity should take account of the questions implicitly asked by a statement, and we bring these questions out in replacing Quine's truth-functions by Quine’s verdict functions while emphasizing upon their varying degrees of strength. (shrink)

I outline and provide a solution to some paradoxes of ground.

I argue that the main theme of the Zhuangzi is that of spiritual transformation. If there is no such theme in the Zhuangzi, it becomes an obscure text with relativistic viewpoints contradicting statements and stories designed to lead the reader to a state of spiritual transformation. I propose to reveal the coherence of the deep structure of the text by clearly dividing relativistic statements designed to break down fixed viewpoints from statements, anecdotes, paradoxes and metaphors designed to lead the reader (...) to a state of spiritual transformation. Without such an analysis, its profound stories such as the butterfly dream and the Great Sage dream will blatantly contradict each other and leave us bereft of the wisdom they presage. Unlike the great works of poetic and philosophic wisdom such as the Dao de Jing and the Symposium, the Zhuangzi will be reduced to a virtually unintelligible, lengthy, disjointed literary ditty, a potpourri of paradoxical puzzles, puns and parables, obscure philosophical conundrums, monstrous interlocutors and historical personages used as mouthpieces authoritatively arguing on behalf of viewpoints humorously opposite to what they historically held. (shrink)

The title of Hare’s book refers to the gap between the demand that morality places on us and our natural capacity to live by it. Such a gap is paradoxical if we accept the “‘ought’ implies ‘can”’ principle. The solution, Hare argues, is that the gap is filled by the Christian God. So we ought to be moral and can do so—with divine assistance. Hare’s statement and defense of the existence of the gap combines a rigorously Kantian notion (...) of the moral demand with a rigorously Calvinist notion of human depravity. As such, many readers will find the gap exaggerated, but most people will admit that there is some sort of gap here to be faced, and any gap at all is a problem. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

This article aims to establish an understanding of Merleau-Ponty’s view of creative expression, and of its phenomenological function, setting out from the intriguing statement in his essay “Cézanne’s Doubt” that the painter (or writer or philosopher) finds himself in the situation of the first human being trying to express herself. Although the importance of primary or creative expression in Merleau-Ponty’s philosophy is well known, there is no consensus among commentators with respect to how this notion is to be understood, (...) and of its apparently paradoxical relation to experience in his philosophy. On the one hand, Merleau-Ponty seems to presuppose that there is an original meaning pre-given in experience; on the other hand, expression is described as a hazardous enterprise, because the meaning to be expressed does not exist before expression has succeeded. In order to resolve this tension, I explore the significance of the precariousness of creative expression, arguing that it must be related to its other side: the constituted, all too often petrified meaning that we must start out from. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

This essay offers an examination of Agamben's statement that there is an important ambiguity in Aristotle's Metaphysics Theta as to whether actuality or potentiality is primary. I argue that this ambiguity is significant because it exposes the ontological dimension of Agamben's paradox of sovereignty.

This article proposes a phenomenological interpretation of nostalgia for communism, a collective feeling expressed typically in most Eastern European countries after the official fall of the communist regimes. While nostalgia for communism may seem like a paradoxical feeling, a sort of Stockholm syndrome at a collective level, this article proposes a different angle of interpretation: nostalgia for communism has nothing to do with communism as such, it is not essentially a political statement, nor the signal of a deep (...) value tension between governance and the people. Rather, I propose to understand this collective feeling as the symptom of a deeper need at a national level for solidarity and ultimately about recapturing a common feeling of identity in solidarity. This hypothesis would be in line with a phenomenological approach to memory as a process of establishing shared codes by rewriting the past in such a way as to strengthen social bonds and make possible a reimagining of a common future. Nostalgia for communism does not need to be ultimately an uncritical stance as it has been depicted, instead one could interpret it as a form of critical reflexion about our current forms of life. Instead of seeing communism nostalgia as a specific form of being stuck in the past, one could explore its potential for pointing at the things that are still not working in the current neo-liberal regime. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “syllogism” (...) in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

The basic axioms or formal conditions of decision theory, especially the ordering condition put on preferences and the axioms underlying the expected utility formula, are subject to a number of counter-examples, some of which can be endowed with normative value and thus fall within the ambit of a philosophical reflection on practical rationality. Against such counter-examples, a defensive strategy has been developed which consists in redescribing the outcomes of the available options in such a way that the threatened axioms or (...) conditions continue to hold. We examine how this strategy performs in three major cases: Sen's counterexamples to the binariness property of preferences, the Allais paradox of EU theory under risk, and the Ellsberg paradox of EU theory under uncertainty. We find that the strategy typically proves to be lacking in several major respects, suffering from logical triviality, incompleteness, and theoretical insularity. To give the strategy more structure, philosophers have developed “principles of individuation”; but we observe that these do not address the aforementioned defects. Instead, we propose the method of checking whether the strategy can overcome its typical defects once it is given a proper theoretical expansion. We find that the strategy passes the test imperfectly in Sen's case and not at all in Allais's. In Ellsberg's case, however, it comes close to meeting our requirement. But even the analysis of this more promising application suggests that the strategy ought to address the decision problem as a whole, rather than just the outcomes, and that it should extend its revision process to the very statements it is meant to protect. Thus, by and large, the same cautionary tale against redescription practices runs through the analysis of all three cases. A more general lesson, simply put, is that there is no easy way out from the paradoxes of decision theory. (shrink)

It is well known in contemporary Madhyamaka studies that the seventh century Indian philosopher Candrakīrti rejects the foundationalist Abhidharma epistemology. The question that is still open to debate is: Does Candrakīrti offer any alternative Madhyamaka epistemology? One possible way of addressing this question is to find out what Candrakīrti says about the nature of buddha’s epistemic processes. We know that Candrakīrti has made some puzzling remarks on that score. On the one hand, he claims buddha is the pramāṇabhūta-puruṣa (person of (...) epistemic and moral authority), sarvākārajñatājñānaṃ (omniscient, wise), pratyakṣalakṣaṇam (exclusively perceptual in characteristic) [Candrakīrti (MABh VI.214)], and claims that there are clearly four pramāṇas—epistemic warrants—direct perception (pratyakṣa), inference (anumāna), testimony (āgama) and analogy (upamāna) [Candrakīrti (Pp I.3), cf. MacDonald 2015, pp. 287–288]. On the other hand, somewhat paradoxically, Candrakīrti claims that buddhahood is an embodiment of a complete cessation of “mind and mental processes” [Candrakīrti (MABh XI.1, 155a; MAB XI.17d)] Now how are we to make sense of these two seemingly contradictory statements? Do these statements reflect any deeper conflicts within Candrakīrti’s system or is there a coherent way to interpret these statements? The Tibetan Prāsaṅgika interpreters of Candrakīrti’s Madhyamaka largely agree that there is no internal contradiction in Candrakīrti’s system, and agree there is a way to make coherent sense of these statements. Nevertheless, the Tibetans exegetes bring to the table two radically conflicting proposals to approach Candrakīrti’s Mādhyamaka; both claiming to successfully address the apparent tension arising from Candrakīrti’s statements. One proposal is made by Tsongkhapa Losang Dakpa (Tsong kha pa bLo bzang grags pa, 1357–1419), who maintains the tension can be plausibly resolved by demonstrating that Candrakīrti’s unique non-foundationalist epistemological program renders him an epistemological coherentist. In contrast Taktsang Lotsawa Sherap Rinchen (sTag tshang Lo tsā ba Shes rab rin chen, 1405–1477) argues that according to Candrakīrti buddha is a global agnostic, on the ground of the nonexistence of mind and mental processes for those who have attained fully awakening. Taktsang instead proposes the no-mind thesis as a more plausible way to resolve the tension in Candrakīrti’s philosophy, categorically refusing to attribute to buddha any cognitive processes and epistemic warrants. This paper is an analysis of Taktsang’s no-mind thesis—the claim that buddhas utterly lack any knowledge of the world because they do not have epistemic processes and warrants to perceive the world—in what follows a rational reconstruction of his arguments is developed in order to evaluate his thesis. We shall then assess the implications of accepting Taktsang’s no-mind thesis. (shrink)