This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...) and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)

What could be more inert than mathematical objects? Nothing distinguishes them from rocks and yet, if we examine them in their historical perspective, they don't actually seem to be as lifeless as they do at first. Conceived as they are by humans, they offer a glimpse of the breath that brings them to life. Caught in the web of a language, they cannot extricate themselves from the form that the tensive forces constraining them have given them. While they do not (...) serve a specific biological purpose, they are still, above all, possibilities of life, objects imbued with power. Though they know neither pain nor laughter, their mode or style of existence endows them with a special form of life that structures the givenness, the matter of the other entities in which they participate. Because of this, by intervening in the framework of these entities, mathematical objects condition their form of space, enjoining the entities to submit to a structure that they have not chosen. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

It is usually agreed that the Revelation Thesis about experience – the idea that the knowledge we gain by having an experience somehow “reveals” the essence, or nature, of this experience – only requires that we know the essence of the experience, not that we know, of this essence, that it is the essence of the experience. I contest this agreement. In the light of what I call the “Essentiality of Essence Principle”– the principle that whatever is in the essence (...) of something is also essentially so – I argue that the Revelation Thesis does require that we know, of the essence of an experience, that it is the essence of the experience, and draw some conclusions about the plausibility of that thesis. (shrink)

Since the 1990’s, social sciences are living their computational turn. This paper aims to clarify the epistemological meaning of this turn. To do this, we have to discriminate between different epistemic functions of computation among the diverse uses of computers for modeling and simulating in the social sciences. Because of the introduction of a new – and often more user-friendly – way of formalizing and computing, the question of realism of formalisms and of proof value of computational treatments reemerges. Facing (...) the spreading of computational simulations in all disciplines, some enthusiastic observers are claiming that we are entering a new era of unity for social sciences. Finally, the article shows that the conceptual and epistemological distinctions presented in the first sections lead to a more mitigated position: the transdisciplinary computational turn is a great one, but it is of a methodological nature. (shrink)

O autor analisa os postulados do finalismo e retira suas consequências para a delimitação do conceito de dolo. Dentre essas consequências, defende que o reconhecimento do dolo eventual na estrutura finalista do delito acontece de forma incoerente, devido, sobretudo, aos postulados que fizeram do finalismo uma das teorias mais aceitas pela doutrina, a saber: o respeito às estruturas lógico-objetiva e a inclusão do dolo no tipo subjetivo.

The credibility of digital computer simulations has always been a problem. Today, through the debate on verification and validation, it has become a key issue. I will review the existing theses on that question. I will show that, due to the role of epistemological beliefs in science, no general agreement can be found on this matter. Hence, the complexity of the construction of sciences must be acknowledged. I illustrate these claims with a recent historical example. Finally I temperate this diversity (...) by insisting on recent trends in environmental sciences and in industrial sciences. (shrink)

In the context of pluralization, sophistication, and combination of formal models, it is becoming difficult to propose uniform – or even comparable – model comparison practices. This paper outlines a broad and classificatory comparative epistemology of models. The aim of this epistemology is to propose applicable, and if necessary rectifiable, conceptual tools that can be useful to modellers as well as to historians and epistemologists. The notion of model characteristic vector – incorporating concepts of function, nature, principle and use of (...) the model – is introduced for this end. This proposal has been developed to serve a better-equipped writing of a comparative and interdisciplinary history of models and simulations. (shrink)

Par un procédé d'objections/réponses, nous passons d'abord en revue certains des arguments en faveur ou en défaveur du caractère empirique de la simulation informatique. A l'issue de ce chemin clarificateur, nous proposons des arguments en faveur du caractère concret des objets simulés en science, ce qui légitime le fait que l'on parle à leur sujet d'une expérience, plus spécifiquement d'une expérience concrète du second genre.

We have argued that the counterfactual comparative account of harm and benefit (CCA) violates the plausible adequacy condition that an act that would harm an agent cannot leave her much better off than an alternative act that would benefit her. In a recent paper in this journal, however, Neil Feit objects that our argument presupposes questionable counterfactual backtracking. He also argues that CCA proponents can justifiably reject the condition by invoking so-called plural harm and benefit. In this reply, we argue (...) that Feit’s lines of criticism are both unsuccessful. (shrink)

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological tools so as to show to what precise extent each author is right when he focuses on some empirical, instrumental or conceptual significance of his model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between types of empiricity, section 2 gives (...) conceptual tools to explain the rationale of the diverse epistemological positions presented in section 1. Finally, we claim that a careful attention to the real multiplicity of denotational powers of symbols at stake and then to the implicit routes of references operated by models and computer simulations is necessary to determine, in each case, the proper epistemic status and credibility of a given model and/or simulation. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied (...) in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films). (shrink)

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests to call pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different (...) parts or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

Architecture often relies on mathematical models, if only to anticipate the physical behavior of structures. Accordingly, mathematical modeling serves to find an optimal form given certain constraints, constraints themselves translated into a language which must be homogeneous to that of the model in order for resolution to be possible. Traditional modeling tied to design and architecture thus appears linked to a topdown vision of creation, of the modernist, voluntarist and uniformly normative type, because usually (mono)functionalist. One available instrument of calculation/representation/prescription (...) orders this conception of architecture: indeed the search for an optimal solution through mathematical calculation of a model itself mathematical, thus homogeneous and simple, is only possible when one or two functions or functional constraints are formulated, never more, and this, on a global level, therefore starting from a unique and homogenizing viewpoint. It is essential to grasp that, even applied to material and its properties or towards a particular esthetic or functional dimension, this viewpoint is thus abstractive and generalizing: disregarding singularity of context, insertion and relationship to the environment or local, social behavior. It leaves aside functional specificity and heterogeneousness – re-contextualized each time – of functions that the object or edifice are required to fulfill and optimize under diverse constraints, in their different parts. The computational turning point today’s digital design and computational architecture embody modifies these instrumental, original prescriptions, rendering them more flexible. Perhaps in light of this turnabout we should retrospectively interpret 20th century calls for modernism, functionalism and even biomorphism as being just as many ex post rationalizations in respect to techniques of strongly prescriptive modeling since our only instrument is a monolithic language, and so being, incites a top-down conception, (naturally weakly reactive to contexts), including forms whose overall appearance resembles in fine a living form. In order to liberate oneself from this and despite everything, emerge as its initiators, one has constructed from ideology and philosophy (of object, habitat, the urban) ex post, even while it is the instrument of modeling and conception that largely determines, normalizes and dictates ex ante, the possibilities and limitations of the creation of forms and living experiments4 in a given time. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

According to David Lewis’s contextualist analysis of knowledge, there can be contexts in which a subject counts as knowing a proposition just because every possibility that this proposition might be false is irrelevant in those contexts. In this paper I argue that, in some cases at least, Lewis’ analysis results in granting people non-evidentially based knowledge of ordinary contingent truths which, intuitively, cannot be known but on the basis of appropriate evidence.

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...) of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

The counterfactual comparative account of harm faces problems in cases that involve overdetermination and preemption. An influential strategy for dealing with these problems, drawing on a suggestion made by Derek Parfit, is to appeal to _plural harm_—several events _together_ harming someone. We argue that the most well-known version of this strategy, due to Neil Feit, as well as Magnus Jedenheim Edling’s more recent version, is fatally flawed. We also present some general reasons for doubting that the overdetermination and preemption problems (...) for the counterfactual comparative account can be satisfactorily solved by appealing to plural harm. (shrink)

I defend the assumption that an expression like “for Anna,” as it occurs in a sentence like “Whale meat is tasty for Anna,” is a sentential operator, against two related, albeit opposite worries. The first is that in some cases the putative operator might not be selective enough. The second is that in other cases it might on the contrary be too selective. I argue that these worries have no tendency to cast doubt on the assumption of sententiality for the (...) relevant expressions. (shrink)

I argue that a Kantian inspired investigation into animal morality is both a plausible and coherent research program. To show that such an investigation is possible, I argue that philosophers, such as Korsgaard, who argue that reason demarcates nonhuman animals from the domain of moral beings are equivocating in their use of the term ‘rationality’. Kant certainly regards rationality as necessary for moral responsibility from a practical standpoint, but his distinction between the noumenal and phenomenal means that he can only (...) establish it as a marker for morality from a theoretical standpoint. This means that when it comes to evaluating the moral capabilities of others, rationality can be neither necessary nor sufficient for morality, leaving open the possibility of other empirical markers for moral responsibility. I argue that the higher faculties, character, implicit knowledge of universality, and antecedent practical pleasures (which provide a way to distinguish between morally motivated behaviour and other types of socially motivated behaviour) can all serve as empirical markers for morality. There is empirical evidence that at least some animals have conceptual capabilities and therefore the empirical marker of the higher faculties. In addition, there is suggestive evidence that merits further investigation for the other three markers. While this will not provide a definitive answer on whether animals are capable of acting morally, it will provide a Kantian outlook that can be used to evaluate empirical and philosophical work on animal morality. (shrink)

One of the cornerstones of western theology is the doctrine of divine omnipotence. God is traditionally conceived of as an omnipotent or all-powerful being. However, satisfactory analyses of omnipotence are notoriously elusive. In this paper, I first consider some simple attempts to analyze omnipotence, showing how each fails. I then consider two more sophisticated accounts of omnipotence. The first of these is presented by Edward Wierenga; the second by Thomas Flint and Alfred Freddoso. I argue that both of these accounts (...) fail. Finally, I propose and defend a novel account of omnipotence. (shrink)

Cet article ne se veut pas un commentaire suivi de la réflexion de Wittgenstein sur les règles. Ce ne sera pas non plus un commentaire de l’interprétation que Kripke fait du « suivi de la règle » chez Wittgenstein. Il ne sera pas davantage une application des thèses de Wittgenstein ni une tentative d’application directe d’une interprétation de ces thèses à l’épistémologie de la simulation du vivant ; ce qui serait, en soi, d’ailleurs contestable. Ce travail vise seulement à approfondir (...) la réflexion sur le statut cognitif de la simulation informatique du vivant. À ce titre, qui est donc essentiellement épistémologique et ciblé, il se veut une suggestion d’interprétation conceptuelle de certaines formes de simulation informatique du vivant, suggestion elle-même adossée à une prolongation de certaines distinctions déjà effectuées par Wittgenstein et ses commentateurs au sujet des règles et de leur suivi. L’objectif est de chercher à voir si, par ce moyen, la simulation informatique du vivant, par contraste avec les pratiques plus traditionnelles de modélisation, ne pourrait pas être plus précisément expliquée et légitimée, dans ses apports épistémologiques, comme dans ses limites aussi. (shrink)

This chapter elaborates and develops the thesis originally put forward by Mary Morgan (2005) that some mathematical models may surprise us, but that none of them can completely confound us, i.e. let us unable to produce an ex post theoretical understanding of the outcome of the model calculations. This chapter intends to object and demonstrate that what is certainly true of classical mathematical models is however not true of pluri-formalized simulations with multiple axiomatic bases. This chapter thus proposes to show (...) that - and why - some of these computational simulations that are now booming in the sciences not only surprise us but also confound us. To do so, it shows too that it is needed to elaborate and articulate with some new precision the concept of weak emergence initially due, for its part, to Mark A. Bedau (1997). (shrink)

In this paper, we give a new argument for the existence of moral luck. The argument is based on a manipulation case in which two agents both lack second-order control over their actions, but one of them has first-order control. Our argument is, we argue, in several respects stronger than standard arguments for moral luck. Five possible objections to the argument are considered, and its general significance for the debate on moral luck is briefly discussed.

Voilà un livre comme on pouvait l’espérer. Centré sur la Covid-19 et sur sa diffusion, il s’installe au cœur de questions brûlantes, encore urgentes pour tout un chacun, mais il garde aussi la tête froide, prend du recul, informe, enseigne et questionne, qui plus est de façon pédagogique. Davantage : au-delà du bilan critique, il propose des perspectives inédites, voire quelques suggestions solides. Il nous donne à réfléchir sur des chemins moins balisés. À le lire, on comprendra, par l’exemple, pourquoi (...) un modèle ne peut assurer simultanément toutes les fonctions de connaissance qu’on en peut attendre (décrire, prédire, expliquer, etc.). On comprendra pourquoi il faut souvent des modèles simples mais aussi, dans certains cas, des modèles nécessairement plus compliqués. On comprendra également pourquoi il faut cultiver une pluralité de modèles, toujours dans la collégialité, souvent dans l’interdisciplinarité : non seulement pour que ces modèles prennent en compte plusieurs aspects, mais aussi pour que leurs diverses fonctions puissent entrer en dialogue, et enfin pour qu’ils s’épaulent, convergent ou se rectifient, en particulier là où l’on attend d’eux qu’ils mettent au jour des propriétés structurelles robustes, les seules offrant en retour une prise à l’action et à la décision légitimes. On comprendra enfin que la disponibilité de données à la fois pertinentes et stabilisées est un point d’achoppement majeur, dans les circonstances, tant il est discutable de paramétrer un modèle de diffusion de la Covid-19 avec les paramètres de la grippe simplement parce qu’ils sont mieux connus. (shrink)

Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If you accept (...) all sentences in Γ, then, by normativity, you make a mistake if you reject φ. In order to avoid mistakes, you should accept φ or suspend judgment about φ. Both options are problematic for pluralism. Can pluralists avoid this worry by rejecting the normativity of logic? I argue that they cannot. All else being equal, the argument goes through even if logic is not normative. (shrink)

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

There are important structural similarities in the way that animals and humans engage in unreflective activities, including unreflective social interactions in the case of higher animals. Firstly, it is a form of unreflective embodied intelligence that is ‘motivated’ by the situation. Secondly, both humans and non-human animals are responsive to ‘affordances’ (Gibson 1979); to possibilities for action offered by an environment. Thirdly, both humans and animals are selectively responsive to one affordance rather than another. Social affordances are a subcategory of (...) affordances, namely possibilities for social interaction offered by an environment: a friend’s sad face invites comforting behavior, a person waiting for a coffee machine can afford a conversation, and an extended hand affords a handshake. I will review recent insights in the nature of the bodily intentionality characteristic of unreflective action. Such ‘motor intentionality’ can be characterized as “our direct bodily inclination to act in a situated, environmental context” (Kelly 2005, p. 106). Standard interpretations of bodily intentionality see grasping an object as the paradigmatic example of motor intentionality. I will discuss the implications of another, novel perspective that emphasizes the importance of unreflective switches from one activity to another (Rietveld 2004) and understands bodily intentionality in terms of adequate responsiveness to a field of relevant affordances. In the final section I will discuss some implications for cognitive neuroscientists who use empirical findings related to the ‘mirror neuron system’ as a starting point for a theory of motor intentionality and social cognition. (shrink)

In a series of recent papers Stephen Kearns and Daniel Star argue that normative reasons to ϕ simply are evidence that one ought to ϕ, and suggest that “evidence” in this context is best understood in standard Bayesian terms. I contest this suggestion.

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at the core of (...) the FMSA is similar in both contexts: notions of “levels of system specifi cation”, “behavior of models”, “simulator”and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

In this paper we argue that standard, indexical contextualism about "knows" is unable to account for the factivity of this epistemic expression.

Dans un nombre croissant de domaines scientifiques - sciences de la nature, sciences humaines aussi bien que sciences des artefacts -, la simulation ne joue plus le rôle de succédané temporaire d'une théorie encore en gésine parce que non encore élaborée ; c'est-à-dire qu'elle ne joue plus systématiquement le rôle d'un modèle provisoire ou d'un schéma servant à condenser les mesures. C'est qu'elle n'a pas la nature d'un signe graphique, linguistique ou mathématique. Elle joue au contraire de plus en plus (...) le rôle d'une réplication détaillée du réel : elle est une intuition reconstruite avec justesse mais sans abstraction rationnelle et généralisante, donc sans transfiguration iconique. Une des limites de l'épistémologie dialectique de Bachelard tient à ce qu'elle ne donne pas les concepts pour penser assez distinctement ces pratiques contemporaines de simulation. C'est pourquoi l'A. propose de concevoir l'idée que la science contemporaine se développe non plus selon la seule dialectique matérialisme / rationalisme, mais selon la triade rationalisme/computationalisme/matérialisme. (shrink)

Many believe that objective morality requires a theistic foundation. I maintain that there are sui generis objective ethical facts that do not reduce to natural or supernatural facts. On my view, objective morality does not require an external foundation of any kind. After explaining my view, I defend it against a variety of objections posed by William Wainwright, William Lane Craig, and J. P. Moreland.

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

We propose to understand social affordances in the broader context of responsiveness to a field of relevant affordances in general. This perspective clarifies our everyday ability to unreflectively switch between social and other affordances. Moreover, based on our experience with Deep Brain Stimulation for treating obsessive-compulsive disorder (OCD) patients, we suggest that psychiatric disorders may affect skilled intentionality, including responsiveness to social affordances.

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

Om människan någon gång kommer att få förmågan att skapa nya livsformer, hur kommer det att påverka livets värde? Detta är en fråga som kan vara en källa till oro när man diskuterar konstgjort liv, men är oron befogad? I ett försök att svara på den frågan kommer jag att gå igenom några möjliga skäl till varför förmågan att skapa konstgjort liv skulle hota livets värde, och se om de verkligen ger oss skäl att oroa oss.

Artificial intelligence (AI) is becoming increasingly influential in most people’s lives. This raises many philosophical questions. One is what responsibility we have as individuals to guide the development of AI in a desirable direction. More specifically, how should this responsibility be distributed among individuals and between individuals and other actors? We investigate this question from the perspectives of five principles of distribution that dominate the discussion about responsibility in connection with climate change: effectiveness, equality, desert, need, and ability. Since much (...) is already written about these distributions in that context, we believe much can be gained if we can make use of this discussion also in connection with AI. Our most important findings are: (1) Different principles give different answers depending on how they are interpreted but, in many cases, different interpretations and different principles agree and even strengthen each other. If for instance ‘equality-based distribution’ is interpreted in a consequentialist sense, effectiveness, and through it, ability, will play important roles in the actual distributions, but so will an equal distribution as such, since we foresee that an increased responsibility of underrepresented groups will make the risks and benefits of AI more equally distributed. The corresponding reasoning is true for need-based distribution. (2) If we acknowledge that someone has a certain responsibility, we also have to acknowledge a corresponding degree of influence for that someone over the matter in question. (3) Independently of which distribution principle we prefer, ability cannot be dismissed. Ability is not fixed, however and if one of the other distributions is morally required, we are also morally required to increase the ability of those less able to take on the required responsibility. (shrink)

If we find life on another world, it will be an extremely important discovery and we will have to take great care not to do anything that might endanger that life. If the life we find is sentient we will have moral obligations to that life. Whether it is sentient or not, we have a duty to ourselves to preserve it as a study object, and also because it would be commonly seen as valuable in its own right. In addition (...) to this we would also have a duty to our fellow humans and other earthly life forms not to expose them to danger by advertently or inadvertently exposing them to potentially harmful space organisms. When space exploration turns into exploitation it will therefore be important to be able to show that a world that is up for exploitation is uninhabited before the exploitation starts. Showing that a world is uninhabited is, however, a different kind of task than showing that it is inhabited. The latter task can be accomplished through one positive finding but it is not clear how to go about the former task. In this paper I suggest that it is a gradual process asymptotically approaching certainty rather than a discovery in the traditional sense of the word. It has to be handled in two steps. The first is to connect degree of certainty with research setup. The second is to decide how certain we need to be. The first step is about the number, diversity and quality of observations. The second step is a decision we have to make based on the purpose of the investigation. The purpose and therefore the degree of certainty needed to establish that a world is uninhabited will be different for a world that is up for exploitation than for a world that is not. In the latter case it is only a matter of epistemic values. In the former case also ethical values have to be considered. (shrink)

I argue that at least some nonlinguistic animals have conceptual capabilities. First, I show that positions that take linguistic capabilities to be necessary for conceptual capabilities are unable to explain the possibility of concept acquisition. Second, I argue that awareness of abstract relations requires conceptual capabilities and success at relational matching-to-sample tasks requires awareness of the abstract relations of same and different. Crows and amazons are able to succeed at relational matching-to-sample tasks, so we should attribute conceptual capabilities to them. (...) Third, I argue that at least some nonlinguistic animals are able to have and present reasons by making and having explicit content. Fourth, I argue for an externalist account of inference that takes epistemic responsibility to be a deontic status. Fifth, and finally, I argue that at least some nonlinguistic animals should be regarded as living in normative communities because their communications meet the conditions for assertions. (shrink)

There have through history been many attempts to define 'life' but there is no generally accepted definition of 'life' at this date. As a result, some have come to believe that defining 'life' is not a fruitful endeavour. This seems to be a minority view, however, since the quest to find or create a definition of 'life' is as active as ever.

Memphis Elvis is cool; Vegas Elvis is cheesy. How come? To call something cheesy is, ostensibly, to disparage it, and yet cheesy acts are some of the most popular in popular culture today. How is this possible? The concepts of cheese, cheesy, and cheesiness play an important and increasingly ubiquitous role in popular culture today. I offer an analysis of these concepts, distinguishing them from nearby concepts like kitchy and campy. Along the way I draw attention to the important roles (...) of cultural/historical context, background knowledge, and especially artist’s intentions as they are relevant to aesthetic assessments involving cheese and related concepts. I go on to contend that these concepts, properly understood, serve as helpful test cases concerning some important issues in contemporary aesthetics, such as the paradox of negative art and the contentious debate between intentionalists and anti-intentionalists. (shrink)

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (shrink)

We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new kinds of (...) situations and thematic roles, (e.g., roles such as agent, patient and instrument), based on new compositions of existing representations. We applied our prototype in an intelligence analysis use case to test the hypothesis that a framework of this sort can produce usefully structured information from combined natural language and sensor data inputs. We further tested our hypothesis by adding an enhanced US Air Force ontology framework to our ODIS in order to (1) process a collection of sensor data, intel reports, and mission plans; (2) build composite POR representations from these data; and (3) machine analyze the fused results to infer mission threats. (shrink)

The aim of this chapter is to use philosophy and, in particular ethical theory, to identify and explore some potential conflicts.

Some authors argue that we have a moral obligation to leave Mars the way it is, even if it does not harbour any life. This claim is usually based on an assumption that Mars has intrinsic value. The problem with this concept is that different authors use it differently. In this chapter, I investigate different ways in which an uninhabited Mars is said to have intrinsic value. First, I investigate whether the planet can have moral standing. I find that this (...) is not a plausible assumption. I then investigate different combinations of objective value and end value. I find that there is no way we can know whether an uninhabited Mars has objective end value and even if it does, this does not seem to imply any moral obligations on us. I then investigate whether an uninhabited Mars can have subjective end value. I conclude that this is very plausible. I also investigate whether an uninhabited Mars can have objective instrumental value in relation to some other, non-Mars related end value. I find also this very plausible. It is also highly plausible, however, that spreading (human or other) life to a presently uninhabited Mars can also have subjective end value, as well as objective instrumental value. I mention shortly two ways of prioritising between these values: (1) The utilitarian method of counting the number of sentient beings who entertain each value and determining the strength of the values to them. (2) Finding a compromise that allows colonisation on parts of the planet while leaving other parts untouched. These methods should be seen as examples, not as an exhaustive list. Also, I do not take a definitive stand in favour of any of the two approaches, though it seems at least prima facie that the second approach may have a better chance of actually leading to a constructive result. (shrink)