Online research in philosophy

The Minimum Information for Biological and Biomedical Investigations (MIBBI) project aims to foster the coordinated development of minimum-information checklists and provide a resource for those exploring the range of extant checklists.

[Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes (2000b). In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a mortal gorgon or (...) an immortal gorgon', are invalid. Since 'a gorgon' and 'a mortal gorgon or an immortal gorgon' are extensionally and intensionally the same quantifier, it is not completely trivial to arrange the semantics of intensional transitives so that this classification of the inferences is obtained. (This paper is an abridged version of Forbes (2001a); the latter will be incorporated into a forthcoming monograph, Attitude Problems.) /// [Jennifer Saul] This paper discusses the question of which verbs are intensional transitives. In particular, I ask which verbs Forbes should take to be intensional transitives. I argue that it is very difficult to arrive at a clear and plausible understanding of what an intensional transitive is-making it difficult to answer these questions. I end by briefly raising some questions about the usefulness of the category of intensional transitives. (shrink)

The European Legacy, Volume 17, Issue 3, Page 432-433, June 2012.

The Enlightenment and its legacy are still actively debated, with the Enlightenment acting as a key organizing concept in philosophy, social theory and the history of ideas. Counter-Enlightenments is the first full-length study to deal with the history and development of the Counter-Enlightenment thought from its inception in the eighteenth century right through to the present. Engaging in a critical dialogue with Isiah Berlin's work, this book analyses the concept of Counter-Enlightenment and some of the most important conceptual issues and (...) problems it raises. Graeme Garrard explores the diverse forms of Counter-Enlightenment thought, with a wide-ranging review of the principle figures of the past two hundred and fifty years, and he assesses the persuasiveness of the most common and important criticisms of the Enlightenment. (shrink)

In a recent article in Analysis, Graeme Hunter and William Seager (1981) attempt to rescue counterpart theory (CT) from some objections of Hazen 1979. They see these objections as arising from ‘uncritical use of the translation scheme originally proposed by Lewis’, and intend to meet them by refraining from use of that scheme. But they do not offer a new scheme; they say ‘…it is no more necessary to have one to capture the sense of modal idiom than it (...) is to capture the sense of quantificational idiom…Appeal to truth value is the single most important criterion of correct translation’ (Hunter and Seager 1981:72). Thus, where the scheme of Lewis (1968) translates a truth by a falsehood or conversely, Hunter and Seager simply produce a sentence which they claim to be a better translation, without articulating any structural principles they employ to arrive at their candidate. A friend of CT should not be happy with this procedure. Let Lm be first-order modal language and Lc be the language of counterpart theory. Sentences of Lc are intended to interpret or elucidate the meanings of Lm-sentences in the strong sense that they should be the outputs of an adequate theory of meaning, which we can formulate as a model theory, for Lm, written in Lc plus set theory. The interest of CT resides in its potential to provide an alternative approach to the model theory of modal logic, and from the clauses of any such alternative model theory we should be able to read off a translation scheme for Lm into Lc, just as we can in the standard case. If CT’s motivation is sound, which Hunter and Seager do not dispute, yet there is no translation scheme and so no counterpart-theoretic model theory, one might suspect some defect in the original language Lm. And in fact, Hunter and Seager find certain Lm-sentences multiply ambiguous with respect to Lc; but if a counterpart-theoretic model theory is possible, to say.. (shrink)

In this particularly well written volume Graeme Hirst presents a theoretically motivated foundation for semantic interpretation (conceptual analysis) by computer, and shows how this framework facilitates the resolution of both lexical and syntactic ambiguities.

Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, and (...) events, based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

Many philosophers, following David Lewis, believe that we should look to counterpart theory, not quantified modal logic, as a means of understanding modal discourse. We argue that this is a mistake. Significant parts of modal discourse involve either implicit or explicit reference to what is actually the case, raising the question of how talk about actuality is to be represented counterpart-theoretically. By considering possible modifications of Lewis's counterpart theory, including actual modifications due to Graeme Forbes and Murali Ramachandran, we (...) argue that no coherent version of counterpart theory can provide a plausible representation of talk about actuality, and so, we conclude, counterpart theory should be rejected. (shrink)

ln "Possibilities and the Arguments for Origin Essentialism" Teresa Robertson (1998) contends that the best-known arguments in favour of origin essentialism can succeed only at the cost of violating modal common sense—by denying that any variation in constitution or process of assembly is possible. Focusing on the (Kripke-style) arguments of Nathan Salmon and Graeme Forbes, Robertson shows that both founder in the face of sophisticated Ship of Theseus style considerations. While Robertson is right that neither of the arguments is (...) compelling as formulated, each can be modified to fend off her particular counterexamples; these modifications do not differ in kind from those already needed to deal with ordinary Theseus cases, requiring only a further narrowing of the sufficiency clause from which the necessity of origins is derived. (shrink)

In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.

In Attitude Problems , I gave an account of opacity in the complement of intensional transitive verbs that combined neo-Davidsonian event-semantics with a hidden-indexical account of substitution failure. In this paper, I extend the account to clausal verbs.

(No abstract is available for this citation).

A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at (...) least one of three ways: (i) interchanging expressions in the complement referring to the same entity can change the truth-value of the sentence embedding the VP; (ii) the VP admits of a special “unspecific” reading if it contains a quantifier, or a certain type of quantifier; and (iii) the normal existential commitments of names and existential quantifiers in the complement are suspended even when the embedding sentence is negation-free. (shrink)

Current conceptions of the nature of human reasoning make it no longer tenable to assess children's inference by reference to the norms of logical inference. Alternatively, the complexity of the mental models employed in children's inferences can be analysed. This approach is applied to transitive inference, class inclusion, categorical induction, theory of mind, oddity, categorical syllogisms, analogy, and reasoning deficits. It is argued that a coherent account of children's reasoning emerges in that there is correspondence between tasks at the same (...) level of complexity across different domains, and that the inferences of younger children, while impressive and important, are consistently simpler than those of older children. (shrink)

In this paper, I examine the case that has been made for origin essentialism and find it wanting. I focus on the arguments of Nathan Salmon and Graeme Forbes. Like most origin essentialists, Salmon and Forbes have been concerned to respect the intuition that slight variation in the origin of an artifact or organism is possible. But, I argue, both of their arguments fail to respect this intuition. Salmon's argument depends on a sufficiency principle for cross-world identity, which should (...) be rejected, if - as Salmon concedes - a given artifact might have been originally made from slightly different material. Similarly, Forbes's argument succeeds only if essentially the same argument can be used to establish a claim that - by his own admission - is too strong, namely that no variation, however slight, in an organism's origin is possible. (shrink)

A New Route to the Necessity of Origin’ (2004, henceforth ‘NR’), we offered an argument for the thesis that there are necessary connections between material things and their material origins. Much of the philosophical interest lay in our claim that the argument did not depend on so-called sufficiency principles for crossworld identity. It has been the verdict of much recent work on the necessity of origin that valid arguments for the thesis require some such sufficiency principle as a premise but (...) that such principles are deeply problematic.1 Finding an argument free of such principles would advance both our understanding and the plausibility of that thesis. These claims are now the subject of a pair of insightful critiques by Teresa Robertson and Graeme Forbes (2006, henceforth ‘RF’) and by Ross Cameron and Sonia Roca (2006, henceforth ‘CR’), and we welcome the opportunity to clarify and improve our account of the matter. (shrink)

In several publications Graeme Forbes has developed and defended one of the strongest arguments for essentialism about biological origins. I attempt to show that there are deep, as yet unrecognized, problems with this argument. The problems with Forbes’s argument suggest that a range of other arguments for various forms of origin essentialism are also likely to be flawed, and that we should abandon the seemingly plausible general metaphysical thesis that concrete entities that share all intrinsic properties are identical.

The Cambridge Companion to Spinoza. Don Garrett (ed.). Cambridge University Press, 1996, pp. xiii, 465. ISBN 0-521-39235-7 (hb); ISBN 0-521-39865-7 (pb). 40.00 (hb) 12.95 (pb). Spinoza: The Enduring Questions. Graeme Hunter (ed.). University of Toronto Press, 1994, pp. xviii, 182. ISBN 0-8020-2876-4. 45.00. The Spinozistic Heresy: The Debate on the 'Tractatus Theologico-Politicus'. 1670-77. Paolo Cristofolini (ed.). APA-Holland University Press: Amsterdam and Maarssen, 1995, pp. viii, 260. ISBN 90-302-1502-X. Disguised and Overt Spinozism around 1700. Wiep van Bunge and Wim Klever (...) (eds.). Brill, Leiden, 1996, pp. ix, 378. ISBN 90-04-10307-4. Part of Nature: Self-Knowledge in Spinoza's 'Ethics', by Genevieve Lloyd. Cornell University Press, Ithaca and London, 1994, pp. 182. ISBN 0-8014-2999-4. 24.95. Spinoza and the 'Ethics', by Genevieve Lloyd. Routledge Philosophy Guidebooks, London, 1996, pp. x, 163. ISBN 0-415-10782-2 (pb). 6.99. Spinoza: The Way to Wisdom, by Herman de Dijn. Purdue University Press, West Lafayette, Indiana, 1996, pp. xii, 291. ISBN 1-55753-081-5. (shrink)

Possible worlds present a formidable challenge for the lover of desert landscapes. One cannot ignore their usefulness; they provide, as David Lewis puts it, “a philosophers’ paradise”.1 But to enter paradise possibilia must be fit into a believable ontology. Some follow Lewis and accept worlds at face value, but most prefer some other choice from the current menu. Part of Chihara’s book is a critical discussion of some of these menu options: Lewis’s modal realism, Alvin Plantinga’s abstract modal realism, (...) Graeme Forbes’s anti-realism and Gideon Rosen’s modal fictionalism. These discussions are very detailed and conversant with the literature. The discussions of Forbes (pp. 142-167) and of paradox within Plantinga’s system (pp. 120-141) are particularly enlightening. The rest of the book is devoted to Chihara’s positive project: developing an account of the status of model theory for non-modal logic, and then applying it to the modal case. The prize is an understanding of possible worlds semantics that requires no commitment to possible worlds at all (beyond the purely formal “possible worlds” of the standard Kripke-models.) What does the relativized notion of truth in an interpretation studied in (non-modal) model theory have to do with plain old truth? Chihara’s answer involves “connecting theorems” that relate truth-in to truth (chapter 5). A “natural-language proto-interpretation of the sentential calculus” (NLPI of SC) is a function that assigns meanings of declarative sentences of English to sentence letters. Where I is an NLPI of SC and φ is a sentence letter, Chihara uses ‘[φ/I ]’ to refer to “φ with the meaning it has been assigned by I ” (p. 191); where φ is not atomic, he says (p. 192). (shrink)

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

This paper is about a substitution-failure in attitude ascriptions, but not the one you think. A standard view about the semantic shape of ‘that’-clause attitude ascriptions is that they are fundamentally relational. The attitude verb expresses a binary relation whose extension, if not empty, is a collection of pairs each of which consists in an individual and a proposition, while the ‘that’-clause is a term for a proposition. One interesting problem this view faces is that, within the scope of many (...) attitude verbs, ‘that’-clauses are not interchange able with certain other terms which stand for the same propositions as the clauses are supposed to. For example, (1a) below may be true, but (1c) is probably not: (1) a. Holmes {fears/suspects} that Moriarty has returned. b. That Moriarty has returned is the proposition that Moriarty has re turned. c. Holmes {fears/suspects} the proposition that Moriarty has returned. For only the exceptionally timorous fear propositions, and, excluding contexts in which we speak of a ‘suspect premise’, only the unusually paranoid suspect them. The truth-conditional change eVected by substituting propositional descrip tion for ‘that’- clause illustrated in (1) occurs with a wide range of attitude verbs. If you understand that the window of opportunity is closing, perhaps you should act before it is too late, but if you mere-. (shrink)

A New Route to the Necessity of Origin’, Guy Rohrbaugh and Louis deRossett argue for the Necessity of Origin in a way that they believe avoids use of any kind of transworld constitutional sufficiency principle. In this discussion, we respond that either their arguments do imply a sufficiency principle, or else they entirely fail to establish the Necessity of Origin.

The use of lexical concepts in Levelt et al.'s model requires further refinement with regard to syntactic factors in lexical choice, the prevention of pleonasm, and the representation of near-synonyms within and across languages.

There is little doubt that the development and commercialisation of nanotechnologies is challenging traditional state-based regulatory regimes. Yet governments currently appear to be taking a non-interventionist approach to directly regulating this emerging technology. This paper argues that a large regulatory toolbox is available for governing this small technology and that as nanotechnologies evolve, many regulatory advances are likely to occur outside of government. It notes the scientific uncertainties facing us as we contemplate nanotechnology regulatory matters and then examines the notion (...) of regulation itself, suggesting new ways to frame our understanding of both regulation and the regulatory tools relevant to nanotechnologies. By drawing upon three different conceptual lenses of regulation, the paper articulates a wide range of potential regulatory tools at hand. It also focuses particularly on the ways various tools are currently being used or perhaps may be employed in the future. The strengths and weaknesses characterising these tools is examined as well as the different actors involved. The paper concludes that we will increasingly face debate over what is likely to work most effectively in regulating nano technologies, the legitimacy of these different potential approaches, and the speed at which these different regimes may be employed. (shrink)

In "Nozick on Scepticism", Graeme Forbes attempts to establish a Transmission Principle for knowledge which has been challenged by a number of anti-sceptical philosophers (such as Nozick). This principle (or something like it) seems to be required by Cartesian sceptical arguments, so if it could be refuted, this would apparently rid us of such scepticism. I do not believe that Nozick or anyone else has refuted the principle, yet I will argue that Forbes has certainly failed to establish it.

In earlier work (Glüer, K. and P. Pagin. 2006. Proper names and relational modality. Linguistics & Philosophy 29: 507–35; Glüer, K. and P. Pagin. 2008. Relational modality. Journal of Logic, Language and Information 17: 307–22), we developed a semantics for (metaphysical) modal operators that accommodates Kripkean intuitions about proper names in modal contexts even if names are not rigid designators. Graeme Forbes (2011. The problem of factives for sense theories. Analysis 71: 654–62.) criticizes our proposal. He argues that our (...) semantics predicts readings for certain natural language sentences which these simply do not have. These sentences contain mixed contexts involving factive attitude verbs. We argue that the readings our semantics predicts do indeed exist, even if it might take a little work to bring them out. Moreover, denying their existence would have some rather unattractive consequences. (shrink)

Cowan's review shows that a short-term memory limit of four items is consistent with a wide range of phenomena in the field. However, he does not explain that limit, whereas an existing theory does offer an explanation for capacity limitations. Furthermore, processing capacity limits cannot be reduced to storage limits as Cowan claims.

In a review of Frege's Puzzle1, Graeme Forbes makes the claim that Salmon's account of belief might be seen, under certain conditions, as a mere notational variant of a neo-Fregean theory; and thus that such an account might be reduced to a neo-Fregean one simply by rewriting it in terms of Fregean terminology. With a view to supporting his claim, Forbes offers an outline of an account of belief which, according to him, would satisfy the following conditions: (i) it (...) could be directly obtained from Salmon's own analysis by means of a certain set of substitutions, which presumably would not affect the essential features of Salmon's view; (ii) it could naturally be described as Fregean, in the sense that it would preserve, (at least) the spirit of Frege's doctrines, especially his fundamental intuitions about belief. Of course, the upshot of Forbes's argument is that Salmon's theory would not, at bottom, constitute a genuine alternative to a Fregean semantics for belief ascriptions. In this paper I argue to the effect that Forbes's claim is not in general sound. It seems to me that the sort of indirect argument used by Forbes - that of trying to undermine Salmon's theory by showing that it is just a version of a neo-Fregean account - does not provide someone working within a Fregean framework with an adequate strategy to counter Salmon's neo-Russellian views. It would perhaps be better to concentrate a Fregean attack on certain apparently dubious and highly controversial theses and results which are constitutive of Salmon's view, e.g. the counterintuitive character of a substantial set of consequences which follow from his theory of belief, as well as the associated revisionist stand he is forced to take towards our current patterns of speaking about belief. (shrink)

Spinoza is supposed to have denied the existence of miracles. I argue that instead of denying them he offers his readers a way of understanding miracles within his own metaphysical system in which God and nature are identified. I then offer some historical conjectures as to why his view has been misunderstood so often and for so long.

The phenomenon of the New Genetics raises complex social problems, particularly those of privacy. This book offers ethical and legal perspectives on the questions of a right to know and not to know genetic information from the standpoint of individuals, their relatives, employers, insurers and the state. Graeme Laurie provides a unique definition of privacy, including a concept of property rights in the person, and argues for stronger legal protection of privacy in the shadow of developments in human genetics. (...) He challenges the role and the limits of established principles in medical law and ethics, including respect for patient autonomy and confidentiality. This book will interest lawyers, philosophers and doctors concerned both with genetic information and issues of privacy; it will also interest genetic counsellors, researchers, and policy makers worldwide for its practical stance on dilemmas in modern genetic medicine. (shrink)

Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative program is (...) constructed and run, and list some of the relationships (for example, between input and output) which might contribute to a decision about creativity. Specifically, we list a number of criteria which might indicate interesting properties of a program’s behaviour, from the perspective of possible creativity. We go on to review some ways in which these criteria have been applied to actual implementations, and some possible improvements to this way of assessing creativity. (shrink)

In Section 1 we describe the Sorites paradox and lay out options for a solution. In Section 2 we consider approaches which deny that all premises are true, and note that these solutions all seem open to a certain serious objection. In Section 3 we note a problem for the principle of transitivity of the conditional and present a contex- tualist resolution of the problem, according to which the “counterexamples” to transitivity involve the informal fallacy of shifting the context. In (...) Section 4 we consider the possibility of applying the contextualist resolution of the general transitivity puzzle to Sorites arguments in particular, discussing the views of Kamp, Pinkal and Soames. Our negative conclusion, developed in Section 5, is that the paradoxes can be formulated in a way that does not commit the informal fallacy: context is held fixed. In the final section, we suggest a different defense against the objection used in Section 2. (shrink)

The core issue of our target article concerns how relational complexity should be assessed. We propose that assessments must be based on actual cognitive processes used in performing each step of a task. Complexity comparisons are important for the orderly interpretation of research findings. The links between relational complexity theory and several other formulations, as well as its implications for neural functioning, connectionist models, the roles of knowledge, and individual and developmental differences, are considered.

British Journal for the History of Philosophy, Volume 20, Issue 2, Page 425-427, March 2012.

An application of the Method of Analysis of Relational Complexity (MARC) to suppositional reasoning in the knight-knave task is outlined. The task requires testing suppositions derived from statements made by individuals who either always tell the truth or always lie. Relational complexity (RC) is defined as the number of unique entities that need to be processed in parallel to arrive at a solution. A selection of five ternary and five quaternary items were presented to 53 psychology students using a pencil (...) and paper format. A computer-administered version was presented to 50 students. As predicted, quaternary problems were associated with higher error rates and longer response times than ternary problems. The computer-administered form was more difficult than the pencil and paper version of the test. These differences are discussed in terms of RC theory and alternative processing accounts. Together, they indicate that the relational complexity metric is a useful and parsimonious way to quantify complexity of reasoning tasks. (shrink)

This paper is part of a longer project on the semantics of depiction verbs and their associated relational nouns. Depiction verbs include verbs for physical acts, such as ‘draw’ (with relational noun ‘drawing’), ‘sketch’, ‘caricature’, ‘sculpt’, ‘write (about)’, and verbs for mental ones, such as ‘visualize’, ‘imagine’, and ‘fantasize’.

We analyse aspects of the Big Bang program in modern cosmology, with special focus on the strategies employed by its adherents both in defending the theory against anomalous data and in dismissing rival accounts. We illustrate this by critically examining four aspects of Big Bang cosmology: the interpretation of the cosmic red-shift, the explanation of the cosmic background radiation, the inflation hypothesis and the search for dark matter. We conclude that the Big Bang's dominance of contemporary cosmology (...) is not justified by the degree of experimental support it receives relative to rival theories. (shrink)

Recently, several philosophers of language have claimed that, at least in some respects, Peter Geach proposed a view about proper names that anticipated important features of the causal theory (or historical chain theory) that was later set forth by Saul Kripke and others. Quentin Smith, for example, in his essay, "Direct, Rigid Designation and A Posteriori Necessity: A History and Critique," says explicitly that "Geach (1969) ... originated the causal or 'historical chain' theory of names" (1999). In his entry on (...) "Proper Names" for the Routledge Encyclopedia of Philosophy, Graeme Forbes speaks of the "Geach-Kripke historical chain account" of proper names. In this paper, I suggest that, while there are very clear affinities between Geach's view on proper names and that of Kripke, there are several important differences, differences that are significant enough for me to claim that Geach and Kripke do not share a single account of proper names. (shrink)

Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. Attitude Problems presents an original account of mental state ascriptions that are made using intensional transitive verbs such as 'want', 'seek', 'imagine', and 'worship'. Forbes offers a theory of how such verbs work that draws on ideas from natural language semantics, philosophy of language, and aesthetics.

The delicate point in the formalistic position is to explain how the non-intuitionistic classical mathematics is significant, after having initially agreed with the intuitionists that its theorems lack a real meaning in terms of which they are true (S. C. Kleene, 1952).

with the vintage car collector Edward Hubbard to buy the Bentley racing car known as Old Number One from him. Middlebridge agreed to pay Hubbard ten million pounds in cash and company assets. The price was so high because Old Number One was the most famous racing car in British history, dating from a period when motor racing was dominated by British cars and drivers. It was in Old Number One that Captain Wolf (‘Babe’) Barnato, diamond heir and leading light (...) of the ‘Bentley boys’, had won his second and third Le Mans -hour races in and . The race was a proces- 24 1929 1930 1929 sion, with Bentley taking the first four places, but in there were more 1930 powerful German cars competing, and Barnato should not have been on the podium. But by a combination of skill and guile, he won again, ahead of Mercedes Benz. (shrink)

This paper in revised form appears in Facta Philosophica 5:1 (2003) 49­75. It addresses some problems about intensional transitives raised by Moltmann and Zimmerman, corrects some oversights in my paper in The Proceedings of the Aristotelian Society (S.V. for 2002), and adds new material on binary vs. tripartite construals of “relational/notional”, bridge inferences, weakening inferences, and the relevance problem. Its other sections are, like the PASS paper, concerned with the conjunctive force of disjunctive NP complements of intensional transitive verbs: “Smith (...) needs a good lawyer or a friendly judge” on its normal reading implies both “a good lawyer could help him” AND “a friendly judge could help him”. The reading on which “Smith needs a good lawyer or a friendly judge” is implied just by “Smith needs a good lawyer” (and so doesn’t imply a friendly judge could help him) is much less preferred, except when the disjunction is followed by a coda such as “and he doesn’t care which”. (shrink)

 (e.g., Quine ), the main symptom of the unintelligibility of de re modal language is said to be the failure of coreferential “singular terms” to interchange salva veritate within the scope of modal operators. From this it is supposed to follow..

The distinction between uninformed learning (type-1) and learning based on recoding using prior information (type-2) helps to clarify some long-standing psychological problems, including misunderstanding of mathematics by children, the need for active construction of concepts in cognitive development, and the difficulty of configural learning tasks. However, an alternative to recoding some type-2 tasks is to represent the input as separate dimensions, which are processed jointly. This preserves the original structure, but is subject to processing capacity limitations.