In their (2008) article Liar-Like Paradox and Object Language Features C.S. Jenkins and Daniel Nolan (henceforth, JN) argue that it is possible to construct Liar-like paradox in a metalanguage even though its object language is not semantically closed. I do not take issue with this claim. I find fault though with the following points contained in JN’s article: First, that it is possible to construct Liar-like paradox in a metalanguage, even though this metalanguage is (...) not semantically closed. Second, that the presented examples of Liar-like paradox are supposed to be counterexamples to Tarski’s diagnosis of the classic Liar paradox. Third, that JN fail to notice Tarski’s postulate. And finally, that JN fail to recognize that the world they are pondering is not among the possible worlds. (shrink)

This issue of The Monist is devoted to the metaphysics of lesser kinds, which is to say those kinds of entity that are not generally recognized as occupying a prominent position in the categorial structure of the world. Why bother? We offer two sorts of reason. The first is methodological. In mathematics, it is common practice to study certain functions (for instance) by considering limit cases: What if x = 0? What if x is larger than any assigned value? Physics, (...) too, often studies the (idealized) initial and boundary conditions of a given system: What would happen in the case of a perfect sphere, or a perfectly black body? In the cognitive sciences, research often thrives on the analysis of cognitive errors, perceptual illusions, brain pathologies. Also in logic one can learn a lot by studying special, anomalous scenarios such as those exhibited by the paradoxes: it is unlikely that we actually find ourselves in a soritical context, or in a liar-like situation, but the fact that we might—or simply the fact that we can conceive of such a possibility—is important enough to deserve careful consideration. In short, the odd, the unfamiliar, the extra-ordinary, the limit cases are perfectly at home in scientific and more broadly intellectual discourse at various levels, where they can be fruitfully engaged in a sophisticated way (witness the existence of specific confining and managing strategies for dealing with them); and they are important precisely because they instruct us concerning the normal, the obvious, and the paradigmatic. The same goes for metaphysics, we submit. Although its major concern is, naturally, with such core entities as substances, properties, or hunks of solid matter, a lot may be learned by paying attention to those limit cases where we find ourselves dealing with entities of much lesser kinds, whether real or putative. (shrink)

In recent years, some authors have proposed quantitative measures of the coherence of sets of propositions. Such probabilistic measures of coherence (PMCs) are, in general terms, functions that take as their argument a set of propositions (along with some probability distribution) and yield as their value a number that is supposed to represent the degree of coherence of the set. In this paper, I introduce a minimal constraint on PMC theories, the weak stability principle, and show that any correct, coherent, (...) and complete PMC cannot satisfy it. As a matter of fact, the argument offered in this paper can be applied to any coherence theory that uses a priori procedures. I briefly explore some consequences of this fact. (shrink)

This article shows that there is a liar-like paradox that arises for rational credence that relies only on very weak logical and credal principles. The paradox depends on a weak rational reflection principle, logical principles governing conjunction, and principles governing the relationship between rational credence and proof. To respond to this paradox, we must either reject even very weak rational reflection principles or reject some highly plausible logical or credal principle.

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: (...) From ¬(p ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

One well known approach to the soritical paradoxes is epistemicism, the view that propositions involving vague notions have definite truth values, though it is impossible in principle to know what they are. Recently, Paul Horwich has extended this approach to the liar paradox, arguing that the liar proposition has a truth value, though it is impossible to know which one it is. The main virtue of the epistemicist approach is that it need not reject classical logic, and in (...) particular the unrestricted acceptance of the principle of bivalence and law of excluded middle. Regardless of its success in solving the soritical paradoxes, the epistemicist approach faces a number of independent objections when it is applied to the liar paradox. I argue that the approach does not offer a satisfying, stable response to the paradoxes—not in general, and not for a minimalist about truth like Horwich. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our (...) use of that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues that (...) self-referential sentences, like the Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix. (shrink)

The article critically examines the heuristic capacity and methods of using separate tools of Wittgenstein’s philosophical grammar to treat various semantic pathologies (paradoxes of Liar, Truth-Teller, etc.). According to Wittgenstein, philosophical confusion associated with the analysis of such semantic pathologies arises on the grounds of our intuitive faith that we are able to express in language any property that interests us. For instance, we believe that the property “to have a length of exactly one metre” can be meaningfully attributed (...) to any extended object. However, such a faith is fundamentally wrong, since an object like a standard metre, which plays an exclusive role as the criterion of length in our measuring practices based on the metric system, is an example of an extended object about which one can say neither that it is one metre long, nor that it is not one metre long. A correct understanding of the language-game concept shows that the criterion by which we form a set of objects that meet the standards established by the criterion cannot be described in the same way as objects of this set. Language-games using predicates of truth and falsehood are similar to our practice of measuring length using the metric system. In cases of Liar and Truth-Teller sentences, we encounter resembling examples of philosophical confusion. Beyond the context of their usage, “This sentence is false” and “This sentence is true” sentences seem to us paradoxes. But, according to Wittgenstein’s philosophical grammar, a correct method of treating such “paradoxical” sentences demands to find the lack- ing context for their usage, i.e. pay attention to the language-game in which they are emplloyed. Like in the case of the standard metre, we can claim that the sentence “This sentence is false” (“This sentence is true”) is neither false (true), nor not false (true). In an analogous way, Liar and Truth-Teller sentences should be interpreted as peculiar standards of falsehood and truth that we use in our language-games to judge about the truth value of other sentences. (shrink)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...) and even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation, and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things, a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’, nor find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 2nd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Are LLMs cultural technologies like photocopiers or printing presses, which transmit information but cannot create new content? A challenge for this idea, which we call bibliotechnism, is that LLMs generate novel text. We begin with a defense of bibliotechnism, showing how even novel text may inherit its meaning from original human-generated text. We then argue that bibliotechnism faces an independent challenge from examples in which LLMs generate novel reference, using new names to refer to new entities. Such examples (...) could be explained if LLMs were not cultural technologies but had beliefs, desires, and intentions. According to interpretationism in the philosophy of mind, a system has such attitudes if and only if its behavior is well explained by the hypothesis that it does. Interpretationists may hold that LLMs have attitudes, and thus have a simple solution to the novel reference problem. We emphasize, however, that interpretationism is compatible with very simple creatures having attitudes and differs sharply from views that presuppose these attitudes require onsciousness, sentience, or intelligence (topics about which we make no claims). (shrink)

Many theorists have defended the claim that collective entities can attain genuine agential status. If collectives can be agents, this opens up a further question: can they be conscious? That is, is there something that it is like to be them? Eric Schwitzgebel argues that yes, collective entities, may well be significantly conscious. Others, including Kammerer, Tononi and Koch, and List reject the claim. List does so on the basis of Tononi’s Integrated Information Theory of consciousness. I (...) argue here that List’s rejection is too quick, and that groups can, at least in principle, display the kind of informational integration we might think is necessary for consciousness. However, group consciousness will likely differ substantially from the individual experiences that give rise to it. This requires the defender of group consciousness to face up to a similar combination problem as the panpsychist. (shrink)

The general tendency or attitude that Dreier 2004 calls creeping minimalism is ramping up in contemporary analytic philosophy. Those who entertain this attitude will take for granted a framework of deflationary or minimal notions – principally semantical1 and ontological – by means of which to analyse problems in different philosophical fields – e.g. theory of truth, metaethics, philosophy of language, the debate on realism and antirealism, etc. Let us call sweeping minimalist the philosopher affected by creeping minimalism. The framework of (...) minimal notions that the sweeping minimalist takes for granted encompasses, for instance, the concept of truth, reference, proposition, fact, individual, and property. Minimal notions are characterized in terms of general platitudinous principles expressed by schemata like the following (cf.: 26): ‘S’ is true if and only if S; ‘S’ is true if and only if ‘S’ corresponds to the facts; a has the property of being P if and only if a is P. Where ‘S’ and ‘a is P’ stand for sentences satisfying superficial constraints of truth-aptitude (i.e. sentences in declarative form subject to communally acknowledged standards of proper use), and.. (shrink)

We present a theory of human artistic experience and the neural mechanisms that mediate it. Any theory of art has to ideally have three components. The logic of art: whether there are universal rules or principles; The evolutionary rationale: why did these rules evolve and why do they have the form that they do; What is the brain circuitry involved? Our paper begins with a quest for artistic universals and proposes a list of ‘Eight laws of artistic experience’ -- a (...) set of heuristics that artists either consciously or unconsciously deploy to optimally titillate the visual areas of the brain. One of these principles is a psychological phenomenon called the peak shift effect: If a rat is rewarded for discriminating a rectangle from a square, it will respond even more vigorously to a rectangle that is longer and skinnier that the prototype. We suggest that this principle explains not only caricatures, but many other aspects of art. Example: An evocative sketch of a female nude may be one which selectively accentuates those feminine form-attributes that allow one to discriminate it from a male figure; a Boucher, a Van Gogh, or a Monet may be a caricature in ‘colour space’ rather than form space. Even abstract art may employ ‘supernormal’ stimuli to excite form areas in the brain more strongly than natural stimuli. Second, we suggest that grouping is a very basic principle. The different extrastriate visual areas may have evolved specifically to extract correlations in different domains , and discovering and linking multiple features into unitary clusters -- objects -- is facilitated and reinforced by direct connections from these areas to limbic structures. In general, when object-like entities are partially discerned at any stage in the visual hierarchy, messages are sent back to earlier stages to alert them to certain locations or features in order to look for additional evidence for the object . Finally, given constraints on allocation of attentional resources, art is most appealing if it produces heightened activity in a single dimension rather than redundant activation of multiple modules. This idea may help explain the effectiveness of outline drawings and sketches, the savant syndrome in autists, and the sudden emergence of artistic talent in fronto-temporal dementia. In addition to these three basic principles we propose five others, constituting a total of ‘eight laws of aesthetic experience’. (shrink)

This paper motivates and defends alethic nihilism, the theory that nothing is true. I first argue that alethic paradoxes like the Liar and Curry motivate nihilism; I then defend the view from objections. The critical discussion has two primary outcomes. First, a proof of concept. Alethic nihilism strikes many as silly or obviously false, even incoherent. I argue that it is in fact well-motivated and internally coherent. Second, I argue that deflationists about truth ought to be nihilists. Deflationists (...) maintain that the utility of the truth predicate is exhausted by its expressive role, and I argue that the truth predicate can still play this expressive role even if nothing is true. As such, deflationists do not stand to lose anything by accepting nihilism. Since they also stand to gain an elegant solution to the alethic paradoxes, on balance deflationists ought to be nihilists. (shrink)

Synthetic biology is often seen as the engineering turn in biology. Philosophically speaking, entities created by synthetic biology, from synthetic cells to xenobots, challenge the ontological divide between the organic and inorganic, as well as between the natural and the artificial. Entities such as synthetic cells can be seen as hybrid or transitory objects, or neo–things. However, what has remained philosophically underexplored so far is the impact these hybrid neo–things will have on (our phenomenological experience of) the living (...) world. By extrapolating from Walter Benjamin’s account of how technological reproducibility affects the aura of art, we embark upon an exploratory inquiry that seeks to fathom how the technological reproducibility of life itself may influence our experience and understanding of the living. We conclude that, much as technologies that enabled reproduction corroded the aura of original artworks (as Benjamin argued), so too will the aura of life be under siege in the era of synthetic lifeforms. This article zooms in on a specific case study, namely the research project Building a Synthetic Cell (BaSyC) and its mission to create a synthetic cell–like entity, as autonomous as possible, focusing on the properties that differentiate organic from synthetic cells. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. (...) In Section 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

The article deals with a pivotal conceptual distinction employed in philosophical discussions about global justice. Cosmopolitans claim that arguing from the perspective of moral cosmopolitanism does not necessarily entail defending a global coercive political authority, or a "world-state", and suggest that ambitious political and economic (social) goals implied in moral cosmopolitanism may be achieved via some kind of non-hierarchical, dispersed and/or decentralised institutional arrangements. I argue that insofar as moral cosmopolitans retain "strong" moral claims, this is an untenable position, and (...) that the goals of cosmopolitan justice, as explicated by its major proponents, require nothing less than a global state-like entity with coercive powers. My background ambition is to supplement some existing works questioning the notion of "governance without government" with an argument that goes right to the conceptual heart of cosmopolitan thought. To embed my central theoretical argument in real-world developments, I draw on some recent scholarship regarding the nature of international organizations, European Union, or transnational democratization. Finally I suggest that only after curbing moral aspirations in the first place can a more self-consciously moderate position be constructed, one that will carry practical and feasible implications for institutional design. (shrink)

The constituents of social entities (and of social continuants in particular) determine whether or not a social thing comes to be, persists and perishes. John Searle hints at two very different accounts for the persistence of social entities, a mere past related account and an acceptance theoretic account, whereas Margaret Gilbert's account is based on deontic entities like obligations or joint commitments. I demonstrate that Gilbert's account can also accommodate Searle's examples. While oblivion, protests or violence (...) can be historical causes of the destruction of social entities, they cannot be considered to be the ultimate causes of the perishing from Gilbert's point of view. Social entities rather perish because of the treatises or divorces that dissolve their deontic constituents. (shrink)

A model of consciousness and conscious experience is introduced. Starting with a non-Lipschitz Chaotic dynamics of neural activity, we propose that the synaptic transmission between adjacent as well as distant neurons should be regulated in brain dynamics through quantum tunneling. Further, based on various studies of different previous authors, we consider the emergence of very large quantum mechanical system representable by an abstract quantum net entirely based on quantum-like entities having in particular the important feature of expressing self-reference (...) similar to what occurs in consciousness. The properties of such quantum-like mind entities are discussed in detail. A quantum-like model of conscious experience is also discussed. It is shown that such quantum mechanical entities are able to arrange themselves alternatively on the basis of the subject story, memory, and pain-pleasure in response to an external stimulus, thus giving the subject the possibility to response to the stimulus on the basis of his emotion as well as cognitive state. Finally, we discuss the possible connections between the quantum-like model introduced in this paper and the chaotic behaviors often identified experimentally in studies on brain dynamics. Part I of this article contains: Introduction; 1. Non Lipschitz Terminal Dynamics of Single Neuron Activity; and References; 2. Quantum Mechanical Properties of Neuron Dynamics; and 3. A Quantum Model of Consciousness I. (shrink)

In Replacing Truth, Scharp takes the concept of truth to be fundamentally incoherent. As such, Scharp reckons it to be unsuited for systematic philosophical theorising and in need of replacement – at least for regions of thought and talk which permit liar sentences and their ilk to be formulated. This replacement methodology is radical because it not only recommends that the concept of truth be replaced, but that the word ‘true’ be replaced too. Only Tarski has attempted anything (...) class='Hi'>like it before. I dub such a view Conceptual Marxism. In assessing this view, my goals are fourfold: to summarise the many components of Scharp’s theory of truth; to highlight what I take to be some of the excess baggage carried by the view; to assess whether, and to what extent, the extreme methodology on offer is at all called for; finally, to briefly propose a less radical replacement strategy for resolving the liar paradox. (shrink)

Mereological entities often seem to violate ‘ordinary’ ideas of what a concrete object can be like, behaving more like sets than like Aristotelian substances. However, the mereological notions of ‘part’, ‘composition’, and ‘sum’ or ‘fusion’ appear to find concrete realisation in the actual semantics of mass nouns. Quine notes that ‘any sum of parts which are water is water’; and the wine from a single barrel can be distributed around the globe without affecting its identity. Is (...) there here, as some have claimed, a ‘natural’ or ‘innocent’ form of mereology? The claim rests on the assumption that what a mass noun such as ‘wine’ denotes — the wine from a single barrel, for example — is indeed a unit of a special type, the sum or fusion of its many ‘parts’. The assumption is, however, open to question on semantic grounds. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of (...) all the sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our (...) relationship as thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It is (...) true that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

The answer to some of the longstanding issues in the 20th century theoretical physics, such as those of the incompatibility between general relativity and quantum mechanics, the broken symmetries of the electroweak force acting at the subatomic scale and the missing mass of Higgs particle, and also those of the cosmic singularity and the black matter and energy, appear to be closely related to the problem of the quantum texture of space-time and the fluctuations of its underlying geometry. Each region (...) of space landscape seem to be filled with spacetime weaved and knotted networks, for example, spacetime has immaterial curvature and structures, such as topological singularities, and obeys the laws of quantum physics. Thus, it is filled with potentialparticles, pairs of virtual matter and anti-matter units, and potential properties at the quantum scale. For example, quantum entities (like fields and particles) have both wave (i.e., continuous) and particle (i.e., discrete) properties and behaviors. At the quantum level (precisely, the Planck scale) of space-time such properties and behaviors could emerge from some underlying (dynamic) phase space related to some field theory. Accordingly, these properties and behaviors leave their signature on objects and phenomena in the real Universe. In this paper we consider some conceptual issues of this question. (shrink)

Social individuals are social entities having a distinctive individuality, often signaled by the use of a proper name to designate them. This article proposes an account of social individuals based on the notion of a mental file, understood as a repository of information about a single individual. First, I consider a variant of the puzzle of the ship of Theseus in which the object having problematic identity conditions is a social individual, namely, a rock band. Then, I argue that (...) we can figure out such identity conditions by considering the mental files concerning this band. In conclusion, I outline a version of social constructionism according to which the existence of social individuals like bands depends on mental files about them. (shrink)

The current economic and societal production system gives money a magnified importance, overlooking other essential flows necessary for human survival and existence. It focuses on monetary indicators like profits, dividends, and GDPs to evaluate organizational production, while often disregarding outputs that harm the biosphere. Money is treated as the constitutive being (ousia) and attributed undemonstrated explanatory properties. Intangible flow theory helps eliminate this metaphysical status of money by recognizing that monetary flows are just one of many necessary flows for (...) human survival and existence. Organizations deliver product-flows that require input-flows from and send output-flows back to the encompassing biosphere, whether they explicitly engage in environmentally friendly activities or not. Therefore, every organization is an ecological entity because it has a relationship with the biosphere, which participates in the manner through which humans integrate into their surrounding environment and relate to other living beings. Eliminating the metaphysical status of money integrates every organization in the biosphere, making organizations accountable for environmental harm caused by their activities. This can be achieved by deconstructing the metaphysical status of money in business models. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

This is a serious critque of Whitehead's "epochal theory of time." It argues that our human experience of time is more like Whitehead's divine continuous concrescence than it is like temporal atomism. It offers additional arguments against temporal atomism at either the human or divine levels, and arguments for conceiving selves at both the divine and human levels as actual entities.

Value claims about ecological entities, their functionality, and properties take center stage in so-called “ecological” ethical and aesthetic theories. For example, the claim that the biodiversity in an old-growth forest imbues it with “value in and for itself” is an explicit value claim about an ecological property. And the claim that one can study “the aesthetics of nature, including natural objects...such as ecosystems” presupposes that natural instances of a type of ecological entity exist and can be regarded as more (...) or less aesthetically valuable. My discussion below will bear wide implications for how claims like... (shrink)

Like most, if not all, of his contemporaries, Spinoza never developed a full-fledged philosophy of mathematics. Still, his numerous remarks about mathematics attest not only to his deep interest in the subject (a point which is also confirmed by the significant presence of mathematical books in his library), but also to his quite elaborate and perhaps unique understanding of the nature of mathematics. At the very center of his thought about mathematics stands a paradox (or, at least, an apparent (...) paradox): mathematics provides Spinoza with an epistemic model. Mathematical knowledge is certain (II/138/9 and II/138/9), clear (IV/261/8), and free from teleological thinking (II/79/33), but the objects of mathematical knowledge – i.e., mathematical entities – are nothing but “auxila imaginationis [aids of the imagination],” (IV/57/16 and II/83/15), entities that are not real and merely assist the imagination in carving the world in manner that is suitable to our limited and distortive cognitive capacities. (shrink)

We review our approach to quantum mechanics adding also some new interesting results. We start by giving proof of two important theorems on the existence of the A(Si) and i,±1 N Clifford algebras. This last algebra gives proof of the von Neumann basic postulates on the quantum measurement explaining thus in an algebraic manner the wave function collapse postulated in standard quantum theory. In this manner we reach the objective to expose a self-consistent version of quantum mechanics. In detail we (...) realize a bare bone skeleton of quantum mechanics recovering all the basic foundations of this theory on an algebraic framework. We give proof of the quantum like Heisenberg uncertainty relations using only the basic support of the Clifford algebra. In addition we demonstrate the well known phenomenon of quantum Mach Zender interference using the same algebraic framework, as well as we give algebraic proof of quantum collapse in some cases of physical interest by direct application of the theorem that we derive to elaborate the i,±1 N algebra. We also discuss the problem of time evolution of quantum systems as well as the changes in space location, in momentum and the linked invariance principles. We are also able to re-derive the basic wave function of standard quantum mechanics by using only the Clifford algebraic approach. In this manner we obtain a full exposition of standard quantum mechanics using only the basic axioms of Clifford algebra. We also discuss more advanced features of quantum mechanics. In detail, we give demonstration of the Kocken-Specher theorem, and also we give an algebraic formulation and explanation of the EPR paradox only using the Clifford algebra. By using the same approach we also derive Bell inequalities. Our formulation is strongly based on the use of idempotents that are contained in Clifford algebra. Their counterpart in quantum mechanics is represented by the projection operators that, as it is well known, are interpreted as logical statements, following the basic von Neumann results. Von Neumann realized a matrix logic on the basis of quantum mechanics. Using the Clifford algebra we are able to invert such result. According to the results previously obtained by Orlov in 1994, we are able to give proof that quantum mechanics derives from logic. We show that indeterminism and quantum interference have their origin in the logic. Therefore, it seems that we may conclude that quantum mechanics, as it appears when investigated by the Clifford algebra, is a two-faced theory in the sense that it looks from one side to “matter per se”, thus to objects but simultaneously also to conceptual entities. We advance the basic conclusion of the paper: There are stages of our reality in which we no more can separate the logic ( and thus cognition and thus conceptual entity) from the features of “matter per se”. In quantum mechanics the logic, and thus the cognition and thus the conceptual entity-cognitive performance, assume the same importance as the features of what is being described. We are at levels of reality in which the truths of logical statements about dynamic variables become dynamic variables themselves so that a profound link is established from its starting in this theory between physics and conceptual entities. Finally, in this approach there is not an absolute definition of logical truths. Transformations , and thus … “redefinitions”…. of truth values are permitted in such scheme as well as the well established invariance principles, clearly indicate . (shrink)

In the philosophical literature on the definition of lying, the analysis is generally restricted to cases of flat-out belief. This chapter considers the complex phenomenon of lies involving partial beliefs – beliefs ranging from mere uncertainty to absolute certainty. The first section analyses lies uttered while holding a graded belief in the falsity of the assertion, and presents a revised insincerity condition, requiring that the liar believes the assertion to be more likely to be false than true. The second (...) section analyses assertions that express graded beliefs, exploring how mitigation and reinforcement can alter the insincerity conditions for lying. The last section considers the case of lies that attack certainty (knowledge-lies), understood as attempt to alter the hearer's graded beliefs. (shrink)

A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two distinct (...) components, the observed U and the observer I. The observed U consist of all the events I is aware of. A vast majority of these occur simultaneously. Now if I were to be an entity within the space-time continuum, all of these events of U together with I would have to occur at one point in space-time. However, U is distributed over a definite region of space-time (region in brain). Thus, I is aware of a multitude of space-like separated events. It is seen that this awareness necessitates I to be an entity outside the space-time continuum. With I taken as such, a new concept called concept A is introduced. With the help of concept A a very important axiom of consciousness, namely Free Will is explained. (shrink)

Biology, or life science, has particularly marked the twentieth and twenty-first centuries as a discipline. Due to its focus on the study of living entities, it distinguishes itself from other natural sciences in terms of subject matter, methods, and scope. The importance of biology is likely to continue growing in the coming years and centuries, leading to an increased interest in the history and philosophy of biology. Consequently, there is a need to illuminate methods that shed light on the (...) history and philosophy of biology. Drawing inspiration from Aristotle’s perspective on knowledge, this study proposes three distinct viewpoints in the history of biology. These perspectives are named the Nonteleological- Contingent View, Nominalistic-Terminologistic View, and Contentual-Contextual View. Accordingly, the roots of biology can be traced back to Aristotle. It is argued that biology can be considered a science initiated by Aristotle, and the extent of Aristotle’s contributions to the field of biology is indicated with references to the page count of his works in this domain. Furthermore, attention is drawn to the intellectual continuity between Aristotle and Ibn Sina (Avicenna), emphasizing Ibn Sina’s role as a scholar who produced original works through updates and syntheses. (shrink)

An ontology of geographic kinds is designed to yield a better understanding of the structure of the geographic world, and to support the development of geographic information systems that are conceptually sound. This paper first demonstrates that geographical objects and kinds are not just larger versions of the everyday objects and kinds previously studied in cognitive science. Geographic objects are not merely located in space, as are the manipulable objects of table-top space. Rather, they are tied intrinsically to space, and (...) this means that their spatial boundaries are in many cases the most salient features for categorization. The ontology presented here will accordingly be based on topology (the theory of boundary, contact and separation) and on mereology (the theory of extended wholes and parts). Geographic reality comprehends mesoscopic entities, many of which are best viewed as shadows cast onto the spatial plane by human reasoning and language. Because of this, geographic categories are much more likely to show cultural differences in category definitions than are the manipulable objects of table-top space. (shrink)

Which do we conceptualize like Human in opposition to non Human ? The institution of “large shares” or “The Great Divide”, in terms of categories between the Human one and the non Human one, is far from to be always established in various times and Human spaces, such as we generally think it. This apparently natural institution, even expresses, appears after examination much less obviates that we thought it traditionally. For this reason, it constitutes an object of intellectual investigations (...) of choice for many traditional knowledge such anthropology, the history, philosophy, theology, but also for the whole of contemporary sciences. Because, this category institution questions the identity even the EC what we indicate like human, and consequently, like non human. Indeed, about what and which precisely speak us when it is question of Human or the Human ones, about humanity in generic term? What do we seek to describe and qualify under the registers of Human and non Human? Which are the non Human, of the binarism category ones presupposed which institute the registers of conceptual dualism Human/humanity/inhumanity? What do we seek to think in the idea of one “beyond the human one”, which the latter institutes a differentialism between the beings or entities or contrary, seeks with the indifférencier as in certain news of anthropology who challenges any anthropocentrée & humanistic design? Most traditional definitions tend to affirm that this we claim to conceptualize & to subsume under the concept of “Human” constitutes something like a certain exception in the order of the alive one. What is it exactly of this alleged “human exception”? What does it recover precisely? In addition, to answer the interrogation: “That are the non Human ones and which is the human ones? ”, does not have anything manifesto apart from this we can crudely observe and who allows us to or not retain, more or less, certain features of appearance and the behavior. We could also answer in a provocative and relativistic way: “With each one its Human and its non Human, its humanity and its nonhumanity”, according to the configurations which we institute to return account of the whole of the interactions that we let us have or not with our multiple, material & immaterial, visible & invisible environments! There thus do not exist standards which would tend in manner more or less final and universal to govern the uses category of Human and of the Human one. For these reasons, the challenge of our short communication will be to expose presupposed and reasons of such an interest category, conceptual and descriptive fundamentally Human for the non Human one which gives an account of the multiple forms of the institution of human the versus the nonhuman one, while founding, in addition, a whole range of beings or of entities going from the one with the other, thus questioning the imaginary and real bases of our multidimensional assignments in category terms, of identity, anybody, cognitive faculties, various heritages, sensitivity, etc. (shrink)

Developments in biological technology in the last few decades highlight the surprising and ever-expanding practical benefits of stem cells. With this progress, the possibility of combining human and nonhuman organisms is a reality, with ethical boundaries that are not readily obvious. These inter-species hybrids are of a larger class of biological entities called “chimeras.” As the concept of a human-nonhuman creature is conjured in our minds, either incredulous wonder or grotesque horror is likely to follow. This paper seeks to (...) mitigate those worries and demotivate reasonable concerns raised against chimera research, all the while pressing current ethical positions toward their plausible conclusions. -/- In service of this overall aim, first, I intend to show that chimeras are far less foreign and fantastic in light of recent research in the lab; second, I intend to show that anti-realist (so-called “constructivist”) commitments regarding species ontology render the species distinction (i.e., the divide between human and nonhuman) superfluous as a basis for ethical practice; and third, I discuss some prevailing dignity accounts regarding the practical ethics of the creation, research, and treatment of chimeras. Consequently I intend to show that the adoption of this particular set of views (constructivist ontology, capacity-based ethics) in conjunction with recent research ought to justify a parallel with what we accord to humans persons, and that trajectory allows for cases of moral permissibility. (shrink)

Can We Ever See a Chair in its Totality? Synopsis of Chapter Submitted -/- Ayad Gharbawi 2023 Submission - Philosophy – Can we ever see a chair in its totality? Key Words: Metaphysics; Vision; Mind; Unity of Vision; Limitations of Man’s Perception. Word Count: 3,036 Words. Dear Sir/Madam; I hope this email finds you well. -/- My book represents a fundamental break from the conventional methodologies of psychology as it aims to be far more precise in describing the attributes of (...) the various ‘bits’ of the mind, such as – memories, vision, scent, sounds, thoughts, dreams and so on, which, in their turn, as stated, are equivalent to some sub-atomic particle quantum laws. Ultimately the book defines with strict specificity what the ‘I’, the ‘Self’ is in light of the multitudes of attributes of the parts that ultimately compose our mind, or our personality, both directly and indirectly [in other words our public and private ‘faces.’] As per this specific manuscript, I am sending you one chapter from my book – Can we ever see the ‘total’ vision of an object, say, a chair in its totality? -/- In this particular article, we note evidence that no observer can ever see the totality of any observed object because of the infinite number of variables that render it impossible for any human being to see the totality of a chair or of any perceived entity. -/- These ‘variables’ are listed in our manuscript – such as being stationary or not; optical accuracy; the angle from which the observer views the chair; the distance from which the observer views the chair; the fact that no human can see the chair from every position and angle and if the observer is not stationary and/or the chair is not stationary, those variables will also change the image of the perceived entity. -/- These variables are infinite in number which leads one to the conclusion that no perceived entity can ever be seen in its entirety given the innumerable and infinite factors that strictly govern and enforce the limitations of the vision of the observing agent in question. -/- That is of course but one mere fraction of the limitations that the observing agent has to accept. -/- Hence there is no totality of vision as per any object. No entity can ever be seen or ‘known’ in its entirety. -/- The ‘unity’ and reality of any vision of any phenomena and/or object is therefore impossible and that is one more cause why defining ‘reality’ is such a difficult if not an impossible task. -/- Thus, when we ask, ‘What does a chair look like?’ the answer is meaningless. -/- And what are the implications? -/- 1. Reality cannot be defined in any wholesome, unified manner. 2. Even though on a day-to-day basis we believe we know our minds and we see our environments, in truth, humans are severely restricted and limited to what they can know and see in their minds and their surroundings. 3. All we know and see as per our minds and our surroundings are changing discrete quantized snippets and slivers of so-called ‘reality’ – and I put the latter in those terms because reality is not and cannot be a unified, whole entity in any way and in any circumstance. -/- . (shrink)

I argue that logic is unlike science in its methodology, thus rejecting anti-exceptionalism about logic. Logic has a mathematical and a philosophical part. In its mathematical part, the methodology of logic is like that of mathematics, and no need to choose between theories arises in that part. In its philosophical part, the methodology of logic is like that of philosophy. Philosophy and mathematics are both unlike the empirical sciences in their methodology. So logic is unlike the empirical sciences (...) in its methodology. I end by looking at disagreements about the liar paradox as an example. (shrink)

The paper presents a number of empirical arguments for the perceptual view of speech comprehension. It then argues that a particular version of phenomenal dogmatism can confer immediate justification upon belief. In combination, these two views can bypass Davidsonian skepticism toward knowledge of meanings. The perceptual view alone, however, can bypass a variation on the Davidsonian argument. One reason Davidson thought meanings were not truly graspable was that he believed meanings were private (unlike behavior). But if the perceptual view of (...) speech comprehension is correct, then meanings (or at least conveyed meanings) are public objects like other perceivable entities. Hence, there is no particular problem of language comprehension, even if meanings originate in “private” mental states. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying that linguistic (...) context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

In Nemesius' treatment of providence we find an original and suggestive step in the historical development of this teaching. His treatise 'On the Nature of Man' calls for a special attention that focuses on it not only as a testimony of the reception of ancient thought, but also as a personal contribution. In particular, in addition to his criticisms of the doctrine of fate and the conception of general providence advocated by some pagan authors, we find the introduction of divine (...) freedom as a predominant factor in the presentation of providence. Divine power and its freedom (even with respect to necessary entities) establish a new and specifically Christian approach to the problem. The divine will gains in prominence and, as a consequence, the metaphysical scope of God's power, which is above the creatural concepts of contingency and necessity, is emphasised. Thus, Nemesius anticipates the more complex expositions that would later be given by the medieval scholastics, who, like him, would make an ever wider use of Aristotelian philosophy without limiting themselves to taking Platonism and the other Hellenistic schools into account. (shrink)

Atman and Brahman are the most fundamental entities of known and unknown to understand it and their relationship with each other can be understood by Mahavaakyas and References of Upanishads like Chandogya, Brihadaranyak, and Mandukya Upanishad. The concept of the relation between Atman and Brahman can be explained using concepts of Natural Science. Metaphysics of correlation of existence and necessity of both entities can be studied using this concept.

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, (...) when it comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

In their target article, Lynch, Parke, and O’Malley argue against the quick application of causal, interventionist explanatory frameworks to microbiomes and their purported role in many disparate states, from obesity to anxiety. I think the authors have undersold the force of their argument. A careful consideration of the scope of their claims, made easier by a parallel drawn from the history of explanation in neuroscience, yields a productive pessimism: that causal explanations likely operate at the wrong level of analysis for (...) dynamic, distributed, Quineian entities like the microbiome. That is, we shouldn’t expect causal explanations for microbiomes at all—and this includes the authors’ own “microbiome success story” of C. difficile. Neuroscience, with its own computationally challenging, dynamic entity—the brain—may provide lessons for how to approach something like predictive control over the microbiome. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility (...) of agents (most interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in (...) philosophy of language, semantics, and philosophy of mind. (shrink)

The aim of this exploratory paper is to review an under-appreciated parallel between group agency and artificial intelligence. As both phenomena involve non-human goal-directed agents that can make a difference to the social world, they raise some similar moral and regulatory challenges, which require us to rethink some of our anthropocentric moral assumptions. Are humans always responsible for those entities’ actions, or could the entities bear responsibility themselves? Could the entities engage in normative reasoning? Could they even (...) have rights and a moral status? I will tentatively defend the (increasingly widely held) view that, under certain conditions, artificial intelligent systems, like corporate entities, might qualify as responsible moral agents and as holders of limited rights and legal personhood. I will further suggest that regulators should permit the use of autonomous artificial systems in high-stakes settings only if they are engineered to function as moral (not just intentional) agents and/or there is some liability-transfer arrangement in place. I will finally raise the possibility that if artificial systems ever became phenomenally conscious, there might be a case for extending a stronger moral status to them, but argue that, as of now, this remains very hypothetical. (shrink)