There exists no completely satisfactory theory of risk attitude in current normative decision theories. Existing notions confound attitudes to pure risk with unrelated psychological factors such as strength of preference for certain outcomes, and probability weighting. In addition traditional measures of risk attitude frequently cannot be applied to non-numerical consequences, and are not psychologically intuitive. I develop Pure Risk theory which resolves these problems – it is consistent with existing normative theories, and both internalises and generalises the intuitive notion of (...) risk being related to the probability of not achieving one’s aspirations. Existing models which ignore pure risk attitudes may be misspecified, and effects hitherto modelled as loss aversion or utility curvature may be due instead to Pure Risk attitudes. (shrink)

Objective: The aim of this study was to examine the psychometric properties and factorial structure of the Schema Mode Inventory for Eating Disorders (SMI-ED) in a disordered eating population. Method: 573 participants with disordered eating patterns as measured by the Eating Disorder Examination Questionnaire (EDE-Q) completed the 190-item adapted version of the Schema Mode Inventory (SMI). The new SMI-ED was developed by clinicians/researchers specializing in the treatment of eating disorders, through combining items from the original SMI with a set of (...) additional questions specifically representative of the eating disorder population. Psychometric testing included Confirmatory Factor Analysis (CFA) and internal consistency (Cronbach’s α). Multivariate Analyses of Covariance (MANCOVA) was also run to test statistical differences between the EDE-Q subscales on the SMI-ED modes, while controlling for possible confounding variables. Results: Factorial analysis confirmed an acceptable sixteen-related-factors solution for the SMI-ED, thus providing preliminary evidence for the adequate validity of the new measure based on internal structure. Concurrent validity was also established through moderate to high correlations on the modes most relevant to eating disorders with EDE-Q subscales. This study represents the first step in creating a psychometrically sound instrument for measuring schema modes in eating disorders, and provides greater insight into the relevant schema modes within this population. Conclusion: This research represents an important preliminary step toward understanding and labeling the schema mode model for this clinical group. Findings from the psychometric evaluation of SMI-ED suggest that this is a useful tool which may further assist in the measurement and conceptualization of schema modes in this population. (shrink)

The interplay between emotion and learning is a continuing source of debate and inquiry in organization studies, attracting an increasing number of important contributions. However, a detailed understanding of the interaction between emotion and learning remains elusive. In an effort to extend the existing debate, this article offers an alternative approach that draws on the tradition of pragmatist philosophy, where emotion and learning can both be defined as dynamic processes that emerge in the relational context of social transactions. The mutually (...) constructing interplay between these two processes is then illustrated with an example of a collaborative project in which anxiety, love, guilt, and hostility are all entangled in the learning process. (shrink)

An illuminating guide to the pervasiveness and intricacies of law and an ideal invitation for those interested in its mechanics, purposes and functions. It is a thorough guide to a mysterious and complex institution and profession.

Jerry Walls has attempted to make the case that no orthodox Christian should embrace compatibilism. We responded to his arguments, challenging four key premises. In his most recent response, Walls argues that none of our rebuttals to these premises succeed. Here we clarify aspects of our previous arguments and show that Walls has not in fact undermined our defense of Christian compatibilism.

In this book, leading Christian political thinkers and practitioners critique the Rawlsian concepts of “justice as fairness” and “public reason” from the perspective of Christian political theory and practice. It provides a new level of analysis from Christian perspectives, including implications for such hot topics as the culture war.

This book brings together essays on themes of human rights and legal history, reflecting the long and distinguished career as academic writer and human rights activist of Brian Simpson. Written by colleagues and friends in the United States and Britain, the essays are intended to reflect Simpson's own legal interests. The collection opens with biography of Simpson's academic life which notes his major contribution to legal thought, and closes with an account of his career in the United (...) States and a bibliography of his writings. As a tribute to Simpson's varied interests in the law, the collection is grouped around themes in human rights, legal philosophy, and legal history. The human rights papers are concerned with the history of the right of individual petition to the European Court of Human Rights, and recent successes in which Brian Simpson played a part; the evolution of a transnational common law of human rights; the United Nations Convention on the Rights of the Child and the interpretation of the provisions on identity in France and England; the suspension of human rights which would have occurred, had the emergency War Zone Courts scheme been brought into effect during wartime; historical resistance to colonial laws in Papua New Guinea; and the ratio decidendi of the story of the Prodigal Son. Historical themes are found in essays concerned with three nineteenth-century Lord Chancellors; in two essays relating to the fate of the civil jury on either side of the Atlantic which provide a fascinating comparison; in the 'battle of the books' which led to changes in eighteenth-century copyright law; and judicial rivalry between King's Bench and Common Pleas in the early modern period. (shrink)

Harris, Barnier, Sutton and Savage examine the communication styles that boost the mnemonic consequences associated with conversations for long‐term married couples and the circumstances under which the couples form a TMS. Harris and colleagues demonstrated that specific communication styles (e.g., cueing each other) promote group memory success whereas others (e.g., correcting each other) did not enhance group recall performance. These results showed that even in well‐established and enduring distributed cognitive systems such as long‐term intimate couples (Harris, Barnier, Sutton & Keil, (...) 2014), memory benefits depend on effective communication and the specificities of the task performed (e.g., remembering lists of words vs. remembering shared, autobiographical experiences). (shrink)

In order to introduce protists to philosophers, we outline the diversity, classification, and evolutionary importance of these eukaryotic microorganisms. We argue that an evolutionary understanding of protists is crucial for understanding eukaryotes in general. More specifically, evolutionary protistology shows how the emphasis on understanding evolutionary phenomena through a phylogeny-based comparative approach constrains and underpins any more abstract account of why certain organismal features evolved in the early history of eukaryotes. We focus on three crucial episodes of this history: the origins (...) of multicellularity, the origin of sex, and the origin of the eukaryote cell. Despite ongoing uncertainty about where the root of the eukaryote tree lies, and residual questions about the precise endosymbioses that have produced a diversity of photosynthesizing eukaryotes, evolutionary protistology has illuminated with considerable clarity many aspects of protist evolution. Our main message in light of evolutionary protistology is that these ‘other eukaryotes’ are in fact the organisms through which the rest of the eukaryotes should be understood. (shrink)

People live and age together in social groups. Across a range of outcomes, research has identified interdependence in the cognitive and health trajectories of ageing couples. Various types of memory decline with age and people report using a range of internal and external, social, and material strategies to compensate for these declines. While memory compensation strategies have been widely studied, research so far has focused only on single individuals. We examined interdependence in the memory compensation strategies reported by spouses within (...) 58 older couples. Couples completed the Memory Compensation Questionnaire, as well as an open-ended interview about their memory compensation practices. We found that internal, intra-individual memory compensation strategies were not associated within couples, but external, extra-individual strategies showed interdependence. Individuals’ scores on material/technological compensation strategies were positively correlated with their partners’. Reported reliance on a spouse was higher for men and increased with age. Our open-ended interviews yielded rich insights into the complex and diverse resources that couples use to support memory in day-to-day life. Particularly evident was the extent of interaction and coordination between social and material compensation, such that couples jointly used external compensation resources. Our results suggest that individuals’ reports of their compensation strategies do not tell the whole story. Rather, we propose that older couples show interdependence in their memory compensation strategies, and adopt complex systems of integrated material and social memory compensation in their day-to-day lives. (shrink)

In barely the space of one generation, Athens was transformed from a conventional city-state into something completely new--a region-state on a scale previously unthinkable. This book sets out to answer a seemingly simple question: How and when did the Athenian state attain the anomalous size that gave it such influence in Greek politics and culture in the classical period? Many scholars argue that Athens's incorporation of Attica was a gradual development, largely completed some two hundred years before the classical era. (...) Anderson, however, suggests that it is not until the late sixth century that we see the first systematic attempts by the Athenian polis to integrate all of Attica. Anderson first takes issue with the prevailing view of Cleisthenes' landmark political reforms of 508-7 b.c., arguing that they were animated by a more comprehensive vision of regional political community in Attica. The Athenians' strengthened the state by establishing institutional mechanisms that would allow inhabitants of the Attic periphery to participate as never before in the life of the center. The creation of a suitable physical setting for the new order was accompanied by religious, military, and symbolic innovations. Regional participation in Athenian affairs was stimulated by encouraging the Attic populace to imagine themselves, for the first time ever, as members of a single, like-minded, self-governing political community. Greg Anderson is Assistant Professor of Classics and History, University of Illinois at Chicago. (shrink)

Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...) dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of Kjos-Hanssen, Kjos-Hanssen/Miller/Solomon, and others concerning LR-reducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i. e., 0″ is truth-table computable from B ′, the Turing jump of B. (shrink)

This collection by some of the leading scholars of Strauss's work is the first devoted to Strauss's thought regarding education. It seeks to address his conception of education as it applies to a range of his most important concepts, such as his views on the importance of revelation, his critique of modern democracy and the importance of modern classical education.

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well. In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties: (1) (a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the "logical terms" and the "non-logical terms" of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)

A logic is said to be contraction free if the rule from A→(A→B) to A→B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there is another contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to be robustly contraction free if (...) there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free. (shrink)

This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising '*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

The principle of indifference (hereafter ‘Poi’) says that if one has no more reason to believe A than B (and vice versa ), then one ought not to believe A more than B (nor vice versa ). Many think it’s demonstrably false despite its intuitive plausibility, because of a particular style of thought experiment that generates counterexamples. Roger White ( 2008 ) defends Poi by arguing that its antecedent is false in these thought experiments. Like White I believe Poi, but (...) I find his defense unsatisfactory for two reasons: it appeals to false premises, and it saves Poi only at the expense of something that Poi’s believers likely find just as important. So in this essay I defend Poi by arguing that its antecedent does hold in the relevant thought experiments, and that the further propositions needed to reject Poi are false. I play only defense in this essay; I don’t argue that Poi is true (even though I think it is), but rather that one popular refutation is faulty. In showing this, I also note something that has to my knowledge gone unnoticed: given some innocuous-looking assumptions the denial of Poi is equivalent to a version of epistemic permissivism , and Poi itself is equivalent to a version of epistemic uniqueness. (shrink)

Louis Charland has argued that the Cluster B personality disorders, including borderline personality disorder, are primarily moral rather than clinical conditions. Part of his argument stems from reflections on effective treatment of borderline personality disorder. In the argument from treatment, he claims that successful treatment of all Cluster B personality disorders requires a positive change in a patient’s moral character. Based on this claim, he concludes (1) that these disorders are, at root, deficits in moral character, and (2) that effective (...) treatment of these disorders requires a sort of moral education rather than clinical intervention. In this paper, I evaluate the argument from treatment through a critical analysis of two psychotherapeutic interventions that have shown recent effectiveness against borderline personality disorder. I suggest that both Dialectical Behaviour Therapy and Mentalization-Based Treatment indicate that borderline personality disorder is, at root, a deficit in non-moral cognitive and emotional capacities. I suggest that these non-moral deficits obscure the expression of an otherwise intact moral character. In light of this, I conclude that effective treatment of borderline personality disorder requires primarily clinical intervention rather than moral edification. (shrink)

According to one tradition in realist philosophy, 'truthmaking' amounts to necessitation. That is, an object x is a truthmaker for the claim A if x exists, and the existence of x necessitates the truth of A. I argued in my paper "Truthmakers, Entailment and Necessity" [14], that if we wish to use this account of truthmaking, we ought understand the entailment connective "=>" in such a claim as a relevant entailment, in the tradition of Anderson and Belnap and their co-workers (...) [1, 2, 8, 11]. Furthermore, I proposed a number of theses about truthmaking as necessitation. The most controversial of these is the disjunction thesis: x makes a disjunction A v B true if and only if it makes one of the disjuncts (A or B) true. That paper left one important task unfinished. I did not explain how the theses about truthmaking could be true together. In this paper I give a consistency proof, by providing a model for the theses of truthmaking in my earlier paper. This result does two things. First, it shows that the theses of truthmaking are jointly consistent. Second, it provides an independently philosophically motivated formal model for relevant logics in the 'possible worlds' tradition of Routley and Meyer [8, 16, 17]. (shrink)

A B S T R AC T: In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now. ” I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with respect to the intended models.

This note explains an error in Restall’s ‘Simplified Semantics for Relevant Logics (and some of their rivals)’ (Restall, J Philos Logic 22(5):481–511, 1993 ) concerning the modelling conditions for the axioms of assertion A → (( A → B ) → B ) (there called c 6) and permutation ( A → ( B → C )) → ( B → ( A → C )) (there called c 7). We show that the modelling conditions for assertion and permutation proposed (...) in ‘Simplified Semantics’ overgenerate. In fact, they overgenerate so badly that the proposed semantics for the relevant logic R validate the rule of disjunctive syllogism. The semantics provides for no models of R in which the “base point” is inconsistent. This problem is not restricted to ‘Simplified Semantics.’ The techniques of that paper are used in Graham Priest’s textbook An Introduction to Non-Classical Logic (Priest, 2001 ), which is in wide circulation: it is important to find a solution. In this article, we explain this result, diagnose the mistake in ‘Simplified Semantics’ and propose two different corrections. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Classification and Explanation in Aristotle’s Theory of DefinitionGreg Bayer1. introductiona problem lies at the heart of Aristotle’s theory of definition. On the one hand, Aristotle says in Topics VI.4 that “the one who defines well must define by means of genus1 and differentia” (141b25–7); indeed his view of definition most often seems to be confined to its role of picking out the definiendum by indicating the class it belongs (...) to—what can be called its “class definition.”2 But on the other hand, in Posterior Analytics II.2 he makes the pronouncement that “knowing what something is ” is the same as knowing why it is ” (90a31–2), and then goes on in II.2 and 8 to argue that definition is an, “explanation” or “explanatory principle.” How can these two notions of definition be reconciled?Short of giving the full Aristotelian solution to this problem, I hope here to suggest one way in which Aristotle’s notion of class definition—especially the reformed version presented in De Partibus Animalium I.2–4—can be shown to relate to his notion of explanatory definition in APo II. The link is his notion of scientific, “problems,” as discussed in APo II. 14 and elsewhere.3 It will turn out that a class definition in effect presents a scientific problem to the scientist which can best be solved by an explanation—ultimately by an “explanatory definition”—accounting for the attributes that form the basis of [End Page 487] class membership. Or more succinctly: the class definition presents a problem that the explanatory definition solves. Further, although the discussion in PA I is meant to be a reform of the simpler but unworkable method of arriving at the genus-differentia formula based upon, “division,” I intend to argue that an important ancillary benefit of the reformed method is that it is capable of articulating scientific problems in a much clearer way than division can. In fact, it seems very well suited to the task of presenting problems and hence to the task of searching for explanatory definitions.2. scientific problemsIn APo II. 14, Aristotle begins to outline the proper procedure for formulating scientific problems. We are told that “in order to obtain problems, we must pick out the sections 4 and divisions” of the subject we are investigating, about which we are formulating a problem (98a1–3). That is, we must learn to pick out each genus in the hierarchy of genera the subject belongs to by learning to identify the attributes associated with each of these genera. This will enable us to account for each attribute we find in the subject under investigation in terms of the genus the attribute is primarily associated with. As Aristotle explains: “Let A stand for animal, B for [an attribute] of every animal, and C, D, and E some particular animal [species]; it is clear why B belongs to D—because of A” (98a9–11).This, in a sense, shows one way a scientific problem—Why does attribute B belong to D?—can be “solved”: by finding the right “division” of D that accounts for its having B. But what is important to note here is that, in fact, our investigation only begins with this process of finding the right genus. This is simply how we “obtain” the problem, strictly speaking, not the means for ultimately solving it. Indeed the problem of accounting for why an attribute belongs to a given subject is not even completely formulated until we are able to determine the proper “division,” or genus, the attribute universally belongs to. Then we can ask the more fundamental question of why the attribute belongs to this genus, i.e., why B belongs to genus A. Now this question can be analyzed further, in terms of the other attributes of the genus. Any genus (or infima species) is, in effect, designated by a regular concomitance of the many attributes that identify it—i.e., attributes that universally co-occur in it. So the scientific problem we are formulating, regarding why a certain attribute belongs to a certain subject, ultimately should be reformulated in this way: Why does... (shrink)

In this paper I argue that Bonjour’s claim that empirical beliefs can only be justified by other empirical beliefs and his use of non-normative “spontaneous empirical beliefs” and the “The Doxastic Preumption” fail to solve the problems of coherence theory. I propose a justification of empirical (and other beliefs) based on the work of B. Lonergan.

Machine generated contents note: -- Series Editors' PrefaceAcknowledgementsNotes on ContributorsHow Things Are Elsewhere; W. Schwarz Information Change and First-Order Dynamic Logic; B.Kooi Interpreting and Applying Proof Theories for Modal Logic; F.Poggiolesi & G.Restall The Logic(s) of Modal Knowledge; D.Cohnitz On Probabilistically Closed Languages; H.Leitgeb Dogmatism, Probability and Logical Uncertainty; B.Weatherson & D.Jehle Skepticism about Reasoning; S.Roush, K.Allen & I.HerbertLessons in Philosophy of Logic from Medieval Obligations; C.D.Novaes How to Rule Out Things with Words: Strong Paraconsistency and the Algebra of Exclusion; (...) F.Berto Lessons from the Logic of Demonstratives; G.RussellThe Multitude View on Logic; M.Eklund Index. (shrink)

In our feature presentation, “Mahatma Gandhi’s Philosophy of Nonviolence and Truth" Douglas Allen explicates central Gandhian values and concepts in a way that gives readers a kind of ‘one stop’ source for appreciating Gandhi’s nonviolence. In an author-meets-critics dialogue, Court Lewis, author of Repentance and the Right to Forgiveness, defends and clarifies his argument that wrongdoers have a right to forgiveness. Our reviews in this issue invite comparative analysis: Philip J. Rossi’s book on The Ethical Commonwealth in History; a collection (...) of essays on Tolstoy and Spirituality; the third volume of The Selected Papers of Jane Addams; George Monbiot's Out of the Wreckage; and Leanne Betasamosake Simpson’s book, As We Have Always Done: Indigenous Freedom Through Radical Resistance. (shrink)

Bernard Lonergan has argued for a theory of cognition that is transcendentally secure, that is, one such that any plausible attempt to refute it must presuppose its correctness, and one that also grounds a correct metaphysics and ontology. His proposal combines an identity theory of knowledge with an intentional relation between knower and known. It depends in a crucial way upon an appropriation of one’s own cognitional motives and acts, that is, upon “knowing one’s own knowing.” I argue that because (...) of conflicts between the identity and intentionality components of the theory, rational self-appropriation cannot, as Lonergan claims, be an iteration of just the same acts by which we acquire other sorts of knowledge. I propose an amended theory in which the relation between intending-subject and intended-object of first-level cognition becomes, in RSA, a numerical identity of knower and known and of the epistemic and the ontological. (shrink)

For a variety of reasons, W.E.B. Du Bois is often heralded as a (pro)feminist figure, and his work is taken up accordingly. This essay is an attempt to more critically engage this assumption through The Black Flame trilogy. In this paper, I make the argument that this work of historical fiction – and the role of women therein – exposes the masculinist structure of Du Bois's vision for racial uplift, wherein black women lack sufficient public agency. From this structure, I (...) derive the conclusion that is disadvantageous to read Du Bois as embodying an exemplary anti-racist feminism. (shrink)

The aim of the paper is twofold: i) to give a logically explicit formulation of a slight generalization of Quine's master argument about de re modality—an argument which imposes important constraints on modal semantics, ii) to briefly present my favored account of modal locutions (especially locutions of the de re metaphysical flavor) and show how it successfully copes with Quine's argument. Though Quine made this argument so many years ago, it is still widely misunderstood, and so careful attention to detail (...) seems warranted. From what I have seen, philosophers' attitudes towards Quine's master argument fall into two kinds: i) there are those that think that the argument has no force, because it is based on some mistake (usually, something about definite descriptions), and ii) there are those that think that the argument poses some insuperable barrier to any kind of de re modality. Neither of these attitudes is justified. So, I hope to make plain along the way that a) the original version of Quine's argument is sound, b) there is a version of this same basic argument which imposes very definite constraints on any proposed account of de re "metaphysical" modality in particular, an c) there is an account that satisfies these constraints. Part 1 of the paper is concerned with laying out and discussing three versions of Quine's argument, in the service of establishing points (a) and (b). -/- In Part 2 of the paper, I briefly sketch what I take to be a very promising, and also very Quinean account of de re modality -- one that respects the constraint on modal semantics that Quine's argument reveals and comports well with the few positive remarks Quine makes, for example, in Word and Object regarding our use of modal locutions. This will put us in a position to see that the proposed account does not fly in the face of Quine's master argument. (shrink)

There are continuum many ≤B-incomparable equivalence relations induced by a free, Borel action of a countable non-abelian free group — and hence, there are 2α0 many treeable countable Borel equivalence relations which are incomparable in the ordering of Borel reducibility.