ABSTRACT Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.

Many science teachers are presented with the challenge of characterizing science as a dynamic, human endeavour. Perspectivism, as a hermeneutic philosophy of science, has the potential to be a learning tool for teachers as they elucidate the complex nature of science. Developed earlier by Nietzsche and others, perspectivism has recently re-emerged in the context of the philosophy of science in the work of Ronald Giere. Giere presents a compelling case that scientific theories and scientific observation are perspectival by using science (...) itself. There are many tangible examples already present in science textbooks which, when approached in a certain way, offer an exciting opportunity for a realistic incorporation of philosophy of science into the classroom. Furthermore, introducing perspectivism to students necessitates an engagement with notions such as truth, reality, perception and experimentation, through a familiar medium, while painting a nuanced conception of the nature of science. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical mathematician (...) Georg Cantor (1845-1918) says that between the realm of the finite and the absolute infinite, there is an intermediate realm partaking in properties in a certain sense of both the finite and the infinite: the transfinite realm. Like the finite, the transfinite realm is a realm of mathematical objects, numbers, and knowledge. Like the absolute infinite, the transfinite is a form of infinity insofar as transfinite sets and numbers transcend any finite number. Echoing Cusanus and neo-Platonism, Cantor says that the transfinite sequence of all ordinals is a symbol of the absolutely infinite, that is, God. Moreover, Cantor envisioned his transfinite set theory (Mengenlehre) as providing the analytical methods and techniques necessary for a comprehensive, organic, non-reductive description of nature, a Naturphilosophie. Thus Cantor’s novel mathematics is presented as part of a long tradition, to which Cusanus, Bruno, Spinoza, Leibniz and others belong, in which the infinity and infinite character of organic life forms is appreciated, and is in some sense a mirror or symbol of the divine. The doctrine of symbolism and their different approach to the laws of logic present in both the work of Cusanus and Cantor enables these thinkers to articulate a transcendental apophatic approach to divinity. (shrink)

In 1964 José Benardete invented the “New Zeno Paradox” about an infinity of gods trying to prevent a traveller from reaching his destination. In this paper it is argued, contra Priest and Yablo, that the paradox must be resolved by rejecting the possibility of actual infinity. Further, it is shown that this paradox has the same logical form as Yablo’s Paradox. It is suggested that constructivism can serve as the basis of a common solution to New Zeno and the paradoxes (...) of truth, and a constructivist interpretation of Kripke’s theory of truth is given. (shrink)

On investigating a theorem that Russell used in discussing paradoxes of classes, Graham Priest distills a schema and then extends it to form an Inclosure Schema, which he argues is the common structure underlying both class-theoretical paradoxes (such as that of Russell, Cantor, Burali-Forti) and the paradoxes of ?definability? (offered by Richard, König-Dixon and Berry). This article shows that Russell's theorem is not Priest's schema and questions the application of Priest's Inclosure Schema to the paradoxes of ?definability?.1 1?Special thanks to (...) Francesco Orilia for criticisms of an early draft of this article. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Graham Priest 2002 argues that all logical paradoxes that include set-theoretic paradoxes and semantic paradoxes share a common structure, the Inclosure Schema, so they should be treated as one family. Through a discussion of Berry's Paradox and the semantic notion ?definable?, I argue that (i) the Inclosure Schema is not fine-grained enough to capture the essential features of semantic paradoxes, and (ii) the traditional separation of the two groups of logical paradoxes should be retained.

Lately, philosophers of mathematics have been exploring the notion of mathematical explanation within mathematics. This project is supposed to be analogous to the search for the correct analysis of scientific explanation. I argue here that given the way philosophers have been using “ explanation,” the term is not applicable to mathematics as it is in science.

For scientific essentialists, the only logical possibilities of existence are the real (or metaphysical) ones, and such possibilities, they say, are relative to worlds. They are not a priori, and they cannot just be invented. Rather, they are discoverable only by the a posteriori methods of science. There are, however, many philosophers who think that real possibilities are knowable a priori, or that they can just be invented. Marc Lange [Lange 2004] thinks that they can be invented, and tries to (...) use his inventions to argue that the essentialist theory of counterfactual conditionals developed in Scientific Essentialism [Ellis 2001, hereafter SE ] is flawed. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

I argue that dialetheists have a problem with the concept of logical consequence. The upshot of this problem is that dialetheists must appeal to a hierarchy of concepts of logical consequence. Since this hierarchy is akin to those invoked by more orthodox resolutions of the semantic paradoxes, its emergence would appear to seriously undermine the dialetheic treatments of these paradoxes. And since these are central to the case for dialetheism, this would represent a significant blow to the position itself.

Recent discussions in cognitive science and the philosophy of mind have defended a theory according to which we live in a virtual world akin to a computer simulation, generated by our brain. It is argued that our brain creates a model world from a variety of stimuli; this model is perceived as if it was external and perception-independent, even though it is neither of the two. The view of the mind, brain, and world, entailed by this theory has some peculiar (...) consequences which have rarely been explored in detail. This paper sets out virtual world theory and relates it to various central philosophical problems, the role of the perceiver and the problem of the existence of the external world ). The second part suggests three interpretations of virtual world theory, two familiar ones and a somewhat less familiar one. The remainder of the paper argues that the irrealist interpretation is the one we should adopt. (shrink)

In a recent article, Emil Badici contends that the inclosure schema substantially fails as an analysis of the paradoxes of self-reference because it is question-begging. The main purpose of this note is to show that Badici's critique highlights a necessity condition for the success of dialectic about paradoxes. The inclosure argument respects this condition and remains solvent.

This essay re-examines Kierkegaard's view of Socrates. I consider the problem that arises from Kierkegaard's appeal to Socrates as an exemplar for irony. The problem is that he also appears to think that, as an exemplar for irony, Socrates cannot be represented. And part of the problem is the paradox of self-reference that immediately arises from trying to represent x as unrepresentable. On the solution I propose, Kierkegaard does not hold that, as an exemplar for irony, Socrates is in no (...) way representable. Rather, he holds that, as an exemplar for irony, Socrates cannot be represented in a purely disinterested way. I show how, in The Concept of Irony, Kierkegaard makes use of 'limiting cases' of representation in order to bring Socrates into view as one who defies purely disinterested representation. I also show how this approach to Socrates connects up with Kierkegaard's more general interest in the problem of ethical exemplarity, where the problem is how ethical exemplars can be given as such, that is, in such a way that purely disinterested contemplation is not the appropriate response to them. (shrink)

This essay offers an account of Kierkegaard’s view of the limits of thought and of what makes this view distinctive. With primary reference to Philosophical Fragments, and its putative representation of Christianity as unthinkable, I situate Kierkegaard’s engagement with the problem of the limits of thought, especially with respect to the views of Kant and Hegel. I argue that Kierkegaard builds in this regard on Hegel’s critique of Kant but that, against Hegel, he develops a radical distinction between two types (...) of thinking and inquiry: the ‘aesthetic-intellectual’ and the ‘ethico-religious’. I clarify this distinction and show how it guides Kierkegaard’s conception of a form of philosophical practice that involves drawing limits to the proper sphere of disinterested contemplation. With reference to two rival interpretations of Kierkegaard’s approach to the limits of thought—which I call ‘bullet-biting’ and ‘relativizing’—I further show how my ‘disambiguating’ account can better explain how, and why, his work courts a form of self-referential incoherence, in which it appears that certain limits of thought are at once affirmed and violated. (shrink)

Nanda's irresponsible book carelessly prescribes for the U.S a return to Cold-War science politics; and for India, nothing less than a cultural revolution which would install science as the arbiter. She sees this as smashing the backwards looking metaphysics of Hindu thought. I argue that her iconoclasm carries with it a purist fetishism deriving from science's denied metaphysics. The metaphysics embedded in Nanda's secularist critique is no more innocent than that she wishes to smash, yet being denied is more tricky (...) to deal with. I claim Nanda's book is irresponsible both in the context of India's contesting social imaginaries, but also in the USA where she seeks to intervene in the so-called science wars. Taking seriously the neo-Buddhist Dalit resistance waged by those occupying the lowest rungs of the Hindu caste system, as Nanda prescribes, requires a refusal of metaphysics and positivist thought generally. Being unaware of the metaphysical ladeness of her critique, the ontological move that is necessary to achieve a shift to generative mode of thought that characterises Dalit Buddhism is invisible to Nanda. (shrink)

Religious believers react in one of four ways to apparent contradictions among their beliefs: Redirection, Resistance, Restraint, or Resolution. This paper evaluates positive mysterian Resistance, the view that believers may rationally believe and know apparently contradictory religious doctrines. After locating this theory by comparing and contrasting it with others, I explore the best developed version of it, that of James Anderson’s Paradox in Christian Theology. I argue that it faces steep epistemic problems, and is at best a temporarily reasonable but (...) ultimately unsustainable stance. (shrink)

The book begins with a reconstruction of Aristotle's syllogistic as viewed by some of the well-known logicians of the thirteenth and fourteenth centuries, that is, as expanded to include singular p...

The starting point of this paper is a claim defended most famously by Graham Priest: that given certain observed similarities between the set-theoretic and the semantic paradoxes, we should be looking for a ‘uniform solution’ to the members of both families. Despite its indisputable surface attractiveness, I argue that this claim hinges on a problematic reasoning move. This is seen most clearly, I suggest, when the claim and its underlying assumptions are examined by the lights of a novel, quite general (...) and, I contend, promising take on inter-theoretic analogy. The ensuing discussion is intended to serve as both a possible case study and a first step towards the broader aim of the paper: namely, to initiate a wider conversation on the methodology of paradox-solving on the one hand, and the use of inter-theoretic analogies on the other. (shrink)

The paper is concerned with the development of the paradoxical theme of Daoism. Based on Chad Hansen's interpretation of Daoism and Chinese philosophy in general, it traces the history of Daoism by following their treatment of the limit of language. The Daoists seem to have noticed that there is a limit to what language can do and that the limit of language is paradoxical. The 'theoretical' treatment of the paradox of the limit of language matures as Daoism develops. Yet the (...) Daoists seem to have noticed that the limit of language and its paradoxical nature cannot be overcome. At the end, we are left with the paradoxes of the Daoists. In this paper, we jump into the abyss of the Daoists' paradoxes from which there is no escape. But the Daoists' paradoxes are fun! (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...) close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) to assent to it. I argue that, on the most natural understanding of the notion of assent when it is applied to sentences of formal mathematical languages, Williamson’s argument fails. Formal analyticity is the notion of analyticity that is based on this natural understanding of assent. I go on to develop the notion of formal analyticity and defend the claim that there are formally analytic sentences and rules of inference. I conclude by showing the potential payoffs of recognizing formal analyticity. (shrink)

Hegel’s distinction between the bad and true infinites has provoked contrasting reactions in the works of Alain Badiou and Graham Priest. Badiou claims that Hegel illegitimately attempts to impose a distinction that is only relevant to the qualitative realm onto the quantitative realm. He suggests that Cantor’s mathematical account of infinite multiplicities that are determinate and actual remains an endlessly proliferating bad infinite when placed within Hegel’s faulty schema. In contrast, Priest affirms the Hegelian true infinite, claiming that Cantor’s formal (...) mechanisms of boundary transcendence, such as ‘diagonalization’, are implicit in Hegel’s dialectic. While arguing that a clear dividing line can be drawn here between these two interpretations of the relationship between Hegel and Cantor, this paper also mounts a defence of the Hegelian true infinite by developing Priest’s suggestion that Cantorian diagonalizing functions are prefigured by Hegel’s dialectical overcoming of limits. (shrink)

The authors consider a recurring objection to fictional realism, the view that fictional characters are objects. The authors call this the counting objection. Russell presses a version of the objection against Meinong’s view. Everett presses a version of the objection against contemporary fictional realist views, as do Nolan and Sandgren. As the authors see it, the objection assumes that the fictional realist must provide criteria of identity for fictional characters, so its force depends on the plausibility of that assumption. Rather (...) than coming up with such criteria, a fictional realist might argue that the demand is misplaced. (shrink)

We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.

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)

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 concept of Nothingness—Japanese mu or Chinese wú 無—is central both to the Kyoto School and to important strands of Chinese philosophy. The Kyoto School, which has been active since the 1930s, is arguably modern Japan’s most philosophically sophisticated challenge to Western thought. Further, as contemporary East Asia continues to rise in importance, East Asians and Westerners alike are beginning to consider anew the contemporary philosophical relevance of Confucianism, Daoism, and East-Asian Buddhism. These originally Chinese traditions were certainly important influences (...) directly and indirectly on Kyoto School philosophy itself. At the very least, Kyoto thought and Chinese thought share foundational structural resemblances, especially regarding the concept of Nothingness. This study summarizes the concept of Nothingness in the Kyoto School and in Chinese philosophy, and then offers an evaluation of the contemporary relevance and general coherence of this concept. (shrink)

The article looks at the structure of impossible worlds, and their deployment in the analysis of some intentional notions. In particular, it is argued that one can, in fact, conceive anything, whether or not it is impossible. Thus a semantics of conceivability requires impossible worlds.

After indicating why this is needed, the paper proves a non-triviality result for paraconsistent theory containing arithmetic, naive truth and denotation predicates, and descriptions. The result is obtained by dualising a construction of Kroon. Its most notable feature is that there is a trivial object- one that has every property.

In ?Definability and the Structure of Logical Paradoxes? (Australasian Journal of Philosophy, this issue) Haixia Zhong takes issue with an account of the paradoxes of self-reference to be found in Beyond the Limits of Thought [Priest 1995. The point of this note is to explain why the critique does not succeed. The criterion for distinguishing between the set-theoretic and the semantic paradoxes offered does not get the division right; the semantic paradoxes are not given a uniform solution; no reason is (...) provided as to why the naïve denotation relation is ?indefinite? (other than that its definiteness leads to contradiction); and the account of the denotation relation given clearly misses the mark, even by consistent standards. (shrink)

Badici [2008] criticizes views of Priest [2002] concerning the Inclosure Schema and the paradoxes of self-reference. This article explains why his criticisms are to be rejected.

The Analytic Tradition in Philosophy is an excellent successor to an excellent book : It is a fine an example of the necromantic style in the history of philosophy where the object of the exercise is to resurrect the mighty dead in order to get into an argument with them, either because we think them importantly right or instructively wrong. However what was a pardonable a simplification and a reasonable omission in the earlier book has now metamorphosed into a sin (...) of omission and an oversimplification in its successor—the book lacks is an adequate discussion of the Ramified Theory of Types and Russell’s reasons for adopting it. I conclude with a brief meditation on Open Question Arguments and the threats that they pose to some of the analyses proposed by Russell and Moore themselves. (shrink)

It is commonly assumed that classical logic is the embodiment of a realist ontology. In “Sets and Semantics”, however, Jonathan Lear challenged this assumption in the particular case of set theory, arguing that even if one is a set-theoretic Platonist, due attention to a special feature of set theory leads to the conclusion that the correct logic for it is intuitionistic. The feature of set theory Lear appeals to is the open-endedness of the concept of set. This article advances reasons (...) internal to Lear’s account to show that his argument for intuitionistic set theory is unsuccessful. (shrink)

I discuss two critiques of Dignāga’s epistemology, one from Candrakīrti and another from Jayarāśi. I argue that they are two versions of what I call the core problem: if the content of Dignāga’s epistemology were correct, two fundamental beliefs within this epistemological theory could not be established or known to be true, as Dignāga claims they are. In response to objections found within the classical Indian tradition as well as several plausible contemporary objections, I then argue that the core problem (...) remains a serious issue with which those sympathetic to Dignāga ought to contend. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

I show that it is not possible to uniquely characterize classical logic when working within classical set theory. By building on recent work by Eduardo Barrio, Federico Pailos, and Damian Szmuc, I show that for every inferential level (finite and transfinite), either classical logic is not unique at that level or there exist intuitively valid inferences of that level that are not definable in modern classical set theory. The classical logician is thereby faced with a three-horned dilemma: Give up uniqueness (...) but preserve characterizability, give up characterizability and preserve uniqueness, or (potentially) preserve both but give up modern classical set theory. After proving the main result, I briefly explore this third option by developing an account of classical logic within a paraconsistent set theory. This account of classical logic ensures unique characterizability in some sense, but the non-classical set theory also produces highly non-classical meta-results about classical logic. (shrink)

This paper sets out three programmes that attempt to use relevant logic as the basis for a philosophy of mathematics. Although these three programmes do not exhaust the possible approaches to mathematics through relevant logic, they are fairly representative of the current state of the field. The three programmes are compared and their relative strengths and weaknesses set out. At the end of the paper I examine the consequences of adopting each programme for the realist debate about mathematical objects.

(No abstract is available for this citation).