David Sanford

Suppose that Susan did not go to the movies. The reconciling project attempts to show that this plus Determinism does not imply that Susan could not have gone to the movies. The estranging project attempts to show the opposite. A counter‐entailment argument is of the form A is consistent with C, and C entails not‐B, therefore A does not entail B. An instance of the counter‐entailment arguments undermines a central argument for the reconciling project. Another instance undermines a central argument for the estranging project. This is one symmetry. In each case, the natural response to the counter‐entailment argument begs the question. This is another symmetry.

Roderick Chisholm provides, in different places, two formulations of Brentano's thesis about the relation between the psychological and the intentional: (1) all and only psychological sentences are intentional; (2) no psychological intentional sentence is equivalent to a nonintentional sentence. Chisholm also presents several definitions of intentionality. Some of these allow that a sentence is intentional while its negation is nonintentional, which ruins the prospects of defending the more plausible and interesting thesis (2). A generalization of the notion of logical independence to any number of mutually independent sentences permits a revision of Chisholm's criteria of intentionality that ensures that a sentence is intentional on a criterion exactly when its negation is as well.

Morton White proposes two patterns of expansion for sentences of the form "Possible (x is Q)" in "On What Could Have Happened" (Philosophical Review, 1968). His attempts in "Ands and Cans" (Mind, 1974) and in "Positive Freedom, Negative Freedom, and Possibility" (Journal of Philosophy, 1973) to simplify these two patterns and his argument for abandoning the first pattern are mistaken. Although I question a number of White's claims, my purpose is to improve his treatment of possibility rather than to refute it. Our understanding of what constitutes "the same circumstances" largely determines whether a given condition is appropriately mentioned in a first-pattern expansion. This point helps support the form of compatibilism White advocates.

A statement q is a conclusion intermediate between p and h if and only if (1) p justifies h, (2) p justifies q, and (3) (p and not-q) justifies h to a significantly lesser degree than p justifies h. I contend that Gettier-type counterexamples to definitions of factual knowledge violate the following principle: if one knows that h on the basis of p, then all the conclusions intermediate between p and h are true. This principle does not refer to anyone's beliefs that intermediate conclusions are true. I test my contention against several examples which have been discussed in the literature.

Philosophers have had difficulty in explaining the difference between disjunctive and non-disjunctive predicates. Purely syntactical criteria are ineffective, and mention of resemblance begs the question. I draw the distinction by reference to relations between borderline cases. The crucial point about the disjoint predicate 'red or green', for example, is that no borderline case of 'red' is a borderline case of 'green'. Other varieties of disjunctive predicates are: inclusively disjunctive (such as 'red or hard'), disconnected (such as 'grue' on the usual definitions), and skew (such as 'grue' on an emended definition). 'Green' is not a disjunctive predicate. Nelson Goodman's new riddle of induction elicits yet another response.

I criticize and emend J L Mackie's account of causal priority by replacing ‘fixity’ in its central clause by 'x is a causal condition of y, but y is not a causal condition of x'. This replacement works only if 'is a causal condition of' is not a symmetric relation. Even apart from our desire to account for causal priority, it is desirable to have an account of nonsymmetric conditionship. Truth, for example, is a condition of knowledge, but knowledge is not a condition of truth. My definitions of 'sufficient condition for' and 'necessary condition for' do not imply that p is a sufficient condition of q if and only if q is a necessary condition of p.