This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

I this article, I introduce the notion of pluralism about an area, and use it to argue that the questions at the center of our normative lives are not settled by the facts -- even the normative facts. One upshot of the discussion is that the concepts of realism and objectivity, which are widely identified, are actually in tension. Another is that the concept of objectivity, not realism, should take center stage.

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception, can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

In recent years philosophers have been interested in the methodology of metaphysics. Most of these developments are related to formal work in logic or physics, often against the backdrop of the Carnap-Quine debate on ontology. Drawing on Quine’s later work, I argue that a psychological or cognitive perspective on metaphysical topics may be a valuable addition to contemporary metametaphysics. The method is illustrated by means of cognitive studies of the notions “identity,” “vagueness,” and “object” and is compared to other extant (...) metametaphysical positions. (shrink)

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...) special epistemic status. (shrink)

A paper by Beneš, published in 1954, was an attempt to prove the consistency of $\mathsf{NF}$ via a partial model of Hailperin’s finite axiomatization of $\mathsf{NF}$. Here, I offer an analysis of Beneš’s proof in a De Giorgi-style setting for set theory. This approach leads to an abstract version of Beneš’s theorem that emphasizes the monotone and invariant content of the axioms proved to be consistent, in a sense of monotony and invariance that this paper intends to state rigorously and (...) to help clarify. Moreover, some tentative speculation will be made about possible developments of the topic in the following two directions: which set theories can be proved to be consistent via Beneš-like constructions, and how can we elaborate on Beneš’s model to get a consistency proof for full $\mathsf{NF}$? (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Prompted by Poincaré, Russell put forward his celebrated vicious-circle principle (vcp) as the solution to the modern paradoxes. Ramsey, Gödel, and Quine, among others, have raised two salient objections against Russell's vcp. First, Gödel has claimed that Russell's various renderings of the vcp really express distinct principles and thus, distinct solutions to the paradoxes, a claim that gainsays one of Russell's positions on the nature of the solution to the paradoxes, namely, that such a solution be uniform. Secondly, Ramsey, Gödel, (...) and Quine have protested that the vcp's proscription against impredicative specification is incompatible with a realistic conception of the domain of quantification, a conception that Russell certainly held. I examine Russell's vcp and defend it against these objections. (shrink)

It is often supposed that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...) hypothesis is absolutely undecidable, then it is indeterminate. I shall argue that on no understanding of absolute undecidability could one hope to establish all of (a)–(c). However, I will identify one understanding of absolute undecidability on which one might hope to establish both (a) and (c) to the exclusion of (b). This suggests that a new style of mathematical antirealism deserves attention—one that does not depend on familiar epistemological or ontological concerns. The key idea behind this view is that typical mathematical hypotheses are indeterminate because they are relevantly similar to CH. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...) in these sets can be anything at all; they can be numbers, or people, or sh. The set of worlds, together with the accessibility relation and the rest of the model, is used as a purely formal structure.2 One can even go beyond establishing results about formal systems and apply Kripke models to English, as Charles Chihara has recently argued.3 Chihara shows, for instance, how to use Kripke models (plus primitive modal notions) to give an account of validity for English modal sentences. In other cases worlds are not really needed at all. It is often vivid to give a counterexample thus: “There is a possible world in which P. Since your theory implies that in all worlds, not-P, your theory is wrong.” But the counterexample could just as easily be given using modal operators: “Possibly, P. Since your theory implies that it is necessary that not-P, your theory is wrong.”. (shrink)

In this paper, we investigate (1) what can be salvaged from the original project of "logicism" and (2) what is the best that can be done if we lower our sights a bit. Logicism is the view that "mathematics is reducible to logic alone", and there are a variety of reasons why it was a non-starter. We consider the various ways of weakening this claim so as to produce a "neologicism". Three ways are discussed: (1) expand the conception of logic (...) used in the reduction, (2) allow the addition of analytic-sounding principles to logic so that the reduction is not to "logic alone" but to logic and truths knowable a priori, and (3) revise the conception of "reducible". We show how the current versions of neologicism fit into this classification scheme, and then focus on a kind of neologicism which we take to have the most potential for achieving the epistemological goals of the original logicist project. We argue that that the "weaker" the form of neologicism, the more likely it is to be a new form of logicism, and show how our preferred system, though mathematically weak, is metaphysically and epistemogically strong, and can "reduce" arbitrary mathematical theories to logic and analytic truths, if given a legitimate new sense of "reduction". (shrink)

Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and mathematics be based on a single axiom schema of comprehension?

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

Non-well-founded set theories allow set-theoretic exotica that standard ZFC will not allow, such as a set that has itself as its sole member. We can distinguish plenitudinous non-well-founded set theories, such as Boffa set theory, that allow infinitely many such sets, from restrictive theories, such as Finsler-Aczel or AFA, that allow exactly one. Plenitudinous non-well-founded set theories face a puzzle: nothing seems to explain the identity or distinctness of various of the sets they countenance. In this paper I aim to (...) sharpen this puzzle, make clear who it does and does not apply to and, ultimately, to argue in favor of a plenitudinous theory like Boffa. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine Williamson’s primitivist approach according to which (...) second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...) signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) and (ii) examples of (...) the inconsistent countable set in a set theory ZFC + ∃M_stZFC and in a set theory ZFC2 + ∃M_st^ZFC_2 were derived. It is widely believed that ZFC + ∃M_stZFC and ZFC_2 + ∃M_st^ZFC_2 are consistent, i.e. ZFC and ZFC_2 have a standard models. Unfortunately this belief is wrong. Book. Advances in Mathematics and Computer Science Vol. 1 Chapter 3 There is No Standard Model of ZFC and ZFC2 ISBN-13 (15) 978-81-934224-1-0 See Part II of this paper DOI: 10.4236/apm.2019.99034 . (shrink)

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].

Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of theoretical (...) equivalence. Our clarification of Quine’s conjecture, however, exposes the shortcomings of his argument against many-sorted logic. (shrink)

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

We show how to interpret Heyting's arithmetic in an intuitionistic version of TT, Russell's Simple Theory of Types. We also exhibit properties of finite sets in this theory and compare them with the corresponding properties in classical TT. Finally, we prove that arithmetic can be interpreted in intuitionistic TT, the subsystem of intuitionistic TT involving only three types. The definitions of intuitionistic TT and its finite sets and natural numbers are obtained in a straightforward way from the classical definitions. This (...) is very natural and seems to make intuitionistic TT an interesting intuitionistic set theory to study, beside intuitionistic ZF. (shrink)

A common objection to Quine’s set theory “New Foundations” is that it is inadequately motivated because the restriction on comprehension which appears to avert paradox is a syntactical trick. We present a semantic criterion for determining whether a class is a set (a kind of symmetry) which motivates NF.

On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within (...) the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality. (shrink)

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a semantics of pluralities for Boolos’ (...) plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ second-order languages to second-order entities, contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics. (shrink)

The authors believe that the questions raised at the beginning of Frege’s On Sense and Reference – ‘Is [identity] a relation? A relation between objects, or between names or signs of objects?’ – set the course for a long-lasting but not at all satisfying discussion. For the disputants tend to advocate, either a ‘name-view’ of identity in a straightforward but rudimentary and logically untenable form, or else a version of an ‘object-view’ that makes all too light of the analysandum–analysans distinction (...) and hence is damned to analytical barrenness. In contrast, by unfolding the underlying idea of the original ‘name-view’, the authors offer three alternative and mutually compatible interpretations of identity that may best be characterized as the ‘name-based’, the ‘hybrid’ and the ‘sense-based’ variant of a ‘concept-view of identity’. At the same time, however, these interpretations may well be considered variants of a non-barren ‘object-view’. (shrink)

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that neither (...) is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)

The iterative conception of set commonly is regarded as supporting the axioms of Zermelo-Fraenkel set theory (ZF). This paper presents a modified version of the iterative conception of set and explores the consequences of that modified version for set theory. The modified conception maintains most of the features of the iterative conception of set, but allows for some non-wellfounded sets. It is suggested that this modified iterative conception of set supports the axioms of Quine's set theory NF.

This paper traces the development of Quine's ontological ideas throughout his early logical work in the period before 1948. It shows that his ontological criterion critically depends on this work in logic. The use of quantifiers as logical primitives and the introduction of general variables in 1936, the search for adequate comprehension axioms, and problems with proper classes, all forced Quine to consider ontological questions. I also show that Quine's rejection of intensional entities goes back to his generalisation of Principia (...) Mathematica in 1932. (shrink)

This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.

Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this is the case, then we will have a special, conjunctive, kind of dialetheia: a true state description of the form ‘Fa and not Fa’ (for some property F and object a), wherein the two conjuncts, separately taken, are to be held untrue. The particular focus of the article is on happy (...) unhappiness: people suffering from (or enjoying) happy unhappiness (if there is some situation or state of mind of this kind) cannot be truly said ‘happy’ or ‘unhappy’, but we can say they are both. In the first section three cases of conjunctive stratification are presented; in the second section the logic of stratified contradictions is explored. The last section focuses on eudemonistic ascriptions: stated that a is happy to be unhappy (or unhappy to be happy), should we say a is happy? unhappy? both? neither? (shrink)