In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

This paper presents an argument that certain AI safety measures, rather than mitigating existential risk, may instead exacerbate it. Under certain key assumptions - the inevitability of AI failure, the expected correlation between an AI system's power at the point of failure and the severity of the resulting harm, and the tendency of safety measures to enable AI systems to become more powerful before failing - safety efforts have negative expected utility. The paper examines three response strategies: Optimism, Mitigation, and (...) Holism. Each faces challenges stemming from intrinsic features of the AI safety landscape that we term Bottlenecking, the Perfection Barrier, and Equilibrium Fluctuation. The surprising robustness of the argument forces a re-examination of core assumptions around AI safety and points to several avenues for further research. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

The concept of practical knowledge is central to G.E.M. Anscombe's argument in Intention, yet its meaning is little understood. There are several reasons for this, including a lack of attention to Anscombe's ancient and medieval sources for the concept, and an emphasis on the more straightforward concept of knowledge "without observation" in the interpretation of Anscombe's position. This paper remedies the situation, first by appealing to the writings of Thomas Aquinas to develop an account of practical knowledge as a distinctive (...) form of thought that "aims at production" of things that lie within an agent's power; and then by showing how this Thomistic understanding of practical cognition seems to have been Anscombe's, too. Having done this, I question whether the thesis that agential knowledge is practical knowledge entails that an agent always has non-observational knowledge of what she is intentionally doing. I answer "Not": Anscombe's claims to the contrary rest on a misleading assimilation of human beings' finite agency to that of an infinite agent like God. (shrink)

The field of machine perception is based on standard informational and computational approaches to perception. But naturalistic informational theories are widely regarded as being inadequate, while purely syntactic computational approaches give no account of perceptual content. Thus there is a significant need for a novel, purely naturalistic perceptual theory not based on informational or computational concepts, which could provide a new paradigm for mechanistic perception. Now specifically evolutionary naturalistic approaches to perception have been—perhaps surprisingly—almost completely neglected for this purpose. Arguably (...) perceptual mechanisms enhance evolutionary fitness by facilitating sensorily mediated causal interactions between an organism Z and items X in its environment. A ‘reflexive’ theory of perception of this kind is outlined, according to which an organism Z perceives an item X just in case X causes a sensory organ zi of Z to cause Z to acquire a disposition toward the very same item X that caused the perception. The rest of the paper shows how an intuitively plausible account of mechanistic perception can be developed and defended in terms of the reflexive theory. Also, a compatibilist option is provided for those who wish to preserve a distinct informational concept of perception. (shrink)

This study sought to create a digital game-based physics lesson for seventh-grade students. It sought answers to respondents' least mastered competencies in physics by identifying their preferred game-based learning activity and determining their level of critical thinking, creative thinking, and problem-solving. A descriptive-developmental design was used in the study of selected learners from 129 grade 7 students, carried out at Bukal Sur National High School in Candelaria, Quezon, during the academic year 2022-2023. The study's findings revealed that the respondents' least (...) mastered competency in Physics was describing an object's motion in terms of distance or displacement, speed or velocity, and acceleration, as well as creating and interpreting visual representations of object motion such as tape charts and motion graphs and inferring that waves carry energy. Respondents prefer to play digital games, particularly puzzle games, on their mobile devices. The respondents' mean pre-test score indicated low critical thinking, creative thinking, and problem-solving, whereas the mean post-test score was very satisfactory. Finally, there is a significant difference between the respondents' pre-test and post-test scores for critical thinking, creative thinking, and problem-solving. (shrink)

In this paper, we propose a novel account of desire reports, i.e. sentences of the form 'S wants p'. Our theory is partly motivated by Phillips-Brown's (2021) observation that subjects can desire things even if those things aren't best by the subject's lights. That is, being best isn't necessary for being desired. We compare our proposal to existing theories, and show that it provides a neat account of the central phenomenon.

Memory is studied at a bewildering number of levels, with a vast array of methods, and in a daunting range of disciplines and subdisciplines. Is there any sense in which these various memory theorists – from neurobiologists to narrative psychologists, from the computational to the cross-cultural – are studying the same phenomena? In this exploratory position paper, I sketch the bare outline of a positive framework for understanding current work on constructive remembering, both within the various cognitive sciences, and across (...) gulfs between the cognitive and the social sciences. I pinpoint some lines of psychological theory and research which offer promising and compatible ways of thinking about individual memory and shared or social memory simultaneously. These are obviously ambitious projects, and this paper seeks more to elicit help with forging these connections than to present firm results. The aim is to draw out some consequences of empirical work on social memory and in developmental psychology. (shrink)

A psychological study of thought and language which takes an exposition of scientific linquistics as a point of departure.

Whether or not qualia are ways things seem, the view that qualia have the properties typically attributed to them is unjustified. Ways things seem do not have many of the properties commonly attributed to them. For example, inverted ways things seem are impossible. If ways things seem do not have the features commonly attributed to them, and qualia do have those same features, this looks like good reason to distinguish the two. But if your reasons for believing that qualia have (...) the features are epistemically on a par with reasons for believing that ways things seem have the features, and you know that ways things seem do not have the features, then those reasons cannot justify your belief that qualia have the features. I argue that the reasons are epistemically on a par in this way. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

What is the relation between a perceptual experience of an object X as being red, and one's belief, if any, as to the nature of that experience? A traditional Cartesian view would be that, if indeed object X does seem to be red to oneself, then one's resulting introspective belief about it could only be a _conforming _belief, i.e., a belief that X perceptually seems to be _red _to oneself--rather than, for instance, a belief that X perceptually seems to be (...) green to oneself instead. On such a Cartesian view, our introspective certainly about our own thoughts extends also to our perceptual experiences as to how things seem to be to us, so that our resulting introspective beliefs about our phenomenal states also count as knowledge of them. (shrink)

I argue that perceptual content involves representations both of aspects of objects, and of objects themselves, whether at the level of conscious perception, or of low-level perceptual processing - a double content structure. I present an 'orientational' theory of the relations of the two kinds of perceptual content, which can accommodate both the general semantic possibility of perceptual misrepresentation, and also species of it involving characteristic perceptual confusions of aspectual and intrinsic content. The resulting theoretical structure is argued to be (...) a broadly methodological or logical one, rather than a substantive theory that is open to empirical refutation. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.

One cannot have the concept of a red object without having the concept of an extended object. But the word "red" doesn't contain the word "extended." In general, our concepts are interconnected in ways in which the corresponding words are not interconnected. This is not an accidental fact about the English language or about any other language: it is inherent in what a language is that the cognitive abilities corresponding to a person's abilities to use words cannot possibly be reflected (...) in semantic relations holding among those words. This fact in its turn is a consequence of the fact that expressions are, whereas concepts are not, digital structures, for which reason the ways in which cognitive abilities interact cannot possibly bear any significant resemblance to the ways in which expressions interact. Consequently, there is no truth to the contention that our thought-processes are identical with, or bear any resemblance to, the digital computations that mediate computer-activity. (shrink)

Pictorial representation is one species of visual representation--but not the only one, I argue. There are three additional varieties or species of visual representation--namely 'structural', 'aspect' and 'integrative' representation--which together comprise a category of 'delineative' rather than depictive visual representation. I arrive at this result via consideration of previously neglected orientational factors that serve to distinguish the two categories. I conclude by arguing that pictures (unlike 'delineations') are not physical objects, and that their multiplicity and modal narrowness motivates a view (...) of them as instead being (one kind of) 'delineatively' represented content or subject matter, as represented by those objects that are (commonly but wrongly, in my view) assumed to be pictures. (shrink)

In a previous Philo article, it was shown how properties could be ontologically dispensed with via a representational analysis: to be an X is to comprehensively represent all the properties of an X. The current paper extends that representationalist (RT) theory by explaining representation itself in parallel epistemic rather than ontological terms. On this extended RT (ERT) theory, representations of X, as well as the real X, both may be identified as providing information about X, whether partial or comprehensive. But (...) that information does not match ontological, property-based analyses of X, so it is epistemically fundamental–hence supporting a broadly conceptualist rather than nominalist metaphysics. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about the (...) existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

In discussion of the interpretation of quantum mechanics the terms ‘ontic’ and ‘epistemic’ are often used in the sense of pertaining to what exists, and pertaining to cognition or knowledge respectively. The terms are also often associated with the formal definitions given by Harrigan and Spekkens for the wavefunction in quantum mechanics to be ψ-ontic or ψ-epistemic in the context of the ontological models framework. The formal definitions are contradictories, so that the wavefunction can be either ψ-epistemic or ψ-ontic but (...) not both. However, we argue, nothing about the informal ideas of epistemic and ontic interpretations rules out wavefunctions representing both reality and knowledge. The implications of the Pusey–Barrett–Rudolph theorem and many other issues may be rethought in the light of our analysis. (shrink)

The highly enjoyable experiences associated with drinking good wines have been widely misunderstood. It is common to regard wine appreciation as an analytical or quasi-scientific kind of activity, in which wine experts carefully distinguish the precise sensory qualities of each wine, and then pass on their accumulated factual knowledge to less experienced wine enthusiasts. However, this model of wine appreciation is seriously defective. One good way to show its defects is to provide a better and more fundamental scientific account of (...) what is involved in wine appreciation. In order to do so, I outline a novel, evolutionarily based theory of perceptual consciousness that explains why there must be imaginative as well as analytical kinds of experiences of wines. In addition, imaginative wine experiences, unlike typical imaginative artistic experiences, may be shown to involve highly individualistic, improvisatory elements that help to give wine drinking a unique place among the recreational arts. (shrink)

Estimates of the burden of disease assess the mortality and morbidity that affect a population by producing summary measures of health such as quality-adjusted life years and disability-adjusted life years. These measures typically do not include stillbirths among the negative health outcomes they count. Priority-setting decisions that rely on these measures are therefore likely to place little value on preventing the more than three million stillbirths that occur annually worldwide. In contrast, neonatal deaths, which occur in comparable numbers, have a (...) substantial impact on burden of disease estimates and are commonly seen as a pressing health concern. In this article we argue in favor of incorporating unintended fetal deaths that occur late in pregnancy into estimates of the burden of disease. Our argument is based on the similarity between late-term fetuses and newborn infants and the assumption that protecting newborns is important. We respond to four objections to counting stillbirths: that fetuses are not yet part of the population and so their deaths should not be included in measures of population health; that valuing the prevention of stillbirths will undermine women's reproductive rights; that including stillbirths implies that miscarriages should also be included; and that birth itself is in fact ethically significant. We conclude that our proposal is ethically preferable to current practice and, if adopted, is likely to lead to improved decisions about health spending. (shrink)

A case study in historical cognitive science, this paper addresses two claims made by radical proponents of new dynamical approaches. It queries their historical narrative, which sees embodied, situated cognition as correcting an individualist, atemporal framework originating in Descartes. In fact, new Descartes scholarship shows that 17th-century animal spirits neurophysiology realized a recognizably distributed model of memory; explicit representations are patterns of spirit flow, and memory traces are changes left by experience in connections between brain pores. This historical sketch supports (...) the second dynamicist claim, that connectionists' stress on the cognitive importance of pattern-recreation needs supplementing by dynamicists' real-time focus and attention to the active roles of body and environment. Animal spirits theory exhibits just the 'continuous reciprocal causation' between brain, body, and environment which Andy Clark sees as dynamicism's central contribution, and allows for the embedding of brains in culture as well as the physical world. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

The key problem for normative (or moral) cultural relativism arises as soon as we try to formulate it. It resists formulations that are (1) clear, precise, and intelligible; (2) plausible enough to warrant serious attention; and (3) faithful to the aims of leading cultural relativists, one such aim being to produce an important alternative to moral universalism. Meeting one or two of these conditions is easy; meeting all three is not. I discuss twenty-four candidates for the label "cultural relativism," showing (...) that not one meets all three conditions. In the end I conclude that cultural relativists have produced nothing that threatens universalism. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

This paper tries to clarify, strengthen and respond to two prominent objections to the development and use of human enhancement technologies. Both objections express concerns about the link between enhancement and the drive for hyperagency. The first derives from the work of Sandel and Hauskeller—and is concerned with the negative impact of hyperagency on social solidarity. In responding to their objection, I argue that although social solidarity is valuable, there is a danger in overestimating its value and in neglecting some (...) obvious ways in which the enhancement project can be planned so as to avoid its degradation. The second objection, though common to several writers, has been most directly asserted by Saskia Nagel, and is concerned with the impact of hyperagency on the burden and distribution of responsibility. Though this is an intriguing objection, I argue that not enough has been done to explain why this is morally problematic. I try to correct for this flaw before offering a variety of strategies for dealing with the problems raised. (shrink)

Is sex work (specifically, prostitution) vulnerable to technological unemployment? Several authors have argued that it is. They claim that the advent of sophisticated sexual robots will lead to the displacement of human prostitutes, just as, say, the advent of sophisticated manufacturing robots have displaced many traditional forms of factory labour. But are they right? In this article, I critically assess the argument that has been made in favour of this displacement hypothesis. Although I grant the argument a degree of credibility, (...) I argue that the opposing hypothesis -- that prostitution will be resilient to technological unemployment -- is also worth considering. Indeed, I argue that increasing levels of technological unemployment in other fields may well drive more people into the sex work industry. Furthermore, I argue that no matter which hypothesis you prefer -- displacement or resilience -- you can make a good argument for the necessity of a basic income guarantee, either as an obvious way to correct for the precarity of sex work, or as a way to disincentivise those who may be drawn to prostitution. (shrink)

Abstract:This paper considers novel ethical issues pertaining to near-future artificial intelligence (AI) systems that seek to support, maintain, or enhance the capabilities of older adults as they age and experience cognitive decline. In particular, we focus on smart assistants (SAs) that would seek to provide proactive assistance and mediate social interactions between users and other members of their social or support networks. Such systems would potentially have significant utility for users and their caregivers if they could reduce the cognitive load (...) for tasks that help older adults maintain their autonomy and independence. However, proactively supporting even simple tasks, such as providing the user with a summary of a meeting or a conversation, would require a future SA to engage with ethical aspects of human interactions which computational systems currently have difficulty identifying, tracking, and navigating. If SAs fail to perceive ethically relevant aspects of social interactions, the resulting deficit in moral discernment would threaten important aspects of user autonomy and well-being. After describing the dynamic that generates these ethical challenges, we note how simple strategies for prompting user oversight of such systems might also undermine their utility. We conclude by considering how near-future SAs could exacerbate current worries about privacy, commodification of users, trust calibration and injustice. (shrink)

Ideas about soul and body – about thinking or remembering, mind and life, brain and self – remain both diverse and controversial in our neurocentric age. The history of these ideas is significant both in its own right and to aid our understanding of the complex sources and nature of our concepts of mind, cognition, and psychology, which are all terms with puzzling, difficult histories. These topics are not the domain of specialists alone, and studies of emotion, perception, or reasoning (...) have never been isolated theoretical endeavours. As Francis Bacon described human philosophy or ‘the knowledge of ourselves’, within which he located the study of body, soul, and mind, it ‘deserveth the more accurate handling, by how much it toucheth us more nearly’ (1605/ 2000: 93). The history of ideas in these domains is particularly challenging given the practical dimensions and implications of theories of mind. Because theories of human nature and debates about body and mind do ‘touch us’ so ‘nearly’, they attract and can thus reveal, in specific historical contexts, interconnected discourses or associations which may be quite unlike our own. So there are no neat boundaries around a historical category of ‘seventeenth-century British philosophy of the soul’. The central topic of this chapter can be thought of either as pneumatology, the doctrine or science of spirits and souls, or as continuous with the ‘psychologia’ or psychology of Aristotelian traditions (Park and Kessler 1988; Hatfield 1995: 184-6). In neither case, however, should we expect any deep unity to be provided by history, geography, discipline, or subject-matter. (shrink)

A preponderance of empirical research in higher education exists on the use of electronic resources to promote university education and learning. This suggests that this area of research has attracted significant interest worldwide. However, there seems to be inadequate information on the association between specific electronic infrastructures, how they are utilized for learning, and their effects on students’ learning effectiveness in higher institutions in Nigeria. This research draws on previous studies and seeks to establish how different electronic resources are used (...) in universities and how they impact students’ learning effectiveness. Using a descriptive survey design, this survey examined 1,452 participants (undergraduates and postgraduates) from Nigerian universities. The data were analyzed using mean and standard deviation, while a Polytomous Logistic Regression Model was used in testing the hypothesis formulated. Findings showed that the degree of the use of digital infrastructures in universities is low. The extent of learning effectiveness among students in universities is also low. The usage of e-infrastructures (such as e-learning, e-communication, and e-library tools) significantly predicted students’ levels of learning effectiveness. Based on these results, conclusions and relevant theoretical and practical implications are discussed for policy reforms in education and e-learning. This study faces a limitation arising from the small number of universities studied. However, it is suggested that future related studies extend their focus beyond the context of Nigeria. (shrink)

Comments and replies from the 2021 Eastern APA book symposium on Jill North's Physics, Structure, and Reality.

The imagery we adopt when recalling the personal past may involve different perspectives. In many cases, we remember the past event from our original point of view. In some cases, however, we remember the past event from an external “observer” perspective and view ourselves in the remembered scene. Are such observer perspective images genuine memories? Are they accurate representations of the personal past? This chapter focuses on such observer perspectives in memory, and outlines and examines proposals about the nature of (...) such imagery. (shrink)

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

Economists can value things for cost-benefit analysis using either a structured or an unstructured approach. The first imposes some theoretical structure on the valuation; the second does not. This paper explains the difference between the approaches and examines the relative merits of each. Cost-benefit analysis may be aimed at finding what would be the best action, or alternatively at finding which action should be done in a democracy. The paper explains the difference, and argues that the appropriate aim is the (...) first. Given that, it comes down in favour of the structured approach to valuation. As an example, it discusses different approaches to valuing life in economics. (shrink)

The text “Language and Social Reality” is translated here from the work of John R. Searle: The Construction of Social Reality (The Free Press: New York, 1995. Chapter 3: Language and Social Reality. pp. 59–78.