In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given (...) by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics. (shrink)

The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.

A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.

We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every finite transitive frame admits a minimal characterization over K4, and that this result can not be extended to K.

We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula A which holds in those and only those frames in which every formula true inA holds.To obtain this result we find, for each finite model and each natural numbern, a formula which holds in those and only those models in which every formula true in , and involving the firstn (...) propositional letters, holds. (shrink)

The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.

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)

Populism is widely thought to be in tension with liberal democracy. This article clarifies what exactly is problematic about populism from a liberal–democratic point of view and goes on to develop normative standards that allow us to distinguish between more and less legitimate forms of populism. The point of this exercise is not to dismiss populism in toto; the article strives for a more subtle result, namely, to show that liberal democracy can accommodate populism provided that the latter conforms to (...) particular discursive norms. What the article calls a ‘liberal ethics of populism’ turns out to be closely bound up with a broader ethics of peoplehood, understood as a way of articulating who ‘the people’ are in a way that is compatible with liberal–democratic principles of political justification. Such an ethics, concludes the article, inevitably has a much wider audience than populist political actors: its addressees are all those who seek legitimately to exercise power in the name of the people. (shrink)

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)

Focused on city-scale automation, and using self-driving cars (SDCs) as a case study, this article reflects on the role of AI—and in particular, computer vision systems used for mapping and navigation—as a catalyst for urban transformation. Urban research commonly presents AI and cities as having a one-way cause-and-effect relationship, giving undue weight to AI’s impact on cities and overlooking the role of cities in shaping AI. Working at the intersection of data science and social research, this paper aims to counter (...) this trend by exploring the reverse perspective: how do cities affect the development, and expose the present limits, of SDCs? The contribution of this paper is threefold. First, by comparing urban and nonurban environments and thoroughly examining the relationship between computer vision and city-specific sociality and form, it defines machine autonomy/automation as a function of the sociotechnical milieu in which an AI system operates. Second, and related, the paper problematizes the notion of SDCs as autonomous technologies and the role it plays in envisioning contending policy arrangements and technical solutions for achieving full driving automation. Finally, the article offers insight into a materialist and spatialized understanding of AI—namely, not as an abstract quality susceptible to replication within discrete machines, but rather as a distributed property emerging through embodied interactions among a multiplicity of agents (human, non-human, and technological) within/with their environments. (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)

Popular sovereignty requires that citizens perceive themselves as being able to act and implement decisions, and that they are de facto causally connected to mechanisms of decision making. I argue that the two most common understandings of the exercise of popular sovereignty—which center on direct decision making by the people as a whole and the indirect exercise of democratic agency by elected representatives, respectively—are inadequate in this respect, and go on to suggest a complementary account that stresses the central role (...) of internally democratic and participatory political parties in actualising popular sovereignty, drawing on the democratic theory of Hans Kelsen. (shrink)

Populism is widely thought to be in tension with liberal democracy. This article clarifies what exactly is problematic about populism from a liberal–democratic point of view and goes on to develop...

Populist movements have become key players in European politics. These movements are readily criticized by journalists or political rivals, yet none of the common objections to populism seems to arrest their success. This article turns to normative political theory to cultivate sensitivity to problems arising from some existing arguments against populism, and to explore possible alternatives. It offers a critical reading of prototypical liberal and conservative arguments against populism, and proposes that the principles of solidarity and procedure provide good grounds (...) for a sustainable critique of populism. (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)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

There are three main accounts of scientific progress: 1) the epistemic account, according to which an episode in science constitutes progress when there is an increase in knowledge; 2) the semantic account, according to which progress is made when the number of truths increases; 3) the problem-solving account, according to which progress is made when the number of problems that we are able to solve increases. Each of these accounts has received several criticisms in the last decades. Nevertheless, some authors (...) think that the epistemic account is to be preferred if one takes a realist stance. Recently, Dellsén proposed the noetic account, according to which an episode in science constitutes progress when scientists achieve increased understanding of a phenomenon. Dellsén claims that the noetic account is a more adequate realist account of scientific progress than the epistemic account. This paper aims precisely at assessing whether the noetic account is a more adequate realist account of progress than the epistemic account. (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)

Purpose This study aims to explore whether face recognition technology – as it is intensely used by state and local police departments and law enforcement agencies – is racism free or, on the contrary, is affected by racial biases and/or racist prejudices, thus reinforcing overall racial discrimination. Design/methodology/approach The study investigates the causal pathways through which face recognition technology may reinforce the racial disproportion in enforcement; it also inquires whether it further discriminates black people by making them experience more racial (...) discrimination and self-identify more decisively as black – two conditions that are shown to be harmful in various respects. Findings This study shows that face recognition technology, as it is produced, implemented and used in Western societies, reinforces existing racial disparities in stop, investigation, arrest and incarceration rates because of racist prejudices and even contributes to strengthen the unhealthy effects of racism on historically disadvantaged racial groups, like black people. Practical implications The findings hope to make law enforcement agencies and software companies aware that they must take adequate action against the racially discriminative effects of the use of face recognition technology. Social implications This study highlights that no implementation of an allegedly racism-free biometric technology is safe from the risk of racially discriminating, simply because each implementation leans against our society, which is affected by racism in many persisting ways. Originality/value While the ethical survey of biometric technologies is traditionally framed in the discourse of universal rights, this study explores an issue that has not been deeply scrutinized so far, that is, how face recognition technology differently affects distinct racial groups and how it contributes to racial discrimination. (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 recent times, representation theory has become one of the most productive and interesting sub-fields in democratic theory. Arguably, the most important theoretical innovation are the so-called ‘constructivist’ approaches to political representation. These approaches play a central role in Creating Political Presence: The New Politics of Democratic Representation and The Constructivist Turn in Political Representation, two impressive volumes that take stock of the state of the art in representation theory. I discuss the two volumes by focusing on three broader and (...) interconnected themes: the problem that constructivism is meant to respond to, the tendency of representation theorists to expand the possibilities of representation as broadly as possible, and the normative aspects of political representation and how constructivists deal with them. (shrink)

In recent times, representation theory has become one of the most productive and interesting sub-fields in democratic theory. Arguably, the most important theoretical innovation are the so-called ‘constructivist’ approaches to political representation. These approaches play a central role in Creating Political Presence: The New Politics of Democratic Representation and The Constructivist Turn in Political Representation, two impressive volumes that take stock of the state of the art in representation theory. I discuss the two volumes by focusing on three broader and (...) interconnected themes: the problem that constructivism is meant to respond to, the tendency of representation theorists to expand the possibilities of representation as broadly as possible, and the normative aspects of political representation and how constructivists deal with them. (shrink)

Resumen En este artículo se reflexiona sobre la relación entre literatura y enfermedad, concentrando la atención en la perspectiva de Kierkegaard y de Kafka. Después de analizar la postura kierkegaardiana se pasa a la kafkiana y, finalmente, se comparan los resultados obtenidos. De este modo, se pueden apreciar las diferencias entre los dos planteamientos y, sucesivamente, utilizar los elementos en común para esbozar unas características interesantes sobre la relación entre literatura y enfermedad en los siglos XIX y XX en el (...) contexto de influencia alemana. Esto nos lleva a reflexionar sobre las conexiones causales entre la enfermedad y la literatura, y sobre el contexto social o íntimo en el cual estas se desarrollan.I analyze the topic of sickness in relation to 19th and 20th Century Literature in the Germanophile area. In particular, I examine Kierkegaard's and Kafka's perspectives. In the case of Kierkegaard, he principally wrote about sickness in his diaries, and in two important books: The Concept of Anxiety and The Sickness unto Death. However, Kafka wrote about the same theme in all his diaries. Therefore, in this study, I will compare the different perspectives of these two authors in relation to both sickness and literature. Through this, I will attempt to extract any key aspects that can be used for identifying a more general relation between sickness and literature in the 19th and 20th Centuries. To achieve this aim, I will firstly scrutinize Kierkegaard's posture, and then Kafka's posture. Following this, I will compare the findings to draw general conclusions. (shrink)