This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the (...) structures (W,~) come along with naturally defined maps h and s that define a Galois connection on the power set PW of W. These maps can be used to define two distinct boundary operators bd and BD on W. The main theorem of the paper states that higher-order vagueness with respect to bd collapses to second-order vagueness. This does not hold for BD, the iterations of which behave in quite an erratic way. In contrast, the operator bd defines a variety of tolerance principles that do not fall prey to the sorites paradox and, moreover, do not always satisfy the principles of positive and negative introspection. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory (...) of topology. Second, Rumfitt’s recent topological reconstruction of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

According to columnar higher-order vagueness, all orders of vagueness coincide: any borderline case is a borderline borderline case, and a third-order borderline case, etc. Bobzien has worked out many details of such a theory and models it with a modal logic closely related to S4. I take up a range of questions about the framework and argue that it is not suitable for modelling the structure of vagueness and higher-order vagueness.

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensional semantics, and (...) the system we call Centered semantics. We then propose a semantics of degrees of clarity, inspired from the signal detection theory model, and outline a view of higher-order vagueness in which the notions of subjective clarity and unclarity are handled asymmetrically at higher orders, namely such that the clarity of clarity is compatible with the unclarity of unclarity. (shrink)

The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative (...) cases. These explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio, it does not fare substantially better with respect to immunity to any form of sorites paradox. (shrink)

Stewart Shapiro's aim in Vagueness in Context is to develop both a philosophical and a formal, model-theoretic account of the meaning, function, and logic of vague terms in an idealized version of a natural language like English. It is a commonplace that the extensions of vague terms vary with such contextual factors as the comparison class and paradigm cases. A person can be tall with respect to male accountants and not tall with respect to professional basketball players. The main (...) feature of Shapiro's account is that the extensions of vague terms also vary in the course of a conversation, even after the external contextual features, such as the comparison class, are fixed. A central thesis is that in some cases, a competent speaker of the language can go either way in the borderline area of a vague predicate without sinning against the meaning of the words and the non-linguistic facts. Shapiro calls this open texture, borrowing the term from Friedrich Waismann.The formal model theory has a similar structure to the supervaluationist approach, employing the notion of a sharpening of a base interpretation. In line with the philosophical account, however, the notion of super-truth does not play a central role in the development of validity. The ultimate goal of the technical aspects of the work is to delimit a plausible notion of logical consequence, and to explore what happens with the sorites paradox.Later chapters deal with what passes for higher-order vagueness - vagueness in the notions of 'determinacy' and 'borderline' - and with vague singular terms, or objects. In each case, the philosophical picture is developed by extending and modifying the original account. This is followed with modifications to the model theory and the central meta-theorems.As Shapiro sees it, vagueness is a linguistic phenomenon, due to the kinds of languages that humans speak. But vagueness is also due to the world we find ourselves in, as we try to communicate features of it to each other. Vagueness is also due to the kinds of beings we are. There is no need to blame the phenomenon on any one of those aspects. (shrink)

This book represents the fourth volume in the series Collected Papers on Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. This volume specifically delves into the concept of the HyperUncertain Set, building on the foundational advancements introduced in previous volumes. The series aims to explore the ongoing evolution of uncertain combinatorics through innovative methodologies such as graphization, hyperization, and uncertainization. These approaches integrate and extend core concepts from fuzzy, neutrosophic, soft, and rough set theories, (...) providing robust frameworks to model and analyze the inherent complexity of real-world uncertainties. At the heart of this series lies combinatorics and set theory—cornerstones of mathematics that address the study of counting, arrangements, and the relationships between collections under defined rules. Traditionally, combinatorics has excelled in solving problems involving uncertainty, while advancements in set theory have expanded its scope to include powerful constructs like fuzzy and neutrosophic sets. These advanced sets bring new dimensions to uncertainty modeling by capturing not just binary truth but also indeterminacy and falsity. In this fourth volume, the integration of set theory with graph theory takes center stage, culminating in "graphized" structures such as hypergraphs and superhypergraphs. These structures, paired with innovations like Neutrosophic Oversets, Undersets, Offsets, and the Nonstandard Real Set, extend the boundaries of mathematical abstraction. This fusion of combinatorics, graph theory, and uncertain set theory creates a rich foundation for addressing the multidimensional and hierarchical uncertainties prevalent in both theoretical and applied domains. The book is structured into thirteen chapters, each contributing unique perspectives and advancements in the realm of HyperUncertain Sets and their related frameworks. -/- The first chapter (Advancing Traditional Set Theory with Hyperfuzzy, Hyperneutrosophic, and Hyperplithogenic Sets) explores the evolution of classical set theory to better address the complexity and ambiguity of real-world phenomena. By introducing hierarchical structures like hyperstructures and superhyperstructures—created through iterative applications of power sets—it lays the groundwork for more abstract and adaptable mathematical tools. The focus is on extending three foundational frameworks: Fuzzy Sets, Neutrosophic Sets, and Plithogenic Sets into their hyperforms: Hyperfuzzy Sets, Hyperneutrosophic Sets, and Hyperplithogenic Sets. These advanced concepts are applied across diverse fields such as statistics, clustering, evolutionary theory, topology, decision-making, probability, and language theory. The goal is to provide a robust platform for future research in this expanding area of study. The second chapter (Applications and Mathematical Properties of Hyperneutrosophic and SuperHyperneutrosophic Sets) extends the work on Hyperfuzzy, Hyperneutrosophic, and Hyperplithogenic Sets by delving into their advanced applications and mathematical foundations. Building on prior research, it specifically examines Hyperneutrosophic and SuperHyperneutrosophic Sets, exploring their integration into: Neutrosophic Logic, Cognitive Maps,Graph Neural Networks, Classifiers, and Triplet Groups. The chapter also investigates their mathematical properties and applicability in addressing uncertainties and complexities inherent in various domains. These insights aim to inspire innovative uses of hypergeneralized sets in modern theoretical and applied research. The third chapter (New Extensions of Hyperneutrosophic Sets – Bipolar, Pythagorean, Double-Valued, and Interval-Valued Sets) studies advanced variations of Neutrosophic Sets, a mathematical framework defined by three membership functions: truth (T), indeterminacy (I), and falsity (F). By leveraging the concepts of Hyperneutrosophic and SuperHyperneutrosophic Sets, the study extends: Bipolar Neutrosophic Sets, Interval-Valued Neutrosophic Sets, Pythagorean Neutrosophic Sets, and Double-Valued Neutrosophic Sets. These extensions address increasingly complex scenarios, and a brief analysis is provided to explore their potential applications and mathematical underpinnings. Building on prior research, the fourth chapter (Hyperneutrosophic Extensions of Complex, Single-Valued Triangular, Fermatean, and Linguistic Sets) expands on Neutrosophic Set theory by incorporating recent advancements in Hyperneutrosophic and SuperHyperneutrosophic Sets. The study focuses on extending: Complex Neutrosophic Sets, Single-Valued Triangular Neutrosophic Sets, Fermatean Neutrosophic Sets, and Linguistic Neutrosophic Sets. The analysis highlights the mathematical structures of these hyperextensions and explores their connections with existing set-theoretic concepts, offering new insights into managing uncertainty in multidimensional challenges. The fifth chapter (Advanced Extensions of Hyperneutrosophic Sets – Dynamic, Quadripartitioned, Pentapartitioned, Heptapartitioned, and m-Polar) delves deeper into the evolution of Neutrosophic Sets by exploring advanced frameworks designed for even more intricate applications. New extensions include: Dynamic Neutrosophic Sets, Quadripartitioned Neutrosophic Sets, Pentapartitioned Neutrosophic Sets, Heptapartitioned Neutrosophic Sets, and m-Polar Neutrosophic Sets. These developments build upon foundational research and aim to provide robust tools for addressing multidimensional and highly nuanced problems. The sixth chapter (Advanced Extensions of Hyperneutrosophic Sets – Cubic, Trapezoidal, q-Rung Orthopair, Overset, Underset, and Offset) builds upon the Neutrosophic framework, which employs truth (T), indeterminacy (I), and falsity (F) to address uncertainty. Leveraging advancements in Hyperneutrosophic and SuperHyperneutrosophic Sets, the study extends: Cubic Neutrosophic Sets, Trapezoidal Neutrosophic Sets, q-Rung Orthopair Neutrosophic Sets, Neutrosophic Oversets, Neutrosophic Undersets, and Neutrosophic Offsets. The chapter provides a brief analysis of these new set types, exploring their properties and potential applications in solving multidimensional problems. The seventh chapter (Specialized Classes of Hyperneutrosophic Sets – Support, Paraconsistent, and Faillibilist Sets) delves into unique classes of Neutrosophic Sets extended through Hyperneutrosophic and SuperHyperneutrosophic frameworks to tackle advanced theoretical challenges. The study introduces and extends: Support Neutrosophic Sets, Neutrosophic Intuitionistic Sets, Neutrosophic Paraconsistent Sets, Neutrosophic Faillibilist Sets, Neutrosophic Paradoxist and Pseudo-Paradoxist Sets, Neutrosophic Tautological and Nihilist Sets, Neutrosophic Dialetheist Sets, and Neutrosophic Trivialist Sets. These extensions address highly nuanced aspects of uncertainty, further advancing the theoretical foundation of Neutrosophic mathematics. The eight chapter (MultiNeutrosophic Sets and Refined Neutrosophic Sets) focuses on two advanced Neutrosophic frameworks: MultiNeutrosophic Sets, and Refined Neutrosophic Sets. Using Hyperneutrosophic and nn-SuperHyperneutrosophic Sets, these extensions are analyzed in detail, highlighting their adaptability to multidimensional and complex scenarios. Examples and mathematical properties are provided to showcase their practical relevance and theoretical depth. The ninth chapter (Advanced Hyperneutrosophic Set Types – Type-m, Nonstationary, Subset-Valued, and Complex Refined) explores extensions of the Neutrosophic framework, focusing on: Type-m Neutrosophic Sets, Nonstationary Neutrosophic Sets, Subset-Valued Neutrosophic Sets, and Complex Refined Neutrosophic Sets. These extensions utilize the Hyperneutrosophic and SuperHyperneutrosophic frameworks to address advanced challenges in uncertainty management, expanding their mathematical scope and practical applications. The tenth chapter (Hyperfuzzy Hypersoft Sets and Hyperneutrosophic Hypersoft Sets) integrates the principles of Fuzzy, Neutrosophic, and Soft Sets with hyperstructures to introduce: Hyperfuzzy Hypersoft Sets, and Hyperneutrosophic Hypersoft Sets. These frameworks are designed to manage complex uncertainty through hierarchical structures based on power sets, with detailed analysis of their properties and theoretical potential. The eleventh chapter (A Review of SuperFuzzy, SuperNeutrosophic, and SuperPlithogenic Sets) revisits and extends the study of advanced set concepts such as: SuperFuzzy Sets, Super-Intuitionistic Fuzzy Sets,Super-Neutrosophic Sets, and SuperPlithogenic Sets, including their specialized variants like quadripartitioned, pentapartitioned, and heptapartitioned forms. The work serves as a consolidation of existing studies while highlighting potential directions for future research in hierarchical uncertainty modeling. Focusing on decision-making under uncertainty, the tweve chapter (Advanced SuperHypersoft and TreeSoft Sets) introduces six novel concepts: SuperHypersoft Rough Sets,SuperHypersoft Expert Sets, Bipolar SuperHypersoft Sets, TreeSoft Rough Sets, TreeSoft Expert Sets, and Bipolar TreeSoft Sets. Definitions, properties, and potential applications of these frameworks are explored to enhance the flexibility of soft set-based models. The final chapter (Hierarchical Uncertainty in Fuzzy, Neutrosophic, and Plithogenic Sets) provides a comprehensive survey of hierarchical uncertainty frameworks, with a focus on Plithogenic Sets and their advanced extensions: Hyperplithogenic Sets, SuperHyperplithogenic Sets. It examines relationships with other major concepts such as Intuitionistic Fuzzy Sets, Vague Sets, Picture Fuzzy Sets, Hesitant Fuzzy Sets, and multi-partitioned Neutrosophic Sets, consolidating their theoretical interconnections for modeling complex systems. This volume not only reflects the dynamic interplay between theoretical rigor and practical application but also serves as a beacon for future research in uncertainty modeling, offering advanced tools to tackle the intricacies of modern challenges. (shrink)

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in (...) terms of it, which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such (...) structures arise from surjective geometric morphisms f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces. Tameness of Galois types, in particular, emerges as a topological separation principle. © 2011 WILEY-VCH Verlag GmbH (...) & Co. KGaA, Weinheim. (shrink)

There are some properties, like being bald, for which it is vague where the boundary between the things that have it and the things that do not lies. A number of arguments threaten to show that such properties can still be associated with determinate and knowable boundaries: not between the things that have it and those that don’t, but between the things such that it is borderline at some order whether they have it and the things for which (...) it is not. I argue that these arguments, if successful, turn on a contentious principle in the logic of determinacy: Brouwer’s Principle, that every truth is determinately not determinately false. Other paradoxes which do not appear to turn on this principle often tacitly make assumptions about assertion, knowledge and higher-order vagueness. In this paper I’ll show how one can avoid sharp higher-order boundaries by rejecting these assumptions. (shrink)

Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present (...) paper establishes systematic connections between the first-order correspondents of Sahlqvist modal reduction principles on Kripke frames, and on the more general relational environments of graph-based and polarity-based frames. This work is part of a research line aiming at: (a) comparing and inter-relating the various (first-order) conditions corresponding to a given (modal) axiom in different relational semantics; (b) recognising when first-order sentences in the frame-correspondence languages of different relational structures encode the same ‘modal content’; (c) meaningfully transferring relational properties across different semantic contexts. The present paper develops these results for the graph-based semantics, polarity-based semantics, and all Sahlqvist modal reduction principles. As an application, we study well known modal axioms in rough set theory (such as those corresponding to seriality, reflexivity, and transitivity) on graph-based frames and show that, although these axioms correspond to different first-order conditions on graph-based frames, their intuitive meaning is retained. This allows us to introduce the notion of hyperconstructivist approximation spaces as the subclass of graph-based frames defined by the first-order conditions corresponding to the same modal axioms defining classical generalised approximation spaces, and to transfer the properties and the intuitive understanding of different approximation spaces to the more general framework of graph-based frames. The approach presented in this paper provides a base for systematically comparing and connecting various formal frameworks in rough set theory, and for the transfer of insights across different frameworks. (shrink)

In this paper we introduce the notion of a first order topological structure, and consider various possible conditions on the complexity of the definable sets in such a structure, drawing several consequences thereof.Our aim is to develop, for a restricted class of unstable theories, results analogous to those for stable theories. The “material basis” for such an endeavor is the analogy between the field of real numbers and the field of complex numbers, the former being a “nicely behaved” unstable (...) structure and the latter the archetypal stable structure. In this sense we try here to situate our work ono-minimal structures [PS] in a general topological context. Note, however, that thep-adic numbers, and structures definable therein, will also fit into our analysis.In the remainder of this section we discuss several ways of studying topological structures model-theoretically. Eventually we fix on the notion of a structure in which the topology is “explicitly definable” in the sense of Flum and Ziegler [FZ]. In §2 we introduce the hypothesis that every definable set is a Boolean combination of definable open sets. In §3 we introduce a “dimension rank” on definable sets. In §4 we consider structures on which this rank is defined, and for which also every definable set has a finite number of definably connected definable components. We show that prime models over sets exist under such conditions. (shrink)

The idea of higher-order vagueness is usually associated with conceptions of vagueness that focus on the existence of borderline cases. What sense can be made of it within a conception of vagueness that focuses on tolerance instead? A proposal is offered here. It involves understanding ‘definitely’ not as a sentence operator but as a predicate modifier, and more precisely as an intensifier, that is, an operator that shifts the predicate extension along a scale. This idea is combined (...) with the author’s earlier approach to the semantics of vague expressions, which builds on the idea of a central gap associated with a predicate. The central gap approach is generalized to handle arbitrarily many iterations of ‘definitely’. (shrink)

Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...) middle period dialogues. Though this is a kind of strengthening the developmentalistic approach corresponding the relation of the early and middle period dialogues, based on the fact that what is to be proved here is a essential development in Plato’ ontology and his epistemology, by expanding the grounds of development to the ontological and epistemological principles, it hints to a more profound development. The fact that the bipolar and split knowledge and being of the early period dialogues give way to the tripartite and bound knowledge and benig of the middle period dialogues indicates the development of the notions of being and knowledge in Plato’s philosophy before the dialogues of the middle period. -/- Keywords Plato; early dialogues; middle dialogues; being; knowledge; development -/- Introduction The differences between two groups of the early and middle period dialogues have always been a matter of dispute. Whereas the developmentalists like Vlastos, Silverman (2002), Teloh (1981), Dancy (2004) and Rickless (2007) think that from the early to the middle dialogues Plato’s philosophy changes, at least in some essential points, the unitarists like Kahn, Cherniss and Shorey believe that there happens no development and the differences must be taken as natural, ignorable and even pedagogic. In his well-known article, Socrates contra Socrates in PLATO, Vlastos lists ten theses of difference between two groups of dialogues. The first group which includes Plato’s early dialogues he divides to 'elenctic' (Apology, Charmides, Crito, Euthyphro, Gorgias, Hippias Minor, Ion, Laches, Protagoras and Republic I) and 'transitional' (Euthydemus, Hippias Major, Lysis, Menexenus and Meno) dialogues. These transitional come after all the elenctic dialogues and before all the dialogues of the second group which compose Plato’s middle period dialogues, including (with Vlastos' chronological order) Cratylus, Phaedo, Symposium, Republic II-X, Phaedrus, Parmenides and Theaetetus (1991, 46-49). Vlastos asserts strictly that his list of differences are 'so diverse in content and method that they contrast as sharply with one another as with any third philosophy you care to mention, beginning with Aristotole’s' (ibid, 46). Vlastos’ list of differences between two Socrateses is considered a view breaking sharply between the early and the middle dialogues. Besides all ten differences between the two Socrateses in Vlastos’ list that can be supportive for our doctrine here, we intend to focus on some ontological as well as epistemological distinctions that have not completely been discussed hitherto. Contrary to the developmentalist theory of Vlastos, unitarian theory of Charles Kahn wishes to eliminate any substantial difference between the early and the middle dialogues. He distinguishes seven 'pre-middle' or 'threshold' dialogues including Laches, Charmides, Euthyphro, Protagoras, Meno, Lysis and Euthydemus from the other Socratic dialogues which he calls 'earliest group' (1996, 41). The threshold dialogues, Kahn thinks, 'embarke upon a sustained project' that is to reach to its climax in the middle period dialogues, namely Phaedo, Symposium and Republic. Believing in that there is no 'fundamental shift'between the early and middle dialogues (ibid, 40), Kahn thinks the Socratic dialogues are just the 'first stage' with a 'deliberate silence' towards the theories of later periods (ibid, 339). One of the reasons of the surprising fact that Plato gives no hint of the metaphysics and epistemology of the Forms in the early dialogues, he thinks, is the pedagogical advantages of aporia. He thinks that Plato 'obscurely', and mostly because of education, hinted to some doctrines and conceptions in his early dialogues and with the aim of clarifying them only in the later ones (ibid, 66). The seven threshold dialogues, Kahn asserts, 'had been designed from the first' to prepare the pupils and readers for the views expounded in the middle period dialogues (ibid, 59-60). To show that the differences of the two Socrateses of the early and middle period dialogue are in their onto-epistemological grounds and thence cannot be explained by a unitaristic view, we try to draw the ontological and epistemological principles of the early dialogues in the first part below in order to show, in the second part, that those principles have been developed in the middle period dialogues. -/- A. The Onto-Epistemologic Principles of the Early Dialogues Socratic dialogues are paradoxical about knowledge because while being knowledge-oriented always searching for knowledge, they deny it and even never discuss it directly. Three elements of Socrates’ way of searching Knowledge throughout the early dialogues, i.e. Socratic 'what is X?' question, his disavowal of knowledge and his elenctic method combined together produce something like a circle which works, more or less, in the same way in these dialogues. Though this circle is an embaressing inquiry always resulting in ignorance instead of knowledge, its motivation is surprisingly Socrates’ passionate enthusiasm for knowledge, an intensive love of wisdom. The starting point of this circle is Socrates’ confession of having no knowledge which might be explicitly asserted or presupposed, maybe because it was one of the famous characteristics of Socrates; a confession always paradoxically accompanied with his intense longing for knowledge (e.g., Gorgias 505e4-5). Every time Socrates encounters with someone who thinks he knows something (οἴεταί τι εἰδέναι) (Apology 21d5) and tries to examine him. This examination seems to be the simplest one asking just what it is that he knows. Socrates’ elenchus, therefore, is always connected with 'what is X?' (τίς ποτέ ἐστιν) question, a question that most of the early dialogues of Plato are concerned with; 'what is courage?' in the Laches, 'what is piety?' in Euthydemus, 'what is temperance?' in Charmides and 'what is beauty?' in Hippias Major. This question we call here 'Socratic question' and probably is the very question the historical Socrates used to employ, is tightly interrelated with both his disavowal and his elenchus. He disclaims knowledge because he cannot find the answer to the question himself and he rejects others’ since they cannot offer the correct answer too. Every interlocutor can claim he knows X, if and only if he can answer the Socratic question. Otherwise, he is more of an ignorant than of a knower of τί ποτέ ἐστι X. Knowing the answer to this question is, thus, knowledge’s criterion for Socrates. Having found out that he cannot answer what it is which he would claim to know, the interlocutor comes to the point Socrates was there at the beginning. The least advantage of this circle is that he becomes as wise as Socrates does about the subject, becoming aware that he does not know it. At the end of the circle they are both still at the beginning, not knowing what X is. So let us first take a glance at these three elements. Socratic disavowal of knowledge is strictly asserted in some passages. At Apology 21b4-5, Socrates says: -/- I do not know of myself being wise at all (οὔτε μέγα οὔτε σμικρὸν σύνοιδα ἐμαυτῷ σοφὸς ὤν) -/- Moreover, at 21d4-6: -/- None of us knows anything worthwhile (καλὸν κἀγαθὸν εἰδέναι) …. I do not know (οἶδα) neither do I think I know. -/- In Charmides Socrates speaks about a fear about his probable mistake of thinking that he knows (εἰδέναι) something when he does not (166d1-2). The somehow generalization of this disavowal can be seen in Gorgias. After calling his disavowal 'an account that is always the same' (509a4-5), Socrates continues (a5-7): -/- I say that I do not know (οἶδα) how these things are, but no one I have ever met, like now, who can say anything else without being absurd. -/- At the end of Hippias Major (304d7-8), Socrates affirms his disavowal of knowledge of 'what is X?' this time about the fine: -/- I do not know (οἶδα) what that is itself (αὐτὸ τοῦτο ὅτι ποτέ ἐστιν). Some other passages, however, made a number of scholars dubious about Socrates’ disavowal. Vlastos mentions Apology 29b6-7 as an evidence : 'that to do wrong and to disobey one’s master, both god and men, I know (οἶδα) to be evil and shameful'. He thinks that if we give this single text 'its full weight' it can suffice to show that Socrates does claim knowledge of a moral truth (1985, 7). Vlastos’ claim is not admittable since it would be too strange, I think, for a man like Socrates to violate his disavowal claim just after emphasizing it. We can see his claim just before the already mentioned passage: -/- And surely it is the most blameworthy ignorance to believe that one knows what one does not know. It is perhaps on this point and in this respect, gentlemen, that I differ from the majority of men and if I were to claim that I am wiser than anyone in anything it world be in this, that, as I have no adequate knowledge (οὐκ εἰδὼς ἱκανῶς) of things in the underworld, so I do not think I have (οὐκ εἰδέναι) (Apology 29b1-6) Vlastos tries to solve what he calls the 'paradox' of Socrates’ disavowal of knowledge distinguishing the 'certain' knowledge from 'elenctic' knowledge (1985, 11) and thinking that when Socrates avows knowledge, we must perceive it as an elenctic knowledge, a knowledge its content 'must be propositions he thinks elenctically justifiable' (ibid, 18). Irwin’s solution is the distinction of knowledge and belief. He approves that Socrates does not 'explicitly' make such a distinction, but still thinks that Socrates’ 'test for knowledge would make it reasonable for him to recognize true belief without knowledge, and his own claims are easily understood if they are claims to true belief alone' (1977, 40). While I agree with Vlastos up to a point, I strongly disagree with Irwin about the early dialogues. As I will try to show below, we are not permitted to consider any kind of distinction within knowledge in Socratic dialogues because only one category of knowledge is alluded to there and the distinction of knowledge and belief thoroughly belongs to the second Sorcates. Although no kind of distinction can be admittable here, I think Vlastos’ distinction can be accepted only if we regard it as a distinction between knowledge, which is unique and without any, even incomparable, rival, and a semi-idiomatic and ordinary one that is a necessary requirement for any argument, and thus, unavoidable even for someone who does not claim any kind of knowledge. An apparent evidence of this is Gorgias 505e6-506a4: -/- I go through the discussion as I think it is (ὡς ἄν μοι δοκῇ ἔχειν), if any of you do not agree with admissions I am making to myself, you must object and refute me. For I do not say what I say as I know (οὐδὲ γάρ τοι ἔγωγε εἰδὼς λέγω ἃ λέγω) but as searching jointly with you (ζητῶ κοινῇ μεθ᾽ ὑμῶν). -/- The minimal degree of knowledge everyone must have to take part in an argument, conduct it and use the phrase "I know" when it is necessary is what Socrates cannot deny. We can call it elenctic knowledge only if we agree that it is not the kind of knowledge that Socrates has always been searching, the one that can be accepted as the answer of Socratic 'what is X?' question. His disavowal of knowledge is applied only to the knowledge which can truly be the answer of Socratic question and pass the elenctic exam; a knowledge that, I believe, is never claimed by first Socrates. Socrates conducts his method of examining his interlocutors’ knowledge, our second element here, by almost the same method repeated in Socratic dialogues. That whether we are allowed to regard all the examinations of Socrates in the early dialogues as based on the same or not has been a matter of dispute. Vlastos himself (1994, 31) distinguished Euthydemas, Lysis, Menexenns and Hippias Major from the other Socratic dialogues because he thinks Socrates has lost his faith to elenchus in there. Irwin (1977, 38) distinguishes Apology and Crito where Socrates’ own convictions is present. Contrary to some scholars like Benson (2002, 107) who take elenchus in all the Socratic dialogues as a unique method, Michelle Carpenter and Ronald M. Polansky (2002, 89-100) argue pro the variety of methods of elenchus. Thomas C. Brickhouse and Nicholas D. Smith (2002, 145-160) even reject such a thing as Socratic elenchus which can gather all of the Socrates’ various arguments under such a heading. There can be no solution for the problem of elenchus, they think, is due to 'the simple reason that there is no such thing as 'the Socratic elenchos"'(p.147). Though we consider elenchus a somehow determined process and a part of Socratic circle in the early dialogues, all we assume is that whatever differences it might have in different dialogues, it has the same onto-epistemological principles and, thus, we are not going to take it necessarily as a unique method. This method sets out to prove that the interlocutors are as ignorant as Socrates himself is. That whether elenchus is constructive, capable of establishing doctrines as Vlastos (1994) or Brickhouse and Smith (1994, 20-21) believe or not is another issue to which this paper is not to claim anything. What is crucial for our discussion here is that elenchus does not reach to the very knowledge Socrates is looking for. This is strictly against Irwin who thinks that not only elenchus leads to positive results, 'it should even yield knowledge to match Socrates’ conditions'(1977, 68, cf. 48). He does not explain where and how they really yield to that kind of knowledge. He explains his elenctic method in his apology in the court (Apology 21-22), that how he used to examine wise men, politicians, poets and all those who had the highest reputation for their knowledge and every time found that they have no knowledge. If we accept, as I strongly do, that Socrates’ disavowal of his knowledge is not irony, it might seem more reasonable to agree that the process that has that disavowal as its first step cannot be irony as well. The key of the circle which can explain why Socrates disclaims knowledge and how he can reject others’ claim of having any kind of knowledge lies in the third element, Socratic question. In Hippias Major (287c1-2), Socrates asks: 'Is it not by Justice that just people are Just? (ἆρ᾽ οὐ δικαιοσύνῃ δίκαιοί εἰσιν οἱ δίκαιοι). He insists at 294b1 that they were searching for that by which (ᾧ) all beautiful things are beautiful (cf. b4-5, 8). At Euthyphro 6d10-11 it is said that the Socratic question is waiting for 'the form itself (αὐτὸ τὸ εἶδος) by which (ᾧ) all the pious actions are pious; and at 6d11-e1: -/- Through one form (που μιᾷ ἰδέᾳ) impious actions are impious and pious actions pious. -/- Since the X itself is that by which X is X, knowing 'X itself' is the only way of knowing X. It is probably because of this that Socrates makes the distinction between the ousia as a right answer to the question and effect as a wrong one: -/- I am afraid, Euthyphro, that when you were asked what piety is (τὸ ὅσιον ὅτι ποτ᾽ ἐστίν) you did not wish to make clear its nature itself (οὐσίαν … αὐτοῦ) to me, but you said some effect (πάθος) about it. (Euthp. 11a6-9) -/- 1. Knowledge of what X is Now it is time to look for the onto-epistemological principles of Socratic circle and its three elements. It cannot reasonably be expected from the first Socrates to present us explicitly and clearly formulated principles of his onto-epistemology when such explications cannot be found even in the second Socrates who has some obviously positive theoris. Since there must be some principles underlying this first systematic inqury of knowledge, we must seek to them and be satisfied with elicitation of the first Socratas’ principle. What will be drawn out as his principles cannot and must not, thus, be taken as very fix and dogmatic principles. Some very slightest principles and grounds suffice for our purposes here. The first principle that is the prima facie significance of the Socratic question and his implementation of all those elenctic arguments I call the principle of 'Knowledge of What X is' (KWX): -/- KWX To know X, it is required to know what X is. -/- Aristotle (Metaphysics 1078b23-25, 27-29, 987b4-8) takes Plato’s τί ἐστι question as seeking the definition of a thing that is the same as historical Socrates’ search but applying to a different field. That Plato’s 'what is X?' question was a search for definition became the prevailed understanding of this question up to now. I am going neither to discuss the answer of Socratic question nor to challenge taking it as definition. What I am to insist is that knowledge is attached firmly to the answer of the question: Knowledge of X is not anything but the knowledge of what X is. It entails, certainly, the priority of this knowledge to any other kind of knowledge about X but it also has something more fundamental about the relation of knowledge and Socratic question. Socrates’ exclusive focus on the answer of his question can authorize the consideration of such an essential role for KWX in his epistemolgoy. The total rejection of his interlocutors’ knowledge when they are unable to answer the question can be regarded as a strong evidence for it. Socrates’ elenctic method and his rejection of others’ knowledge in the early dialogues, which all end aporetically with no one accepted as knower and nothing as knowledge, prevent us from finding any positive evidence for this. We have to be content, therefore, of negative evidences which, I think, can be found wherever Socrates rejects his interlocutors’ knowledge when they are not able to give an acceptable answer to his 'what is X?' question. 2. Bipolar Epistemology Socrates’ rejection of his interlocutors’ knowledge has another epistemological principle as its basis. Let me call this principle Bipolar Epistemology' (BE): BE There is no third way besides knowledge and Ignorance. -/- BE says that about every object of knowledge there are only two subjective statuses: knowledge and Ignorance. Socrates’ disavowal, however, says nothing but that he is ignorant of knowledge of X because he does not know what X is. This means that BE is presupposed here. Socrates’ elenchus and his rejection of interlocutors’ having any kind of knowledge are the necessary results of the fact that he does not let any third way besides knowledge and ignorance. The first Socrates never let anyone partly know X or have a true opinion about it, as he would not let anyone know anything about X when he did not know what X is. -/- 3. Bipolar Ontology The principle of BE in first Socrates’ epistemology is parallel to another principle in his ontology. Plato’s bipolar distinction between being and not being is as strict and perfect as his distinction between knowledge and ignorance. This principle I shall call the principle of 'Bipolar Ontology' (BO): BO Being is and not being is not. BO is apparently the same with the well-known Parmenidean Principle of being and not being (cf. Diels-Kranz (DK) Fr. 2.2-5). Euthydemus’ statement against the possibility of false knowledge can be good evidence for this principle: -/- The things which are not surely do not exist (τὰ δὲ μὴ ὄντα … ἄλλο τι ἢ οὐκ ἔστιν). (Euthydemus 284b3-4) -/- He continues (b4-5): -/- There is nowhere for not being to be there (οὖν οὐδαμοῦ τά γε μὴ ὄντα ὄντα ἐστίν). -/- That BE does not let true opinion as a third option besides knowledge and ignorance seems to be related to BO’s rejecting a third option besides being and not being, which is itself the basis of the impossibility of false belief. Socrates’ elaborate discussion of the problem of false belief in Theatetus that leads to a more decisive discussion and finally to some solutions in Sophist can make our consideration of BO for the first group of dialogues authentive. -/- 4. &5. Split Knowledge and Split Being The fourth principle I shall call the principle of 'Split Knowledge' (SK): -/- SK Knowledge of X is separated from any other knowledge (of anything else) as if the whole knowledge is split to various parts. -/- This Principle is hinted and criticized as Socrates’ way of treating with knowledge in Hippias Major: -/- But Socrates, you do not contemplate the entireties of things, nor do people you have used to talk with (τὰ μὲν ὅλα τῶν πραγμάτων οὐ σκοπεῖς, οὐδ᾽ ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). (301b2-4) -/- Contrary to Rankin who regards the passage as 'antilogical, almost eristic in tone rather than presenting a serious philosophy of being' (1983, 54), I think it can be taken as serious. Hippias criticizes Sorcates that he does not contemplate (σκοπεῖς) the entireties of things (ὅλα τῶν πραγμάτων), a critique which Socrates is not its only subject but all those whom Socrates accustomed to talk with (ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). This last phrase, I think, extends this critic beyond this dialogue to other Socratic dialogues. Hippias’ use of the perfect tense of the verb ἔθω (to be accustomed) is a good evidence of this extension. We can get, thus, these ἐκεῖνοι as Socrates’ interlocutors in his other dialogues that hints that this criticism has the epistemological groundings of the previous dialogues as its subject. What ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι points to is that Hippias does not have in mind Socrates’ way of treating things only in this dialogue, but he is also criticizing Socrates’ way throughout his dialogues. At 301b4-5, Socrates and his interlocutors’ way of beholding things is described as such: -/- You people knock (κρούετε) at the fine and each of the beings (ἕκαστον τῶν ὄντων) by taking each being cut up in pieces (κατατέμνοντες) in words (ἐν τοῖς λόγοις). This leads us to our next principle that is parallel to, and the ontological side of, SK, the principle of 'Split Being'(SB): -/- SB Everything (being) is separated from any other thing as if the whole being is split to many beings. -/- Socrates and his interlocutors and thus, as we saw, the Socratic dialogues are accused to regard everything as it is separated from all other things. This separation is en tois logois that, I think, can reasonably be taken as saying that Socratic dialogues (it refers of course to the dialogues before Hippias Major) cut up all things which have the same name/definition from all other things and try to understand them separately, without considering other things that are not in their logos. They, for example in Hippias Major, are cutting up to kalon and try to understand what it and all others inside this logos are by separating it from all other things. This is directed straightly against Socratic question and the way Socratic dialogues follow to find its answer, every time separating one logos. As Meyer (1995, 85) points out, every question 'presupposes that the X in question in a logos is something' and 'every answer to every question aims at unity' (84). The critique of Hippias Major is, therefore, at the same time a critique of SK and SB. It is also a critique of KWX because it is only based on KWX that Socratic dialogues could search for the answer of 'what is X' question supposing that knowing what X is is enough for the knowledge of X. SK and KWX are absolutely interdependent. What Socrates and all his previous interlocutors have neglected in Socratic dialogues, Hippias says, was 'continuous bodies of being' (διανεκῆ σώματα τῆς οὐσίας) (301b6). Either this theory actually belongs to the historical Hippias as it is being said or not, it is strictly criticizing SB. We have the same phrase with changing sūma to logos some lines later at 301e3-4: διανεκεῖ λόγῳ τῆς οὐσίας. Although this theory that can be observed as both an ontological and an epistemological theory is rejected by Socrates (301cff.), it is still against first Socrates’ onto-epistemological principles and might let us look at what is rejected as Socratic prineple. -/- 6. Knowledge is of Being The sixth principle that I think is presupposed by the first Socrates, is the 'Knowledge of Being' Principle (KB): -/- KB Knowledge is of Being. -/- This principle is obviously the source of the problem of false knowledge, a very important problem throughout Plato’s philosophy. We face this problem maybe for the first time in Euthydemus. In less than 20 Stephanus’ pages, 276-295, we are encountered with different interwoven problems about knowledge , all grounded in the problem of false opinion. Having challenged the obvious possibility of telling lies at 283e, at 284 Euthydemus discusses it saying that the man who speaks is speaking about 'one of those things that are (ἓν μὴν κἀκεῖνό γ᾽ ἐστὶν τῶν ὄντων)' (284a3) and thus speaks what is (λέγων τὸ ὄν) (a5). He must necessarily be saying truth when he is speaking what is because he who speaks what is (τὸ ὄν) and the things that are (τὰ ὄντα) speaks truth (τἀληθῆ λέγει) (a5-6). This is based on Parmenidean principle of the impossibility of being of not being which Euthydemus restates (284b3-4) and we mentioned discussing BO principle above. The things that are not are nowhere (οὐδαμοῦ) and there is no possibility for anyone to do (πράξειεν) anything with them because they must be made as being before anything else can be done, which is impossible (b5-7). The words, then, are of things that exist (εἰσὶν ἑκάστῳ τῶν ὄντων λόγοι) (285e9) and as they are (ὡς ἔστιν) (e10). The result is that no one can speak of things as they are not. It is this impossibility of false speach that is extended to thinking (δοξάζειν) at 286d1 and leads to the impossibility of false opinion (ψευδής … δόξα) (286d4). The general conclusion is asserted at 287a extending this impossibility to actions and making any kind of mistake. Not only knowledge is of being but speech, thought and action are of being simply because of the fact that nothing can be of not being. -/- B. First Socrates’ Principles in the Middle Period Dialogues Out of what were presupposed or criticized mostly in five dialogues, Euthyphro, Euthydemus, Hippias Major, Laches and Charmides, we tried to draw the first Socrates’ principles. Our inquiry here is directed to find out the fate of these principles in the three dialogues of the middle period, Meno, Phaedo and Republic. To do this, first we ought to check the situation of Socratic circle in these dialogues. The Socratic circle that was predominant in the early dialogues, does not look like a circle here anymore though they certainly have some features in common. Meno, Phaedo and Republic II-X are not committed to the principles of the circle and the whole circle in disrupted in them. The difference of the two Socrateses towards acquiring knowledge is obvious. The Socrates of Meno, Phaedo and Republic is evidently more self-confident that he can get to some truths during his arguments as he does. They are in their first appearance, as almost all other dialogues, committed to Socrates’ disavowal. All of them try to keep the shape of the Socratikoi Logoi genre, which is committed to the historical Socrates’ way of discussion; a dramatic personage who is to challenge his interlocutors, ask them and refuse the answers. Nevertheless, the fact is that what we have in common between two groups of dialogues is mostly a dramatic structure. Whereas the first group’s arguments are based on Socrates’ disavowal and lead to no positive results, the second group is decisively going to achieve some positive results. The aim of the first Socrates was to show others that they are ignorant of what they thought they knew. The new Socrates of Meno, on the opposite, makes so much efforts to show that the slave boy has within himself true opinions (ἀληθεῖς δόξαι) about the things that he does not know (οἶδε) (85c6-7). Despite his lack of knowledge, he has true opinions nevertheless. The way from these true opinions to knowledge, as Socrates states, is not so long. These true opinions are now like a dream but 'can become knowledge of the same things not less accurate than anyone’s' (οὐδενὸς ἧττον ἀκριβῶς ἐπιστήσεται περὶ τούτων) (c11-d1), if they be repeated by asking the same questions. The most outstanding text regarding Socrates’ disavowal is Meno 98b where he explicitly claims knowledge: -/- And indeed I also speak as (ὡς) one who does not know (εἰδὼς) but is guessing (εἰκάζων). However, [about the fact] that true opinion and knowledge are different, I do not altogether expect (δοκῶ) myself to be guessing (εἰκάζειν), but if I say about anything that I know (εἰδέναι) -which about few things I say- this is one of the things that I know (οἶδα). (98b1-5) This passage is very significant about Plato’s disavowal of knowledge. There can hardly be found, I think, anywhere else in Plato’s corpus where Socrates speaks about his knowledge of something as such. He says first that he speaks as someone who does not know. This ὡς οὐκ εἰδὼς λέγω comparing with what he used to say in the first group, οὐκ οἶδα, has this added ὡς. Socrates does not claim strongly anymore that he does not know anything but speaks only as someone who does not know. He needs this ὡς not only because he is going to accept that he does know some, though few, things immediately after this sentence, but also because he needs his previous disavowal to be loosened from Meno on. He does not merely say here that he knows something. It is then different from the examples mentioned before which could be taken as idiomatic or at least not emphatic. Socrates’ remarkable emphasis on distinguishing εἰδέναι from εἰκάζειν departs it from all other passages where he says only he knows something. Moreover, he claims definitely that he has knowledge about few (ὀλίγα) things. From the early to the middle dialogues, Socrates’ attitude to knowledge has totally renewed its face. He brings forth a new concept, true opinion, and he does not speak of knowledge as he used to before; the rough, perfect and unachievable knowledge of the first group has turned to something more smooth, realistic and achievable. Comparing with the early dialogues that did not set out from the first to reach positive results, the middle ones are extraordinarily and surprisingly positive and hence destroy the basis of the Socratic circle. The questions and answers are purposely directed to some specific new theories; most of them are not directly related to the topics or the main questions of the dialogues. They are suggested when Socrates draws the attention of the interlocutor away from the main question because of the necessity of another discussion. Even if the main question remains unanswered, we have still many positive theories, prominently of metaphysical type. These theories are so abundant and dominant in these dialogues, especially Phaedo and Republic, that one might think that they may appear to be arbitrarily sandwiched in there. This helps dialogues to keep their original Socratic structure while they are suggesting new theories. Hence, the Socratic question of 'what is X?', though is still used to launch the discussion, is loosened and is forgotten for most part of the dialogues. Meno that has first a differently formulated question, 'can virtue be taught?', leads finally to the Socratic question of 'What is virtue?'. Phaedo is dedicated to the demonstration of the immortality of soul and the life after death without having a central Socratic question. The case of Republic is more complicated. The first book, on the one hand, has all the criteria of a Socratic circle: its 'what is justice?' question, Socrates’ strong disavowal (e.g. 337d-e), his rejection of all answers and coming back to the first point without finding out any answer. This Book, considered alone, is a perfect Socratic dialogue, as many scholars regard it as early and separated from other books. The books II-X are, on the other hand, far from implementing a Socratic circle. They have still the 'what is justice?' question as their incentive leading question, but they are, in most of the positive doctrines and methods that encompass the main parts, ignoring the question. Even these books that, I believe, are the farthest discussions from the Socratic circle are so cautious not to break the Socratic structure of the dialogue as long as it is possible. What is changed is not the structure of the dialogue but the ontological and epistemological grounds based on which new theories are suggested. -/- 1. Knowledge of the Good We can clearly see in the second group of dialogues that the KWX principle loses the place it had before in our first group. It is not, of course, rejected, but still we cannot say that it has the same situation. KWX that was based on Socratic question, as we discussed before, was the leading principle of the first Socrates’ epistemology and of the highest position. Other epistemological principles, SK directly and BE indirectly, were relying on Socratic question and therefore on KWX. Such a position does not belong to KWX from Meno on. What makes it different in the second Socrates is another principle that is needed it not only as its complementary principle but also as what is more fundamental. Plato, then, does not reject KWX in this period, but, it seems, he transcends to another more basic principle; a principle we shall call the principle of 'Knowledge of the Good' (KG): -/- KG Knowledge of X requires knowledge of the Good. -/- Whereas all the dialogues of our first group are free from any discuscon about KG, it bears a very important role in the second group so as becomes the superior principle of knowledge in Republic. Trying to solve the problem of teachability of virtue, Socrates says that it can be teachable only if it is a kind of knowledge because nothing can be taught to human beings but knowledge (ἐπιστήμην) (Meno 87c2). The dilemma will be, then, whether virtue is knowledge or not (c11-12) and since virtue is good, we can change the question to: whether is there anything good separate from knowledge (εἰ μέν τί ἐστιν ἀγαθὸν καὶ ἄλλο χωριζόμενον ἐπιστήμης) (d4-5). Therefore, the conclusion will be that if there is nothing good which knowledge does not encompass, virtue can be nothing but knowledge (d6-8). What let us discuss KG as an epistemological principle for the second Secrates is the relation he tries to establish between knowledge and the Good which, though is alongside with the mentioned thesis and the idea of virtue as knowledge, goes much deeper inside epistemology asking to regard the Good as the basis of knowledge. The effort of Phaedo cannot succeed in establishing the Good as the criterion of explanation and knowledge since, I think, it needs a far more complicated ontology of Republic where Socrates can finally announce KG. What is said in Republic is totally compatible with Phaedo 99d–e and the metaphor of watching an eclipse of the sun. In spite of the fact that we do not have adequate knowledge of the Idea of the Good, it is necessary for every kind of knowledge: 'If we do not know it, even if we know all other things, it is of no benefit to us without it' (505a6-7). The problem of our not having sufficient knowledge of the Idea of Good is tried to be solved by the same method of Phaedo 99d-e, that is to say, by looking at what is like instead of looking at thing itself (506d8-e4). It is this solution that leads to the comparison of the Good with sun in the allegory of Sun (508b12-13). What the Good is in the intelligible realm corresponds to what the sun is in the visible realm; as sun is not sight, but is its cause and is seen by it (b9-10), the Good is so regarding knowledge. It has, then, the same role for knowledge that the sun has for sight. Socrates draws our attention to the function of sun in our seeing. The eyes can see everything only in the light of the day being unable to see the same things in the gloom of night (508c4-6). Without the sun, our eyes are dimmed and blind as if they do not have clear vision any longer (c6-7). That the Good must have the same role about knowledge based on the analogy means that it must be considered as a required condition of any kind of knowledge: -/- The soul, then, thinks (νόει) in the same way: whenever it focuses on what is shined upon by truth and being, understands (ἐνόησέν), knows (ἔγνω) and apparently possesses understanding (νοῦν ἔχειν). (508d4-6) -/- Socrates does not use agathon in this paragraph and substitutes it with both aletheia and to on. He links them with the Idea of the Good when he is to assert the conclusion of the analogy: -/- That which gives truth to the objects of knowledge and the power of knowing to the knower, you must say, is the Idea of the Good: being the cause of knowledge and truth (αἰτίαν δ᾽ ἐπιστήμης οὖσαν καὶ ἀληθείας) so far as it is known (ὡς γιγνωσκομένης μὲν διανοοῦ). (508e1-4) Knowledge and truth are called goodlike (ἀγαθοειδῆ) since they are not the same as the Good but more honoured (508e6-509a5). KG, which had been implicitly contemplated and searched in Phaedo, is now explicitly being asserted in Republic. As what was quoted clearly proves, this principle is the very one which we can observe as the most fundamental principle of the second Socrates in Republic, corresponding to the role KWX had in the first Socrates. The Form of the Good in Republic, of which Santas speaks as 'the centerpiece of the canonical Platonism of the middle dialogues, the centerpiece of Plato’s metaphysics, epistemology, ethics and …' (1983, 256) much more can be said. Plato’s Cave allegory in Book VIII dedicates a similar role to the Idea of the Good. The Idea of the Good is there as the last thing to be seen in the knowable realm, something so important that its seeing equals to understanding the fact that it is the cause of all that is correct and beautiful (517b). Producing both light and its source in visible realm, it controls and provides truth and understanding in the intelligible realm (517c). -/- 2. Tripartite Epistemology BE is thoroughy rejected in the second Socrates and substituted by its opposite, the principle of 'Tripartite Epistemolgy' (TE): -/- TE Opinion is an epistemological status between knowledge and ignorance. BE of the first Socrates was denying any third way besides knowledge and ignorance which was the foundation of Socratic circle without which Socrates could not reject his interlocutors’ possessing any kind of knowledge. We cannot say, however, that the first Socrates had a third epistemological status in mind but rejected it. Such a status was unacceptable for him so that one can say that he would reject any kind of such status if suggested. There were only two possibilities about knowledge: either one knows something or he does not know it. TE, thus, was not the first Socrates’ discovery and, I think it is not the second Socrates’discovery. All we can see in our second group of dialouges is that he uses this principle as an already demonstrated one. Having examined the slave boy in Meno for the prupose of showing the working of recollection, it truns out that he has some opinions in him while he still does not know. Without trying to prove it, Socrates takes this as the distinction between knowledge and opinion: -/- So, he who does not know (οὐκ εἰδότι) about what he does not know (περὶ ὧν ἂν μὴ εἰδῇ) has within himself true opinions (ἀληθεῖς δόξαι) about the same things he did not know (περὶ τούτων ὧν οὐκ οἶδε) (85c6-7). -/- The same distinction is set between ὀρθὴν δόξαν and ἐπιστήμην at 97b5-6 ff. (also cf. 97b1-2: ὀρθῶς μὲν δοξάζων … ἐπιστάμενος). He connects then their difference to the myth of Daedalus, the statue that would run away and escape. So are true opinions, not willing to remain long in mind and thus not worthy until one ties them down by αἰτίας λογισμῷ (98a3-4). Socrates says that this tying down is anamnesis. We face, in Phaedo, the same relation is settled between knowledge as the process of being tied down and getting the capability to give an account, on the one hand, and anamnesis, on the other hand. When a man knows, he must be able to give an account of what he knows (Phaedo 76b5-6) and since not all people are able to give such an account, those who recollect, recollect what once they learned (76c4). Although the distinction between knowledge and opinion is not explicitly used in Phaedo, referring to the parallel link between knowledge plus account and anamnesis in Phaedo and Meno, one can say that those who cannot recollect are not able to give account and, thus, are in a state of opinion. What is said at Phaedo 84a, though not yet a definite distinction between knowledge and opinion, makes a distinction between their objects so as we can agree that it is presupposed. The soul of the philosopher, Socrates says, follows reason, stays with it forever and contemplates the divine, which is not the object of opinoin (ἀδόξαστον) (84a8, cf. Meno 98b2-5). The distinction of knowledge and belief in Republic has a significant difference with what we discussed in Meno and Phaedo since the distinction of Meno was based on anamnesis and thus more an epistemological distinction. Even in Phaedo that we do not have any elaborate discussion about the distinction, the only hint to the matter at 76 is bound to the theory of anamnesis. In addition to the relation of the distinction with this theory, there is another evidence that does not permit us to consider the distinction as an ontological distinction. Let’s see Meno 85c6-7: -/- So, he who does not know about what he does not know has within himself true opinions about the same things he did not know (τῷ οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ ἔνεισιν ἀληθεῖς δόξαι περὶ τούτων ὧν οὐκ οἶδε). (85c6-7) -/- This last sentence persists that the objects of knowledge and true opinion are the same. What Socrates is to say here is that whereas he does not know X he has true opinion about the same X. I think Socrates’ sentence that the slave boy οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ and his restatement of it by saying περὶ τούτων ὧν οὐκ οἶδε is because he wants to emphasize that the slave boy who does not know, has true opinion about the same thing. Socrates could say this just with using τούτων and there would be no necessity to bring περὶ ὧν ἂν μὴ εἰδῇ for οὐκ εἰδότι if he did not want to emphasize. -/- 3. Tripartite Ontology The distinction between knowledge and true opinion in Republic, on other side, has nothing to do with recollection, but is based on an ontological principle, 'Tripartite Ontology' (TO): -/- TO There are things that both are and are not. -/- This principle I confine, among our three dialogues of the second group, to Republic not extended to Meno and Phaedo, is obviously the opposite of BO. Speaking about the lovers of sights and sounds in the fifth book, Socrates distinguishes them from philosophers because their thought is unable to understand the nature of beautiful itself besides beautiful things (476a6-8) and hence they can only have opinions. The philosopher who, on the contrary, believes in beautiful itself and can distinguish it from beautiful things (476c9-d3), has knowledge because he knows, contrasting others who have opinion because they only opine (d5-6). Since those whose knowledge were degraded as opinion will complain about Socrates’ such calling their thought, he provides them the following argument (476e7-477b1): -/- - Does the person who knows, knows (γιγνώσκει) something (τὶ) or nothing (οὐδέν)? - He knows something (τί). - Something that is (ὂν) or is not (οὐκ ὄν)? - Something that is (ὂν) for how could something that is not be known (πῶς γὰρ ἂν μὴ ὄν γέ τι γνωσθείη)? - Then we have an adequate grasp of this: No matter how many ways we examine it, what completely is (παντελῶς ὂν) is completely knowable (παντελῶς γνωστόν) and what is in no way (μὴ ὂν δὲ μηδαμῇ) is in every way unknowable (πάντῃ ἄγνωστον). - A most adequate one. - Good. Now, if anything is such as to be and also not to be (ὡς εἶναί τε καὶ μὴ εἶναι), won’t it be intermediate (μεταξὺ) between what purely is (εἰλικρινῶς ὄντος) and what in no way is (μηδαμῇ ὄντος)? - Yes, it’s intermediate. - Then as knowledge (γνῶσις) is set over what is (τῷ ὄντι), while ignorance (ἀγνωσία) is of necessity set over what is not (μὴ ὄντι) mustn’t we find an intermediate between ignorance (ἀγνοίας) and knowledge (ἐπιστήμης) to be set over the intermediate, if there is such a thing? -/- From the third status of being we must reach to the third status of knowledge. The simple reading of this text can be an existential reading, taking the "is" of the mentioned sentences as existence. The problem is that when it is said that there is something that both is and is not reading "is" existentially, it sounds too bizarre to be acceptable. It cannot easily be understandable to have something as both existent and non-existent at the same time. This problem arose so many debates and led many scholars to reject the existential reading of "is" and suggest some other readings like predicative or veridical readings. I think though Plato’s complicated ontology of Republic cannot be correctly understood by a simple existential reading, this "is" cannot be free from existential sense of being and, thus, cannot be reduced to just a predicative or veridical sense of being. -/- 4. Bound Knowledges In addition to KG, the Good is also the basis of another principle in the second Socrates, namely the principle of 'Bound Knowledge' (BK): -/- BK Knowledge of everything is bound to the knowledge of the Good. -/- We distinguished BK from KG because we want to insist, in BK, on what had not been insisted upon in KG, that is, the binding role that the Good plays in the second Socrates, contrasting the absence of such a role in the first Socrates. Socrates remembers, in Phaedo, his wonderful keen on natural philosophers' wisdom when he was young. The origin of this enthusiasm was Socrates’ hope to know the cause of everything as they used to claim. When he was searching the matters of his interest on their basis, Socrates says, he became convinced he can get no acceptable answer from them and found himself blind even to the things he thought he knew before. One day he hears Anaxagoras’ theory that 'it is Mind that arranges and is the cause of everything (ὡς ἄρα νοῦς ἐστιν ὁ διακοσμῶν τε καὶ πάντων αἴτιος)' (Phd. 97c1-2 cf. DK, Fr.15.8-9, 11-12, 12-14) and thinks that he can finally find what he has always expected, i.e. something which can explain all things. What I intend to show here is that what makes Socrates hopeful is that Anaxagoras’ theory tries 1) to explain all things by one thing and 2) this explanation is understood by Socrates as if it is based on the concept of the Good. That Socrates was searching for one explanation for all things can be proved even from what he has been expecting from natural philosophers. The case is, nonetheless, more clearly asserted when he speaks about Anaxagoras’ theory. In addition to διακοσμῶν τε καὶ πάντων αἴτιος of 97c2 mentioned above, we have τὸ τὸν νοῦν εἶναι πάντων αἴτιον (c3-4) and τόν γε νοῦν κοσμοῦντα πάντα κοσμεῖν (c4-5) all emphasizing on the cause of all things (πάντα) which can clearly prove that one of the reasons which caused Socrates to embrace it delightfully was its claim to provide the cause of all things by one thing. Another reason was that Anaxagoras’ Mind, at least in Socrates’ view, was attempting to explain everything by the concept of the Good. This connection between Mind and Good belongs more to the essential relation they have in Socrates’ thinking than Anaxagoras’ theory because there are almost nothing about such a relation in Anaxagoras. The reason for Socrates’ reading can be that Mind is substantially compatible with Socrates’ idea of the relation between good and knowledge. Both the thesis 'no one does wrong willingly' and the theory of virtue as knowledge we pointed to above are evidences of this essential relation. Nobody who knows that something is bad can choose or do it as bad. The reason, when it is reason, that means when it is as it should be, when it is wise or when it knows, works only based on good-choosing. In this context, when Socrates hears that Mind is considered as the cause of everything, it sounds to him like this: good should be regarded as the basis of the explanation of all things. We see him, thus, passing from the former to the latter without any proof. This is done in the second sentence after introducing Mind: -/- I thought that if this were so, the arranging Mind would arrange all things and put each thing in the way that was Best (ὅπῃ ἂν βέλτιστα ἔχῃ). If one then wished to find the cause of each thing by which it either perishes or exists, one needs to find what is the best way (βέλτιστον αὐτῷ ἐστιν) for it to be, or to be acted upon, or to act. On these premises then it befitted a man to investigate only, about this and other things, what is the most excellent (ἄριστον) and best (βέλτιστον). The same man must inevitably also know what is worse (χεῖρον), for that is part of the same knowledge. (97c4-d5) This passage is a good evidence of Socrates’ leap from Anaxagoras’ Mind to his own concept of the Good that can explain why Socrates found Anaxagoras theory after his own heart (97d7). Mind is welcomed because of its capability for explanation on the basis of good to 'explain why it is so of necessity, saying which is better (ἄμεινον), and that it was better (ἄμεινον) to be so' (97e1-3). What Socrates thought he had found in Anaxagoras can indicate what he had been expecting from natural scientists before. Socrates could not be satisfied with their explanations because they were unable to explain how it is the best for everything to be as it is. It can probably be said, then, that it was the lack of the unifying Good in their explanation that had disappointed him. We must insist that we are discussing what Socrates thought that Anaxagoras’ theory of Mind should have been, not about Anaxagoras’ actual way of using Mind. Phaedo 97c-98b, is not about what Socrates found in Anaxagoras but what he thought he could find in it. On the contrary, it should also be noted that it was not this that was dashed at 98b, but Anaxagoras’ actual way of using Mind. It was Anaxagoras’ fault not to find out how to use such an excellent thesis (98b8-c2, cf. 98e-99b). Socrates gives an example to show how not believing in 'good' as the basis of explanation makes people be wanderers between different unreal explanations of a thing. His words δέον συνδεῖν (binding that binds together) as a description for the Good we chose as the name of BK principle: They do not believe that the truly good and binding binds and holds them together (ὡς ἀληθῶς τὸ ἀγαθὸν καὶ δέον συνδεῖν καὶ συνέχειν οὐδὲν οἴονται). (99c5-6) -/- Having in mind Plato’s well-known analogy of the sun and the Good at Republic 508-509, we can dare to say that his warning of the danger of seeing the truth directly like one watching an eclipse of the sun in Phaedo (99d-e) is more about the difficulty of so-called good-based explanation than its insufficiency, a difficulty which is precisely confirmed in Republic (504e-505a, 506d-e). Moreover, BK is asserted in a more explicit way in the Republic, where the Good is considered not only as a condition for the knowledge of X, as was noted above discussing KG, but also as what binds all the objects of knowledge and also the soul in its knowing them. At Republic VI, 508e1-3, when Socrates says that the Form of the Good 'gives truth to the things known and the power to know to the knower (τοῦτο τοίνυν τὸ τὴν ἀλήθειαν παρέχον τοῖς γιγνωσκομένοις καὶ τῷ γιγνώσκοντι τὴν δύναμιν ἀποδιδὸν)', he wants to set the Good at the highest point of his epistemological structure by which all the elements of this structure are bound. This binding aspect of the Good is by no means a simple binding of all knowledges or all the objects of knowledge, but the most complicated kind of binding as it is expected from the author of the Republic. The kind of unity the Good gives to the different knowledges of different things is comparable with the unity which each Form gives to its participants in Republic: as all the participants of a Form are united by referring to the ideas, all different kinds of knowledge are united by referring to the Good. If we observe Aristotle's assertion that for Plato and the believers of Forms, the causative relation of the One with the Forms is the same as that of the Forms with particulars (e.g. Metaphysics 988a10-11, 988b4), that is to say the One is the essence (e.g., ibid, 988a10-11: τοῦ τί ἐστὶν, 988b4-6: τὸ τί ἢν εἶναί) of the Forms besides his statement that for them One is the Good (e.g., ibid, 988b11-13) the relation between the Good and unity may become more understandable. Since the quiddity of the Good (τί ποτ᾽ ἐστὶ τἀγαθὸν) is more than discussion (506d8-e2), we cannot await Socrates to tell us how this binding role is played. All we can expect is to hear from him an analogy by which this unifying role is envisaged, the sun. The kind of unity that the Good gives to the knowledge and its objects in the intelligible realm is comparable to the unity that the sun gives to the sight and its objects in the visible realm (508b-c). The allegory of Line (Republic VI, 509d-511), like that of the Sun, tries to bind all various kinds of knowledges. The hierarchical model of the Line which encompasses all kinds of knowledge from imagination to understanding can clearly be considered as Plato’s effort to bind all kinds of knowledges by a certain unhypothetical principle. The method of hypothesis starts, in the first subsection of the intelligible realm, with a hypothesis that is not directed firstly to a principle but a conclusion (510b4-6). It proceeds, in the other subsection, to a 'principle which is not a hypothesis' (b7) and is called the 'unhypothetical principle of all things' (ἀνυποθέτου ἐπὶ τὴν τοῦ παντὸς ἀρχὴν) (511b6-7). This παντὸς must refer not only to the objects of the intelligible realm but to the sensible objects as well. Plato does posit, therefore, an epistemological principle for all things, a principle that all things are, epistemologically, bound and, thus, unified by. -/- 5. Bound Beings The ontological aspect of BK we shall call the principle of 'Bound Beings' (BB): -/- BB Being of all things are bound by the Good. -/- We saw in our principle of Split Being (SB) how the first Socrates was criticized because of his approach to split being and separate each thing from other things. The principle of Bound Beings intends to make the things more related, a duty which is done again by the Good. In the allegory of Sun, there are two paragraphs that evidently and deliberately extend the binding role of the Good to the ontological scene: -/- You will say that the sun not only makes the visible things have the ability of being seen but also coming to be, growth and nourishment. (509b2-4) -/- This clearly intends to remind the ontological role the sun plays in bringing to being all the sensible things in order to display how its counterpart has the same role in the intelligible realm (b6-10): -/- Not only the objects of knowledge (γιγνωσκομένοις) owe their being known (γιγνώσκεσθαι) to the Good, but also their existence (τὸ εἶναί) and their being (οὐσίαν) are due to it, though the Good is not being but superior to it in rank and power. That the Good is here represented as responsible for being of things in addition to their being known means, in my opinion, that Plato wants to posit BB in addition to BK. The allegory of Cave at the very beginning of the seventh Book (514aff.) can be taken as another evidence. The role of the Good, one might say, is confined to the intelligible realm because it is asserted that the role the Good plays in this realm is corresponding to that of the sun in the visible realm. The fact that Plato wants to observe the Good also as the ontological cause of the sensible things is obvious from his saying, in the allegory of Cave, that the Form of the Good 'produces light and its source (τὸν τούτου κύριον) [i.e. the sun] in the visible realm' (517c3). We can conclude, then, that the ontological function of the Good is not confined to the intelligible realm in which it is the lord and provides truth and understanding (c3-4) because it is also responsible to produce τὸν κύριον of light. 6. Proportionality of Being and Knowledge Insofaras BE and BO principles of the first Socrates gave way to TE and TO principles of the second Socrates, we cannot expect him to preserve KB in the same way as it was in the first Socrates. The new tripartite ontology and epistemology necessitates some modifications in KB which results in the principle of 'Proportionality of Being and Knowledge' (PBK): -/- PBK To every class of being there is a proportionate category of knowledge. -/- This principle, of course, does not entail the refutation of KB and thus is not kind of rejecting PBK but only a more complicated version of it. Based on PBK, we can still agree that knowledge is of being (KB) but the issue is that since none of the concepts of knowledge and being in the second Socrates are as simple as they were for the first Socrates, we need a more complicated principle for their relation here. Although from Meno 97a where the distinction of knowledge and true opinion is drawn out in the second group of the dialogues, we can expect a new relation, it is articulated in its most complete way in Republic and specifically in the allegory of Line. All the beings are divided there hierarchically to four classes, to each of them belongs a class of knowledge: imagination to images, belief to the sensible things (more correctly: the things of which they[in previous class] were images (ᾧ τοῦτο ἔοικεν)), thought to mathematical objects (?) and understanding to the Forms and the first principle. The degree of clarity that each of the classes of knowledge shares in (σαφηνείας ἡγησάμενος μετέχειν) is proportionate to the degree that its object shares in truth (ἀληθείας μετέχει). (511e2-4) -/- Conclusion From the six onto-epistemilogical principles of the first Socrates, four principles turn to their opposite in the middle period dialogues. While bipolar epistemology and ontology of the early dialogues give place to tripartite epistemology in the middle period dialogues and tripartite ontology in Republic, the split knowledge and being of the first Socrates are inclined to be substituted by bound knowledges and bound beings in the second Socrates and specifically in Republic. Not all our system of principles in this article is necessarily determinative. Either they are rightly formulated or not, our result would not be vulnerable if we accept that 1) making the distinction of knowledge and belief, 2) accepting the being of not being and 3) trying to bind both being and knowledge by the concept of the Good happens only in middle period dialogues, having been absent in the early ones. These are the favourite results all those somehow arbitrary and even oversimplified principles were to illustrate; that there is kind of a development in the epistemological as well as the ontological grounds of Plato’s philosophy. -/- Notes . (shrink)

This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is higher-order vagueness’ (Bobzien 2015). Both papers were presented at the Joint Session of the the Aristotelian Society and the Mind Association in July, 2015. At the Joint Session meeting, there was insufficient time to present all of (...) my points in response to Keefe’s paper. In addition, the audio of the session, which is available online, becomes inaudible at the beginning of my reply to Keefe’s comments due to a technical defect. The following is a full version of my remarks. (shrink)

It is a commonplace that the extensions of most, perhaps all, vague predicates vary with such features as comparison class and paradigm and contrasting cases. My view proposes another, more pervasive contextual parameter. Vague predicates exhibit what I call open texture: in some circumstances, competent speakers can go either way in the borderline region. The shifting extension and anti-extensions of vague predicates are tracked by what David Lewis calls the “conversational score”, and are regulated by what Kit Fine calls penumbral (...) connections, including a principle of tolerance. As I see it, vague predicates are response-dependent, or, better, judgement-dependent, at least in their borderline regions. This raises questions concerning how one reasons with such predicates. In this paper, I present a model theory for vague predicates, so construed. It is based on an overall supervaluationist-style framework, and it invokes analogues of Kripke structures for intuitionistic logic. I argue that the system captures, or at least nicely models, how one ought to reason with the shifting extensions (and anti-extensions) of vague predicates, as borderline cases are called and retracted in the course of a conversation. The model theory is illustrated with a forced march sorites series, and also with a thought experiment in which vague predicates interact with so-called future contingents. I show how to define various connectives and quantifiers in the language of the system, and how to express various penumbral connections and the principle of tolerance. The project fits into one of the topics of this special issue. In the course of reasoning, even with the external context held fixed, it is uncertain what the future extension of the vague predicates will be. Yet we still manage to reason with them. The system is based on that developed, more fully, in my Vagueness in Context , Oxford, Oxford University Press, 2006, but some criticisms and replies to critics are incorporated. (shrink)

The goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One is tolerance: the insensitivity of predicates to small changes in the objects of predication (a one-increment of a walking distance is a walking distance). The other is the existence of borderline cases. The paper shows why these should be treated as different, (...) though related phenomena. Tolerance is formally reconstructed within a proposed framework of contextual logic, leading to a solution of the Sorites paradox. Borderline-vagueness is reconstructed using certain modality operators; the set-up provides an analysis of higher order vagueness and a derivation of scales of degrees for the property in question. (shrink)

In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice (...) principles such as co-finite choice, discrete choice, interval choice, compact choice and closed choice, which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. We also explore how existing classifications of the Hahn—Banach Theorem and Weak Kőnig's Lemma fit into this picture. Well-known omniscience principles from constructive mathematics such as LPO and LLPO can also naturally be considered as Weihrauch degrees and they play an important role in our classification. Based on this we compare the results of our classification with existing classifications in constructive and reverse mathematics and we claim that in a certain sense our classification is finer and sheds some new light on the computational content of the respective theorems. Our classification scheme does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis. We develop a number of separation techniques based on a new parallelization principle, on certain invariance properties of Weihrauch reducibility, on the Low Basis Theorem of Jockusch and Soare and based on the Baire Category Theorem. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example. (shrink)

We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement φ is possible in a structure (written φ) if φ is true in some extension of that structure, and φ is necessary (written φ) if it is true in all extensions of the structure. A principal case for us will be the class Mod(T) (...) of all models of a given theory T—all graphs, all groups, all fields, or what have you—considered under the substructure relation. In this article, we aim to develop the resulting modal model theory. The class of all graphs is a particularly insightful case illustrating the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, k-colorability, finiteness, countability, size continuum, size ℵ1, ℵ2, ℵω, ℶω, first ℶ-fixed point, first ℶ-hyper-fixed point, and much more. A graph obeys the maximality principle φ(a)→φ(a) with parameters if and only if it satisfies the theory of the countable random graph, and it satisfies the maximality principle for sentences if and only if it is universal for finite graphs. (shrink)

Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. We generalize the (...) weak distributivity laws between fusion and fission to interactions of certain monotone operations within distributive super gGl s. We are able to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGl s and classes of structures for them. (shrink)

In the common man reasoning the presence of vague predicates is pervasive and under the name “fuzzy logic in narrow sense” or “formal fuzzy logic” there are a series of attempts to formalize such a kind of phenomenon. This paper is devoted to discussing the limits of these attempts both from a technical point of view and with respect the original and principal task: to define a mathematical model of the vagueness. For example, one argues that, since vagueness (...) is necessarily connected with the intuition of the continuum, we have to look at the order-based topology of the interval [0,1] and not at the discrete topology of the set {0,1}. In accordance, in switching from classical logic to a logic for the vague predicates, we cannot avoid the use of the basic notions of real analysis as, for example, the ones of “approximation“, “convergence“, “continuity“. In accordance, instead of defining the compactness of the logical consequence operator and of the deduction operator in terms of finiteness, we have to define it in terms of continuity. Also, the effectiveness of the deduction apparatus has to be defined by using the tools of constructive real analysis and not the one of recursive arithmetic. This means that decidability and semi-decidability have to be defined by involving effective limit processes and not by finite steps stopping processes. (shrink)

We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to ‘recover’ the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study, we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide (...) a semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave ‘classically’ when interacting with non-classical negations. Unlike traditional semantical investigations, which are carried out in natural language (extended with mathematical shorthand), our formal meta-language is a system of higher-order logic (HOL) for which automated reasoning tools exist. In our approach, topological Boolean algebras are encoded as algebras of sets via their Stone-type representation. We use our higher-order meta-logic to define and interrelate several transformations on unary set operations, which naturally give rise to a topological cube of opposition. Additionally, our approach enables a uniform characterization of propositional, first-order and higher-order quantification, including restrictions to constant and varying domains. With this work, we aim to make a case for the utilization of automated theorem proving technology for conducting computer-supported research in non-classical logics. All the results presented in this paper have been formally verified, and in many cases obtained, using the Isabelle/HOL proof assistant. (shrink)

The trend to centralization of the Mizrahi narrative has become an integral part of the nationalistic, ethnic, religious, and ideological-political dimensions of the emerging, complex Israeli identity. This trend includes several forms of opposition: strong opposition to "melting pot" policies and their ideological leaders; opposition to the view that ethnicity is a dimension of the tension and schisms that threaten Israeli society; and, direct repulsion of attempts to silence and to dismiss Mizrahim and so marginalize them hegemonically. The Mizrahi Democratic (...) Rainbow [The Keshet], the most prominent proponent and representative of this trend, was established in the 1990s with the intention of being a leading civic and political body in Israeli society. While it was the Mizrahi worldview that led to selection of the organization's name and aims, their vision was to be involved in social struggle on behalf of other groups in Israeli society. Since it was established, The Keshet has aimed to function as an assertive, long-term alternative coalition exerting influence, power, and pressure on the Israeli narrative network. And, indeed, the organization has succeeded in disrupting Israeli discourse, principally, by challenging the ideological foundations of the Zionist meta-narrative. Nearing the end of the first decade of the 21st century and nearly a decade since it was established, The Keshet not only represents the most current wave of Mizrahi discourse, it has changed it to such a great degree that it is impossible to ignore its influence. Further, this alternative narrative may have significant potential to advance the internal Jewish discourse so fundamental at this time given the changing Israeli situation and regional conditions. And, while it is possible to view The Keshet and this new narrative as a continuation of the Mizrahi struggle, as a narrative The Keshet's agenda represents a post-colonial perspective and multi-cultural alternative to Zionism as a social vehicle. Amidst all of this, The Keshet continues to offer concrete proposals to change the Jewish character of the state as well as its internal and external relations. One of the primary goals of this study was to examine the rise of the Mizrahi narrative over the last two decades and the new Mizrahi discourse in Israeli society. More specifically, the study sought to attain an in-depth understanding of the central narrative created and represented by The Keshet. An additional goal was to investigate the influence of The Keshet's activity and the narrative it constructed in regard to other narratives. In particular, the study focused on The Keshet's opposition to the central Zionist narrative that infuses civic, political, and academic frameworks in Israel. Accordingly, the primary research questions investigated in the study sought to determine: What has been the influence of the Mizrahi Democratic Rainbow on the Mizrahi narrative in Israel? And, what are implications of such influence for the central Zionist narrative? Methodologically, the study was based on narrative and comparative analyses of texts from different periods of the older and newer Mizrahi narratives. The corpus included two types of texts: First, academic texts and opinion pieces, both philosophical and programmatic in nature, published in magazines, journals, books, as well as position papers; second, all of the texts published by prominent and influential figures who charted the path of The Keshet or led it organizationally and/or intellectually over the last twenty years (e. g., Yehudah Shenhav, Yossi Yona, Moshe Krief among others). All texts were examined by means of philosophical, historical and critical hermeneutic tools. This analysis revealed different levels of Mizrahi and civic discourse in Israel as well as among The Keshet's founders and leading ideologues. The study was based on a three stage process model, developed for purposes of this study, for investigation and analysis of the new Mizrahi narrative as well as other oppositional narratives, in particular opposition to the hegemonic meta-narrative. The stages are: issuing the challenge, dissolution and, liberation; that is, liberation is the measure of the ultimate success of the struggle for narrative change. Such change is not based on success in the field, but rather on a radical, fundamental reversal of thought, discourse patterns, stylistic structures, as well as forms of questioning - in this case of taken-for-granted racist mechanisms. However, the principal change is in achieving a deep, inner de-legitimization of the signifiers, categories, and reproductions of all manner of mockery that are based on immoral colonialist processes that are reinforced by regimes of fear and intimidation whose self-destruction began upon their very creation. This three stage model charts the course of the oppositional Mizrahi narrative from: accounting for the past (passing judgment on the so-called historic colonialist Zionism) to writing a new (pure Mizrahi) history and creation of a Mizrahi-Arab identity separate from the Ashkenazic, identified as Zionist. Contemporary post-colonialist discourse is integral in these stages. Such a perspective has been transformed by transitions from - binarism to hybridity, Orientalism to Occidentalism, the politics of "liberation" to "constructive" politics, from the history of consciousness to the history of change, as well as from nationalist to post-nationalist questions. Fundamentally, according to this approach, political and other struggles for the emerging narrative of Mizrahi (or Arab) history seek to centralize it in society and weave it amidst the models of multiculturalism. Undertaken in parallel, the central characteristics of all these stages are borrowed from countries in which the need for national reconciliation led to renunciation of apartheid and racist policies and historical judgment of the hegemony supported by racist leaders. In addition, these three moves were undertaken in Keshet and its ideologues by means of substantive symbolic violence directed at the hegemonic Ashkenazic discourse, which included creation of hatred of it, use of stereotypes the opposite of oppressive discourse, and adoption of an arrogant point of view toward it. This stands in stark contrast to the claims of the self-proclaimed new Mizrahi stance of a discourse established on purely ethical grounds that sought to cleanse itself of these very same oppressive elements. The model developed for and demonstrated in this study allows for analysis of oppositional narratives in which the libratory stage evolves into a form of entrapment, as appears to be occurring to the new Mizrahi discourse. This conclusion is based on the observations shared by many Keshet proponents including leading intellectuals who worked on the manifestos that were the subject of criticism from the Zionist camp. The study identified and defined the following six interwoven strata, which for purposes of explication are each discussed in a separate chapter: The first chapter presents a general theoretical discussion of the issue of the narrative and the inter-narrative struggle that has become central and applicable in various ways in the latest generation (e. g., anthropologically, hermeneutically, and philosophically). The analysis surveys different discussions in the inter-narrative struggle and locates them in the contexts, relations, and meanings derived from, representing, and indeed reproducing the narrative of national identity. The second chapter includes a historical survey of the older Mizrahi struggle that existed prior to the ascendance of the new Mizrahi narrative. Initially, Mizrahi discourse focused on expressing the ethnic protest that grew in years to follow. These feelings of discrimination and social distancing of the immigrants from Islamic countries gave birth to expressions of protest, the most prominent of which were Wadi Salib and the Black Panther Movement's various activities. The research literature contains many explanations for the exacerbation of the ethnic problem and creation of a situation that could not be ignored. The consensus academic view reached at the end of the 1970s identified a number of primary factors for this situation: the existence and extensive numbers of different ethnic groups; the relative or absolute segregation of frameworks within which members of these ethnic groups lived and acted; and the significant overlap between socio-economic status and feelings of discrimination retained by members of the Mizrahi group due years of neglect by the Ashkenazic establishment, the strengthening of Mizrahi social, cultural, and political power, as well as the emergence of a Mizrahi elite that identified with Mizrahi problems. The severe consequences of feelings of discrimination were expressed in a long series of events, such as: rioting by residents of the Rehovot Sharayim neighborhood in 1956; events of Wadi Salib in Haifa in 1959; and a chain of activities involving the Black Panthers in the 1970s. Protest was also an aspect of the "tent movement" in the 1970s and 1980s. Political activities were advanced by the Tami Movement that competed in the election for the 10th Knesset in 1981 and the Shas Movement that has continued to garner political power since being found in 1984. The 1980s and 1990s were characterized as the era of radical consciousness of Mizrahi discourse as well as by the rise to power, in consecutive order, of the political parties – Tami, Shas, and the Mizrahim HaHadashim [the New Mizrahi]. The latter party laid the foundations of the new radical Mizrahi discourse from which emerged such cultural activities as: Iton Aher [A Different Newspaper]; Bimat Kivon Aher [Another Direction Forum]; Efir'yon journal; the Halah Organization for Education in Neighborhoods, Development Towns, and Villages; Kedma; the newspaper – Patish [Hammer]; and, eventually the establishment of Keshet. The third chapter presents an examination of the materialization of the inter-narrative struggle in the case of Israel, with a specific focus on The Keshet and the new Mizrahi narrative advanced by it and intellectuals. The Keshet ideology is examined in the context of its grounding in post-colonial thought, especially that of Edward Said; the directions proposed by Ella Shohat and her followers; the central thinkers of the narrative in Israel in the last decade; and the harsh critique leveled at the Ashkenazic-Zionist narrative. The practical steps proposed for implementation within the multicultural model are also examined. Here the effort to reduce the centrality of Zionism while revealing its oppressive mechanisms was undertaken in parallel with use of these mechanisms in order to create a Mizrahi space with broad margins inclusive of alternative forms of Israeli identity in the Middle East and in conjunction with Arabs within and beyond Israel. Mizrahi traditionalism is examined in the fourth chapter in two particular respects. First, the criticism of the new Mizrahi narrative leveled by the renewed view and, second, the implications of the alternative in terms of creating a Mizrahi space that does not oppose Zionism. Rather, in opposing the post-colonialist perspective, this renewed traditionalist perspective criticizes as well as values Zionism. This space seeks to be both Jewish and Mizrahi. It does not detach itself from nationalist Zionism but rather views itself as a continuation of this tradition and, accordingly, is an effort to develop a next stage in its development. For example, an essential dimension of the traditionalist perspective, "commitment," is considered in this stage to be a fertile basis for dialogue with the past and as an anchor for contemporary interpretation of Mizrahi and other Jews' identities in Israel. The fifth and sixth chapters deal with all of the vectors of criticism directed at the new Mizrahi narrative, including its ideological foundations, philosophical stance, as well as intellectual and practical basis in the Israeli sphere in the face of Palestinian nationalism. These vectors of criticism from within and beyond The Keshet deal with issues, such as, the meaning of the movement's activities and the narrative that it offers regarding questions of Israeli identity, Israeli collective memory, and Mizrahi self-perception. At the same time, it must confront the capitalist neo-liberal narrative in a global world and thrive in a context in which it must make itself manifest amidst oppositional narratives. The final chapter presents a comprehensive, critical analysis of the new Mizrahi narrative. It does so by means of a theoretical model that examines it as an oppositional narrative – one that seeks to challenge the hegemonic meta-narrative, to dissolve the boundaries of the narrative discourse, and to propose liberation and redemption that may led to entrapment amidst a changing, a-dichotomous realities (e. g., global economic development in the face of Zionist nationalisms that display ideological strength as well as development of the sense of being an Israeli that maintains its vitality and continuity while being constituted by sectors that challenge being a Mizrahi, such as co-ethnic subjects. The Keshet's influence is dramatic and extends in a number of central directions. Its political activity and non-entry into the domains of the Israeli parliament granted the movement significant power in civic discourse and contributed to changing the persona of the Mizrahi discourse; for example, from political-party struggles over budgets and obtaining shares of the regime to changing the face of Israeli society and the centrality of the Mizrahi narrative. This change included deconstructing the Ashkenazic narrative and constructing comprehensive Ashkenazic-Zionist guilt, as evident in the Ehud Barak's request for collective forgiveness. This was accomplished through the participation of leading members of Keshet who appeared in prominent intellectual forums and engaged in lively discourse - principally in academic, social, and media domains. Such participation gave new meaning to various aspects of Israeli society while establishing different models of multiculturalism. The rise of the new Mizrahi narrative is a significant marker in the inter-narrative struggle as it represents a desire for separate or hybrid identities. And, the deep probing of the narrative constructed by leaders of The Keshet and those who identify with the movement produced a number of clear ways to distinguish it from the old Mizrahi struggle, whose history was portrayed through social protests, in a manner similar to linear vectors marked with wars and elections. The old Mizrahi struggle selected the traditional tactical struggle identified usually with social and political movements that seek to change political, social, and economic reality - from the bottom up. Their primary demand was to change decisions as well as the division of social goods and resources. Hence, this older period of struggle was not aimed at opposing the ideological foundations of the hegemonic narrative nor did it seek to undermine in a radical manner the unique nature of the state of Israel as a revolutionary solution for the problems of the Jews according to the Zionist approach, as a national home for the Jewish people, and recognition of the right to an preferred and meta-definition of Jewish nationalism. In contrast, the top down struggle advanced by the new narrative is part of an ideological movement led by the educated that is assertive and ground in post-colonialist theory. Accordingly, it was critical of the techniques and mechanisms of oppression as well as sought to attack the Zionist ideological foundations and to reveal its racist operations and the regimes that have preserved it so efficiently for many years. The uniqueness of this narrative is the intellectual offensive that continues to be advanced and, in parallel, development of the discourse struggle in Israel concerning the justification for Zionism and the concrete political proposal that Jews reject the taken-for-granted status of it as an ideology. This new narrative recognizes the historic difficulties of subversion as an emancipatory and, principally, moral effort. In addition, the new Mizrahi narrative shares the foundations and narrative of Palestinian victimization. In its radical version, the new Mizrahi narrative seeks to connect to the Palestinian narrative in order to create a new space here. According to this version, this action will take place gradually. The first stage will be characterized by opposition to Western European, Ashkenazic Zionism. The Eurocentric Zionism will surrender in the second stage, to be followed in the last stage by creation of a coalition of Jews and Arabs that will be establish through concrete actualization of the refugee status and victimization that is shared by both Palestinians and Mizrahim (whether as Mizrahim or Jewish-Arab). Not a speculative academic exercise, the goal sought by this narrative is delineate and to achieve a multicultural model in which equality, liberty, and social justice will overcome the nationalism and colonialism of either side; that is it will be neither Zionist nor Jewish. Thus, this approach stresses what is shared (e.g., acceptance of the Arab space and not a rejection of it; the legitimacy of the Arab language and culture). This is part of detachment from and historic judgment of the colonialist Zionist enterprise. This possibility includes moral elements that remove the evil and harm caused by Zionism for many years as well as inner cleansing – primarily among Ashkenazim – of attitudes towards Jews and non-Jews. Though, in this regard, it should be noted that, to date, the new narrative has not made similar claims that Palestinians undergo a similar process. The assumption seems to be that this should be tested, that the coalition proposed is a possibility that will be recognized by the Palestinians, and that they are prepared to undergo a similar, shared moral process that involves negating the state of Israel as a Jewish, Western state, a state of the Jewish people, and not only for those who live within it. These Mizrahi thinkers conducted a significant move through deconstruction and substitution of the Eurocentric narrative with a multi-cultural proposal that is optimistic and even attractively naïve. Today, they acknowledge that they did not take into account Palestinian nationalist violence directed to citizens, the traditionalist alternative, and widespread opposition within the Mizrahi community toward what is perceived to be Mizrahi seclusion. They also did not take into account the harsh criticism rendered by young and educated Mizrahim who claim that they were born into a complex, multi-dimensional, multi-layered identity that includes internalization of the language of the West and rules of the game of this complex identity. And, though they are critical of some of its values, this makes it difficult to mount internal emotional opposition to the West and to the globalization contained within this world. Hence, this more familiar world is preferred over the values of the Mizrahi-Arab alternative, particularly in regard to problems in the domains of democratic citizenship, stance taken toward women, and freedom of speech. Further, educated Mizrachim reject the post-colonialist perspective and are stridently critical of its dichotomization. They claim that such a division is irrelevant in a world in which older ideologies have collapsed and new spheres – such as cyberspace and others – are open to them in which they can present themselves with an Israeli identity that is not categorized as necessarily Mizrahi. (shrink)

Traditionally, the role of general topology in model theory has been mainly limited to the study of compacta that arise in first-order logic. In this context, the topology tends to be so trivial that it turns into combinatorics, motivating a widespread approach that focuses on the combinatorial component while usually hiding the topological one. This popular combinatorial approach to model theory has proved to be so useful that it has become rare to see more advanced topology in model-theoretic (...) articles. Prof. Franklin D. Tall has led the re-introduction of general topology as a valuable tool to push the boundaries of model theory. Most of this thesis is directly influenced by and builds on this idea.The first part of the thesis will answer a problem of T. Gowers on the undefinability of pathological Banach spaces such as Tsirelson space. The topological content of this chapter is centred around Grothendieck spaces.In a similar spirit, the second part will show a new connection between the notion of metastability introduced by T. Tao and the topological concept of pseudocompactness. We shall make use of this connection to show a result of X. Caicedo, E. Dueñez, J. Iovino in a much simplified manner.The third part of the thesis will carry a higher set-theoretic content as we shall use forcing and descriptive set theory to show that the well-known theorem of M. Morley on the trichotomy concerning the number of models of a first-order countable theory is undecidable if one considers second-order countable theories instead.The only part that did not originate from model-theoretic questions will be the fourth one. We show that $\operatorname {ZF} + \operatorname {DC} +$ “all Turing invariant sets of reals have the perfect set property” implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations. This result provides evidence in favour of a long-standing conjecture asking whether Turing determinacy implies the axiom of determinacy.Abstract prepared by Clovis HamelE-mail: chamel@math.toronto.edu. (shrink)

This book is the fifth volume in the series of Collected Papers on Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. This volume specifically delves into the concept of Various SuperHyperConcepts, building on the foundational advancements introduced in previous volumes. The series aims to explore the ongoing evolution of uncertain combinatorics through innovative methodologies such as graphization, hyperization, and uncertainization. These approaches integrate and extend core concepts from fuzzy, neutrosophic, soft, and rough set theories, (...) providing robust frameworks to model and analyze the inherent complexity of real-world uncertainties. At the heart of this series lies combinatorics and set theory—cornerstones of mathematics that address the study of counting, arrangements, and the relationships between collections under defined rules. Traditionally, combinatorics has excelled in solving problems involving uncertainty, while advancements in set theory have expanded its scope to include powerful constructs like fuzzy and neutrosophic sets. These advanced sets bring new dimensions to uncertainty modeling by capturing not just binary truth but also indeterminacy and falsity. In this fifth volume, the exploration of Various SuperHyperConcepts provides an innovative lens to address uncertainty, complexity, and hierarchical relationships. It synthesizes key methodologies introduced in earlier volumes, such as hyperization and neutrosophic extensions, while advancing new theories and applications. From pioneering hyperstructures to applications in advanced decision-making, language modeling, and neural networks, this book represents a significant leap forward in uncertain combinatorics and its practical implications across disciplines. -/- The book is structured into 17 chapters, each contributing unique perspectives and advancements in the realm of Various SuperHyperConcepts and their related frameworks: Chapter 1 introduces the concept of Body-Mind-Soul-Spirit Fluidity within psychology and phenomenology, while examining established social science frameworks like PDCA and DMAIC. It extends these frameworks using Neutrosophic Sets, a flexible extension of Fuzzy Sets, to improve their adaptability for mathematical and programming applications. The chapter emphasizes the potential of Neutrosophic theory to address multi-dimensional challenges in social sciences. Chapter 2 delves into the theoretical foundation of Hyperfunctions and their generalizations, such as Hyperrandomness and Hyperdecision-Making. It explores higher-order frameworks like Weak Hyperstructures, Hypergraphs, and Cognitive Hypermaps, aiming to establish their versatility in addressing multi-layered problems and setting a foundation for further studies. Chapter 3 extends traditional decision-making methodologies into HyperDecision-Making and n-SuperHyperDecision-Making. By building on approaches like MCDM and TOPSIS, this chapter develops frameworks capable of addressing complex decision-making scenarios, emphasizing their applicability in dynamic, multi-objective contexts. Chapter 4 explores integrating uncertainty frameworks, including Fuzzy, Neutrosophic, and Plithogenic Sets, into Large Language Models (LLMs). It proposes innovative models like Large Uncertain Language Models and Natural Uncertain Language Processing, integrating hierarchical and generalized structures to advance the handling of uncertainty in linguistic representation and processing. Chapter 5 introduces the Natural n-Superhyper Plithogenic Language by synthesizing natural language, plithogenic frameworks, and superhyperstructures. This innovative construct seeks to address challenges in advanced linguistic and structural modeling, blending attributes of uncertainty, complexity, and hierarchical abstraction. Chapter 6 defines mathematical extensions such as NeutroHyperstructures and AntiHyperstructures using the Neutrosophic Triplet framework. It formalizes structures like neutro-superhyperstructures, advancing classical frameworks into higher-dimensional realms. Chapter 7 explores the extension of Binary Code, Gray Code, and Floorplans through hyperstructures and superhyperstructures. It highlights their iterative and hierarchical applications, demonstrating their adaptability for complex data encoding and geometric arrangement challenges. Chapter 8 investigates the Neutrosophic TwoFold SuperhyperAlgebra, combining classical algebraic operations with neutrosophic components. This chapter expands upon existing algebraic structures like Hyperalgebra and AntiAlgebra, exploring hybrid frameworks for advanced mathematical modeling. Chapter 9 introduces Hyper Z-Numbers and SuperHyper Z-Numbers by extending the traditional Z-Number framework with hyperstructures. These extensions aim to represent uncertain information in more complex and multidimensional contexts. Chapter 10 revisits category theory through the lens of hypercategories and superhypercategories. By incorporating hierarchical and iterative abstractions, this chapter extends the foundational principles of category theory to more complex and layered structures. Chapter 11 formalizes the concept of n-SuperHyperBranch-width and its theoretical properties. By extending hypergraphs into superhypergraphs, the chapter explores recursive structures and their potential for representing intricate hierarchical relationships. Chapter 12 examines superhyperstructures of partitions, integrals, and spaces, proposing a framework for advancing mathematical abstraction. It highlights the potential applications of these generalizations in addressing hierarchical and multi-layered problems. Chapter 13 revisits Rough, HyperRough, and SuperHyperRough Sets, introducing new concepts like Tree-HyperRough Sets. The chapter connects these frameworks to advanced approaches for modeling uncertainty and complex relationships. Chapter 14 explores Plithogenic SuperHyperStructures and their applications in decision-making, control, and neuro systems. By integrating these advanced frameworks, the chapter proposes innovative directions for extending existing systems to handle multi-attribute and contradictory properties. Chapter 15 focuses on superhypergraphs, expanding hypergraph concepts to model complex structural types like arboreal and molecular superhypergraphs. It introduces Generalized n-th Powersets as a unifying framework for broader mathematical applications, while also touching on hyperlanguage processing. Chapter 16 defines NeutroHypergeometry and AntiHypergeometry as extensions of classical geometric structures. Using the Geometric Neutrosophic Triplet, the chapter demonstrates the flexibility of these frameworks in representing multi-dimensional and uncertain relationships. Chapter 17 establishes the theoretical groundwork for SuperHyperGraph Neural Networks and Plithogenic Graph Neural Networks. By integrating advanced graph structures, this chapter opens pathways for applying neural networks to more intricate and uncertain data representations. (shrink)

Higher-order vagueness is widely thought to be a feature of vague predicates that any adequate theory of vagueness must accommodate. It takes a variety of forms. Perhaps the most familiar is the supposed existence, or at least possibility, of higher-order borderline cases—borderline borderline cases, borderline borderline borderline cases, and so forth. A second form of higherorder vagueness, what I will call ‘prescriptive’ higher-order vagueness, is thought to characterize complex predicates constructed from vague predicates by (...) attaching operators having to do with the predicates’ proper application. For example, the predicates ‘mandates application of “old”’ and ‘can competently be called “old”’ are prescriptively higher-order vague. Higher-order vagueness appears in other guises as well,1 but these two have been of particular interest to philosophers and will be my target here. I want to expose some misconceptions about them. If I am right, higher-order vagueness is less prevalent, and less important theoretically, than is usually supposed.2 In what follows I am going to assume that vagueness is a semantic feature of natural language. For the most part I won’t discuss epistemic or pragmatic views, and I will say nothing about so-called metaphysical vagueness. (shrink)

continent. 2.2 (2012): 66–75 ~*~ We’re Doomed. Pessimism is the night-side of thought, a melodrama of the futility of the brain, a poetry written in the graveyard of philosophy. Pessimism is a lyrical failure of philosophical thinking, each attempt at clear and coherent thought, sullen and submerged in the hidden joy of its own futility. The closest pessimism comes to philosophical argument is the droll and laconic “We’ll never make it,” or simply: “We’re doomed.” Every effort doomed to failure, every (...) project doomed to incompletion, every life doomed to be unlived, every thought doomed to be unthought. Pessimism is the lowest form of philosophy, frequently disparaged and dismissed, merely the symptom of a bad attitude. No one ever needs pessimism, in the way that one needs optimism to inspire one to great heights and to pick oneself up, in the way one needs constructive criticism, advice and feedback, inspirational books or a pat on the back. No one needs pessimism, though I like to imagine the idea of a pessimist activism. No one needs pessimism, and yet everyone—without exception—has, at some point in their lives, had to confront pessimism, if not as a philosophy then as a grievance—against one’s self or others, against one’s surroundings or one’s life, against the state of things or the world in general. There is little redemption for pessimism, and no consolation prize. Ultimately, pessimism is weary of everything and of itself. Pessimism is the philosophical form of disenchantment—disenchantment as chanting, a chant, a mantra, a solitary, monophonic voice rendered insignificant by the intimate immensity surrounding it. In pessimism, the first axiom is a long, low, funereal sigh. ~*~ We’re Still Doomed. No one has time for pessimism. After all, there are only so many hours in a day. Whatever our temperament, happy or sad, engaged or disengaged, we know pessimism when we hear it. The pessimist is usually understood as the complainer, forever pointing out what is wrong with the world without ever once offering a solution. But more often than not pessimists are the quietest of philosophers, submerging their own sighs within the lethargy of discontent. What little sound it makes is of interest to no one—“I’ve heard it all before,” “tell me something I don’t know,” sound and fury, signifying nothing. In raising problems without solutions, in posing questions without answers, in retreating to the hermetic, cavernous abode of complaint, pessimism is guilty of that most inexcusable of Occidental crimes—the crime of not pretending it’s for real. Pessimism fails to live up to the most basic tenet of philosophy—the “as if.” Think as if it will be helpful, act as if it will make a difference, speak as if there is something to say, live as if you are not, in fact, being lived by some murmuring non-entity both shadowy and muddied. Had it more self-assurance and better social skills, pessimism would turn its disenchantment into a religion, possibly calling itself The Great Refusal. But there is a negation in pessimism that refuses even such a Refusal, an awareness that, from the start, it has already failed, and that the culmination of all that is, is that all is for naught. Pessimism tries very hard to present itself in the low, sustained tones of a Requiem Mass, or the tectonic rumbling of Tibetan chant. But it frequently lets loose dissonant notes at once plaintive and pathetic. Often, its voice cracks, its weighty words abruptly reduced to mere shards of guttural sound. ~*~ Maybe It’s Not So Bad, After All. If we know pessimism when we hear it, this is because we’ve heard it all before—and we didn’t need to hear it in the first place. Life is hard enough. What you need is a change of attitude, a new outlook, a shift in perspective... a cup of coffee. If we have no ears for pessimism, this is because it is always reducible to something as reliably mutable as a voice. If pessimism is so frequently disparaged, it is because it brings everyone down, determined as it is to view each day as a bad day, if only by virtue of the fact that it is not yet a bad day. For pessimism the world is brimming with negative possibility, the collision of a bad mood with an impassive world. In fact, pessimism is the result of a confusion between the world and a statement about the world, a confusion that also prevents it from fully entering the hallowed halls of philosophy. If pessimism is so often dismissed, this is because it is often impossible to separate a “bad mood” from a philosophical proposition (and do not all philosophies stem from a bad mood?) The very term “pessimism” suggests a school of thought, a movement, even a community. But pessimism always has a membership of one—maybe two. Ideally, of course, it would have a membership of none, with only a scribbled, illegible note left behind by someone long forgotten. But this seems unrealistic, though one can always hope. ~*~ Anatomy of Pessimism. Though it may locate itself at the margins of philosophy, pessimism is as much subject to philosophical analysis as any other form of thought. Pessimism’s lyricism of failure gives it the structure of music. What time is to the music of sorrow, reason is to a philosophy of the worst. Pessimism’s two major keys are moral and metaphysical pessimism, its subjective and objective poles, an attitude towards the world and a claim about the world. For moral pessimism, it is better not to have been born at all; for metaphysical pessimism, this is the worst of all possible worlds. For moral pessimism the problem is the solipsism of human beings, the world made in our own image, a world-for-us. For metaphysical pessimism, the problem is the solipsism of the world, objected and projected as a world-in-itself. Both moral and metaphysical pessimism are compromised philosophically; moral pessimism by its failure to locate the human within a larger context, and metaphysical pessimism by its failure to recognize the complicity in the very claim of realism. This is how pessimism makes its music of the worst, a generalized misanthropy without the anthropos . Pessimism crystallizes around this futility—it is its amor fati , rendered as musical form. ~*~ Melancholy of Anatomy. There is a logic of pessimism that is fundamental to its suspicion of philosophical system. Pessimism involves a statement about a condition . In pessimism each statement boils down to an affirmation or a negation, just as any condition boils down to the best or the worst. With Schopenhauer, that arch-pessimist, the thinker for whom the philosopher and the curmudgeon perfectly overlap, we see a no-saying to the worst, a no-saying that secretly covets a yes-saying (through asceticism, mysticism, quietism), even if this hidden yes-saying is a horizon at the limits of comprehension. With Nietzsche comes the pronouncement of a Dionysian pessimism, a pessimism of strength or joy, a yes-saying to the worst, a yes-saying to this world as it is. And with Cioran yet another variation, futile yet lyrical, a no-saying to the worst, and a further no-saying to the possibility of any other world, in here or out there. With Cioran one approaches, but never reaches, an absolute no-saying, a studied abandonment of pessimism itself. The logic of pessimism moves through three refusals: a no-saying to the worst (refusal of the world-for-us, or Schopenhauer’s tears); a yes-saying to the worst (refusal of the world-in-itself, or Nietzsche’s laughter); and a no-saying to the for-us and the in-itself (a double refusal, or Cioran’s sleep). Crying, laughing, sleeping—what other responses are adequate to a life that is so indifferent? ~*~ Cosmic Pessimism. Both moral and metaphysical pessimism point to another kind, a pessimism that is neither subjective nor objective, neither for-us nor in-itself, and instead a pessimism of the world-without-us. We could call this a cosmic pessimism ... but this sounds too majestic, too full of wonder, too much the bitter aftertaste of the Great Beyond. Words falter. And so do ideas. And so we have a cosmic pessimism, a pessimism that is first and last a pessimism about cosmos , about the necessity and possibility of order. The contours of cosmic pessimism are a drastic scaling-up or scaling-down of the human point of view, the unhuman orientation of deep space and deep time, and all of this shadowed by an impasse, a primordial insignificance, the impossibility of ever adequately accounting for one’s relationship to thought—all that remains of pessimism is the desiderata of affects—agonistic, impassive, defiant, reclusive, filled with sorrow and flailing at that architectonic chess match called philosophy, a flailing that pessimism tries to raise to the level of an art form (though what usually results is slapstick). ~*~ Song of Futility. An ethics of futility pervades pessimism. Futility, however, is different from fatality, and different again from simple failure (though failure is never simple). Failure is a breakage within the heart of relations, a fissure between cause and effect, a fissure hastily covered over by trying and trying again. With failure, there is always plenty of blame to go around; it’s not my fault, it’s a technical difficulty, it’s a miscommunication. For the pessimist, failure is a question of “when,” not “if”—failure as a metaphysical principle. Everything withers and passes into an obscurity blacker than night, everything from the melodramatic decline of a person’s life to the banal flickering moments that constitute each day. Everything that is done undone, everything said or known destined for a kind of stellar oblivion. When scaled up in this way, failure becomes fatality. Fatality is the hermeticism of cause and effect. In fatality, everything you do, whatever you do, always leads to a certain end, and ultimately to the end—though that end, or the means to that end, remain shrouded in obscurity. Nothing you do makes a difference because everything you do makes a difference. Hence the effects of your actions are hidden from you, even as you deceive yourself into thinking that, at last, this time you will outwit the order of things. By having a goal, planning ahead, and thinking things through carefully, we attempt, in a daily Prometheanism, to turn fatality to our advantage, to gain a glimpse of an order that seems buried deeper and deeper in the fabric of the universe. But even fatality has its comforts. The chain of cause and effect may be hidden from us, but that’s just because disorder is the order we don’t yet see; it’s just complex, distributed, and requires advanced mathematics. Fatality still clings to the sufficiency of everything that exists... When fatality relinquishes even this idea, it becomes futility. Futility arises out of the grim suspicion that, behind the shroud of causality we drape over the world, there is only the indifference of what exists or doesn’t exist; whatever you do ultimately leads to no end, an irrevocable chasm between thought and world. Futility transforms the act of thinking into a zero-sum game. ~*~ Song of the Worst. At the center of pessimism lies the term pessimus , “the worst,” a term as relative as it is absolute. The worst is about as bad as it gets, “the worst” as “the best” in disguise, shrouded by the passage of time or the twists and turns of fortune. For the pessimist, “the worst” is the propensity for suffering that gradually occludes each living moment, until it eclipses it entirely, overlapping perfectly in death... which, for the pessimist, is no longer “the worst.” Pessimism is marked by an unwillingness to move beyond “the worst,” something only partially attributable to a lack in motivation. In pessimism “the worst” is the ground that gives way beneath every existent—things could be worse, and , things could be better. “The worst” invariably implies a value judgment, one made based on scant evidence and little experience; in this way, pessimism’s greatest nemesis is its moral orientation. Pessimism’s propositions have all the gravitas of a bad joke. Perhaps this is why the true optimists are the most severe pessimists—they are optimists that have run out of options. They are almost ecstatically inundated by the worst. Such an optimism is the only possible outcome of a prolonged period of suffering, physical or metaphysical, intellectual or spiritual. But does this not also describe all the trials and tribulations of each day—in short, of “life?” It seems that sooner or later we are all doomed to become optimists of this sort (the most depressing of thoughts...) ~*~ Song of Doom. Rather than serving as a cause for despair, gloom and doom are the forms of consolation for any pessimist philosophy. Neither quite affects nor quite concepts, gloom and doom transform pessimism into a mortification of philosophy. Doom is not just the sense that all things will turn out badly, but that all things inevitably come to an end, irrespective of whether or not they really do come to an end. What emerges from doom is a sense of the unhuman as an attractor, a horizon towards which the human is fatally drawn. Doom is humanity given over to unhumanity in an act of crystalline self-abnegation. Gloom is not simply the anxiety that precedes doom. Gloom is literally atmospheric, climate as much as impression, and if people are also gloomy, this is simply the by-product of an anodyne atmosphere that only incidentally involves human beings. Gloom is more climatological than psychological, the stuff of dim, hazy, overcast skies, of ruins and overgrown tombs, of a misty, lethargic fog that moves with the same languorousness as our own crouched and sullen listening to a disinterested world. In a sense, gloom is the counterpoint to doom—what futility is to the former, fatality is to the latter. Doom is marked by temporality—all things precariously drawn to their end—whereas gloom is the austerity of stillness, all things sad, static, and suspended, a meandering smoke hovering over cold lichen stones and damp fir trees. If doom is the terror of temporality and death, then gloom is the horror of a hovering stasis that is life. At times I like to imagine that this realization alone is the thread that connects the charnel ground Aghori and the graveyard poets. ~*~ Song of Spite. There is an intolerance in pessimism that knows no bounds. In pessimism spite begins by fixing on a particular object of spite—someone one hardly knows, or someone one knows too well; a spite for this person or a spite for all of humanity; a spectacular or a banal spite; a spite for a noisy neighbor, a yapping dog, a battalion of strollers, the meandering idiot walking in front of you on their smart phone, large loud celebrations, traumatic injustices anywhere in the world regurgitated as media blitz, spite for the self-absorbed and overly performative people talking way too loud at the table next to you, technical difficulties and troubleshooting, the reduction of everything to branding, spite of the refusal to admit one’s own errors, of self-help books, of people who know absolutely everything and make sure to tell you, of all people, all living beings, all things, the world, the spiteful planet, the inanity of existence... Spite is the motor of pessimism because it is so egalitarian, so expansive, it runs amok, stumbling across intuitions that can only half-heartedly be called philosophical. Spite lacks the confidence and the clarity of hatred, but it also lacks the almost cordial judgment of dislike. For the pessimist, the smallest detail can be an indication of a metaphysical futility so vast and funereal that it eclipses pessimism itself—a spite that pessimism carefully places beyond the horizon of intelligibility, like the experience of dusk, or like the phrase, “it is raining jewels and daggers.” ~*~ Song of Sleep. A paraphrase of Schopenhauer: what death is for the organism, sleep is for the individual. Pessimists sleep not because they are depressed, but because for them sleep is a form of ascetic practice. Sleep is the askesis of pessimism. If, while sleeping, we have a bad dream, we abruptly wake up, and suddenly the horrors of the night vanish. There is no reason to think that the same does not happen with the bad dream we call “life.” ~*~ Song of Sorrow. Nietzsche, commenting on pessimism, once castigated Schopenhauer for taking things too lightly. He writes: ...Schopenhauer, though a pessimist, really —played the flute. Every day, after dinner: one should read his biography on that. And incidentally: a pessimist, one who denies God and the world but comes to a stop before morality—who affirms morality and plays the flute... what? Is that really—a pessimist? We know that Schopenhauer did possess a collection of instruments, and we also know that Nietzsche himself composed music. There is no reason to think that either of them would ever banish music from the Republic of philosophy. But Nietzsche’s jibes at Schopenhauer are as much about music as they are about pessimism. For the pessimist who says no to everything and yet finds comfort in music, the no-saying of pessimism can only be a weak way of saying yes—the weightiest statement undercut by the flightiest of replies. The least that Schopenhauer could’ve done is to play the bass. I’m not a big fan of the flute, or, for that matter, wind instruments generally. But what Nietzsche forgets is the role that the flute has historically played in Greek tragedy. In tragedy, the flute ( aulos ) is not an instrument of levity and joy, but of solitude and sorrow. The Greek aulos not only expresses the grief of tragic loss, but it does so in a way that renders weeping and singing inseparable from each other. The classicist Nicole Loraux calls this the mourning voice . Set apart from the more official civic rituals of funerary mourning, the mourning voice of Greek tragedy constantly threatens to dissolve song into wailing, music into moaning, and the voice into a primordial, disarticulate anti-music. The mourning voice delineates all the forms of suffering—tears, weeping, sobbing, wailing, moaning, and the convulsions of thought reduced to an elemental unintelligibility. In the collapsed space between the voice that speaks and the voice that sings, pessimism discovers its mourning voice. Pessimism: the failure of sound and sense, the disarticulation of phone and logos . Have we rescued Schopenhauer from Nietzsche? Probably not. Perhaps Schopenhauer played the flute to remind himself of the real function of the mourning voice—sorrow, sighs, and moaning rendered indistinguishable from music, the crumbling of the human into the unhuman. Failure par excellence of pessimism. ~*~ Song of Nothing. In Buddhist thought, the First Noble Truth of existence is encapsulated in the Pali term dukkha , conventionally translated as “suffering,” “sorrow,” or “misery.” The Buddhist teachings are clear, however, that this is an objective claim, and not simply one point of view among others. Existence is suffering and sorrow—and yet this is not, the teachings tell us, a pessimistic attitude. It is likely that Schopenhauer, reading the Buddhist texts available to him, recognized some filiation with the concept of dukkha . But dukkha is a multi-faceted term. There is, certainly, dukkha in the usual sense of the suffering, strife, and loss associated with living a life. But this is, in turn, dependent on the finitude and temporality of dukkha , existence as determined by impermanence and imperfection. And this ultimately points to the way in which both suffering and finitude are grounded by the paradoxical groundlessness of dukkha as a metaphysical principle—the insubstantiality and the emptiness of all that is. Beyond what is worse to me, beyond a world ordered for the worst, there is the emptiness of dukkha as an impersonal suffering... the tears of the cosmos. In this context, it is easy to see how Schopenhauer’s pessimism attempts to compress all the aspects of dukkha into a nothingness at the core of existence, a Willlessness coursing through the Will. Though one thing for certain is that with Schopenhauer we do not find the “ever-smiling” countenance of Buddhism—or do we? The texts of the Pali Canon also contain lists of the different types of happiness—including the happiness of renunciation and the strange happiness of detachment. But Buddhism considers even the different types of happiness as part of dukkha , in this final sense of nothingness or emptiness. Perhaps Schopenhauer understood Buddhism better than he is usually given credit for. Thus the experiment of Schopenhauer’s philosophy—the point at which a Western pessimus and an Eastern dukkha overlap or exchange glances. Empty sorrow, a lyricism of indifference. The result is a strange, and ultimately untenable, nocturnal form of Buddhism. ~*~ Cioran once called music a “physics of tears.” If this is true, then perhaps metaphysics is its commentary. Or its apology. ~*~ Pessimism would be more mystical were it not for its defeatism. Mysticism is much too proactive for the pessimist, and pessimism too impassive even for the mystic. At the same time, there is something enviable about mysticism—despite its sufferings. There is a sense in which pessimists are really failed mystics. ~*~ You, the Night, and the Music. In a suggestive passage, Schopenhauer once noted that, “music is the melody to which the world is the text." Given Schopenhauer’s view on life—that life is suffering, that human life is absurd, that the nothingness before my birth is equal to the nothingness after my death—given all this, one wonders what kind of music Schopenhauer had in mind when he described music as the melody to which the world is text—was it opera, a Requiem Mass, a madrigal, or perhaps a drinking song? Or something like Eine kleine Nachtmusik , a little night music for the twilight of thought, a sullen nocturne for the night-side of logic, an era of sad wings sung by a solitary banshee. Perhaps the music Schopenhauer had in mind is music eliminated to non-music. A whisper would suffice. Perhaps a sigh of fatigue or resignation, perhaps a moan of despair or sorrow. Perhaps a sound just articulate enough that it could be heard to dissipate. ~*~ Teach me to laugh through tears. ~*~ Pessimism always falls short of being philosophical. My back aches, my knees hurt, I couldn’t sleep last night, I’m stressed-out, and I think I’m finally coming down with something. Pessimism abjures all pretenses towards system—towards the purity of analysis and the dignity of critique. We didn’t really think we could figure it out, did we? It was just passing time, taking a piss, something to do, a bold gesture put forth in all its fragility, according to rules that we have agreed to forget that we made up in the first place. Every thought marked by a shadowy incomprehension that precedes it, and a futility that undermines it. That pessimism speaks, in whatever voice, is the singing testimony to this futility and this incomprehension—take a chance and step outside, lose some sleep and say you tried... ~*~ Is there a music of pessimism? And would such a music be audible? ~*~ The impact of music on a person compels them to put their experience into words. When this fails, the result is a faltering of thought and language that is itself a kind of music. Cioran writes: “Music is everything. God himself is nothing more than an acoustic hallucination.” ~*~ If a thinker like Schopenhauer has any redeeming qualities, it is that he identified the great lie of Western culture—the preference for existence over non-existence. As he notes: “If we knocked on the graves and asked the dead whether they would like to rise again, they would shake their heads.” In Western cultures it is commonly accepted that one celebrates birth and mourns death. But there must be a mistake here. Wouldn’t it make more sense to mourn birth and celebrate death? Strange though, because the mourning of birth would, presumably, last the entirety of that person’s life, so that mourning and living would the be same thing. ~*~ To the musical idea of the harmony of the universe corresponds the philosophical principle of sufficient reason. Like the music of mourning, pessimism gives voice to the inevitable breakdown of word and song. In this way, music is the overtone of thought. ~*~ The Patron Saints of Pessimism. The patron saints of pessimism watch over suffering. Laconic and sullen, the patron saints of pessimism never seem to do a good job at protecting, interceding, or advocating for those who suffer. Perhaps they need us more than we need them. Lest we forget, there do exist patron saints of philosophy, but their stories are not happy ones. There is, for instance, the fourth century Saint Catherine of Alexandria, or Catherine of the Wheel, named after the torture device used on her. A precocious fourteen year old scholar, Catherine was subject to continual persecution. After all forms of torture failed—including the “breaking wheel”—the emperor finally settled for her decapitation, a violent yet appropriate reminder of the protector of philosophers. There are also patron saints of music and musicians, but theirs too are sad stories. In the second century, Saint Cecilia was also subject to persecution and torture. As she knelt to receive the blade that would separate her head from her body, she ardently sang a song to God. It took three attempts before she was fully decapitated, all the while she continued, perhaps miraculously, to sing. Does pessimism not deserve its own patron saints, even if they are unworthy of martyrdom? But in our search, even the most ardent nay-sayers frequently lapse into brief moments of enthusiasm—Pascal’s love of solitude, Leopardi’s love of poetry, Schopenhauer’s love of music, Nietzsche’s love of Schopenhauer, and so on. Should one then focus on individual works of pessimism? We could include Kierkegaard’s trilogy of horror— Sickness Unto Death , The Concept of Dread , and Fear and Trembling —but all these are undermined by their fabricated and unreliable authors. Besides, how can one separate the pessimist from the optimist in works like Unamuno’s The Tragic Sense of Life , Shestov’s Postetas Clavium , or Edgar Saltus’ under-read The Philosophy of Disenchantment ? Even in cases where the entire corpus of an author is pessimistic, the project always seems incomplete—witness Cioran’s trajectory, from his first book, On the Heights of Despair , to the last unpublished notebooks of acrid and taut aphorisms. And this is to say nothing of literary pessimism, from Goethe’s sorrowful Werther, to Dostoevsky’s underground man, to Pessoa’s disquiet scribbler; Baudelaire’s spleen and ennui, the mystical Satanism of Huysmans and Strindberg, the hauntologies of Mário de Sá-Carniero, Izumi Kyoka, H.P. Lovecraft, grumpy old Beckett... even the great pessimist comedians. All that remains are singular, perhaps anomalous statements of pessimism, a litany of quotes and citations crammed into fortune cookies. Patron saints are traditionally named after a locale, either a place of birth or of a mystical experience. Perhaps the better approach is to focus on the places where pessimists were forced to live out their pessimism—Schopenhauer facing an empty Berlin lecture hall, Nietzsche mute and convalescent at the home of his sister, Wittgenstein the relinquished professor and solitary gardener, Cioran grappling with Alzheimer’s in his tiny writing alcove in the Latin Quarter. ~*~ There’s a ghost that grows inside of me, damaged in the making, and there’s a hunt sprung from necessity, elliptical and drowned. Where the moving quiet of our insomnia offers up each thought, there’s a luminous field of grey inertia, and obsidian dreams burnt all the way down. ~*~ If pessimism has any pedagogical value, it is that the failure of pessimism as a philosophy is inextricably tied to the failure of pessimism as voice. I read the following, from Shestov’s The Apotheosis of Groundlessness : When a person is young he writes because it seems to him he has discovered a new almighty truth which he must make haste to impart to forlorn humankind. Later, becoming more modest, he begins to doubt his truths: and then he tries to convince himself. A few more years go by, and he knows he was mistaken all round, so there is no need to convince himself. Nevertheless he continues to write, because he is not fit for any other work, and to be accounted a superfluous person is so horrible. (shrink)

Minimalism concerning truth is the view that that all there is to be said concerning truth is exhausted by a set of basic platitudes. In the first part of this thesis, I apply this methodology to the concept of knowledge. In so doing, I develop a model of inexact knowledge grounded in what I call minimal margin for error principles. From these basic principles, I derive the controversial result that epistemological internalism and internalism with respect to self-knowledge are untenable (...) doctrines. In the second part of this thesis, I develop a minimal theory of vagueness in which a rigorous but neutral definition of vagueness is shown to be possible. Three dimensions of vagueness are distinguished and a proof is given showing how two of these dimensions are equivalent facets of the same phenomenon. From the axioms of this minimal theory one can also show that there must be higher-order vagueness, contrary to what some have argued. In the final part of this thesis, I return to issues concerning the credentials of truth-minimalism. Is truth-minimalism compatible with the possibility of truth-value gaps? Is it right to say that truth-minimalism is crippled by the liar paradox? With respect to the former question, I develop a novel three-valued logical system which is both proof-theoretically and truth-theoretic ally well-motivated and compatible with at least one form of minimalism. With respect to the second question, a new solution to the liar paradox is developed based on the claim that while the liar sentence is meaningful, it is improper to even suppose that this sentence has a truth-status. On that basis, one can block the paradox by restricting the Rule of Assumptions in Gentzen-style presentations of the sentential sequent calculus. The first lesson of the liar paradox is that not all assumptions are for free. The second lesson of the liar is that, contrary to what has been alleged by many, minimalism concerning truth is far better placed than its rival theories to solve the paradox. (shrink)

A number of arguments purport to show that vague properties determine sharp boundaries at higher orders. That is, although we may countenance vagueness concerning the location of boundaries for vague predicates, every predicate can instead be associated with precise knowable cut-off points deriving from precision in their higher order boundaries. I argue that this conclusion is indeed paradoxical, and identify the assumption responsible for the paradox as the Brouwerian principle B for vagueness: that if p then it's (...) determinate that it's not determinate that not p. Other paradoxes which do not appear to turn on B turn instead on some subtle issues concerning the relation between assertion, belief and higher order vagueness. In this paper a theory of assertion, knowledge and logic is outlined which allows one to avoid any kind of higher order precision. A class of realistic models containing counterexamples to B and a number of weakenings of B are introduced and its logic is shown to support vagueness at every order. (shrink)

continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...) supérieure. The book in question is Meillassoux’s revised doctoral dissertation L’Inexistence divine (or The Divine Inexistence ), with its seemingly bizarre vision of a God who does not yet exist but might exist in the future. Without literally accepting this view, I will claim that it is philosophically interesting in ways that even a hardened sceptic might be able to appreciate. Third and finally, I will speculate on the possible future of Meillassoux’s speculative materialism itself. And here I mean its future development not by Meillassoux, but by those readers who might be inspired by his book. Plato could never have predicted the emergence of Aristotle’s philosophy, despite the obvious debt of the latter to the former. Nor could Descartes have predicted Spinoza and Leibniz, nor Kant the German Idealists, and neither could Husserl in 1901 have foreseen the later emergence of Heidegger. How are the works of interesting philosophers transformed by later thinkers of comparable importance? While it may seem that there are countless ways to do this, I think there are only two basic ways in which this happens: you can radicalize your predecessors, or you can reverse them. I will close this article with a few words about these two methods, and try to imagine how Meillassoux might be radicalized or reversed by some future admirer. My view is that the more important thinkers are, the easier they are to radicalize or reverse. This helps explain why the great philosophers of the West have so often appeared in clusters, succeeding one another at relatively brief intervals during periods of especial ferment. 1. After Finitude After Finitude is unusually short for such an influential book of philosophy: running to just 178 pages in the original French, and an even more compact 128 pages in the English version, despite the introduction of roughly eight pages of new material for the English edition. Rather than summarizing Meillassoux’s book in the order he intended, I will focus on six points that strike me as the pillars of his debut book. Along the way, I will offer a few criticisms as well. The first pillar of the book is Meillassoux’s own term “correlationism.”1 Although he introduces this term as the name for an enemy, it is striking that Meillassoux remains impressed by correlationism much more than his fellow speculative realists are. This continued appreciation for his great enemy influences the shape of his own ontology. Is there a world outside our thinking of it, or does the world consist entirely in being thought? Traditionally, this dispute between realism and idealism has been dismissed in continental philosophy as a “pseudo-problem,” in a strategy pioneered by Husserl and extended by Heidegger. We cannot be realists, since following Kant we have no direct access to things-in-themselves. But neither are we idealists, since the human being is always already outside itself, aiming at objects in intentional experience, deeply engaged with practical implements, or stationed in some particular world-disclosing mood. The centuries-old dispute between realism and idealism is dissolved by saying that we cannot think either real or ideal in isolation from the other. There is neither human without world nor world without human, but only a primordial correlation or rapport between the two. This is what “correlationism” means: philosophy trapped in a permanent meditation on the human-world correlate, trying to find the best model of the correlate: is it language, intentionality, embodiment, or some other form of correlation between human and world? Among other problems, this generates some friction between philosophy and the literal meaning of science. When cosmologists say that the universe originated 13.5 billion years ago, they do not mean “13.5 billion years ago for us ,” but literally 13.5 billion years ago, well before conscious life existed, and thus at a time when there was no such thing as a correlate. Meillassoux also coins the term “ancestrality” (10) for the reality that predated the correlate, and later expands this term to “dia-chronicity,” (112) to refer to events occurring after the extinction of human beings no less than to those occurring before we existed. Up to this point, Meillassoux’s focus on ancestral entities existing prior to consciousness might seem like a straightforward realist who wants to unmask correlationism as just another form of idealism. Yet Meillassoux also admires the correlationist maneuver, which can obviously be traced back to Kant. Unlike a thinker such as Whitehead, Meillassoux feels no nostalgia for the pre-critical realism that came before Kant: “we cannot but be heirs of Kantianism,” he says (29). What impresses Meillassoux about correlationism is something both simple and familiar. If we attempt to think a tree outside thought, this is itself a thought . Any form of realism which thinks it can simply and directly address the world the way it is fails to escape the correlational circle, since the attempt to think something outside of thought is itself nothing other than a thought, and thereby collapses back into the very human-world correlate that it pretends to escape. For Meillassoux this step, suggested by Kant but first refined by the ensuing figures of German Idealism, marks decisive forward progress in the history of philosophy that must not be abolished. Any attempt to break free from the correlate must first acknowledge its mighty intellectual power. Realist though he may seem, Meillassoux’s works are filled with praise of such figures as Fichte and Hegel, not of so-called “naïve realists.” It is also the case that for Meillassoux, not all correlationisms are the same. The second pillar of his book is a distinction between various positions that I have termed “Meillassoux’s Spectrum,” though of course he is never so immodest as to name it after himself. He distinguishes between at least six different possible positions, and perhaps we could add even subtler variations if we wished. But in its simplest form, Meillassoux’s Spectrum allows for just four basic outlooks on the question of realism vs. anti-realism. Three of these are easy to understand, since we have already been discussing them. At one extreme is so-called “naïve realism,” which holds that a world exists outside the mind, and that we can know this world. Meillassoux rejects this naïve realism as having been overthrown by Kant’s critical philosophy. At the other extreme is subjective idealism, in which nothing exists outside the mind. For to think a dog outside thought immediately turns it into a thought, and therefore there cannot be anything outside; the very notion is meaningless. In between these two is what we have called correlationism. And here comes a crucial moment for Meillassoux, since he distinguishes between the two forms of “weak” and “strong” correlationism, and chooses the strong form as the launching pad for his own philosophy. Weak correlationism is easy to explain, since we all know it from the philosophy of Kant. The things-in-themselves can be thought but not known. They certainly must exist, since there cannot be appearances without something that appears. And we can think about them, which idealism holds to be impossible. They are simply unknowable due to the finitude of human thought. Strong correlationism is the new position introduced by Meillassoux (though he sees it at work in numerous twentieth century thinkers), midway between weak correlationism and subjective idealism. The major difference between the three positions is as follows. Weak correlationism says: “The things-in-themselves exist, but we cannot know them.” The subjective idealist says: “This is a contradiction in terms, since when we think the things-in-themselves, we already turn them into thoughts.” But the strong correlationist says: “Just because ‘things-in-themselves’ is a meaningless notion does not mean that they cannot exist. No one has ever traveled to the world-in-itself and come back to make a report on it. Thus, the fact that we cannot think things-in-themselves without contradiction does not prove that they do not exist anyway. There may be things-in-themselves, we simply are not capable of thinking them without contradiction form within the correlational circle.” This step is crucial for Meillassoux, since strong correlationism is the position he attempts to radicalize into his own new standpoint: speculative materialism. As I see it, this step of the argument fails. Strong correlationism cannot avoid collapsing into subjective idealism, since the statements of the strong correlationist are rendered meaningless from within. All three of the other positions in the Spectrum make perfectly good sense even for those who disagree with them. The naïve realist says that things-in-themselves exist and we can know them; the meaning of this statement is clear. The weak correlationist can say that things-in-themselves exist but lie forever beyond our grasp; this too makes perfect sense, even though the German Idealists try to show a contradiction at work here. We can also understand the claim of the subjective idealist that to think anything outside thought turns it into a thought, and that for this reason we cannot think the unthought. The strong correlationist, alone among the four, speaks nonsense . This person says “I cannot think the unthought without turning it into a thought, and yet the unthought might exist anyway.” But notice that the final phrase “the unthought might exist anyway” is fruitless for this purpose. For we have already heard that to think any unthought turns it into a thought. But now the strong correlationist wants to do two incompatible things simultaneously with this unthought. On the one hand, he neutralizes the unthought by showing that it instantly changes into just another thought. But on the other hand, he wants to appeal to the unthought as a haunting residue that might exist outside thought, thereby undercutting the absolute status of the human-world correlate found in idealism. But this is impossible. If you accept the argument that thinking the unthought turns it into a thought, you cannot also add “but maybe there is something outside that prevents this conversion from being absolutely true,” because this “something outside” is immediately converted into nothing but a thought for us. In short, Meillassoux here seems to be offering a kind of Zen koan: his “strong correlationism” is reminiscent of the gateless gate, or the sound of one hand clapping, or the command to punch Hegel in the jaw when meeting him on the road. We cannot at the same time both destroy the realist challenge of the things-in-themselves in order to undercut realism and reintroduce that very realist sense in order to undercut idealism. In a world where everything is instantly converted into thought, we cannot claim that there might be something extra-mental anyway, because this “might be something” is itself converted into a thought by the same rules that condemned dogs, trees, and houses to the idealist prison. This brings us to the third pillar of Meillassoux’s argument, which is the key to all the rest: the necessity of contingency. His strategy is to transform our supposed ignorance of things-in-themselves into an absolute knowledge that they exist without reason, and that the laws of nature can change at any time for no reason at all. In this way the cautious agnosticism of Kantian philosophies is avoided, but so is the collapse of reality into thought as found in German Idealism. Meillassoux does try to prove the existence of things-in-themselves existing outside thought; he simply holds that they must be proven after passing through the rigors of the correlationist challenge, not just arbitrarily decreed to exist in the manner of naïve realism. As he puts it, “Everything could actually collapse: from trees to stars, from stars to laws, from physical laws to logical laws; and this not by virtue of some superior law whereby everything is destined to perish, but by virtue of the absence of any superior law capable of preserving anything, no matter what, from perishing” (53). If idealism thinks that the human-world correlate is absolute, for Meillassoux it is the facticity of the correlate that is absolute. He tries to show this with a nice brief dialogue between five separate characters (55-59) which is covered in detail in my forthcoming book,2 but which I will simplify here for reasons of time. In this simplified version, we first imagine a dogmatic realist arguing with a dogmatic idealist. The realist says that we can know the truth about the things-in-themselves; the idealist counters that we can only the truth about thought, since all statements about reality must be turned into statements concerning our thoughts about reality. Here the correlationist enters and proclaims that both of these positions are equally dogmatic. For although we have access to nothing but thoughts, we cannot be sure that these thoughts are all that exist; there could be a reality outside thought, there is simply no way to know for sure. And this latter position is the one that Meillassoux attempts to transform from an agnostic, skeptical point into an ontological claim about the contingency of everything. Consider it this way. How does the correlationist defeat the idealist? The idealist holds that the existence of anything outside thought is impossible. The correlationist, by contrast, holds that something might exist outside the human-world correlate. But this “something might” has to be an absolute possibility. It cannot mean that “something outside thought might exist for thought ,” because that is what the idealist already says. No, the correlationist must mean that something might exist outside thought quite independently of thought. In other words, the correlationist says that idealism might be wrong, and this means it is absolutely true that idealism might be wrong. Thus, correlationism is no longer just a skeptical position. It holds that all the possibilities of the world are absolute possibilities. We have absolute knowledge that any of the possibilities about the existence or non-existence of things-in-themselves might be true, and this means that correlationism flips into Meillassoux’s own position: speculative materialism. As Meillassoux sees it, there are only two options here. Option A is to absolutize the human-world correlate, which is what the idealist does: there absolutely cannot be anything outside thought. Option B, by contrast, is to absolutize the facticity of the correlate: its character of simply being given to us, without any inherent necessity. The correlationist cannot have it both ways by saying: “there absolutely might be something outside thought, yet maybe this is absolutely impossible.” In other words, once we escape dogmatism we can only be idealists or speculative materialists, not correlationists. The human-world correlate is merely a fact, not an absolute necessity. But this facticity itself cannot be merely factical: it must be absolute. Here Meillassoux coins the French neologism factualité , which has been suitably translated into the English neologism “factiality.” (7, 122-3) Factialty means that for everything that exists, it is absolutely possible that it might be otherwise, not just that we cannot know whether or not it might be otherwise. Just as Kant transformed philosophy into a meditation on the categories governing human finitude, Meillassoux wishes to turn philosophy into a meditation on the necessary conditions of factiality, which he calls “figures”—a new technical term for him. (80) One such figure is that the law of non-contradiction must be true, and for an unusual reason. Since everything is proven to be contingent, nothing that exists can be contradictory, for whatever is contradictory has no opposite into which it might be transformed, and thus contingency would be impossible.3 Another such figure is that there must be something rather than nothing: for since contingency exists, something must exist in order to be contingent. It is a daring high-wire act, one that sacrifices realism to the correlational circle in order to rebuild it from out of its own ashes. Some might conclude that the lack of reason in things is a byproduct of the ignorance of finite humans, Meillassoux is making precisely the opposite point. For in fact, the doctrine of finitude usually leads directly to belief in a hidden reason. The fact that it lies beyond human comprehension merely increases our belief in this arbitrarily chosen concealed ground. By defending anew the concept of absolute knowledge Meillassoux evacuates the world of everything hidden. The reason for things having no reason is not that the reason is hidden, but that no reason exists. Thus, even while insisting on the necessity of non-contradiction, he rejects the other Leibnizian principle: sufficient reason. Everything simply is what it is, in purely immanent form, without deeply hidden causes. Or as Meillassoux puts it: “There is nothing beneath or beyond the manifest gratuitousness of the given—nothing but the limitless and lawless power of its destruction, emergence, or persistence” (63).The world is a “hyper-chaos”(64). But this is not the same thing as flux. For the chaos of the world is such that stability might occur just as easily as constant, turbulent change. Let’s now digress a bit, and return to the question of ancestrality, which Meillassoux transforms later in the book into “dia-chronicity.” Correlationism holds that all talk of a world outside the correlate is immediately recuperated by the correlate. The phrase “13.5 billion years ago” becomes “13.5 billion years ago for us ,” and the phrase “the universe following the extinction of humans” becomes “the universe following the extinction of humans for humans .” But notice that whether we talk about the world before or after humans, in both cases it is time that is used to challenge the correlate. Meillassoux has no interest in challenges that might be posed by space. For example, what about a vase in a lonely country house that topples to the floor and smashes when no one is there to watch it? Isn’t this also a challenge to correlationism, no less than the Big Bang or the heat death of the universe long after humans have vanished? In an eight-page supplement to the English translation of After Finitude ,4 possibly in response to my own 2007 review of the French original,5 Meillassoux bluntly denies that space is of any relevance to the question. Spatial distance is a merely harmless challenge to the human-world correlate. After all, even though no one is there in the lonely country house to witness the shattering of the vase, we can say that had there been an observer , that observer would have witnessed the toppling and destruction of the vase. For this event still occurs in a world in which the human-world correlate already exists, whereas the diachronicity of events both before and after the existence of humans makes it impossible to say that had there been an observer they would have witnessed the Big Bang occurring in such and such a fashion. However, it seems to me that Meillassoux merely asserts that the temporal simultaneity of our existence with that of the vase in the lonely country house is enough to render it harmless. It is true that the house does not exist prior to the correlate, but nonetheless it exists outside the correlate, and that is enough to make the same challenge. It is difficult to see why the “had there been an observer” maneuver succeeds in the case of a vase in the countryside in April 2011 but fails in the case of the Big Bang. This is not just a matter of nitpicking Meillassoux’s argumentative style: the fact that he bases his argument on time has at least two important consequences for his position. For in the first place, even though Meillassoux insists that the laws of nature are absolutely contingent, this turns out to be true only in a temporal sense. That is to say, it is a paradoxical feature of Meillassoux’s philosophy that he does allow for the existence of laws of nature, and simply believes that they can change at any moment without reason. Within any given moment, laws of nature do exist. He never suggests that different parts of the universe can have different laws at the same time, nor does he have any interest in the laws of part/whole composition that take place within any given instant. Could it be the case that rather than being made of gold atoms, a small chunk of gold could be made of silver atoms, cotton, horses, or that this same small piece of gold could be made of gigantic vaults filled with even more gold? These are not topics that draw Meillassoux’s attention, since he is focused solely on how the laws of nature might change or endure from one moment to the next . Another implication for Meillassoux’s system is that his concept of things-in-themselves turns out to be to be inadequate. For when he proves that things-in-themselves can exist without humans, this turns out to be true only in a temporal sense as well. Namely, things-in-themselves existed ten billion years ago, and they will continue to exist after all humans have succeeded in exterminating themselves. However, being able to exist before our births and after our deaths is just one small part of what it means to be a thing-in-itself. The more important part is that even if a thing is sitting on a table right now, in front of me, even if I stroke it lovingly or press my face up against it directly, I am still dealing only with a phenomenal version of the thing; the thing-in-itself continues to withdraw from all access. Yet no such thing is acknowledged by Meillassoux. For him finitude is a disaster, and absolute knowledge is in fact possible. Meillassoux’s thing-in-itself exists in independence only of the human lifespan , not of human knowledge. The fifth pillar of Meillassoux’s argument is his use of Cantor’s transfinite mathematics to show that even if the laws of nature are contingent, they need not be unstable, and thus we cannot use the apparent stability of nature to disprove his metaphysics of absolute contingency. What Cantor showed is that there are different sizes of infinity, and that all these infinities cannot be totalized in a single infinite number of infinities. Meillassoux sees this as crucial, since it allows him to discredit any “probabilistic” argument against his theory. The probabilistic argument (as defended quite clearly by Jean-René Vernes)6 would say this: given that the laws of nature seem so stable, it it is extremely improbable that there is no hidden reason for their remaining so stable. As Meillassoux sees it, probability is of value only when we can index an accessible total of cases. These can even be infinite: for example, there are an infinite number of points where a rope can break when stretched tight, but this does not stop us from calculating probabilities for various sections of the rope to break. By contrast, there is no way to sum up the number of possible laws of nature. For here there is no way to totalize; we cannot stand outside of nature and calculate the possible number of laws so as to determine the probabilities that any one of them might change. Therefore, although we can speak of probability when dealing with intraworldly events such as elections, horse races, and coin-flips, we cannot use the words “probable” or “improbable” when describing alterations at the level of nature as a whole. Rather than commenting on the validity of this argument and its use of Cantor, let me simply note that it once again creates a dualistic ontology. We already saw that Meillassoux treats time differently from space. In analogous fashion, he now treats the level of world differently from that of intraworldly events. The emergence of worlds is purely contingent and virtual and governed by no probability at all, while events within the world necessarily follow laws (even if these laws can change at any moment without reason), and thus their probabilities can be calculated. It is a strategy deeply reminiscent of Badiou’s (2005) own dualism between the normal “state of the situation” and the rare and intermittent “event.” The sixth and final pillar of Meillassoux’s book can be dealt with briefly, since we have already touched on it elsewhere. It comes at the very beginning of the book, when Meillassoux says that we must revive the distinction between primary and secondary qualities, and that the primary qualities are the ones that can be mathematized. He admits that he has not yet published a proof of this idea, though in fact it is already known as one of his primary doctrines. And here we encounter the familiar problem with Meillassoux’s inadequate conception of things-in-themselves. “Primary qualities” refers to those qualities that a thing has independently of its relations with us or anything else. But if the primary qualities can be mathematized, this means that they are not entirely independent of us, since our knowledge can get right to the bottom of them. The mathematized qualities of things are independent of us only in Meillassoux’s sense that they will still have those qualities even when all humans are dead. But to repeat, autonomy from the human lifespan is not the same as autonomy from human access. Here once more Meillassoux is concerned only with independence from the human-world correlate across time, not in any given instant. 2. L’Inexistence divine In 1997, the same year in which he turned thirty years old, Meillassoux earned his doctorate at the École normale supériuere with a brazen dissertation entitled L’Inexistence divine ( The Divine Inexistence ). The work was substantially revised in 2003. But even then, with typical fastidiousness, Meillassoux decided that the work was not yet ready for press. It has now been scrapped in favor of some future, multi-volume work bearing the same title. While writing my book on Meillassoux for Edinburgh University Press, I was permitted to translate excerpts from this unpublished work for use as an appendix in my own book; in total, the appendix contains approximately twenty percent of Meillassoux’s 2003 manuscript, the first time any of it will be published in any language. Nonetheless, a portion of the argument was already tested in the article “Spectral Dilemma,” published in English in the journal Collapse (2008: 261-75). There the philosophical motives for the virtual God are already made clear. What troubles us most are early deaths, brutal deaths, deaths of especial injustice– the sorts of deaths in which the brutal twentieth century was so abundant. And here, neither the atheist nor the believer can help us. The atheist can offer nothing but a sad and cynical resignation when reflecting on the victims of these terrible crimes. The believer does little better, being unable to explain how God could have allowed such things to happen, due to the famous intractability of the problem of evil. The solution offered to this dilemma by Meillassoux is bold, and all the more so given that he emerges from such a deeply Leftist, materialist, and unreligious background. His solution is that God does not yet exist, and therefore is not blameworthy for these catastrophes. Given that everything is contingent in Meillassoux’s philosophy, this God and divine justice might never exist, but they can at least exist as an object of hope. Let’s begin by jumping to the end of L’Inexistence divine , where the alternatives are laid out so nicely. There are four basic attitudes that humans can have towards God, Meillassoux says. First, we can believe in God because he exists. This is the classical theist attitude, rejected for the simple reason that it would be amoral and blasphemous to believe in a God who allows children to be eaten by dogs, to use Dostoevsky’s example. Second, we can disbelieve in God because he does not exist: the classical atheist attitude. But this leads to sadness, cynicism, and a sneering contempt for the greatness of human capacity. The third option, rather more complex, is to disbelieve in God because he does exist: in other words, to exist in rebellion against God as the one who must be blamed for the evils of the earth. The examples here might range from Lucifer himself, to the more human figure of Captain Ahab in Melville’s Moby-Dick , to Werner Herzog’s even more recent catchphrase, “Every man for himself, and God against all.” That leaves only the fourth option: believing in God because he does not exist. Meillassoux closes his book by saying that the fourth option has now been tried (namely, in the course of his own book), and that now that all four have been specified, we must choose. The first reaction to this theory of the inexistent God will be laughter. Few readers will ever be literally convinced by it, and probably none will immediately be convinced by it. But if we ask ourselves why we laugh, the answer is because it sounds so improbable that an inexistent God might suddenly emerge and resurrect the dead. It obviously sounds more like a gullible theology than a rigorous piece of philosophical work. Yet two things need to be kept in mind. First, Meillassoux’s theories are hardly more unlikely than those of great philosophers of the past such as Plato, Plotinus, Avicenna, Malebranche, Spinoza, Leibniz, Nietzsche, or Whitehead. We read the great philosophers not because their systems are plausible in commonsense terms that can be measured by the laws of probability. Instead, we read them precisely because they shatter the existing framework of common sense and open up new window on the universe. Second, and even more importantly, Meillassoux has already rejected probability as a valid measuring stick in philosophy. Or rather, he accepts probability in the intra-worldly realm (where it is linked with potentiality), and rejects it at the level of the world itself (where potentiality is replaced with what he calls virtuality). The virtual God can appear at any moment for no reason at all, just as any other new configuration of laws of nature can appear: in a manner that the laws of probability cannot calculate. Responding to those who might ridicule the idea of a sudden emergence of God and a resurrection of the dead, Meillassoux cites Pascal, who asserts that the resurrection of the dead would be far less incredible than the fact that we were born in the first place. This shifts philosophy onto new ground. Rather than concerning ourselves with what is likely to happen in the world as we know it, we focus instead on the most important things that could happen. For this reason, the expected objection that a virtual God is no more likely to appear than a virtual unicorn or a virtual flying spaghetti monster misses the point. Unicorns and spaghetti monsters could also appear, just like any other non-contradictory thing. But these would just be novel bizarre entities among others, not the heralds of completely new worlds. For Meillassoux, the emergence of matter, life, and thought have been the three truly amazing advents of the world so far, each of them dependent on the advent(s) preceding them. As he sees it, there can be no greater intraworldly entity than the human beings who already exist, since nothing in the world is better than the absolute knowledge of which humans alone are capable. This means that the next great advent must be something that perfects human beings rather than superseding them. And this can only be the world of justice, in which the dead are resurrected and their horrible deaths partially cancelled (Meillassoux never considers the possibility of a God who would literally erase the pre-divine past so that it never happened at all). The only immortality worth having is an immortality of this life, not an existence in some ill-defined afterworld. Human existence, he holds, must always be governed by a “symbol” that gives us the “immanent and comprehensible inscription of values in a world.” And just as cosmic history made the three great contingent leaps of matter, life, and thought, with a leap to justice as the only one still to come, a similar structure occurs within human culture and its symbols, which consist so far of the cosmological, naturalistic, and historical symbols, with a “factial” symbol still to come. We can review each of these symbols briefly. The cosmological symbol refers to the ancient dualism between the terrestrial and celestial spheres. Here below everything is conflict, corruption, and decay; but in the heavens nothing is perishable, all movement is circular, and everything is arranged in mutual harmony. This symbol is ended by modern physics when Galileo discovers such blemishes as sunspots and craters on the moon, and when Newton integrates both celestial and terrestrial movement into a single gravitational law. Next comes the naturalistic or romantic symbol, in which perfection comes not from the sky but from nature itself. The world is filled with pretty flowers (Meillassoux claims that the ancients never discussed the beauty of flowers until Plotinus in the third century) and with living creatures naturally moved by pity, at least until society corrupts them. This symbol collapses in the face of reality as we know it, since pity is no more common than war, corruption, and violence. This brings us to the historical symbol, which only now is passing away. Bad things may happen, but history has an inner logic of its own, such that everything works out in the end. The ultimate form of the historical symbol is the economic symbol, whether in a Marxist or neo-liberal form. Just as the Marxist holds that the inner economic logic of the capitalists will inexorably lead them to self-destruction, the neo-liberal assumes that the sum total of individual selfish actions will lead, in the long run, to the greatest possible good. We worship the economy and let it guide history for us, just as the ancients worshipped celestial bodies and held them to be free from blemish. The final remaining symbol is the factial symbol, which Meillassoux hopes will now emerge. Factiality, we recall, is his term for the absolute contingency of everything that exists. Once we have grasped this absolute contingency, we are free to expect the dramatic advent of the coming fourth World: the world of justice, inaugurated by a virtual God and even mediated by a messianic human figure. There is the added feature, however, that this messiah must abandon all claims to special status once the messianic realm of justice is achieved. The messianic figure will then be no more special than any person on the street, since a reign of human equality will have arisen. Although this focus on human being might seem like a return to standard humanism, Meillassoux holds that human pre-eminence has never truly been maintained. Previously, humans have been treated as special only because they contemplate the Good, because they resemble their omnipotent creator, or because they happen to be the temporary victors in a cruel Darwinian death-match between millions of living species. For Meillassoux, by contrast, humans have value because they know the eternal. But it is not the eternal that is important, since this merely represents the blind, anonymous contingency of each thing. What is important is not knowledge of the eternal , but knowledge of the eternal. We should not admire Prometheus for stealing fire from the gods; Prometheus is simply as bad as all the gods, no matter how much he increased our power. Feuerbach and Marx were wrong to say that God is a projection of the human essence, since for Meillassoux the usual concept of God represents the degradation of the human essence. If the traditional God was allowed to inflict plagues and tsunamis on the human race, the Promethean human of the twentieth century simply assumes the right to inflict death camps and atomic fireballs instead. In this respect, we have simply begun to imitate the degradation of humanity that was formerly invested in an omnipotent and arbitrary God. In response to charges that absolute contingency might lead to political quietism, Meillassoux counters that the World of justice would mean nothing unless we had already hoped for it beforehand. A World of justice that came along at random would merely be an improved third World of thought: indeed, a perfect one. But it would have satisfied no craving, and would therefore have no redemptive power. For this reason, we must actively hope for the fourth World of justice for such a fourth World ever to arise. Not only justice, but beauty is dependent on such hope: for Meillassoux, who is here somewhat dependent on Kant, beauty means an accord between our human symbolization and the actual world, which could never be present in a World of the blessed any more than justice could. And just as a messianic figure is needed to incarnate our hope and then abandon power once the World of justice is realized, it is the figure of the child whose fragile contingency shows us a dignity and a demand for justice beyond all power. 3. Meillassoux Radicalized or Reversed Given the promising reception of Meillassoux’s first book, it would not be groundless to engage in early speculation about what it might take to earn him a place in the history of philosophy. Maybe this will never happen—who knows?—but quite possibly it will: his lucid argumentative methods and sheer philosophical imagination at least make him a good candidate to be read well into the future, especially following further elaboration in print of his mature system. Philosophy is often practiced as thought it were nothing more than the amassing of “knockdown arguments.” But this is no more insightful than saying that good architecture is the amassing of steal beams. It is true that poorly constructed building cannot stand for long, but sound construction is merely the first, indispensable step in building. In fact, I am inclined to say that what really makes a philosopher important is not being right, but being wrong . I mean this in a very specific sense. I once heard the interesting remark about twentieth century culture that “you have to remember that the sixties really happened in the seventies.” That is to say, it was in the 1970’s rather than the more honored 1960’s that civil rights, free love, long hair, and the rock and roll drug culture really took root. With respect to the history of philosophy, we might just as easily say: “you have to remember that Plato really happened in Aristotle,” that “Kant really happened in Hegel” or “Hume really happened in Kant,” or that “Husserl’s phenomenology first achieved its truth in Heidegger.” One becomes an important philosopher not by being right, but by attracting rebellious admirers who tell you that you are wrong , even as their own careers silently orbit around your own. To recruit faithful disciples may be comforting and flattering, but the greatest thinkers have generally had to experience refutation at the hands of their most talented heirs. For this reason, I would propose that we size up the magnitude of living thinkers not by deciding how many times they are right and wrong, but by asking instead: who would take the trouble to refute this author? For this reason I do not ask: “Is Meillassoux right?”, since I do not believe in the virtual God myself, nor am I convinced by any important aspect of Meillassoux’s philosophy. Instead, I ask if there are interesting ways to overturn him. Only by being overturned, by no longer remaining a contemporary, does one become a classic. Let’s begin with a simple model of refutation, which can be refined further at a later date once the basic point is established. One kind of refutation simply consists in saying: “This author is a complete idiot.” The refuter now walks away in celebration, and no link between the present and the future is built; all is reduced to rubble. But this sort of mediocre triumphalism is generally practiced by those who achieve little of their own, and is not especially interesting. Much more interesting is the sort of refutation that does not take its target to be a complete idiot. I would like to suggest that there are just two basic ways in which this can be done: radicalization and reversal . It has not escaped my notice that this is a fairly good match for the Deleuzian distinction between irony and humor. Whereas irony critiques and adopts the opposite principle of what it attacks, humor accepts what it confronts but pushes it into highly exaggerated form. The ironist is like the worker who sows chaos by rebeling and contradicting the boss, while the humorist is like the worker who follows orders to an absurdly literal degree, with equally chaotic results. Let’s start with a few examples. In Aristotle’s treatment of Plato, and Heidegger’s of Husserl, we find reversal. Plato’s eidei are transformed by Aristotle into mere secondary substances, and the individual worldly things despised by Plato become what is primary. For Husserl what is primary is whatever is present to consciousness, while for Heidegger this is precisely what is secondary, since the primary stuff of the world withdraws from any form of presence at all. As for radicalization, it is most easily found in the transformation of Kant by German Idealism: “Kant was right to wall off the things-in-themselves from human access, and simply should have realized that the thought of the Ding an sich is also a thought, and thereby the noumena are just special cases of the phenomena,” with much following from this discovery. It would also be easy to read Spinoza as a radicalizer of Descartes, and Berkeley and Hume as radicalized versions of Locke. Perhaps the distinction is now sufficiently clear. Admiring refutations are not those that say “Professor X is an idiot,” which is merely the flip side of the eager disciple’s fruitless “Professor X got everything right.” Instead, it will be some variant of one of the following two options: “Professor X is important, but got it backwards,” or “Professor X is important, but didn’t push things far enough.” In the history of philosophy these two latter cases have often been painful in purely human terms: Aristotle expresses sadness at refuting Plato, Kant is openly annoyed at Fichte, and Husserl feels betrayed and used by Heidegger. Rude handling from later figures almost seems to be the sine qua non of being a great philosopher. Now, it has already been claimed that Meillassoux is an emerging philosopher of the first importance, and by no less a figure than Alain Badiou: “It would be no exaggeration to say that Quentin Meillassoux has opened up a new path in the history of philosophy…” (Preface, vii). But rather than taking Badiou’s word for it, or rejecting his word, we might experiment by asking how Meillassoux could be radicalized or reversed. Are there interesting ways of doing this that might launch whole new schools of philosophy, unexpected or even condemned by Meillassoux himself? While no one can see the future, the present is poor when it is not riddled with virtual futures. The relation between philosophers and their predecessors and successors is always somewhat complicated, of course. But generally there is one central divergence at stake, which might be taken as the key to all the others. On this basis we could say that new thinkers primarily radicalize or primarily reverse the main ideas of their chief philosophical forerunner. There may be specific historical conditions and perhaps even personality traits connected with these two types, but this question can be left aside for now. More important for us is that radicalizers will generally be followed by reversers, and vice versa. Consider the textbook example of a reversal in the history of philosophy: Kant’s Copernican Revolution, which inverts the so-called dogmatic tradition that addresses the world itself, and makes the world revolve instead around the conditions by which it is known. While it is not completely impossible that Kant’s successors might have re-reversed this principle back into a new and stronger dogmatic realism, conditions were premature for such a move. Anyone doing this too early would likely have been an angry anti-Kantian reactionary rather than an original thinker in command of a genuinely new realist principle. The far more likely outcome is the one that actually happened: Kant’s reversal of his predecessors was viewed as incomplete, or as retaining lamentable bits of the traditional view, which despite his admirable breakthrough he was unable to shake off. This was the view of German Idealism, anyway. In similar fashion, Spinoza could also be viewed as a radicalizer of Descartes, who is equally accused of preserving various Scholastic dogmas in an otherwise radical project of philosophical reversal. The point is this: reversals in the history of thought tend to be followed soon thereafter by radicalizations of those reversals. The same may hold true in reverse: radicalizations might generally be followed by reversals, given that it is not always possible to be more radical than the radicals have already been. Consider the case of Husserl, who radicalizes Brentano’s early vagueness about what lies beyond immanent objectivity, and Twardowski’s assertion that there must be an external object lying outside the intentional content, by collapsing everything into the intentional sphere: there is no difference between the Berlin in my consciousness and the actual Berlin that is home to millions of people. It is difficult to see how one could be even more radical than Husserl’s idealist turn here. And thus the road is paved to Heidegger’s reversal of classical phenomenology, in which the key point is what lies deeper than any presence to consciousness: the Sein whose power and obscurity cannot be made exhaustively present, but only sends itself in historical epochs. In similar fashion we might also read Leibniz as a reverser of Spinoza’s radicalization, retrieving a strong sense of individual substance and a certain validity of what the Scholastics had said. Returning to Meillassoux, we might ask which kind of philosopher he is: a radicalizer or a reverser? At present, Meillassoux looks to me like a radicalizer (though for now his future remains shrouded in mist). He takes the correlationist tradition, which allows us to speak only of the relation between human and world, and tries to raise it into an even more extreme claim about the absolute contingency of everything. But whereas German Idealism did this by trying to collapse the distinction between thought and world entirely into the “thought” side, Meillassoux does it by trying to shift the non-absolute contingency of the thought-world correlate from epistemology to ontology. It is no longer a question of the inability of human knowledge to know what lies outside the correlate, but the inability of reality itself to be rooted in any definite laws. Furthermore, if we look at the various features of Meillassoux’s philosophy identified earlier tonight, all but one are already so radical that there is no obvious way to push them further. The one exception would be his claim that the world as a whole can change for no reason at any moment, coupled with the inconsistent claim that within a given world there are laws of nature that everything must follow. If gravitational attraction between all masses is a current law in our world, then for Meillassoux there can be no exceptions to this law for as long as it remains in force. A toppled vase will fall to the floor every time for sure,unless there is a cosmic change by which the laws of nature as a whole have altered. (This is reminiscent of the late medieval distinction between the absolute and ordained power of God, according to which God has the power to set or change the laws of nature, but not to contravene those laws locally once they are set.) On this point, to radicalize Meillassoux would simply be to say: there are no laws of nature even in the local sense. Everything that happens, even in the world here and now, is purely contingent and not governed by even a trace of law. And while this would be a more consistent development of Meillassoux’s thoughts on contingency, it is difficult to see how it could lead to a new philosophy. Instead, the admiring successors of Meillassoux are more likely to reverse one of his already sufficiently radical points. At least four candidates come to mind: *First, we have seen that Meillassoux thinks correlationism is challenged by a time before or after consciousness, but not by a space lying outside it. Perhaps this could be reversed into saying that spatial exteriority is the really crucial point. The arguments on this point are perhaps the least convincing in After Finitude (and do not even occur in the original French edition), and therefore it might be a candidate for the “blind spot” of which no philosopher is ever free. *Second, Meillassoux uses Cantor to claim that the contingency of laws of nature would not entail that they are unstable. A successor of Meillassoux might claim that it does make them unstable, and celebrate this fact. This person would then have to explain why common sense seems to encounter a relatively stable world despite its truly rampant instability. Whereas Meillassoux’s problem is to show how stability might exist despite contingency, this successor’s problem would be slightly different: to show why actual, full-blown instability might have the appearance of stability. *Third, Meillassoux claims that the primary qualities of things are those that can be mathematized. He might be reversed by a successor who says the opposite: the mathematizable qualities are the secondary ones, and the primary ones are those that elude symbolic formulation. While this is a perfectly valid possible objection to Meillassoux, it is one that is made in advance by some of his predecessors and is still made by some of his peers, making it less interesting for futurology than some of his other points. *Fourth and finally, whereas Meillassoux claims that God does not exist but might exist in the future, a successor might argue even more bizarrely that God has always existed but might vanish in the future. Let’s arbitrarily select the first of these possibilities, and imagine briefly where it might lead, if pursued in the future by admiring detractors. Meillassoux comes from the circle of Badiou, and some of Badiou’s most ardent admirers are found in Latin America. So, let’s imagine that towards mid-century some ingenious reversers of Meillassoux emerge in that portion of the Spanish-speaking world. Just for fun, let’s call them Castro and Chávez. And in order to avoid any confusion with the present-day politicians of those names, we will stipulate that Meillassoux’s great successors are both women. The philosopher Castro (we will suppose she comes from Peru) reverses Meillassoux’s argument that the ancestral or diachronic are what most threaten the human-world correlate. Instead, she claims that the diachronic does not threaten the correlate at all, and that we must instead look at space as what ruins the correlate and demands a strange new realism. What would such a philosophy look like? In order to determine this, we might ask what price Meillassoux pays for doing it the opposite way. As I see it, he pays in two separate ways. One is that laws of nature for him are contingent over time . The laws of nature apply to the universe as a whole at any given moment, and would be changed globally if they are ever changed at all. The second price he pays is that Meillassoux has no mereology , or theory of parts and wholes. Everything for him is on the level of the given, or immanent in experience, with the sole proviso that the laws governing this immanence might change without notice at any given moment. In reversing Meillassoux, Castro makes the following claims in the preface to her stunning debut book of 2045, The Cosmos and its Neighborhoods , rapidly translated from Spanish into all the languages of the world: Despite his brilliant analysis of the contingency of laws of nature over time, Meillassoux gets two important assumptions wrong. First, he allows for only one set of contingent laws to govern nature as a whole. Second, he allows laws to govern only the world that is immanent in experience, and thereby fails to explore the contingency among part-whole relations. In this book I will argue, first, that the laws of nature vary in any given instant between one region of the universe and the next; and second, that the world is made up of layers of parts and wholes that are also contingent with respect to one another. Those are the words of Castro. This may sound like a hopeless free-for-all of chaos, yet the book somehow succeeds in drawing some compelling deductions about how laws must vary from one place or level in the world to the next. Trapped in the limited horizon of 2011, and not yet inspired by the heavily balkanized political and technological situation of 2050 that somehow lends additional credence to Castro’s vision, we can only vaguely grasp what such a philosophy might look like. After this reversal of Meillassoux by Castro, the usual pattern leads us to expect a radicalization by Chávez, a young Argentine student of Castro. How could the already strange theories of Castro be radicalized? Perhaps as follows, in a disturbing new book entitled The Implosion of the Neighborhoods , which argues as follows: Castro was right to shift the Meillassouxian framework of contingency from time to space. However, in this respect she retained a surprisingly traditional opposition between the two. In this book I will show that time and space collapse into one another. This may sound too much like the discredited four-dimensional block universe of twentieth century physics and philosophy. However, the four-dimensional universe is a model biased in favor of space, merely adding an extra dimension to the commonsense spatial continuum while stipulating that the serial passage of time is an illusion. In this book I will argue instead for a one-dimensional space-time modeled after our experience of time, in which there is no simultaneous co-existence at all between different parts of the universe, or ‘neighborhoods’ as my esteemed teacher Castro has called them. Instead, the various portions of the universe link to one another by succession rather than by coexistence. Buenos Aires, New York, and Amsterdam do not exist simultaneously in the same landscape, but one after the other in the mind of some observer, and this observer can only be an observer much larger than any human. Against Meillassoux’s notion of a virtual God that does not exist now but might exist in the future, I will argue for an actual God that surveys the universe in sequence, thereby generating the illusion of spatial diversity and even the illusion of individual minds located within that diversity. Once this divine observer dies, the universe as a whole must perish. Again, these ideas are so bizarre that we of 2011 can barely comprehend them, just as Aristotle would have had a difficult time grasping the theories of Descartes. We could then perhaps imagine a further reversal of this theory, emanating from the intellectually resurgent Philippines of the twenty-second century. The Filipino School might argue that the universe is already dead, given the collapse of its spatial richness into the serial observations of a flimsy and mortal God. The virtual universe does not yet exist, but might exist in fully spatial form in the future, and this would require the death of God and the resulting liberation of God’s succession of images as independent, spatially situated realities. With a bit of sharpening, we might be able to make all of these imaginary thinkers more intuitively clear. Along with the history of philosophy, there might arise a new discipline generating imaginary futures for philosophy. The richness of Meillassoux’s system comes not from the fact that he is plausibly right about so many things, but because his philosophy offers such a treasury of bold statements ripe for being radicalized or reversed. He is a rich target for many still-unborn intellectual heirs, and this is what gives him the chance to be an important figure. NOTES 1. Quentin Meillassoux, After Finitude . Trans. R Brassier. (London: Continuum, 2008.) Page 5. The word “correlationism” does not appear in his doctoral thesis. As Meillassoux informed me in an email of February 8, 2011, he first coined this term in 2003 or 2004, while editing for publication a lecture he had given at the École normale supérieure on a day devoted to the theme of “Philosophy and Mathematics,” an event including Alain Badiou as one of the participants. 2. Graham Harman, Quentin Meillassoux: Philosophy in the Making . (Edinburgh: Edinburgh University Press, forthcoming 2011). 3. In an email of December 6, 2010, Meillassoux clarifies that in After Finitude he only deduces the impossibility of a “universal contradiction,” not of a determinate contradiction. In the same email he suggests that he can also prove the latter, though the proof is somewhat lengthier than the one found in After Finitude . 4. After Finitude (18-26), in the passage falling between the two sets of triple asterisks. These pages were sent by Meillassoux to translator Ray Brassier (in French) during the translation process, and do not appear in the original French version of the book. 5. Graham Harman, “Quentin Meillassoux: A New French Philosopher.” Philosophy Today 51.1 (2007): Pages 104-117. The passage where I raise the question of space can be found in the first column of page 107. 6. Vernes is first cited on p. 95 of After Finitude . See Jean-René Vernes, Critique de la raison aléatoire, ou Descartes contra Kant . (Paris: Aubier, 1982).  . (shrink)

Available from UMI in association with The British Library. ;This thesis investigates the application of the theory of Conceptual Structures to an Experience Base model, which is a question-answering system for a knowledge base of pseudo-natural language statements of everyday experience. This thesis progresses to extend the fundamental principles carried from the experience base, to develop a framework for Reasoning by Analogy. Both methodologies are implemented, and uncertainty in the models is handled using the theory of Support Logic. ;Incompleteness (...) of information, uncertainty of data and the need for a definite structure to the way in which rules and data interact, are aspects which must be dealt with if the experience base is to succeed. One more aspect is the knowledge representation which dictates the ease with which processing may be performed upon it. Conceptual graphs are used to store information used by an Experience Base. Control of the reasoning is effected by plausible inference reinforced by the theory of Support Logic for handling uncertainty. The knowledge base is a set of initially completely disparate islands of knowledge, which the system automatically clusters into coherent groups in an associative network. ;The principles evolved from research into experience bases lead to the conception, development and implementation of a computational framework for Analogical Reasoning. The reasoning is performed between domains of knowledge rather than within a single domain as in case-based reasoning, and operates on pseudo-natural language statements as for the experience base. It relies on relation-based structure mapping and includes a sophisticated mechanism for translating between the new problem and the analogue. The strong connection between this work and metaphor interpretation is also investigated, together with ideas on how to negotiate with the apparent multitude of types of analogical reasoning. (shrink)

This thesis proposes and presents two new models for belief representation and belief revision. The first model is the B-structures model which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically (...) plausible, computationally tractable procedures for query answering and belief base revision are obtained. ;The second model presents a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the conclusion and formulas in the sequence. The relevance relations are ternary as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely representable formalism and a plausible model of reasoning for automated agents. (shrink)

IntroductionIn May 2006, the small group of doctoral students working on ecophilosophy at the Higher Institute of Philosophy at K.U.Leuven invited the Dutch environmental philosopher Martin Drenthen to a workshop to discuss his writings on the concept of wilderness, its metaphysical and moral meaning, and the challenge social constructivism poses for ecophilosophy and environmental protection. Drenthen’s publications on these topics had already been the subject of intense discussions in the months preceding the workshop. His presentation on the workshop and (...) the three critical responses by Wim Bollen, Glenn Deliège, and Richard Kover are published here in a thoroughly revised form on the basis of further and ongoing discussions about the issues involved. Three further contributions to the discussion are added: one by Nathan Edward Kowalski, a young Canadian philosopher who studied in Leuven and wrote his as yet unpublished dissertation on “Evil in Nature,” a second one by Kingsley Goodwin who is currently writing a dissertation on deep ecology at University College in Dublin and, finally, my own unsystematic thoughts inspired by Martin Drenthen’s provocative and stimulating hermeneutics of our postmodern understanding of nature and wilderness, as well as the diverse critical responses to Drenthen’s views by the other contributors. I owe gratitude to all of them for enriching my own ecophilosophical thought and enlarging its horizon although as my fragmentary reflections show at the cost of yet greater uncertainty and more questions about the possibilities of arguing for a radical environmentalist position. Such a position would somehow connect or ground our moral obligation to preserve genuine non-human otherness, wild and free nature, in the non-human meaning of such nature and in our essential need to be in direct and concrete contact with that field of wild non-human meaning because we ourselves belong to nature, because we are not only and purely civilized but are also and most fundamentally wild and free. Three fundamental questions need to be distinguished: the question about our moral obligations regarding nature and its preservation, the metaphysical question about the nature of nature or the meaning of nature, and the question of the metaphysical grounding of our morals in general, and of our moral obligation regarding nature in particular, in the nature or meaning of nature. The complex intertwinement between these three questions is at the heart of Martin Drenthen’s reflections.The authors contributing to the present discussion approach the various issues from markedly different philosophical backgrounds and concerns: critical theory, anthropology, analytic philosophy, phenomenology, hermeneutics, and deep ecology are all to some degree or other brought to bear on the question of what wilderness means for us, why we are fascinated by it and what it actually and in the first place is.Another interesting difference between the five respondents to Martin Drenthen’s wilderness-philosophy relates to the place from which they write: while the Canadians Richard Kover and Nathan Edward Kowalski have wilderness of some sort still close at hand, the Belgians Wim Bollen and Glenn Deliège write from a place which has been thoroughly domesticated, cultivated, and industrialised for a long time. Martin Drenthen himself, of course, writes from the same kind of place as these last two, which explains why he only refers to the wilderness that he has read about in novels, seen in movies, or experienced as recreated in the reserves of the Netherlands. The Irish Kingsley Goodwin writes perhaps from a third, intermediate place that is not wild anymore but still much more natural than Belgium or the Netherlands are.The differences in philosophical approach and concern combined with the difference of place generate a rich tapestry of perspectives and voices wrestling with the fundamental questions of our perceived homelessness and alienation from nature, our cultural discontent, our longing for and need for radical alterity, of immanence and transcendence, of who we are and where we belong, and more concretely of whether there is more to ground our efforts to preserve nature than enlightened self-interest and subjective preference. Martin Drenthen deserves praise for inaugurating this fruitful discussion with his intriguing and highly paradoxical effort to hybridize a postmodern deconstruction of the idea and ideal of wilderness as unspoilt and true nature on the one hand with a new metaphysics of wilderness on the other. Arne Naess, who is generally regarded as the founding father of deep ecology, pointed out the positive and stimulating role that vagueness in the expression of ideas can play in political and philosophical debate. Such general and vague but highly suggestive expressions as ‘all life is one’ are not empty at all, as is often claimed; they are rather full of possibilities of ‘precisation’ and differentiation. Drenthen’s wilderness-philosophy is certainly not vague to the degree of ‘all life is one,’ but his expositions are similarly pregnant with a wealth of further questions, precisations, distinctions, and conceptual clarifications. Good examples of different kinds are to be found in the contributions of Nathan Edward Kowalski and Richard Kover. Kowalski points out that Drenthen’s notions of culture and wilderness need to be made more precise by distinguishing them from the notions of civilization and wildness such that wild cultures become a conceptual possibility. Richard Kover takes the lead from Drenthen’s question about the reason for our postmodern fascination for wilderness to confront it with our primordial fascination in terms of the dependence in the evolution of our subjectivity and our consciousness on the focused perceptual attention on wild forms.Glenn Deliège situates Martin Drenthen’s wilderness-philosophy in its original context of the Dutch debate on the preservation of nature, in particular on the new wilderness paradigm. According to this paradigm, the nature to be preserved should be true and pure, truly natural and wild nature, that is nature outside of and free from the cultivating and domesticating influence of humans. In the Netherlands, however, such nature no longer exists; it can only be preserved after it has first been artificially recreated. Deliège gives an informative summary account of the highly charged three-cornered debate between the adepts of this wilderness-paradigm, the proponents of the more traditional form of conservation of remnants of the typical European landscapes created by pre-industrial farming practices and the modern technocratic functionalists. This debate makes obvious that there are quite different views of the nature of nature and its value. Enter social constructivism: the contested nature of nature is nothing more than a social construct, an idea in a collective mind. The contestation itself is a struggle for authority and power between different such social constructs, any claim to scientific objectivity and objective truth for one’s image of nature is an arrogation of a truth which doesn’t exist and is potentially oppressive by silencing other views. Nature then is up for the grabs of politics, political negotiation, and compromise between various interest groups who all want to get some benefit from nature, some use-value.The problem with Drenthen’s effort to articulate a normative concept of nature which cannot be deconstructed in this way is the extreme formality and emptiness of his metaphysical concept of wilderness as that which is always ‘beyond’, always ‘more’ and which can never be exhausted by any image and construction of nature. Any more concrete determination is mere appearance; the thing in itself is a border concept of that which in fact cannot be grasped conceptually. Glenn Deliège is critical of this formality and emptiness from which it will be impossible to derive any concrete guidance for our conservation practices. He then goes on to defend the Arcadian tradition of our appreciation of nature as giving us a historically well-grounded orientation for those practices. Of course that Arcadian tradition is obviously a cultural construction but that doesn’t make it completely arbitrary and contingent since it is itself ultimately grounded in and open to modification by our concrete sensuous experiences of nature.Deliège here raises the very important issue of the relation between our concrete perceptual and bodily experiences in and with nature and our concepts and metaphysical images of nature. Drenthen himself approaches this issue from the hermeneutical perspective of our need to make sense of our experiences and to articulate their meaning. His confrontation with social constructivism and his effort to salvage something from its relativizing acid lead him, however, into the direction of a highly abstract and empty concept of wilderness.Richard Kover shows that perception is, indeed, the key to a radical critique of social constructivism. He does this with the help of the ecological anthropology of Paul Shepard, the structuralist anthropology of Claude Levi-Strauss and the phenomenology of Maurice Merleau-Ponty. It needs to be said here that Kover takes his leave from an unpublished paper by Martin Drenthen with the title “How to appropriate wilderness appropriately?” – the paper is accessible though on Drenthen’s web-site - in which Drenthen comments and reflects upon three contemporary wilderness-tales, one of them being Werner Herzog’s much-discussed documentary on Timothy Treadwell, an American environmentalist drop-out who lived thirteen summers among wild grizzlies in the Alaskan wilderness before being killed together with his girlfriend by a grizzly bear.Kover tries to show that we are not imprisoned in the mirror-cabinet of our mind or of our human sociality. To make his case, he starts from Paul Shepard’s thoughtful observation that the evolutionary emergence of the mind did not remove us from the natural world but actually connected us deeper with it. Through our mind we evolved more fully into it because our mind is primordially in our senses and in the ability to articulate a perceptual world. The natural world in the form of the system of natural species and their relations is the primary model for perceptual discriminations, for the fundamental discovery of order with its twin-aspects of distinction and discontinuity on the one side and relations and continuity on the other side. Our cognition is essentially perceptually based, our subjectivity is primordially informed by our inherence in the sensible world. Perceptual cognition is inherently intentional and relational, it is not an autonomous mental construction, it is rather in the world and informed by that which is perceived. The other is always intertwined with the subject. We are always already hooked up with the world, with the others, before we start reflecting, thinking, and conceptualizing. This is one of the major themes in Shepard’s work: what this insight means with regard to our relations to non-human otherness, in particular to our perceptual encounter with wild animals. In our encounter with non-human otherness, we are confronted with an essentially ambiguous sense of both affinity and disjuncture. Wild animals demonstrate to us that we are not homeless or alien to this world, that we fundamentally belong to it and are part of it. Their difference, however, shows us that there are different perspectives and ways of being in the world. “Thus the encounter with non-human others inform humans that we are both of the world and simultaneously not the world and there are horizons of significance beyond our own perspective.”Nathan Edward Kowalski comes to a similar conclusion when he situates our morality in the larger moral order of wild nature. According to Kowalski it is indeed a moral order though not our own, an Other to our morality but not simply a negative one. It is, as Drenthen says, a highly paradoxical amoral morality. But what can it mean to speak of morality here? For Kowalski it means that the issue is not merely the theoretical recognition and acknowledgment of axiological transcendence, of non-human values out there, but whether we will appropriately conform to and comport ourselves towards that axiological transcendence so that we can find a human homeland in wild nature instead of turning it into a wasteland. The question then is, how to fit our own human morality into this larger order and greater reality, to subordinate it to that greater reality as a part of it and encompassed but not denied by it so that we can be moral and natural at the same time, tender carnivores hunting the sacred game. Indigenous people follow a moral protocol in their relationship with non-human others which acknowledge and respects their autonomy, their alterity, and the sacred mystery of their different ways of being. They are not befriended but some of them are hunted and eaten – as an exchange in the gift-economy of nature.The problem of the homelessness and alienation from nature is discussed by Wim Bollen from the radically different vantage point of critical theory. In Adorno’s and Horkheimer’s Dialectic of Enlightenment the human story unfolds as a tragic effort to liberate ourselves from nature and to become fully human through rational control when in the end this effort turns against ourselves and instead of liberation and human flourishing we get social domination and repression of our natural needs. The frustrations and mutilations imposed upon us by a repressive civilization give rise to the regressive desire for a return to a natural existence. Referring to the myth of Odysseus and Circe as interpreted by Adorno and Horkheimer, Wim Bollen equates such a natural existence with animal life. In the light of contemporary knowledge about primitive existence, however, this equation is highly problematic. Palaeolithic foragers were already fully human in all respects. A life without civilization need not be an animal-existence.According to Adorno/Horkheimer, our subjectivity and autonomy have to be wrested from animal-nature through an exertive struggle that cannot but proceed by a threefold strategy of domination: the domination of non-human otherness, of human others, and of our own inner nature. The siren song of nature consists in the temptation to give up that struggle for the promise of an unreflective, non-alienated natural existence without toil.When Odysseus’ men give in to Circe’s seduction they are, however, not transformed into wild animals but into swine. According to Bollen this signifies that we cannot re-wild ourselves, that we remain imprisoned in civilization, either as master-subjects or as domesticated animals. Bollen, by the way, like Drenthen, does not distinguish conceptually between civilization and culture. Since re-wilding for Bollen means the impossibility of returning to animal-existence, which is actually the impossibility of becoming another species since biologically we are animals already, to be imprisoned in civilisation means nothing else than to be imprisoned in our humanity. The fact that we cannot become wild animals again – according to Paul Shepard, however, we are still wild animals – is indeed, as Bollen stresses, a trivial form of alienation. A more meaningful concept of alienation which can be put to critical use must refer to a culturally and historically determined frustration and deficit inside the cultural order that is to be overcome not by an impossible regression but by progressive politics leading beyond the three intertwined forms of domination. Not back to nature but forward towards a reconciliation of culture with nature! Such a reconciliation would neither collapse culture into the immanence of nature nor submerge nature into the transcendence of culture. According with the three forms of domination it would be a three-dimensional form of reconciliation.Odysseus’ men did not got what they thought were promised them: the complete liberation from the burden of being autonomous subjects, of being civilized, but they got something worthwhile, namely a certain from of pleasure, a limited and provisional relief and escape. Bollen sees a critical potential in these piggish pleasures after all and consequently even in the siren song of nature since these pleasures were only experienced because Odysseus’ men gave in to it. But one has to give in to this siren song critically if it is to unfold its liberating potential. The problem with pleasure though in bourgeois society is that it is necessarily betrayed, instrumentalized and sold.Kingsley Goodwin’s paper starts by defending deep ecology against the charge of asserting a naïve and dogmatic metaphysics of nature. For convenience sake, but not quite unproblematically, he identifies deep ecology with the environmental thought of Arne Naess. A metaphysics of nature for Naess is always part of a personal worldview. Worldviews which are partly inspired by ecology Naess calls ecosophies. Naess always stresses the personal character of such a worldview and the irreducible plurality of them. It used to be a common misunderstanding of the platform of deep ecology which Naess conceived together with George Sessions that it expressed in a condensed form the metaphysical beliefs of deep ecology. Naess’ intention, however, was to try to articulate in a general fashion the basic viewpoints on which the supporters of the deep ecology movement agreed. It would be possible then to derive these viewpoints from quite different worldviews. In light of this, I think, that Goodwin’s characterisation of the platform as “pragmatic and activist” is not quite appropriate.Goodwin goes on to compare Drenthen’s conception of wilderness and wildness with the similar position developed by Neil Evernden in his book The Social Creation of Nature. He like Naess in his personal ecosophy stresses the crucial role of perceptual experience of wild otherness to find an antidote to the relativity and contingency of our interpretations of nature. Evernden refers to studies on child development to argue for a non-dualistic and relational conception of the self, similar to Naess’ relational ontology. According to Goodwin, Drenthen, in spite of his hermeneutical approach remains too much indebted to the Western subject/object-dualism. The object, in this case wild nature, is pure otherness.With regard to a compost heap, Goodwin shows that we are not separated from nature by an inseparable gulf, that nature is close at hand, and that we can experience and explore it, appreciate the complex play of identity and difference it consists of, the exchanges and transformations and that we can identify with the organisms involved in these exchanges.*The proceeding remarks only highlight some of the prominent themes and considerations in the various contributions to this topical issue of Ethical Perspectives. Hopefully the reader will feel invited and enticed to read the articles themselves, starting, preferably of course, with the essay by Martin Drenthen, who sparked off this lively discussion on the moral meaning of wild nature. I am honoured and pleased to be able to introduce these rich explorations by such talented young environmental philosophers who are eager to develop environmental philosophy further and lead it into new directions. They all have to wrestle with and find answers to the challenge postmodern deconstruction and social constructivism pose for environmental philosophy. In the face of that challenge, it is even more difficult than it already was to provide solid and convincing arguments for the defence of wild and free nature beyond merely pragmatic arguments in terms of its utilitarian value for us. The reason for that defence is not clear-cut and proves to be just as evasive as the moral meaning of nature itself. But neither that reason nor that meaning are mere phantoms and mirages that vanish when we approach them and try to grasp them. They are more substantial, even if they will never have the solidity of a mathematical proof or a scientific measurement. Their locale is the lifeworld which from the point of view of scientific and logical precision and clarity is a messy place where subject and object, reason and heart, fact and value, experience and thought and, yes, nature and culture cannot be clearly separated. This has important consequences for environmental philosophy and its methodology. Conceptual analysis and logical argumentation have to become sensitive to the richness of experience in the lifeworld and to the diverse efforts of its articulation: i.e., they have to open themselves up and maybe even to subordinate themselves to phenomenological and hermeneutical approaches. For me personally this is one of the most important conclusions I draw from the discussion presented here. (shrink)

According to contextualism about vagueness, the content of a vague predicate is context sensitive. On this view, when item a is in the penumbra of the vague predicate ‘F’, speakers may utter ‘Fa’, or they may utter ‘not-Fa’, without contravening the literal meaning of ‘F’. Unlike its more popular variants, the version of contextualism I defend rejects the principle of tolerance, a principle according to which small differences should not affect the applicability of a vague predicate. My goal is (...) to show how such a rejection allows for a plausible treatment of higher-order vagueness, and for a dissolution of paradoxes of higher-order vagueness. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some extra (...) set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some extra (...) set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as (...) though it were neutralized by the possibility of studying all these alternative logics within an agreed metalogical framework, typically that of first-order logic with set theory. In effect, metalogic is given the role of neutral arbiter. The paper will consider a variety of examples in which deep logical disputes re-emerge at the meta-level. One case is quantified modal logic, where some varieties of actualism require a modal meta-language (as opposed to the usual non-modal language of possible worlds model theory) in order not to make their denial of the Barcan formula self-defeating. Similarly, on some views the intended model theory for second-order logic can only be given in a second-order metalanguage—this may be needed to avoid versions of Russell’s paradox when the first-order quantifiers are read as absolutely unrestricted. It can be shown that the phenomenon of higher-order vagueness eventually forces fuzzy logical treatments of vagueness to use a fuzzy metalanguage, with consequent repercussions for what first-order principles are validated. The difficulty of proving the completeness of first-order intuitionistic logic on its intended interpretation by intuitionistically rather than just classically valid means is a more familiar example. These case studies will be discussed in some detail to reveal a variety of ways in which even metalogic is metaphysically contested, substantial and non-neutral. (shrink)

Vagueness is given a philosophically neutral definition in terms of an epistemic notion of tolerance. Such a notion is intended to capture the thesis that vague terms draw no known boundary across their range of signification and contrasts sharply with the semantic notion of tolerance given by Wright (1975, 1976). This allows us to distinguish vagueness from superficially similar but distinct phenomena such as semantic incompleteness. Two proofs are given which show that vagueness qua epistemic tolerance (...) and vagueness qua borderline cases (when properly construed to exclude terms which are stipulated to give rise to borderline cases) are in fact conceptually equivalent dimensions of vagueness, contrary to what might initially be expected. It is also argued that the common confusion of tolerance and epistemic tolerance has skewed the vagueness debate in favour of indeterminist over epistemic conceptions of vagueness. Clearing up that confusion provides an indirect argument in favour of epistemicism. Finally, given the equation of vagueness with epistemic tolerance, it is shown that there must be radical higher-order vagueness, contrary to what many authors have argued. (shrink)

One thousand stones, suitably arranged, might form a heap. If we remove a single stone from a heap of stones we still have a heap; at no point will the removal of just one stone make sufficient difference to transform a heap into something which is not a heap. But, if this is so, we still have a heap, even when we have removed the last stone composing our original structure. So runs the Sorites paradox. Similar paradoxes can be constructed (...) with any predicate which, like 'heap', displays borderline vagueness. Although I have frequently heard it said that there is no completely credible and satisfying dissolution of the paradoxes of the Sorites family; and although there is no possible approach to dissolution which has not been at least partially explored, philosophers continue glibly to use vague language as though it were entirely unproblematic. Since no argument has ever been produced which would justify our ignoring the para~doxes, this situation is extremely unsatisfactory. (shrink)

I argue against a standard conception of classification, according to which concepts classify by drawing boundaries. This conception cannot properly account for "higher-order vagueness." I discuss in detail claims by Crispin Wright about "definitely," and its connection with higher-order vagueness. Contrary to Wright, I argue that the line between definite cases of red and borderline ones is not sharp. I suggest a new conception of classification: many concepts classify without drawing boundaries; they are boundaryless. Within this (...) picture, there are no orders of vagueness, though the phenomena which suggest the description "higher-order vagueness" are real enough. (shrink)

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the new axiom (...) not merely postulates the existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T 0 + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T 0 + UMID in relating them to fragments of second order arithmetic based on Π 1 2 comprehension. [14] showed that T $_0 \upharpoonright$ + UMID and T $_0 \upharpoonright$ + IND N + UMID have at least the strength of (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. Here we are concerned with the exact reversals. Let UMID N be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T $_0 \upharpoonright$ + UMID N and T $_0 \upharpoonright$ + IND N + UMID N have the same strength as (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce (...) a variant of the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

Since Sun-Joo Shin's groundbreaking study (2002), Peirce's existential graphs have attracted much attention as a way of writing logic that seems profoundly different from our usual logical calculi. In particular, Shin argued that existential graphs enjoy a distinctive property that marks them out as "diagrammatic": they are "multiply readable," in the sense that there are several di erent, equally legitimate ways to translate one and the same graph into a standard logical language. Stenning (2000) and Bellucci and Pietarinen (2016) (...) have retorted that similar phenomena of multiple readability can arise for sentential notations as well. Focusing on the simplest kinds of existential graphs, called alpha graphs (AGs), this paper argues that multiple readability does point to important features of AGs, but that both Shin and her critics have misdiagnosed its source. As a preliminary, and because the existing literature often glosses over such issues, we show that despite their non-linearity, AGs are uniquely parsable and allow for inductive de nitions. Extending earlier discussions, we then show that that in principle, all propositional calculi are multiply readable, just like AGs: contrary to what has been suggested in the literature, multiple readability is linked neither to non-linearity nor to AGs' dearth of connectives. However, we argue that in practice, AGs are more amenable to multiple readability than our usual notations, because the patterns that one needs to recognize to multiply translate an AG form what we call complex symbols, whose structural properties make it easy to perceive and process them as units. Nevertheless, we show that such complex symbols, though largely absent from our usual notations, are not inherently diagrammatic and can be found in seemingly sentential languages. Hence, while ultimately vindicating Shin's idea of multiple readability, our analysis traces it to a di erent source and thus severs its link with diagrammaticity. (shrink)

The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to understand (...) the true nature and source of the problem. Two possible sources are discussed: the problem stems from the very nature of vagueness—from the defining features of vague predicates; or the problem stems from the way in which the meanings of predicates are determined—by the usage of speakers together with facts about their environment and so on. I argue that the latter is the true source of the problem, and on this basis that fuzzy plurivaluationism is the correct solution. (shrink)

Assuming that $0^\#$ exists, we prove that there is a structure that can effectively interpret its own jump. In particular, we get a structure $\mathcal A$ such that $$\textit{Sp}({\mathcal A}) = \{{\bf x}'\colon {\bf x}\in \textit{Sp}({\mathcal A})\},$$ where $\textit{Sp}({\mathcal A})$ is the set of Turing degrees which compute a copy of $\mathcal A$. More interesting than the result itself is its unexpected complexity. We prove that higher-order arithmetic, which is the union of full $n$th-order arithmetic (...) for all $n$, cannot prove the existence of such a structure. (shrink)

Vagueness does not necessarily come in with vague predicates, nor need it be expressed by them , but undoubtedly 'vague predicates' are traditionally in the focus of main stream discussions of vagueness. In her current modal logic presentation and discussion of the Sorites paradox Susanne Bobzien[1] lists among the properties of a Sorites series a rather weak modal tolerance principle governing the 'grey zone' containing the borderline cases of the Sorites series, which later proves crucial for her solution (...) of the Sorites paradox by use of epistemic interpreted modal operators in 1st order modal logic. We suggest (for different research interest) instead a non-modal description of the switch in the grey zone (respecting tolerance), by resort to similarity sequences, thus getting tangent to two other areas of research in the field. Let's say -any way- the Sorites paradox vanishes, the Sorites series does not. (shrink)