A challenge for theories of incomplete descriptions is to capture the consistency of ‘Sobel sequences’ and to account for an asymmetry in the acceptability of utterances of Sobel sequences and ‘reverse Sobel sequences’. David Lewis’s theory of incomplete descriptions answers, unlike many other theories, the challenge from Sobel sequences, but it does not answer the challenge from reverse Sobel sequences. This article presents another asymmetry in the availability of (...) anaphoric readings of Sobel sequences and reverse Sobel sequences, and proposes an explanation of the original asymmetry on its grounds. This provides an answer to the challenge for Lewis’s theory. (shrink)

Folklore has it that Sobel sequences favor a variably strict analysis of conditionals over its plainly strict alternative. While recent discussions for or against the lore have focussed on Sobel sequences involving counterfactuals, this paper draws attention to the fact that indicative Sobel sequences are just as felicitous as are their counterfactual cousins. The fact, or so I shall argue here, disrupts the folklore: given minimal assumptions about the semantics and pragmatics of indicative conditionals, (...) a textbook variably strict analysis fails to predict that indicative Sobel sequences are felicitous. The correct lesson to draw from Sobel sequences is that their felicity challenges classical implementations of the variably strict and of the plainly strict analysis alike. In response to this challenge I develop a dynamic strict analysis of conditionals that handles indicative Sobel sequences with grace while preserving intuitive constraints on the semantics and pragmatics of their members. A discussion of how such an analysis may handle the challenge from reverse Sobel sequences is provided. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the (...) order is reversed. Previous proposals have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the (...) order is reversed. Previous proposals have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the (...) order is reversed. Previous proposals have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the (...) order is reversed. Previous proposals have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a (...) universal theory of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer (...) rings true. This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

This paper is about Sobel sequences, which are sequences of counterfactuals that supposedly display two interesting properties: first, they are consistent, as accounted for by the famous Lewis-Stalnaker analysis; but second, they are not consistent in the reverse order, which is not accounted for by Lewis-Stalnaker. I argue that there has been an empirical oversight in the literature on these sequences: there are consistent sequences, and there are irreversible sequences, but no sequence is (...) both. The Lewis-Stalnaker theory neatly captures Sobel sequences, and also captures the inconsistency of Lewis sequences. But there is still a dynamic asymmetry at work with Lewis sequences, which I account for by appeal to the pragmatic phenomenon of imprecision. Lewis sequences seem consistent because they do not belie factual disagreements, but rather metalinguistic disagreements about how precise to be. This also accounts for their irreversibility—such metalinguistic disagreements about the standard of precision are only possible in one direction, as famously observed by Lewis, who observed them in discourses not containing counterfactuals. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse (...) Sobel sequences. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second (...) puzzle, by contrast, relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the (...) small amount of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues (...) in the study of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

A part of Stalnaker (1968)’s influential theory of conditionals has been neglected, namely the role for an accessibility relation between worlds. I argue that the accessibility relation does not play the role intended for it in the theory as stated, and propose a minimal revision which solves the problem, and brings the theory in line with the formulation in Stalnaker & Thomason 1970.

Ordinary speakers intuitively assign truth-values to conditional utterances in everyday conversation, but, despite the general ease with which this occurs, it is notoriously difficult to give an account of the implicit logic that is followed in making these truth-value assignments. I propose a twofold logic of the conditional – a relatively simple “factual” logic for conditionals interpreted with regard to what is actually the case, largely following the logic of the material conditional; combined with a variably strict possible-worlds counterfactual logic (...) for conditionals interpreted with regard to with what may be (or may have been) the case, incorporating a ceteris paribus clause. This theory is able to deal with a number of challenges for other prominent views of the conditional, such as counter-intuitive truth-value ascriptions provided by notions of similarity or closeness, and difficulties adequately accounting for phenomena such as reverse Sobel sequences. (shrink)

The classic Lewis-Stalnaker semantics for counterfactuals captures that Sobel sequences are consistent sequences, for example: a.If Sophie had gone to the parade, she would have seen Pedro dance. b.But if Sophie had gone to the parade and been stuck behind someone tall, she would not have seen Pedro dance. But reverse a sequence like this one and it no longer sounds so good, which is surprising on the classic semantics. This observation motivated Kai von Fintel and (...) Thony Gillies to propose dynamic semantic accounts of counterfactual conditionals. Subsequently, Sarah Moss defended the classic semantics against the charge that it need be abandoned in the face of these order effects, arguing that the infelicity of the reverse sequences is pragmatic. I argue that both accounts are ultimately untenable, but each account has strengths. Seeing what works and what doesn't in each account points the way to the right positive view. With this in mind, I defend a contextualist account of counterfactuals that takes conversational relevance to play a central role. (shrink)

We give an overview of the role of equicontinuity of sequences of real-valued functions on [0,1] and related notions in classical mathematics, intuitionistic mathematics, Bishop’s constructive mathematics, and Russian recursive mathematics. We then study the logical strength of theorems concerning these notions within the programme of Constructive Reverse Mathematics. It appears that many of these theorems, like a version of Ascoli’s Lemma, are equivalent to fan-theoretic principles.

One of the earliest applications of transfinite numbers is in the construction of derived sequences by Cantor [2]. In [6], the existence of derived sequences for countable closed sets is proved in ATR0. This existence theorem is an intermediate step in a proof that a statement concerning topological comparability is equivalent to ATR0. In actuality, the full strength of ATR0 is used in proving the existence theorem. To show this, we will derive a statement known to be equivalent (...) to ATR0, using only RCA0 and the assertion that every countable closed set has a derived sequence. We will use three of the subsystems of second order arithmetic defined by H. Friedman , which can be roughly characterized by the strength of their set comprehension axioms. RCA0 includes comprehension for Δmath image definable sets, ACA0 includes comprehension for arithmetical sets, and ATR0 appends to ACA0 a comprehension scheme for sets defined by transfinite recursion on arithmetical formulas. MSC: 03F35, 54B99. (shrink)

Some spatio-temporal structures are easier to transfer implicitly in sequential learning. In this study, we investigated whether the consistent reversal of triads of learned components would support the implicit transfer of their temporal structure in visuomotor sequence learning. A triad comprised three sequential button presses ([1][2][3]) and seven consecutive triads comprised a sequence. Participants learned sequences by trial and error, until they could complete it 20 times without error. Then, they learned another sequence, in which each triad was reversed (...) ([3][2][1]), partially reversed ([2][1][3]), or switched so as not to overlap with the other conditions ([2][3][1] or [3][1][2]). Even when the participants did not notice the alternation rule, the consistent reversal of the temporal structure of each triad led to better implicit transfer; this was confirmed in a subsequent experiment. These results suggest that the implicit transfer of the temporal structure of a learned sequence can be influenced by both the structure and consistency of the change. (shrink)

It has long been recognized that cancer onset and progression represent a type of reversion to an ancestral quasi‐unicellular phenotype. This general concept has been refined into the atavistic model of cancer that attempts to provide a quantitative analysis and testable predictions based on genomic data. Over the past decade, support for the multicellular‐to‐unicellular reversion predicted by the atavism model has come from phylostratigraphy. Here, we propose that cancer onset and progression involve more than a one‐off multicellular‐to‐unicellular reversion, and are (...) better described as a series of reversionary transitions. We make new predictions based on the chronology of the unicellular‐eukaryote‐to‐multicellular‐eukaryote transition. We also make new predictions based on three other evolutionary transitions that occurred in our lineage: eukaryogenesis, oxidative phosphorylation and the transition to adaptive immunity. We propose several modifications to current phylostratigraphy to improve age resolution to test these predictions. Also see the video abstract here: https://youtu.be/3unEu5JYJrQ. (shrink)

The hallmark of implicit learning is that complex knowledge can be acquired unconsciously. The second order conditionals of Reed and Johnson were developed to be complex, and they are popular materials for implicit learning research. Recently, it was demonstrated that in a sequence made noisy , shared features of the SOCs may be learned explicitly . What are these shared features? We hypothesized that low reversal frequency may play a significant role. We have varied reversal frequency, and discovered that reversal (...) frequency affected response times, inclusion exclusion behavior, and recognition ratings. Not only does it appear to be important to distinguish implicit and explicit knowledge, but also to distinguish what the knowledge is of. (shrink)

A theory is usually said to be time reversible if whenever a sequence of states S 1, S 2, S 3 is possible according to that theory, then the reverse sequence of time reversed states S 3 T, S 2 T, S 1 T is also possible according to that theory; i.e., one normally not only inverts the sequence of states, but also operates on the states with a time reversal operator T. David Albert and Paul Horwich have suggested (...) that one should not allow such time reversal operations T on states. I will argue that time reversal operations on fundamental states should be allowed. I will furthermore argue that the form that time reversal operations take is determined by the type of fundamental geometric quantities that occur in nature and that we have good reason to believe that the fundamental geometric quantities that occur in nature correspond to irreducible representations of the Lorentz transformations. Finally, I will argue that we have good reason to believe that space-time has a temporal orientation. (shrink)

A theory is usually said to be time reversible if whenever a sequence of states S 1 , S 2 , S 3 is possible according to that theory, then the reverse sequence of time reversed states S 3 T , S 2 T , S 1 T is also possible according to that theory; i.e., one normally not only inverts the sequence of states, but also operates on the states with a time reversal operator T . David Albert (...) and Paul Horwich have suggested that one should not allow such time reversal operations T on states. I will argue that time reversal operations on fundamental states should be allowed. I will furthermore argue that the form that time reversal operations take is determined by the type of fundamental geometric quantities that occur in nature and that we have good reason to believe that the fundamental geometric quantities that occur in nature correspond to irreducible representations of the Lorentz transformations. Finally, I will argue that we have good reason to believe that space-time has a temporal orientation. (shrink)

A simultaneous collision that produces paradoxical indeterminism (involving N0 hypothetical particles in a classical three-dimensional Euclidean space) is described in Section 2. By showing that a similar paradox occurs with long-range forces between hypothetical particles, in Section 3, the underlying cause is seen to be that collections of such objects are assumed to have no intrinsic ordering. The resolution of allowing only finite numbers of particles is defended (as being the least ad hoc) by looking at both -sequences (in (...) the context of a very basic supertask, in Section 4) and *-sequences (reversed -sequences, in the form of paradoxical results from the recent literature). Introduction The simultaneous collision The paradox in other contexts The basic problem is N0 things The recent literature Generating N0 things. (shrink)

A quasi-order Q induces two natural quasi-orders on $${\mathcal{P}(Q)}$$, but if Q is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq (Proceedings of the 22nd Annual IEEE Symposium 4 on Logic in Computer Science (LICS’07), pp. 453–462, 2007) showed that moving from a well-quasi-order Q to the quasi-orders on $${\mathcal{P}(Q)}$$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the induced quasi-orders on $${\mathcal{P}(Q)}$$ are Noetherian, which means that they contain no (...) infinite strictly descending sequences of closed sets. We analyze various theorems of the form “if Q is a well-quasi-order then a certain topology on (a subset of) $${\mathcal{P}(Q)}$$ is Noetherian” in the style of reverse mathematics, proving that these theorems are equivalent to ACA 0 over RCA 0. To state these theorems in RCA 0 we introduce a new framework for dealing with second-countable topological spaces. (shrink)

We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain–Antichain (CAC) Principle. Using this method, we are able to prove several new separations in the presence of Weak König’s Lemma (WKL), including showing that CAC+WKL does not imply the thin set theorem for pairs, and that the principle “the product of well-quasi-orders is a well-quasi-order” is strictly between CAC and the Ascending/Descending Sequences principle, even in the presence of WKL.

Salmon genomics is an emerging field that represents a convergence between socially important scientific innovation and a politically volatile topic of significant interest to the public. These factors provide a strong rationale for public input. This report describes such input from a public engagement event based on the principles of deliberative democracy. The event involved a random, demographically stratified sample of 25 British Columbians (Canada). While some participants opposed sequencing the salmon genome on principle, on the whole participants responded favourably, (...) citing the value of increased knowledge of human impacts on salmon, potentially slowing or reversing this impact, and assisting sustainable management of salmon resources. Participants discussed many of the potential implications of the sequencing project and formulated recommendations pertaining to regulations, international treaties, public education and engagement. Overall, the project illustrates that the specific design and implementation of this event is capable of producing sound policy advice from the general public on genomic-related issues. (shrink)

Beliefs like the Gambler's Fallacy and the Hot Hand have interested cognitive scientists, economists, and philosophers for centuries. We propose that these judgment patterns arise from the observer's mental models of the sequence-generating mechanism, moderated by the strength of belief in an a priori base rate. In six behavioral experiments, participants observed one of three mechanisms generating sequences of eight binary events: a random mechanical device, an intentional goal-directed actor, and a financial market. We systematically manipulated participants’ beliefs about (...) the base rate probabilities at which different outcomes were generated by each mechanism. Participants judged 18 sequences of outcomes produced by a mechanism with either an unknown base rate, a specified distribution of three equiprobable base rates, or a precise, fixed base rate. Six target sequences ended in streaks of between two and seven identical outcomes. The most common predictions for subsequent events were best described as pragmatic belief updating, expressed as an increasingly strong expectation that a streak of identical signals would repeat as the length of that streak increased. The exception to this pattern was for sequences generated by a random mechanical device with a fixed base rate of.50. Under this specific condition, participants exhibited a bias toward reversal of streaks, and this bias was larger when participants were asked to make a dichotomous choice versus a numerical probability rating. We review alternate accounts for the anomalous judgments of sequences and conclude with our favored interpretation that is based on Rabin's version of Tversky & Kahneman's Law of Small Numbers. (shrink)

Historical reversals highlight a basic methodological problem: is it possible to treat two successive periods both as independent cases to compare for causal analysis and as parts of a single historical sequence? I argue that one strategy for doing so, using models of path dependency, imposes serious limits on explanation. An alternative model which treats successive periods as contrasting solutions for recurrent problems offers two advantages. First, it more effectively combines analytical comparisons of different periods with narratives of causal (...) class='Hi'>sequences spanning two or more periods. Second, it better integrates scholarly accounts of historical reversals with actors’ own narratives of the past. (shrink)

We analyze the pointwise convergence of a sequence of computable elements of L1 in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA0, each is equivalent to the assertion that every Gδ subset of Cantor space with positive measure has an element. This last statement is, in turn, equivalent to weak weak Königʼs lemma relativized to the Turing jump of any set. It is also equivalent to the (...) conjunction of the statement asserting the existence of a 2-random relative to any given set and the principle of Σ2 collection. (shrink)

I argue that Parfit's On What Matters does not make a compelling case against subjective accounts of reasons for action.

Libertarian self-ownership views in the tradition of Locke, Nozick, and the left-libertarians have supposed that we enjoy very powerful deontological protections against infringing upon our property. Such a conception makes sense when we are focused on property that is very important to its owner, such as a person’s kidney. However, this stringency of our property rights is harder to credit when we consider more trivial infringements such as very mildly toxic pollution or trivial risks such having planes fly overhead. Maintaining (...) that our rights against all infringements are very powerful threatens to implausibly make such pollution and trivial risk broadly impermissible. This paper suggests that self-ownership views have tended to inappropriately conflate the seriousness of different types of infringements and that treating all infringements so seriously is implausible because it would make too much impermissible. I consider several ways to avoid this result within a self-ownership framework and conclude that the best approach is to allow that the strength of the protection against infringements should be tied to the seriousness of the harm of the infringement. (shrink)

In this paper, I argue that the recent discussion on the time - reversal invariance of classical electrodynamics (see (Albert 2000: ch.1), (Arntzenius 2004), (Earman 2002), (Malament 2004),(Horwich 1987: ch.3)) can be best understood assuming that the disagreement among the various authors is actually a disagreement about the metaphysics of classical electrodynamics. If so, the controversy will not be resolved until we have established which alternative is the most natural. It turns out that we have a paradox, namely that the (...) following three claims are incompatible: the electromagnetic fields are real, classical electrodynamics is time-reversal invariant, and the content of the state of affairs of the world does not depend on whether it belongs to a forward or a backward sequence of states of the world. (shrink)

We present evidence of a potentially serious source of error intrinsic to all spotted cDNA microarrays that use IMAGE clones of expressed sequence tags (ESTs). We found that a high proportion of these EST sequences contain 5V-end poly(dT) sequences that are remnants from the oligo(dT)-primed reverse transcription of polyadenylated mRNA templates used to generate EST cDNA for sequence clone libraries. Analysis of expression data from two single-dye cDNA microarray experiments showed that ESTs whose sequences contain repeats (...) of consecutive 5V- end dT residues appeared to be strongly coexpressed, while expression data of all other sequences exhibited no such pattern. Our analysis suggests that expression data from sequences containing 5V poly(dT) tracts are more likely to be due to systematic cross-hybridization of these poly(dT) tracts than to true mRNA coexpression. This indicates that existing data generated by cDNA microarrays containing IMAGE clone ESTs should be filtered to remove expression data containing significant 5V poly(dT) tracts. D 2003 Elsevier Inc. All rights reserved. (shrink)

The proposal I offer attempts to remedy the inadequacies of exclusive focus on well-being for moral purposes. The proposal is this: We should allow the agent to decide for herself where she wants to throw the weight that is her due in moral reflection, with the proviso that she understands the way that her weight will be aggregated with others in reaching a moral outcome. I will call this the "autonomy principle." The autonomy principle, I claim, provides the consequentialist's best (...) prospect for taking people into account morally in a way that they endorse. (shrink)

We present evidence of a potentially serious source of error intrinsic to all spotted cDNA microarrays that use IMAGE clones of expressed sequence tags (ESTs). We found that a high proportion of these EST sequences contain 5V-end poly(dT) sequences that are remnants from the oligo(dT)-primed reverse transcription of polyadenylated mRNA templates used to generate EST cDNA for sequence clone libraries. Analysis of expression data from two single-dye cDNA microarray experiments showed that ESTs whose sequences contain repeats (...) of consecutive 5V- end dT residues appeared to be strongly coexpressed, while expression data of all other sequences exhibited no such pattern. Our analysis suggests that expression data from sequences containing 5V poly(dT) tracts are more likely to be due to systematic cross-hybridization of these poly(dT) tracts than to true mRNA coexpression. This indicates that existing data generated by cDNA microarrays containing IMAGE clone ESTs should be filtered to remove expression data containing significant 5V poly(dT) tracts. D 2003 Elsevier Inc. All rights reserved. (shrink)

In his twelfth century alaṃkāraśāstra, the Candrāloka, Jayadeva Pīyūṣavarṣa reverses the sequence of topics found in Mammaṭa’s Kāvyapr-akāśa, an earlier and immensely popular work. With such a structural revisionism, Jayadeva asserts the autonomy of his own work and puts forth an ambitious critique of earlier approaches to literary analysis. Jayadeva investigates the technical and aesthetic components of poetry in the first part of the Candrāloka, prior to his formal semantic investigations in the latter half of the text, thus suggesting that (...) aesthetic evaluations of poetry beneficially inform scientific investigations of language. Jayadeva’s organization of his chapters on the semantic operations, moreover, intimates that the study of suggestive and metaphoric functions of language clarifies our understanding of denotation, which is conventionally understood to be the primary and direct path of verbal designation. (shrink)

In his twelfth century alaṃkāraśāstra, the Candrāloka, Jayadeva Pīyūṣavarṣa reverses the sequence of topics found in Mammaṭa’s Kāvyapr-akāśa, an earlier and immensely popular work. With such a structural revisionism, Jayadeva asserts the autonomy of his own work and puts forth an ambitious critique of earlier approaches to literary analysis. Jayadeva investigates the technical and aesthetic components of poetry in the first part of the Candrāloka, prior to his formal semantic investigations in the latter half of the text, thus suggesting that (...) aesthetic evaluations of poetry beneficially inform scientific investigations of language. Jayadeva’s organization of his chapters on the semantic operations, moreover, intimates that the study of suggestive and metaphoric functions of language clarifies our understanding of denotation, which is conventionally understood to be the primary and direct path of verbal designation. (shrink)

Shelly Kagan and Leonard Katz have offered versions of hedonism that aspire to occupy a middle position between the view that pleasure is a unitary sensation and the view that pleasure is, as Sidgwick put it, desirable consciousness. Thus they hope to offer a hedonistic account of well-being that does not mistakenly suppose that pleasure is a special kind of tingle, yet to offer a sharp alternative to desire-based accounts. I argue that they have not identified a coherent middle position.

1. Setting off: An introduction. 1.1. A measure of motivation. 1.2. Computable mathematics. 1.3. Reverse mathematics. 1.4. An overview. 1.5. Further reading -- 2. Gathering our tools: Basic concepts and notation. 2.1. Computability theory. 2.2. Computability theoretic reductions. 2.3. Forcing -- 3. Finding our path: Konig's lemma and computability. 3.1. II[symbol] classes, basis theorems, and PA degrees. 3.2. Versions of Konig's lemma -- 4. Gauging our strength: Reverse mathematics. 4.1. RCA[symbol]. 4.2. Working in RCA[symbol]. 4.3. ACA[symbol]. 4.4. WKL[symbol]. (...) 4.5. [symbol]-models. 4.6. First order axioms. 4.7. Further remarks -- 5. In defense of disarray -- 6. Achieving consensus: Ramsey's theorem. 6.1. Three proofs of Ramsey's theorem. 6.2. Ramsey's theorem and the arithmetic hierarchy. 6.3. RT, ACA[symbol], and the Paris-Harrington theorem. 6.4. Stability and cohesiveness. 6.5. Mathias forcing and cohesive sets. 6.6. Mathias forcing and stable colorings. 6.7. Seetapun's theorem and its extensions. 6.8. Ramsey's theorem and first order axioms. 6.9. Uniformity -- 7. Preserving our power: Conservativity. 7.1. Conservativity over first order systems. 7.2. WKL[symbol] and II[symbol]-conservativity. 7.3. COH and r-II[symbol]-conservativity -- 8. Drawing a map: Five diagrams -- 9. Exploring our surroundings: The world below RT[symbol]. 9.1. Ascending and descending sequences. 9.2. Other combinatorial principles provable from RT[symbol]. 9.3. Atomic models and omitting types -- 10. Charging ahead: Further topics. 10.1. The Dushnik-Miller theorem. 10.2. Linearizing well-founded partial orders. 10.3. The world above ACA[symbol]. 10.4. Still further topics, and a final exercise. (shrink)

In the context of reverse mathematics, effective transfinite recursion refers to a principle that allows us to construct sequences of sets by recursion along arbitrary well orders, provided that each set is ‐definable relative to the previous stages of the recursion. It is known that this principle is provable in. In the present note, we argue that a common formulation of effective transfinite recursion is too restrictive. We then propose a more liberal formulation, which appears very natural and (...) is still provable in. (shrink)

Philosophical Papers Vol.32(2) 2003: 185-191.

We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf (...) {ADS}$ over $\mathsf {RCA}_0$. For each fixed $k \geq 3$, the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$. The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$. Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$, by $\mathsf {ADS}$, and by $\mathsf {SADS}$. Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$. (shrink)

This is the third volume of Oxford Studies in Political Philosophy. The series aims to publish some of the best contemporary work in the vibrant field of political philosophy and its closely related subfields, including jurisprudence, normative economics, political theory in political science departments, and just war theory.