Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should be replaced (...) by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none of (...) the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (shrink)

The article first rehearses three deflationary theories of reference, (1) disquotationalism, (2) propositionalism (Horwich), and (3) the anaphoric theory (Brandom), and raises a number of objections against them. It turns out that each corresponds to a closely related theory of truth, and that these are subject to analogous criticisms to a surprisingly high extent. I then present a theory of my own, according to which the schema “That S(t) is about t” and the biconditional “S refers to x iff S (...) says something about x” are exhaustive of the notions of aboutness and reference. An account of the usefulness of “about” is then given, which, I argue, is superior to that of Horwich. I close with a few considerations about how the advertised theory relates to well-known issues of reference, the conclusions of which is (1) that the issues concern reference and aboutness only insofar as the words “about” and “refer” serve to generalise over the claims that are really at issue, (2) that the theory of reference will not settle the issues, and (3) that it follows from (2) that the issues do not concern the nature of aboutness or reference. (shrink)

A new kind of defense of the Millian theory of names is given, which explains intuitive counter-examples as depending on pragmatic effects of the relevant sentences, by direct application of Grice’s and Sperber and Wilson’s Relevance Theory and uncontroversial assumptions. I begin by arguing that synonyms are always intersubstitutable, despite Mates’ considerations, and then apply the method to names. Then, a fairly large sample of cases concerning names are dealt with in related ways. It is argued that the method, as (...) applied to the various cases, satisfies the criterion of success: that for every sentence in context, it is a counter-example to Millianism to the extent that it has pragmatic effects (matching speakers’ intuitions). (shrink)

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

I here investigate whether there is any version of the principle of charity both strong enough to conflict with an error-theoretic version of nominalism (EN) about abstract objects, and supported by the considerations adduced in favour of interpretive charity in the literature. I argue that in order to be strong enough, the principle, which I call (Charity), would have to read, “For all expressions e, an acceptable interpretation must make true a sufficiently high ratio of accepted sentences containing e”. I (...) next consider arguments based on Davidson's intuitive cases for interpretive charity, the reliability of perceptual beliefs, and the reliability of “non-abstractive inference modes”, and conclude that none support (Charity). I then propose a diagnosis of the view that there must be some universal principle of charity ruling out (EN). Finally, I present a reason to think (Charity) is false, namely, that it seems to exclude the possibility of such disagreements as that between nominalists and realists. (shrink)

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather than (...) disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of the (...) existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being loved by Mary] (...) of John. Since the two properties are distinct, so are the act types. Hence, the sentence expresses two propositions. I also discuss a non-standard “pluralist” act-type theory, as well as some retreat positions, which all come with considerable problems. Finally, I extrapolate to a general constraint on theories of structured propositions, and find that Jeffrey King’s theory has the same unacceptable consequence as the act-type theory. (shrink)

I here propose a hitherto unnoticed possibility of solving embedding problems for noncognitivist expressivists in metaethics by appeal to Conceptual Role Semantics. I show that claims from the latter as to what constitutes various concepts can be used to define functions from states expressed by atomic sentences to states expressed by complex sentences, thereby allowing an expressivist semantics that satisfies a rather strict compositionality constraint. The proposal can be coupled with several different types of concept individuation claim, and is shown (...) to pave the way to novel accounts for, e.g., negation. (shrink)

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. 2 is (...) a critical historical survey of deflationary theories, where notably disquotationalism is found untenable as a descriptive theory of “true”. In Ch. 3, I aim to show that deflationism cannot be finitely and non-circularly formulated by using “true”, and so must only mention it. Hence, it must be a theory specifically about the word “true” (and its foreign counterparts). To capture the ordinary notion, the theory must thus be an empirical, use-theoretic, semantic account of “true”. The task of explaining facts about truth now becomes that of showing that various sentences containing “true” are (unconditionally) assertible. In Ch. 4, I defend the claim (D) that every sentence of the form “That p is true” and the corresponding “p” are intersubstitutable (in a use-theoretic sense), and show how this claim provides a unified and simple account of a wide variety of occurrences of “true”. Disquotationalism then only has the advantage of avoiding propositions. But in Ch. 5, I note that (D) is not committed to propositions. Use-theoretic semantics is then argued to serve nominalism better than truth-theoretic ditto. In particular, it can avoid propositions while sustaining a natural syntactic treatment of “that”-clauses as singular terms and of “Everything he says is true”, as any other quantification. Finally, Horwich’s problem of deriving universal truth-claims is given a solution by recourse to an assertibilist semantics of the universal quantifier. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

This paper argues that the Value Sensitive Design (VSD) methodology provides a principled approach to embedding common values in to AI systems both early and throughout the design process. To do so, it draws on an important case study: the evidence and final report of the UK Select Committee on Artificial Intelligence. This empirical investigation shows that the different and often disparate stakeholder groups that are implicated in AI design and use share some common values that can be used to (...) further strengthen design coordination efforts. VSD is shown to be both able to distill these common values as well as provide a framework for stakeholder coordination. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

The Welfare-Funded Sex Doula Programme is a proposed sexual needs service that advances the sexual citizenship of disabled people by providing specially trained ‘sex doulas’ to meet the various, often complex, sexual needs of disabled people. Conceived as providing disabled individuals with practical sexual support services, the role of the sex doula includes advocacy, counselling, therapy, and practical relief from sexual tension. The programme constitutes a robust, comprehensive, and theoretically cohesive welfare service that seeks to provision access to sexual citizenship (...) for disabled people. -/- Grounded in Aristotelian concepts of flourishing, the programme identifies sexual citizenship as a fundamental basic need and seeks to ensure that disabled people have the opportunity to achieve the same level of sexuality as able-bodied people. Work advancing the programme includes both philosophical and theoretical arguments showing how the programme is justified under several moral frameworks, and claims made therein have resulted in velitation in the literature regarding the potential of such a programme to violate individuals’ negative rights. (shrink)

In an era where digital screens are as ubiquitous as the air we breathe, Toward an Anthropology of Screens by Mauro Carbone and Graziano Lingua offers a seminal exploration into screens’ crucial functions and profound impact on human culture. This scholarly work dissects the screen’s evolution, anthropological significance and philosophical implications, offering an enlightening narrative on our mediated reality.

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions and other complex senses/concepts using a special kind of functor. I consider some formulations from Peacocke's works and highlight certain problems that arise as we try to quantify over propositional constituents while referring to propositions using "that"-clauses. With the functor notation, by contrast, we can quantify over senses/concepts with objectual, first-order quantifiers and speak without further ado about their involvement in propositions. The functor notation also turns (...) out to come with an important kind of expressive strengthening, and is shown to be neutral on several controversial issues. (shrink)

The paper discusses the Inconsistency Theory of Truth (IT), the view that “true” is inconsistent in the sense that its meaning-constitutive principles include all instances of the truth-schema (T). It argues that (IT) entails that anyone using “true” in its ordinary sense is committed to all the (T)-instances and that any theory in which “true” is used in that sense entails the (T)-instances (which, given classical logic, entail contradictions). More specifically, I argue that theorists are committed to the meaning-constitutive principles (...) of logical constants, relative to the interpretation they intend thereof (e.g., classical), and that theories containing logical constants entail those principles. Further, I argue, since there is no relevant difference from the case of “true”, inconsistency theorists’ uses of “true” commit them to the (T)-instances. Adherents of (IT) are recommended, as a consequence, to eschew the truth-predicate. I also criticise Matti Eklund’s account of how the semantic value of “true” is determined, which can be taken as an attempt to show how “true” can be consistently used, despite being inconsistent. (shrink)

Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal was (...) part of. Along the way, I also propose novel treatments of Arthur Pap’s and W.V.O. Quine’s notoriously hard-to-paraphrase sentences about abstracta. (shrink)

It is argued that although George Bealer's influential ‘Self-Consciousness argument’ refutes standard versions of reductive functionalism (RF), it fails to generalize in the way Bealer supposes. To wit, he presupposes that any version of RF must take the content of ‘pain’ to be the property of being in pain (and so on), which is expressly rejected in independently motivated versions of conceptual role semantics (CRS). Accordingly, there are independently motivated versions of RF, incorporating CRS, which avoid Bealer's main type of (...) refutation. I focus particularly on one such theory, which takes concepts to be event types that are individuated by their psychological roles, which has the resources of responding to each of the more specific worries Bealer expresses. (shrink)

Although Benjamin Schnieder’s theory of the “ordinary conception” of properties successfully handles paradoxical properties—particularly, the property of non-self-instantiation—it fails to account for ordinary, non-pathological cases. The theory allows the inference of ‘a has the property of being F’ only given F(a) and the prior assertibility of ‘the property of being F can exist’. While this allows us to block an inference to a contradiction, it also blocks all of the non-pathological instances of the inference from ‘a is F’ to ‘a (...) has the property of being F’. It thereby fails both as a theory of the ordinary conception and as a replacement of the ordinary notion, assuming the latter is defective. (shrink)

This paper seeks to extend my recent work on quantum perception (Rosen, 2021) to the phenomenon of quantum entanglement. In the first section, I summarize the earlier work, noting how the conventional approach to observing photons is rooted in an objectivist philosophy that serves as an obstacle to probing the underlying quantum reality. In the summary provided, I bring out the intimate relationship between observer and observed in the quantum world, and the need for a new, proprioceptive mode of observation (...) linked to phenomenological philosophy. The second part of the paper builds on the earlier effort by applying the proprioceptive observation of photons to the phenomenon of entanglement. The basic proposition is that proprioceptive observers of entangled photons may become entangled with each other. I propose an experiment that tests this hypothesis. In concluding, I explore the possibility that a quantum internet of proprioceptively engaged participants could create an ontologically entangled society. (shrink)

This is an earlier version of the argument presented as the appendix to the author's final book, Peri Physeos.

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...) first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most promising (...) one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

Deflationism about truth is often said to be incompatible with truth-theoretic semantics. However, both of these labels are ambiguous, making the truth of the incompatibility claim dependent on interpretation. I provide one pair of natural interpretations, on which both views relate essentially to grounding and on which they are indeed incompatible. This result has some intrinsic interest as well as paving the way for further needed clarifications in the debate about the relationship between the views.

The author presents reasons for thinking that the evil we observe in the world is not even prima facie evidence against the existence of God.

This paper argues that although moral intuitions are insufficient for making judgments on new technological innovations, they maintain great utility for informing responsible innovation. To do this, this paper employs the Value Sensitive Design (VSD) methodology as an illustrative example of how stakeholder values can be better distilled to inform responsible innovation. Further, it is argued that moral intuitions are necessary for determining stakeholder values required for the design of responsible technologies. This argument is supported by the claim that the (...) moral intuitions of stakeholders allow designers to conceptualize stakeholder values and incorporate them into the early phases of design. It is concluded that design-for-values (DFV) frameworks like the VSD methodology can remain potent if developers adopt heuristic tools to diminish the influence of cognitive biases thus strengthening the reliability of moral intuitions. (shrink)

Theories of consciousness divide over whether perceptual consciousness is rich or sparse in specific representational content and whether it requires cognitive access. These two issues are often treated in tandem because of a shared assumption that the representational capacity of cognitive access is fairly limited. Recent research on working memory challenges this shared assumption. This paper argues that abandoning the assumption undermines post-cue-based “overflow” arguments, according to which perceptual conscious is rich and does not require cognitive access. Abandoning it also (...) dissociates the rich/sparse debate from the access question. The paper then explores attempts to reformulate overflow theses in ways that don’t require the assumption of limited capacity. Finally, it discusses the problem of relating seemingly non-probabilistic perceptual consciousness to the probabilistic representations posited by the models that challenge conceptions of cognitive access as capacity-limited. (shrink)

This chapter proposed a novel design methodology called Value-Sensitive Design and its potential application to the field of artificial intelligence research and design. It discusses the imperatives in adopting a design philosophy that embeds values into the design of artificial agents at the early stages of AI development. Because of the high risk stakes in the unmitigated design of artificial agents, this chapter proposes that even though VSD may turn out to be a less-than-optimal design methodology, it currently provides a (...) framework that has the potential to embed stakeholder values and incorporate current design methods. The reader should begin to take away the importance of a proactive design approach to intelligent agents. (shrink)

This article explores the potential of Bernard Lonergan’s philosophy of subjectivity as objectivity as a grounding for value sensitive design (VSD) and the design turn in applied ethics. The rapid pace of scientific and technological advancement has created a gap between technical abilities and our moral assessments of those abilities, calling for a reflection on the philosophical tools we have for applying ethics. In particular, applied ethics often presents interconnected problems that require a more general framework for ethical reflection. Lonergan’s (...) philosophy, which emphasizes the importance of selfunderstanding and self‐transcendence in achieving objectivity, can provide a valuable perspective on VSD and the design turn in applied ethics. The article examines how Lonergan’s philosophy can be applied to VSD and the design turn, and how scientific knowledge can be integrated into an ethics of science without reducing it to an external reflection. By adopting Lonergan’s perspective, we can address the ethical challenges arising from scientific and technological advancements while promoting a more holistic approach to applied ethics. (shrink)

Lethal Autonomous Weapons (LAWs) have becomes the subject of continuous debate both at national and international levels. Arguments have been proposed both for the development and use of LAWs as well as their prohibition from combat landscapes. Regardless, the development of LAWs continues in numerous nation-states. This paper builds upon previous philosophical arguments for the development and use of LAWs and proposes a design framework that can be used to ethically direct their development. The conclusion is that the philosophical arguments (...) that underpin the adoption of LAWs rather than not, although prima facie insufficient, can be actualized through the proposed Value Sensitive Design (VSD) approach. Hence, what is proposed is a principled design approach that can be used to embed stakeholder values into a design, encourage stakeholder cooperation and coordination and as a result promote social acceptance of LAWs as a preferable future fact of war. (shrink)

Autonomous weapons systems (AWS), sometimes referred to as “killer robots”, are receiving evermore attention, both in public discourse as well as by scholars and policymakers. Much of this interest is connected with emerging ethical and legal problems linked to increasing autonomy in weapons systems, but there is a general underappreciation for the ways in which existing law might impact on these new technologies. In this paper, we argue that as AWS become more sophisticated and increasingly more capable than flesh-and-blood soldiers, (...) it will increasingly be the case that such soldiers are “in the power” of those AWS which fight against them. This implies that such soldiers ought to be considered hors de combat, and not targeted. In arguing for this point, we draw out a broader conclusion regarding hors de combat status, namely that it must be viewed contextually, with close reference to the capabilities of combatants on both sides of any discreet engagement. Given this point, and the fact that AWS may come in many shapes and sizes, and can be made for many different missions, we argue that each particular AWS will likely need its own standard for when enemy soldiers are deemed hors de combat. We conclude by examining how these nuanced views of hors de combat status might impact on meaningful human control of AWS. (shrink)

This article explores the potential of Bernard Lonergan’s philosophy of subjectivity as objectivity as a grounding for value sensitive design (VSD) and the design turn in applied ethics. The rapid pace of scientific and technological advancement has created a gap between technical abilities and our moral assessments of those abilities, calling for a reflection on the philosophical tools we have for applying ethics. In particular, applied ethics often presents interconnected problems that require a more general framework for ethical reflection. Lonergan’s (...) philosophy, which emphasizes the importance of self-understanding and self-transcendence in achieving objectivity, can provide a valuable perspective on VSD and the design turn in applied ethics. The article examines how Lonergan’s philosophy can be applied to VSD and the design turn, and how scientific knowledge can be integrated into an ethics of science without reducing it to an external reflection. By adopting Lonergan’s perspective, we can address the ethical challenges arising from scientific and technological advancements while promoting a more holistic approach to applied ethics. (shrink)

I here respond to Pietro Salis’s objections against my original critique of the Prosentential Theory of Truth. In addition, I clarify some points regarding the relationship between anaphoric relationships and “general semantic notions” like “equivalence”, “consequence”, and “sameness of content”, and make some further points about ’s ability gto explain pragmatic and expressive features of “true”.

Autonomous weapons systems, often referred to as ‘killer robots’, have been a hallmark of popular imagination for decades. However, with the inexorable advance of artificial intelligence systems (AI) and robotics, killer robots are quickly becoming a reality. These lethal technologies can learn, adapt, and potentially make life and death decisions on the battlefield with little-to-no human involvement. This naturally leads to not only legal but ethical concerns as to whether we can meaningful control such machines, and if so, then how. (...) Such concerns are made even more poignant by the ever-present fear that something may go wrong, and the machine may carry out some action(s) violating the ethics or laws of war. -/- Researchers, policymakers, and designers are caught in the quagmire of how to approach these highly controversial systems and to figure out what exactly it means to have meaningful human control over them, if at all. -/- In Designed for Death, Dr Steven Umbrello aims to not only produce a realistic but also an optimistic guide for how, with human values in mind, we can begin to design killer robots. Drawing on the value sensitive design (VSD) approach to technology innovation, Umbrello argues that context is king and that a middle path for designing killer robots is possible if we consider both ethics and design as fundamentally linked. Umbrello moves beyond the binary debates of whether or not to prohibit killer robots and instead offers a more nuanced perspective of which types of killer robots may be both legally and ethically acceptable, when they would be acceptable, and how to design for them. (shrink)

This chapter takes the form of a discussion between the editors of this volume and Steven Lukes, one the most eminent critics of methodological individualism. The focus is on Lukes’ interpretation of methodological individualism in terms of linguistic exclusivism (i.e., naive reductionism), the multiple-realization problem, Boudon’s and Elster’s micro-foundationalist approach, ontological individualism, and the rationality of human action.

Prometheus has grown four years older since its last and highly controversial special issue, published in 2017 on the Shaken Baby Debate. But, as always, Prometheus is committed to open discussion and dissemination of scientific research, regardless of the potential backlash or controversy that may ensue from such a venture, a venture that is at the core of authentic scholarship. Since the beginning of 2020, the world has changed irrevocably, making once-held norms seem obsolete in favour of new ways of (...) being in the world and new technologies emerging to face these new ways of living. Although it has been a long-held insight in the philosophy of technology that technical systems are carriers of values, the SARS-CoV-2 pandemic has made manifest how these values, and their incarnations in sociotechnical systems, can likewise change. Prometheus has, since its inception, danced in tandem with the critical interpretations, theories, and methods for understanding innovation, and how innovations fundamentally impact and are impacted by the world in which they emerge and are situated. For this reason, Steffen Steinert, Tristan de Wildt, and I chose to guest edit this special issue on designing for value change and chose Prometheus as its home. (shrink)

Gran parte della letteratura riguardante l’uso dell’intelligenza artificiale (IA) sul posto di lavoro, in particolare nell’ambito dell’assistenza infermieristica e dei servizi di cura, si è concentrata sui problemi etici che insorgono a valle della sua implementazione o per ragioni puramente speculative. Concentrarsi sull’IA come artefatto separato dal suo design e dai suoi progettisti rende l’assistenza infermieristica e la cura, come qualsiasi altro settore, in gran parte impotente nei confronti degli impatti dell’IA. Per questo motivo, la focalizzazione sul design e su (...) come progettare rispettando valori e professionalità dei professionisti e degli operatori sanitari è di massima importanza. Sono state proposti vari approcci per raggiungere questo obiettivo, come la progettazione partecipata, la progettazione universale, la progettazione inclusiva e la progettazione orientata ai valori. Nonostante i vantaggi di questi approcci più consolidati, nessuno di essi si concentra sulle narrazioni e le metafore sottostanti che guidano e influenzano come l’IA viene percepita e quindi impatta il lavoro dei professionisti. Questo lavoro esamina brevemente un approccio complementare, ovvero l’IA centrata sull’essere umano (HCAI), che propone nuove narrazioni di potenziamento e miglioramento per gli utenti, piuttosto che narrazioni di sostituzione. Se i professionisti spingono per l’adozione di tale approccio e nuove narrazioni, possono aumentare, piuttosto che abdicare, la loro responsabilità sul posto di lavoro e aumentare la loro capacità di fornire cure adeguate. (shrink)

Various approaches have emerged over the last several decades to meet the challenges and complexities of anticipating and responding to the potential impacts of emerging technologies. Although many of the existing approaches share similarities, they each have shortfalls. This paper takes as the object of its study Anticipatory Ethics for Emerging Technologies (ATE) to technology assessment, given that it was formatted to address many of the privations characterising parallel approaches. The ATE approach, also in practice, presents certain areas for retooling, (...) such as how it characterises levels and objects of analysis. This paper results from the work done with the TechEthos Horizon 2020 project in evaluating the ethical, legal, and social impacts of climate engineering, digital extended reality, and neurotechnologies. To meet the challenges these technology families present, this paper aims to enhance the ATE framework to encompass the variety of human processes and material forms, functions, and applications that comprise the socio-technical systems in which these technologies are embedded. (shrink)

I present an account of the passage of time and the present in relativistic spacetimes, and I defend these views against recent criticism by Oliver Pooley and Craig Callender.

Carne Coltivata: Etica dell’agricoltura cellulare by Luca Lo Sapio criti-cally explores the ethical, environmental, and cultural ramifications of cellular agricul-ture, mainly cultivated meat. Through a philosophical lens, Lo Sapio evaluates the po-tential of this technology to address ethical concerns tied to traditional meat production, such as animal welfare, environmental sustainability, and health implications. However, the book also critiques the potential cultural and ecological consequences of detaching meat production from traditional agricultural practices. Lo Sapio’s discourse navigates the complex interplay between technological (...) progress and the intrinsic value of natural life processes, urging a balanced consideration of cultivated meat’s implications on glob-al food cultures, food sovereignty, and the sanctity of life. (shrink)

Recent theorists of cultural studies have noticed the emergence of metamodernity as an ideal type, categorized by an oscillation between postmodern deconstructivism and modern idealism, into a form of transcendentalism. I argue in this chapter that this type of transcendentalism, informed by the historical American Transcendentalist Movement, is the emerging ideal called “Transhumanism.” I use a case study of five Japanese anime to demonstrate how transhumanist, metamodernist, and transcendental thinking often recur in key core plot points and narratives found within. (...) I further suggest that meditation on the major themes in these anime, especially those of metamodernity and transhumanism, is necessary if we are to understand our place in the world today and into the future. -/- The final version of this paper can be found in Anime, Philosophy, and Religion, Ed. Hayashi and Anderson, by Vernon Press. See "external links" for how to order the whole volume, the final version is also available on google books (see link). -/- A previous version of this paper was awarded the Outstanding Doctoral Paper Award 2023, Southwestern Sociological Association. (shrink)

The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.

Much traditional moral theory supposes that morality is primarily a matter of law or principle apprehended as something external to the moral agent and binding that agent in a manner that is contrary to inclination. If this were not so, morality would be superfluous. Nevertheless, in this essay I maintain that the appearance of an opposition between morality and inclination is simply an artifact of human sinfulness, which alienates us from our true nature as rational beings.

This is an updated version of one section of my essay "Objections to Dualism" prepared for presentation at the 2019 Mountain-Pacific SCP Conference in Las Vegas, April 6-7, 2019.

This is a companion to an earlier essay, "An Argument for Dualism from the Lived Experience of Time," in which I argue that our lived experience of being in space is best accounted for on a substance dualist ontology of the experiencing subject and a 3-dimensionalist account of time. Such an account excludes the metaphysical possibility of 4-dimensionalism as a literal, descriptive account of noumenal time inasmuch as it is incompatible with facts we know with greater certainty than any scientific (...) theory. (shrink)