We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can be generalized (...) so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views about (...) knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

David Chalmers argued against the claim that for all p, or even for all entertainable p, it is knowable a priori that p iff actually p. Instead of criticizing Chalmers’s argument, I suggest that it can be generalized, in a sense, and in interesting ways, concerning other principles about contingent a priori truths. In particular, I will argue that the puzzle presented by Chalmers runs parallel to others that do not turn on ‘actually’. Furthermore, stronger arguments can be presented that (...) do not turn on apriority either, though they do entail the conclusion of Chalmers’s argument. All such puzzles involve interactions between rigidifying sentence-forming devices with factive operators. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...) on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

Rigidity does interesting philosophical work, with important consequences felt throughout metaphysics, epistemology, philosophy of mind, and so on. The authors’ aim in this article is to show that rigidity has yet another role to play, with surprising consequences for the problem of free will and determinism, for the phenomenon of rigidity has the upshot that some metaphysically necessary truths are up to us. The significance of this claim is shown in the context of influential arguments against free will. The authors (...) show that some virtually indisputable inference rules employed in formulations of the Consequence Argument, as well as in fatalistic arguments, fail with a variety of counter-examples. Along the way, the authors compare the present arguments to other, similar arguments made in recent years. (shrink)

What the rational thing to do in the face of disagreement by an epistemic peer is has been much discussed recently. Those who think that a peer’s disagreement is itself evidence against one’s belief, as many do, are committed to a special form of epistemic dependence. If such disagreement is really evidence, it seems reasonable to take it into account and to adjust one’s belief accordingly. But then it seems that the belief one ends up with depends, in part, on (...) what someone else believes, even if one does not know why that someone believes what he does. While the practical impossibility of finding actual cases of peer disagreement has been often noted, its conceptual possibility has gone unquestioned. Here we challenge this consensus and argue, first, that, strictly speaking, peer disagreement is impossible and, second, that cases of – all-too-common – near-peer disagreement present no special puzzle and require nothing more than adhering to standard principles of sensible epistemic conduct. In particular, we argue that in such cases there is no good reason to adopt the widely accepted principle that evidence of evidence is evidence. If so, even if one takes a near-peer’s disagreement as a reason for reexamining one’s belief, one is not epistemically dependent in the sense one would be if that disagreement were evidence concerning the matter in question. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

Recent research in the field of social robotics has shed light on the considerable role played by biases in the design of social robots. Cues that trigger widespread biased expectations are implemented in the design of social robots to increase their familiarity and boost interaction quality. Ethical discussion has focused on the question concerning the permissibility of leveraging social biases to meet the design goals of social robotics. As a result, integrating ethically problematic social biases in the design of robots-such (...) as, e.g., discriminatory gender stereotypes-has been opposed as morally unacceptable. Building on this debate, the present paper explores a related but different question: would it be permissible to design social robots in ways that intentionally challenge widespread discriminatory social biases, thus fostering moral education? The analysis shows that, while the potential benefits of such a design strategy could be significant, its practical endorsement raises important ethical issues. Hence, caution and further discussion are advised. (shrink)

In the process of scientific discovery, knowledge ampliation is pursued by means of non-deductive inferences. When ampliative reasoning is performed, probabilities cannot be assigned objectively. One of the reasons is that we face the problem of the unconceived alternatives: we are unable to explore the space of all the possible alternatives to a given hypothesis, because we do not know how this space is shaped. So, if we want to adequately account for the process of knowledge ampliation, we need to (...) develop an account of the process of scientific discovery which is not exclusively based on probability calculus. We argue that the analytic view of the method of science advocated by Cellucci is interestingly suited to this goal, since it rests on the concept of plausibility. In this perspective, in order to account for how probabilities are in fact assigned in uncertain contexts and knowledge ampliation is really pursued, we have to take into account plausibility-based considerations. (shrink)

Artificial Intelligence (AI) systems are ubiquitous. From social media timelines, video recommendations on YouTube, and the kinds of adverts we see online, AI, in a very real sense, filters the world we see. More than that, AI is being embedded in agent-like systems, which might prompt certain reactions from users. Specifically, we might find ourselves feeling frustrated if these systems do not meet our expectations. In normal situations, this might be fine, but with the ever increasing sophistication of AI-systems, this (...) might become a problem. While it seems unproblematic to realize that being angry at your car for breaking down is unfitting, can the same be said for AI-systems? In this paper, therefore, I will investigate the so-called “reactive attitudes”, and their important link to our responsibility practices. I then show how within this framework there exist exemption and excuse conditions, and test whether our adopting the “objective attitude” toward agential AI is justified. I argue that such an attitude is appropriate in the context of three distinct senses of responsibility (answerability, attributability, and accountability), and that, therefore, AI-systems do not undermine our responsibility ascriptions. (shrink)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

In this paper I critically evaluate the value neutrality thesis regarding technology, and find it wanting. I then introduce the various ways in which artifacts can come to influence moral value, and our evaluation of moral situations and actions. Here, following van de Poel and Kroes, I introduce the idea of value sensitive design. Specifically, I show how by virtue of their designed properties, artifacts may come to embody values. Such accounts, however, have several shortcomings. In agreement with Michael Klenk, (...) I raise epistemic and metaphysical issues with respect to designed properties embodying value. The concept of an affordance, borrowed from ecological psychology, provides a more philosophically fruitful grounding to the potential way(s) in which artifacts might embody values. This is due to the way in which it incorporates key insights from perception more generally, and how we go about determining possibilities for action in our environment specifically. The affordance account as it is presented by Klenk, however, is insufficient. I therefore argue that we understand affordances based on whether they are meaningful, and, secondly, that we grade them based on their force. (shrink)

En este artículo se plantean algunas consideraciones clásicas que santo Tomás de Aquino formuló sobre la fundamentación de la ley como producto de la razón y su relación con las leyes de los hombres. Se analiza el papel de la sindéresis como vínculo del individuo con la ius naturae y se concluye que la vida buena tiene un referente en el “estado de derecho” y en la práctica sistemática de las virtudes morales.

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...) Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

The present paper aims at contributing to the ethical debate on the impacts of artificial intelligence (AI) systems on human autonomy. More specifically, it intends to offer a clearer understanding of the design challenges to the effort of aligning driving automation technologies to this ethical value. After introducing the discussion on the ambiguous impacts that AI systems exert on human autonomy, the analysis zooms in on how the problem has been discussed in the literature on connected and automated vehicles (CAVs). (...) On this basis, it is claimed that the issue has been mainly tackled on a fairly general level, and mostly with reference to the controversial issue of crash-optimization algorithms, so that only limited design insights have been drawn. However, integrating ethical analysis and design practices is critical to pursue the implementation of such an important ethical value into CAV technologies. To this aim, it is argued, a more applied approach targeted at examining the impacts on human autonomy of current CAV functions should also be explored. As an example of the intricacy of this task, the case of automated route planning is discussed in some detail. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on (...) nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

Anhand der genaueren Analyse von Newtons experimentum crucis und der Argumentation, die er auf dieses Experiment stützt, sowie Goethes Kritik hieran sollen im Folgenden zwei verbreitete Vorurteile revidiert werden: -/- 1. Newton ist kein Dogmatiker, der methodische Ansprüche vertritt, die er nicht einlösen kann, sondern gründet seinen Anspruch, experimentelle Beweise führen zu können, auf einer vorbildlichen Methodologie kausaler Erklärungen, was seine Kritiker allerdings übersehen. 2. Goethe ist kein Antiwissenschaftler, der einen einzigartigen Kontrapunkt zur vorherrschenden wissenschaftlichen Tradition bildet, sondern steht inmitten (...) traditioneller Auffassungen zur Farbenlehre, deren experimentelle und methodologische Grundlagen bezüglich eines Erklärungsanspruches denen Newtons unterlegen sind. (shrink)

In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM. In this case, he says, one has to conclude that the interpretation of P as “P is unprovable” must be given up. This “notorious paragraph” has heated up a debate on whether the point Wittgenstein has to make is one of “great philosophical interest” revealing “remarkable insight” in (...) Gödel’s proof, as Floyd and Putnam suggest (Floyd (2000), Floyd (2001)), or whether this remark reveals Wittgenstein’s misunderstanding of Gödel’s proof as Rodych and Steiner argued for recently (Rodych (1999, 2002, 2003), Steiner (2001)). In the following the arguments of both interpretations will be sketched and some deficiencies will be identified. Afterwards a detailed reconstruction of Wittgenstein’s argument will be offered. It will be seen that Wittgenstein’s argumentation is meant to be a rejection of Gödel’s proof but that it cannot satisfy this pretension. (shrink)

The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined in contrast to classical logic. The detailed elaboration of Wittgenstein’s conception depends on the realization of his ab-notation for first order logic.

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...) its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then logical analysis of colors.

Es wird gezeigt, dass Wittgenstein in seiner Frühphilosophie ein nicht-axiomatisches Beweisverständnis entwickelt, für das sich das Problem der Begründung der Axiome nicht stellt. Nach Wittgensteins Beweisverständnis besteht der Beweis einer formalen Eigenschaft einer Formel – z.B. der logischen Wahrheit einer prädikatenlogischen Formel oder der Gleichheit zweier arithmetischer Ausdrücke – in der Transformation der Formel in eine andere Notation, an deren Eigenschaften sich entscheiden lässt, ob die zu beweisende formale Eigenschaft besteht oder nicht besteht. Dieses Verständnis grenzt Wittgenstein gegenüber einem axiomatischen (...) Beweisverständnis ab. Sein Beweisverständnis bedingt ein Programm der Grundlegung der Mathematik, das eine Alternative zu den Ansätzen des Logizismus, Formalismus und Konstruktivismus darstellt. Wittgensteins Ansatz steht im Widerspruch zu den Ergebnissen der Metamathematik, da er die Möglichkeit der Formulierung von Entscheidungsverfahren in der Prädikatenlogik und Arithmetik voraussetzt. Um seinem Ansatz gegenüber der traditionellen Metamathematik Recht zu geben, müsste gezeigt werden, dass sein Beweisverständnis im Bereich der Logik und Arithmetik – der traditionellen Metamathematik zum Trotz – realisierbar ist. (shrink)

This book offers a systematic and thorough philosophical analysis of the ways in which driving automation crosses path with ethical values. Upon introducing the different forms of driving automation and examining their relation to human autonomy, it provides readers with in-depth reflections on safety, privacy, moral judgment, control, responsibility, sustainability, and other ethical issues. Driving is undoubtedly a moral activity as a human act. Transferring it to artificial agents such as connected and automated vehicles necessarily raises many philosophical questions. When (...) driving is automated, what happens to its ethical dimensions? Could artificial agents accomplish ethical objectives on our behalf, take moral decisions in our place, and drive us into a more ethical transportation future? In doing so, would they be “moral” as we are or in a way that is similar to, but also remarkably different from, our own? And what role is yet to be played by human responsibility and commitment? The book addresses these questions with the aim of stimulating an interdisciplinary dialogue between different stakeholders. They include automotive engineers, computer scientists, and moral philosophers, as well as industry representatives, policymakers, regulators, transportation experts, and the general public. Indeed, connected and automated vehicles will not take the high road for us . We must drive them there. (shrink)

In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...) naturalistic perspective, and formalizing it seems to be a way to strengthen its scientificity. The paper shows that, on the contrary, those directions of research may be seen as conflicting, since the conception of knowledge on which they rest may be undermined by the consequences of accepting an evolutionary perspective. (shrink)

L’Intelligenza Artificiale Generativa (IAG) pone sfide inedite all’educazione universitaria. Dalla definizione dei contenuti alla valutazione delle prove e alla determinazione delle modalità di esame, questo nuovo e potente strumento inaugura una stagione di cambiamenti su cui è urgente riflettere. La tecnologia contribuisce da sempre a dare forma al lavoro didattico, il quale evolve anche alla luce delle opportunità e dei rischi che essa introduce. Come far sì che l’evoluzione stimolata dall’IAG sia felice, ovvero serva i valori e gli obiettivi della (...) didattica e delle persone che la vivono? Ne ho discusso con alcuni colleghi dell’Unità di Studi META del Politecnico di Milano – docenti impegnati a vario titolo in corsi di carattere filosofico e sociale rivolti a studenti di formazione tecnica. (shrink)

The purpose of Machine Ethics is to develop autonomous technologies that are able to manage not just the technical aspects of a tasks, but also the ethical ones. As a consequence, the notion of Artificial Moral Agent (AMA) has become a fundamental element of the discussion. Its meaning, however, remains rather unclear. Depending on the author or the context, the same expression stands for essentially different concepts. This casts a suspicious light on the philosophical significance of Machine Ethics. In particular, (...) the risk arises of discarding Machine Ethics as a whole on the basis of accusations that, however, apply exclusively to one specific understanding of what AMAs are – but not to other, more adequate and convincing conceptualisations. To avoid this pitfall, this essay tries to elaborate a philosophically sound interpretation of AMAs and to sketch its primary component, i.e., the notion of functional ethics. (shrink)

This essay explores Jonas’s multifaceted and rich enquiries into the notion of image. In particular, it argues that reflecting on the “image” helps Jonas clarify the unique condition of human existence, where the twine of thought and being reveals a paradoxical (and yet crucial) relationship between time and eternity, change and permanence, immanence and transcendence. The employ of the interpretative device provided by the image enables a nuanced understanding of the human complexity which goes beyond the partial and reductive descriptions (...) of relativistic immanentism, on the one hand, and immutable transcendence, on the other. By commenting upon its anthropological, aesthetic, and ethical significance, we propose that the study of Jonas’s thoughts on the image not only offers valuable insights into the philosophical understanding of such a fascinating object, but also sheds a new and interesting light on the unity of his oeuvre. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

Interview with Stathis Psillos regarding realism in the philosophy of science and recent realist trends in Continental Philosophy.

In this paper I provide an exposition and critique of Johnson and Noorman’s (2014) three conceptualizations of the agential roles artificial systems can play. I argue that two of these conceptions are unproblematic: that of causally efficacious agency and “acting for” or surrogate agency. Their third conception, that of “autonomous agency,” however, is one I have reservations about. The authors point out that there are two ways in which the term “autonomy” can be used: there is, firstly, the engineering sense (...) of the term, which simply refers to the ability of some system to act independently of substantive human control. Secondly, there is the moral sense of the term, which has traditionally grounded many notions of human mor-al responsibility. I argue that the continued usage of “autonomy” in discussions of artificial agency complicates matters unnecessarily. This occurs in two ways: firstly, the condition of autonomy, even in its engineering sense, fails to accurately describe the way “autonomous” systems are developed in practice. Secondly, the continued usage of autonomy in the moral sense introduces unnecessary meta-physical baggage form the free will debate into discussions about moral agency. In order to understand the debate surrounding autonomy, we would therefore first need to settle many seemingly intractable metaphysical questions regarding the existence of free will in human beings. (shrink)

Scientific Realism (SR) has three crucial aspects: 1) the centrality of the concept of truth, 2) the idea that success is a reliable indicator of truth, and 3) the idea that the Inference to the Best Explanation is a reliable inference rule. It will be outlined how some realists try to overcome the difficulties which arise in justifying such crucial aspects relying on an adaptationist view of evolutionism, and why such attempts are inadequate. Finally, we will briefly sketch some of (...) the main difficulties the realist has to face in defending those crucial aspects, and how such difficulties are deeply related: they derive from the inability of SR to satisfyingly avoid the sceptical challenge of the criterion of truth. Indeed, SR seems not to be able to fill the so-called ‘epistemic gap’ (Sankey 2008). In fact, the epistemic gap cannot be filled in no way other than obtaining a criterion of truth, but such a criterion cannot be obtained if the epistemic gap obtains. (shrink)

Il problema della rappresentazione, connaturato ad ogni mediazione linguistica del rapporto di mente e mondo, è nelle sue molteplici forme un tema antico della riflessione filosofica. La rappresentazione letteraria appartiene alla stessa categoria e pone problemi analoghi al pensiero. Che cosa significa rappresentare poeticamente? Il concetto di finzione letteraria può avere solo un senso peggiorativo o limitante nei confronti della comunicazione dell’universale, o ne può essere una modalità? Il tema del saggio è il rapporto tra realtà e finzione letteraria che (...) pare emergere da I falsari di André Gide. Seguendo le intuizioni e i suggerimenti dello scrittore, si proverà a tracciare le linee principali di un’interpretazione positiva della finzione letteraria, che ne riconosca la potenza espressiva senza soffocarne i caratteri distintivi. Non è detto, poi, che ciò che vale per la rappresentazione poetica non possa avere un senso anche sotto punti di vista più generali. (shrink)

In response to the many social impacts of automated mobility, in September 2020 the European Commission published Ethics of Connected and Automated Vehicles, a report in which recommendations on road safety, privacy, fairness, explainability, and responsibility are drawn from a set of eight overarching principles. This paper presents the results of an interdisciplinary research where philosophers and engineers joined efforts to operationalize the guidelines advanced in the report. To this aim, we endorse a function-based working approach to support the implementation (...) of values and recommendations into the design of automated vehicle technologies. Based on this, we develop methodological tools to tackle issues related to personal autonomy, explainability, and privacy as domains that most urgently require fine-grained guidance due to the associated ethical risks. Even though each tool still requires further inquiry, we believe that our work might already prove the productivity of the function-based approach and foster its adoption in the CAV scientific community. (shrink)

In the present work is addressed three defining aspects of the question hermeneutics as didactic and condition to generate a shared horizon of meaning. In the first place the dialog between the text, author and reader. Second, the opening of the horizon of meaning through the question and its radical ontological. Third, the role of tradition in the construction of rational discourse and breaking through a language polysemic. Finally, we conclude that the dialog that opens horizon and shared sense is (...) the only capable of building long-term consensus and, specifically, solutions. (shrink)

The aim of this thesis is to advance a philosophically justifiable account of Artificial Moral Agency (AMA). Concerns about the moral status of Artificial Intelligence (AI) traditionally turn on questions of whether these systems are deserving of moral concern (i.e. if they are moral patients) or whether they can be sources of moral action (i.e. if they are moral agents). On the Organic View of Ethical Status, being a moral patient is a necessary condition for an entity to qualify as (...) a moral agent. This view claims that because artificial agents (AAs) lack sentience, they cannot be proper subjects of moral concern and hence cannot be considered to be moral agents. I raise conceptual and epistemic issues with regards to the sense of sentience employed on this view, and I argue that the Organic View does not succeed in showing that machines cannot be moral patients. Nevertheless, irrespective of this failure, I also argue that the entire project is misdirected in that moral patiency need not be a necessary condition for moral agency. Moreover, I claim that whereas machines may conceivably be moral patients in the future, there is a strong case to be made that they are (or will very soon be) moral agents. Whereas it is often argued that machines cannot be agents simpliciter, let alone moral agents, I claim that this argument is predicated on a conception of agency that makes unwarranted metaphysical assumptions even in the case of human agents. Once I have established the shortcomings of this “standard account”, I move to elaborate on other, more plausible, conceptions of agency, on which some machines clearly qualify as agents. Nevertheless, the argument is still often made that while some machines may be agents, they cannot be moral agents, given their ostensible lack of the requisite phenomenal states. Against this thesis, I argue that the requirement of internal states for moral agency is philosophically unsound, as it runs up against the problem of other minds. In place of such intentional accounts of moral agency, I provide a functionalist alternative, which makes conceptual room for the existence of AMAs. The implications of this thesis are that at some point in the future we may be faced with situations for which no human being is morally responsible, but a machine may be. Moreover, this responsibility holds, I claim, independently of whether the agent in question is “punishable” or not. (shrink)

In this essay I try to determine the extent to which it is possible to conceive robots and organisms as analogous entities. After a cursory preamble on the long history of epistemological connections between machines and organisms I focus on Norbert Wiener’s cybernetics, where the analogy between modern machines and organisms is introduced most explicitly. The analysis of issues pertaining to the cybernetic interpretation of the analogy serves then as a basis for a critical assessment of its reprise in contemporary (...) robotics and AI, where the line between organisms and technologies gets even more blurred. In brief, I argue for the necessity of defining the extent to which the analogy between robots and organisms applies in order not only to harness its heuristic potential, but also to keep track of the pivotal differences that distinguish the two classes of entities. Finally, I discuss how the ordinary use of language and the peculiar status of the idea of robot obstruct awareness of the differences between robots and organisms. (shrink)

During the Fifties and the Early Sixties Hans Jonas developed a theory of man based on a series of concepts as separation of form from matter, image and symbol. By reflecting on these themes, Jonas seems to refer to the aesthetic abilities man embodies as the essence of human life. In this article I try to analyse Jonas’ thoughts on man and to determine to what extent it is possible to consider his theory as an aesthetic anthropology. Eventually, I discuss (...) what Aesthetics may win by directing its attention to this author. (shrink)

The objective of this paper is to analyze the problem proposed by John R. Searle in the third chapter of his work Rationality in Action (2003) about the gap or distance that mediates between a decision and action, and how it intends to solve through the concept of the Self. We believe that this explanation is insufficient in some aspects and introduce the term Synderesis (Συντηρηοη in Greek) as argumentative line to defend the existence of decisions not contingent but free (...) from a Thomist perspective, in contrast to the proposal of the gap and the Self No-Humean. (Spanish). (shrink)