Theories of the mind have been celebrating their new-found freedom to study consciousness. Earlier this century, when the methodology of psychology was still under the influence of behaviourism—the view that psychology can only study observable behaviour—the ‘superstition and magic’ of consciousness (in John Watson’s words) was not the proper object of scientific investigation. But now, there are respectable journals devoted to the study of consciousness, there are international interdisciplinary conferences on the subject, and some of the world’s leading scientists—notably (...) Roger Penrose and Francis Crick—have stepped in to have their say about the nature of consciousness. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

As persons we are irreducibly unique and essentially relational. In many contexts individual uniqueness has been accentuated at the expense of communal relationality. Our age has been marked by the loss of deep and meaningful relations to one another, and still more dramatically to the earth and its living creatures. The cosmological dimension of human personhood, that is, has been largely obscured. This chapter argues that our age has been marked increasingly by anesthetizing, alienating, and anonymizing tendencies. It proposes three (...) commensurate responses: aestheticization, or embodied philosophical knowing that remains faithful to the earth; anacarnation, or willful return to the wonders of embodied life, purged of romantic sentimentality; and attestation, or speaking up on behalf of the haecceitas or thisness of living creatures systematically instrumentalized for profit and pleasure. Together these responses help us to regain touch with animality by embracing the earth that hosts us, thus becoming more gracious guests, and to become more fully human by becoming better hosts to the multitude of earth's creatures, whose lives hang in the balance. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for computing explanatory factors (...) with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (shrink)

Recent years have seen a surge in online collaboration between experts and amateurs on scientific research. In this article, we analyse the epistemological implications of these crowdsourced projects, with a focus on Zooniverse, the world’s largest citizen science web portal. We use quantitative methods to evaluate the platform’s success in producing large volumes of observation statements and high impact scientific discoveries relative to more conventional means of data processing. Through empirical evidence, Bayesian reasoning, and conceptual analysis, we show how information (...) and communication technologies enhance the reliability, scalability, and connectivity of crowdsourced e-research, giving online citizen science projects powerful epistemic advantages over more traditional modes of scientific investigation. These results highlight the essential role played by technologically mediated social interaction in contemporary knowledge production. We conclude by calling for an explicitly sociotechnical turn in the philosophy of science that combines insights from statistics and logic to analyse the latest developments in scientific research. (shrink)

This is a three-part exchange on the relationship between belief and credence. It begins with an opening essay by Roger Clarke that argues for the claim that the notion of credence generalizes the notion of belief. Julia Staffel argues in her reply that we need to distinguish between mental states and models representing them, and that this helps us explain what it could mean that belief is a special case of credence. Roger Clarke's final essay reflects on the (...) compatibility of the previously discussed views with dualist and monist interpretations of our mental states and our ways of modeling them. (shrink)

Effective Altruism is a social movement which encourages people to do as much good as they can when helping others, given limited money, time, effort, and other resources. This paper first identifies a minimal philosophical view that underpins this movement, and then argues that there is an analogous minimal philosophical view which might underpin Effective Justice, a possible social movement that would encourage promoting justice most effectively, given limited resources. The latter minimal view reflects an insight about justice, and our (...) non-diminishing moral reason to promote more of it, that surprisingly has gone largely unnoticed and undiscussed. The Effective Altruism movement has led many to reconsider how best to help others, but relatively little attention has been paid to the differences in degrees of cost-effectiveness of activities designed to decrease injustice. This paper therefore not only furthers philosophical understanding of justice, but has potentially major practical implications. (shrink)

Spinoza’s attitude toward nonhuman animals is uncharacteristically cruel. This essay elaborates upon this ostensible idiosyncrasy in reference to Hasana Sharp’s commendable desire to revitalize a basis for animal ethics from within the bounds of his system. Despite our favoring an ethics beginning from animal affect, this essay argues that an animal ethic adequate to the demands of our historical moment cannot be developed from within the confines of strict adherence to Spinoza’s system—and this is not yet to speak of a (...) more robust animal ethics which would advocate actual care and compassion for the animals themselves. We argue that on the assumption of Spinoza’s ontological biocentrism, in the presence of Spinozist determinism and the absence of an axiological biocentrism, an anthropocentric axiology necessarily follows. Any Spinozist animal ethic must fall back, therefore, upon appeals to the maximization of human pleasure and power; hence Spinoza’s ruthless injunction to “use (the animals) at our pleasure.” These are the very ontological and ethical assumptions which have incited human self-exaltation in the modern period, in pursuit of power and pleasure even despite the destructive long-term consequences for all the living. We suggest that an adequate animal ethic would require either an abandonment of Spinoza’s ontological biocentrism or the adoption of an axiological biocentrism. (shrink)

I briefly compare and contrast the philosophy of Confucius as written in the I Ching and Lao Tzu's philosophy presented in the Tao Te Ching.

What might it mean to read video games as a source for critical theological reflection? This project explores the extent to which FromSoftware’s 2015 classic Bloodborne can be read in just this way for at least two reasons. Firstly, the game makes visible foundational but often taken-for-granted Christian themes, as well as their internal paradoxes. Secondly, Bloodborne’s gameplay is structured through these themes in ways that invite the player to take on a mode of theological reflection which allows them to (...) think creatively beyond the conditions giving rise to these paradoxes. (shrink)

ABSTRACT In order to explore what it means to pursue philosophical investigations for theological reasons, this paper argues that Ludwig Wittgenstein continues and corrects Pseudo-Denys’ project in The Divine Names. I first argue that The Divine Names should be interpreted as attempting to render human thought transparent to the divine by relativizing our concepts. The success of this project is compromised because the concept of ‘unity’ is not relativized. I then develop the claim that Wittgenstein does relativize unity in a (...) similar way and for similar religious reasons to Pseudo-Denys. As such, he can be read as continuing and correcting the Pseudo-Dionysian project. I conclude by reflecting on several of this argument’s implications for the relationship between philosophy and Christian systematic theology. (shrink)

Explaining the behaviour of ecosystems is one of the key challenges for the biological sciences. Since 2000, new-mechanicism has been the main model to account for the nature of scientific explanation in biology. The universality of the new-mechanist view in biology has been however put into question due to the existence of explanations that account for some biological phenomena in terms of their mathematical properties (mathematical explanations). Supporters of mathematical explanation have argued that the explanation of the behaviour of ecosystems (...) is usually provided in terms of their mathematical properties, and not in mechanistic terms. They have intensively studied the explanation of the properties of ecosystems that behave following the rules of a non-random network. However, no attention has been devoted to the study of the nature of the explanation in those that form a random network. In this paper, we cover that gap by analysing the explanation of the stability behaviour of the microbiome recently elaborated by Coyte and colleagues, to determine whether it fits with the model of explanation suggested by the new-mechanist or by the defenders of mathematical explanation. Our analysis of this case study supports three theses: (1) that the explanation is not given solely in terms of mechanisms, as the new-mechanists understand the concept; (2) that the mathematical properties that describe the system play an essential explanatory role, but they do not exhaust the explanation; (3) that a non-previously identified appeal to the type of interactions that the entities in the network can exhibit, as well as their abundance, is also necessary for Coyte and colleagues’ account to be fully explanatory. From the combination of these three theses we argue for the necessity of an integrative pluralist view of the nature of behaviour explanation when this is given by appealing to the existence of a random network. (shrink)

A speculative exploration of the distinction between a relational formal ontology and a classical formal ontology for modelling phenomena in nature that exhibit relationally-mediated wholism, such as phenomena from quantum physics and biosemiotics. Whereas a classical formal ontology is based on mathematical objects and classes, a relational formal ontology is based on mathematical signs and categories. A relational formal ontology involves nodal networks (systems of constrained iterative processes) that are dynamically sustained through signalling. The nodal networks are hierarchically ordered and (...) exhibit characteristics of deep learning. (shrink)

Merleau-Ponty suggests in his Nature lectures that myth provides the best way into thinking the relation of strange kinship between humanity and animality. He goes on to refigure Husserl’s paradigm of the two hands touching to extend beyond merely human-to-human relations, invoking in the process the myth of Narcissus. By carefully examining Merleau-Ponty’s late refiguration of that paradigm, alongside the revised conception of narcissism that it helps him to develop, we find that while human-animal empathy is made possible by a (...) ground of intercorporeal kinship, human-animal estrangement makes possible the emergence of an ethical relation to other animals, contingent upon the sublimation of animal desire. Holding human-animal kinship and estrangement in tension reveals a nascent ideal present implicitly in the early stages of childhood development: a vision of the possibility of interspecies harmony, rooted in the bodily reciprocity that drives the process of self-maturation. (shrink)

In her book Michel de Montaigne: Accidental Philosopher, Ann Hartle argues that Montaigne’s thought is dialectical in the Hegelian sense. Unlike Hegel’s progressive dialectic, however, Montaigne’s thought is, according to Hartle, circular in that the reconciliation of opposed terms comes not in the form of a newly emergent term, but in a return to the first term, where the meaning of the first is transformed as a result of its dialectical interaction with the second. This analysis motivates Hartle’s claim that (...) Montaigne is not a skeptic at all, let alone a Pyrrhonian skeptic. In this paper, I argue that Hartle’s circular-dialectical interpretation of Montaigne is not only compatible with Pyrrhonism, but is in fact an ideal model for understanding Sextus Empiricus’s skeptical therapy. (shrink)

This paper argues for a treatment of belief as essentially sensitive to certain features of context. The first part gives an argument that we must take belief to be context-sensitive in the same way that assertion is, if we are to preserve appealing principles tying belief to sincere assertion. In particular, whether an agent counts as believing that p in a context depends on the space of alternative possibilities the agent is considering in that context. One and the same doxastic (...) state may amount to belief that p in one context but not another. The second part of the paper gives a formal treatment of doxastic states, according to which belief is context-sensitive along just these lines. The model is applied to characterize (but not to refute) skeptical arguments. (shrink)

Thompson Clarke’s seminal paper “The Legacy of Skepticism” (1972) is notoriously difficult in both substance and presentation. Despite the paper’s importance to skepticism studies in the nearly half-century since its publication, no attempt has been made in the secondary literature to provide an account, based on a close reading of the text, of just what Clarke’s argument is. Furthermore, much of the existing literature betrays (or so it seems to me) fundamental misunderstandings of Clarke’s thought. In this essay, I attempt (...) to explain—concisely but comprehensively—Clarke’s overall argument in “The Legacy of Skepticism.”. (shrink)

Is God a person, like you and me eventually, but only much better and without our human deficiencies? When you read some of the philosophers of religion, including Richard Swinburne, Alvin Plantinga, or Open Theists, God appears as such a person, in a sense closer to Superman than to the Creator of Heaven and Earth. It is also a theory that a Christian pastoral theology today tends to impose, insisting that God is close to us and attentive to all of (...) us. But this modern account of God could be a deep and even tragic mistake. One God in three persons, the formula of the Trinity, does not mean that God is a person. On this matters we need an effort in the epistemology of theology to examine more precisely what we can pretend to know about God, and especially how we could pretend to know that God is person. (shrink)

Anthology introduction Introduction to the anthology, Empowering Our Military Conscience.

Speciesism defended against common misrepresentations of what people actually believe about human moral status.

Analyses of quotation have assumed that quotations are referring expressions while disagreeing over details. That assumption is unnecessary and unacceptable in its implications. It entails a quasi-Parmenidean impossibility of meaningfully denying the meaningfulness or referential function of anything uttered, for it implies that: 'Kqxf' is not a meaningful expression 'The' is not a referring expression are, if meaningful, false. It also implies that ill formed constructions like: 'The' is 'the' are well formed tautologies. Such sentences make apparent the need for (...) what is commonly explicit, a genuine referring expression, a noun phrase, usually a description, to which the quotation is appositional. A quotation is not itself a word, though it may contain such. The markers signal that the enquoted material is like a sentence-embedded color patch, material displayed to facilitate reference to something identifiable by/with it specified by the noun phrase it subserves. (shrink)

As part of a review symposium on DARWIN'S ARGUMENT BY ANALOGY: FROM ARTIFICIAL TO NATURAL SELECTION (2021), the journal METASCIENCE invited Roger White, Jon Hodge and me to submit a response to the thoughtful commentaries on our book by Andrea Sullivan-Clarke, David Depew and Andrew Inkpen.

Hortense Spillers asserts the imperative for black writers to reconfigure the languages they inherit. One way of doing so is to craft counter-myths against dominative mythologies. Spillers casts myth as an integration of form and concept which overdetermines the significance of what it is used to talk about. One crucial effect of America’s racialising mythos has been to deny black women the ability to determine that significance. She then describes how this mythos is crafted through a double wounding that creates (...) at least two ‘interstices’—first between home and market, then between blackness and humanity—which are covered up by mythological terms. Finally, Spillers shows how counter-mythologies can be crafted by speaking from within these interstices to reconfigure the conditions of possibility governing meaningful speech, taking the 19th- century African-American preaching tradition as her example. The article concludes by reflecting on what it might mean to practice Christian theology as counter-mythology in light of Spillers’ work through a reading of Edwidge Danticat’s The Dew Breaker. (shrink)

Theorists such as Stuart Hall have problematised the idea that identity is something that remains essentially the same across time. Since doctrine has been cast as that which safeguards Christian identity, this provokes the question: what role can doctrine play if this is the case? Critiquing George Lindbeck's The Nature of Doctrine in light of Kathryn Tanner's work on rules suggests that doctrine cannot regulate, constitute or generate the necessary conditions for Christian identity. Doctrine can, however, still play a role (...) in generating Christian meaning without regulating identity by determining how concepts are formed in Christian community. (shrink)

The past two centuries have been an extraordinary era for criticism and reform of institutions and social practices. Unprecedented egalitarian and humanitarian movements have arisen to protest and improve the condition of victims of every variety of evil, personal and impersonal, natural and social. The beneficiaries of these movements belong to all manner of groups: racial, ethnic, and religious minorities, the poor, the insane, the orphaned, the handicapped, the homosexual, the young, the elderly, the female, the animal, the unborn, and (...) so on. Many of these movements had few followers and fewer victories until deep into this century, but most had precursors in the last century, which challenged the moral legitimacy of accepted practices. (shrink)

The Socratic Paradox (that only Socrates is wise, and only because only he recognizes our lack of wisdom) is explained, elaborated and defended. His philosophical scepticism is distinguished from others (Pyrrhonian, Cartesian, Humean, Kripkean Wittgenstein, etc.): the doubt concerns our understanding of our beliefs, not our justification for them; the doubt is a posteriori and inductive, not a priori. Post-Socratic philosophy confirms this scepticism: contra-Descartes, our ideas are not transparent to us; contra-Verificationism, no criterion distinguishes sense from nonsense. The import (...) of this scepticism for professional ethicists is examined. (shrink)

critical analyses of the arguments and attitudes favoring the various popular datings of the inception of a human being's life.

The appeal to mechanisms in scientific explanation is commonplace in contemporary philosophy of science. In short, mechanists argue that an explanation of a phenomenon consists of citing the mechanism that brings the phenomenon about. In this paper, we present an argument that challenges the universality of mechanistic explanation: in explanations of the contemporary features of the eukaryotic cell, biologists appeal to its symbiogenetic origin and therefore the notion of symbiogenesis plays the main explanatory role. We defend the notion that symbiogenesis (...) is non-mechanistic in nature and that any attempt to explain some of the contemporary features of the eukaryotic cell mechanistically turns out to be at least insufficient and sometimes fails to address the question that is asked. Finally, we suggest that symbiogenesis is better understood as a pragmatic scientific law and present an alternative non-mechanistic model of scientific explanation. In the model we present, the use of scientific laws is supposed to be a minimal requirement of all scientific explanations, since the purpose of a scientific explanation is to make phenomena expectable. Therefore, this model would help to understand biologists’ appeal to the notion of symbiosis and thus is shown to be better, for the case under examination, than the mechanistic alternative. (shrink)

An exploration of the relational ontology of space, time and light.

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' names (...) Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result. (shrink)

Many healthcare practices expose people to risks of harmful outcomes. However, the major theories of moral philosophy struggle to assess whether, when and why it is ethically justifiable to expose individuals to risks, as opposed to actually harming them. Sven Ove Hansson has proposed an approach to the ethical assessment of risk imposition that encourages attention to factors including questions of justice in the distribution of advantage and risk, people’s acceptance or otherwise of risks, and the scope individuals have to (...) influence the practices that generate risk. This paper investigates the ethical justifiability of preventive healthcare practices that expose people to risks including overdiagnosis. We applied Hansson’s framework to three such practices: an ‘ideal’ breast screening service, a commercial personal genome testing service, and a guideline that lowers the diagnostic threshold for hypertension. The framework was challenging to apply, not least because healthcare has unclear boundaries and involves highly complex practices. Nonetheless, the framework encouraged attention to issues that would be widely recognised as morally pertinent. Our assessment supports the view that at least some preventive healthcare practices that impose risks including that of overdiagnosis are not ethically justifiable. Further work is however needed to develop and/or test refined assessment criteria and guidance for applying them. (shrink)

The Greek constructions of Zoroaster relate to the historical Zoroaster and to the Zoroaster of the Zoroastrian faith in one respect only. The Greeks knew that Zoroaster was the “prophet,” in the sense of the human founder, of the national Persian religion of their times. That, of course, is a cardinal fact, but it is one fact only. For the rest, the Greek Zoroasters — for there were many — were fantasies of their own imaginations. Since the Greeks were a (...) curious and inventive people, these multiple Zoroasters are interesting creations in their own right. Of more importance, they are elements in the “West’s” construction — or misconstruction — of a major “oriental” religion. -/- . (shrink)

Antithetical desires displayed throughout Kierkegaard’s authorship indicate the disjunctive assumption that the individual exists either in a state of increasing autonomy, expressed negatively as striving for freedom from divine constraint, or in a state of self-annihilating submission, expressed positively in terms of kenotic unification. Proximity to the divine thereby entails forfeiture of individuality, contrary to the explicit aim of Kierkegaard’s authorial project, and aversion to materiality. This essay enunciates the conflict (I), traces the crescendo of loss that births the pseudonymous (...) authorship and ends in realized longing for death (II), and approaches a more holistic vision of psycho-spiritual development (III). (shrink)

The ontological paradigms of Schelling and the late Merleau-Ponty bear striking resemblances to Spinoza’s ontology. Both were developed in response to transcendental models of a Cartesian mold, resisting tendencies to exalt the human ego to the neglect or the detriment of the more-than-human world. As such, thinkers with environmental concerns have sought to derive favorable ethical prescriptions on their basis. We begin by discerning a deadlock between two such thinkers: Ted Toadvine and Sean McGrath. With ecological responsibility in mind, both (...) actually resist Spinozist reduction of the human being to the status of a mere mode among modes. But despite having the same general aim, they end up endorsing contrary practical conclusions. Our objective is to pinpoint the reasons behind this deadlock, indicative of two strands of post-Spinozist environmental thought which stand in tension, and to begin to propose an integrative way forward. The ethical weight afforded by Toadvine to the notion of resistance in the work of the late Merleau-Ponty, namely nature’s resistance to harmonizing, unifying pretensions, invites inquiry into two Merleau-Pontean notions he does not address: the barbarian principle, and the proposal to “Do a Psychoanalysis of Nature.” We trace these to their origins in the works of Schelling’s middle period, arguing that the Schellingian location of resistance in Spirit’s dark ground—alternately conceived as primordial Dionysiac madness, bottled-up within the substratum of consciousness—lends to an understanding of the human, and human responsibility, that harbors favorable implications for environmental ethics. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

Johannes de Silentio, the pseudonymous author of Fear and Trembling, purports to be an individual who admires faith but cannot attain to its unearthly standards. The discontinuity between Kierkegaard, who self-identified as a religious author, and de Silentio, who approaches Abraham in self-doubt, is apparent—and as a result, some have argued for an utter dissociation between these two authors. I argue that such dissociation undermines the potency of the work, especially with regard to the perspective on faith presented therein. The (...) significance of de Silentio’s perspective becomes clear when set against the backdrop of Kierkegaard’s view of the relationship between anxiety and faith; in this light, de Silentio turns out to represent an early stage of the individual’s religious development, and Kierkegaard turns out to have recently surpassed this stage before writing the work. (shrink)

Between Schelling’s Über Dante in philosophischer Beziehung (1803) and the Dantean drafts of die Weltalter (1811-1815) stand the transitional texts of his middle period, the Philosophie und Religion (1804) and Freiheitsschrift (1809). His short essay on Dante contrasts an ancient conception of the closed cosmos with the modern universe as dynamic and expanding, then claims to extract from the Divine Comedy its eternal, threefold form. This article considers these schemata as they relate to the Philosophie und Religion and the Freiheitsschrift, (...) disclosing an enduring Dantean influence which first predicts, then persists throughout this stage of Schelling’s philosophical development. (shrink)

I briefly discuss the Gettier Problem, problems with the justified theory of true belief, and offer support for Feldman's concept of no false grounds.

Criticism of a moral theorizing that disparages common moral thought for violating presumed a priori principles. Argues for questioning alleged principles.

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical (...) sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

Objective We reviewed human–robot interaction (HRI) participatory design (PD) research with older adults. The goal was to identify methods used, determine their value for design of robots with older adults, and provide guidance for best practices. Background Assistive robots may promote aging-in-place and quality of life for older adults. However, the robots must be designed to meet older adults’ specific needs and preferences. PD and other user-centered methods may be used to engage older adults in the robot development process to (...) accommodate their needs and preferences and to assure usability of emergent assistive robots. Method This targeted review of HRI PD studies with older adults draws on a detailed review of 26 articles. Our assessment focused on the HRI methods and their utility for use with older adults who have a range of needs and capabilities. Results Our review highlighted the importance of using mixed methods and including multiple stakeholders throughout the design process. These approaches can encourage mutual learning (to improve design by developers and to increase acceptance by users). We identified key phases used in HRI PD workshops (e.g., initial interview phase, series of focus groups phase, and presentation phase). These approaches can provide inspiration for future efforts. Conclusion HRI PD strategies can support designers in developing assistive robots that meet older adults’ needs, capabilities, and preferences to promote acceptance. More HRI research is needed to understand potential implications for aging-in-place. PD methods provide a promising approach. (shrink)