[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)

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)

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.

Working memory limits are best defined in terms of the complexity of the relations that can be processed in parallel. Complexity is defined as the number of related dimensions or sources of variation. A unary relation has one argument and one source of variation; its argument can be instantiated in only one way at a time. A binary relation has two arguments, two sources of variation, and two instantiations, and so on. Dimensionality is related to the number of chunks, because (...) both attributes on dimensions and chunks are independent units of information of arbitrary size. Studies of working memory limits suggest that there is a soft limit corresponding to the parallel processing of one quaternary relation. More complex concepts are processed by or In segmentation, tasks are broken into components that do not exceed processing capacity and can be processed serially. In conceptual chunking, representations are to reduce their dimensionality and hence their processing load, but at the cost of making some relational information inaccessible. Neural net models of relational representations show that relations with more arguments have a higher computational cost that coincides with experimental findings on higher processing loads in humans. Relational complexity is related to processing load in reasoning and sentence comprehension and can distinguish between the capacities of higher species. The complexity of relations processed by children increases with age. Implications for neural net models and theories of cognition and cognitive development are discussed. (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 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)

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)

Heidegger’s phenomenology is not focused on concepts but on the self-showing of phenomena. In Being and Time, section 44, it is not only everyday objects that show themselves – a true statement about a room lets the room show itself, but in addition the event of truth is an uncovering, Entdecken, that also shows itself. Truth is a phenomenon for the phenomenologist. Thus this article replies to Tugendhat and other critics who claim that Heidegger has not measured up to the (...) standards imposed by their concept of truth. It also supports replies made to Tugendhat by Dahlstrom and others. Later sections of the paper show why Heidegger was right to broaden the discussion beyond statements, to encompass the truth of conduct, of things, of the world and of Dasein. (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.

The right not to know is a contested matter. This can be because the inversion of the normal framing of entitlement to information about one's own health is thought to be illogical and inconsistent with self-authorship and/or because the very idea of claiming a right not to know information is an inappropriate appeal to the discourse of rights that places impossible responsibilities on others. Notwithstanding, there has been a sustained increase in this kind of appeal in recent years fueled in (...) large part by the rise and rise of the importance of personal autonomy in health care ethics, and by domestic and international health law. The right not to know has been acknowledged in at least two important international legal instruments. For example, the UNESCO Universal Declaration on the Human Genome and Human Rights, Article 5c provides: “The right of every individual to decide whether or not to be informed of the results of genetic examination and the resulting consequences should be respected.”. (shrink)

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic (...) gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work. (shrink)

This paper is about the cluster of issues that orbit a well-known thesis of Quine’s, as it applies to attitude ascriptions.

Discussion of uses of biomedical data often proceeds on the assumption that the data are generated and shared solely or largely within the health sector. However, this assumption must be challenged because increasingly large amounts of health and well-being data are being gathered and deployed in cross-sectoral contexts such as social media and through the internet of things and wearable devices. Cross-sectoral sharing of data thus refers to the generation, use and linkage of biomedical data beyond the health sector. This (...) paper considers the challenges that arise from this phenomenon. If we are to benefit fully, it is important to consider which ethical values are at stake and to reflect on ways to resolve emerging ethical issues across ecosystems where values, laws and cultures might be quite distinct. In considering such issues, this paper applies the deliberative balancing approach of the Ethics Framework for Big Data in Health and Research to the domain of cross-sectoral big data. Please refer to that article for more information on how this framework is to be used, including a full explanation of the key values involved and the balancing approach used in the case study at the end. (shrink)

Context -- A Jew in Amsterdam -- Conflicts and communities -- Christian philosophy? -- A Bible gallery -- Religion and politics in the TTP -- Miracles, meaning, and moderation -- Christian pluralism -- Ethics reconsidered -- Providence, obedience, and love -- Spinoza and Christianity.

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)

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)

Habermas's theory of social evolution has been subjected to critique by environmentally motivated sociologists. They argue that his decision to recast social theory in terms of an extended, if selective analogy with biology leads him into a set of practical positions that are irreconcilable with Green politics and inconsistent with the goals of traditional critical theory. This article argues that these criticisms are based on an inaccurate assessment of the role of evolutionary concepts in Habermas's thought. By drawing out the (...) similarities between Habermas and Kant on the question of the relationship between history and natural history, it is possible to see that Habermas's use of evolutionary metaphors plays a regulative rather than a constitutive role in his thinking on society. This strategy does not save Habermas's position, but shows instead that it may be vulnerable to an immanent critique that pulls out the real underlying antagonisms in his system. (shrink)

How Covid-19 can solve the climate crisis.