We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest (...) and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories. (shrink)

The present article aims to utilize some insights from behavioral and happiness economics to discuss the consequences that the introduction of an unconditional basic income to cope with technological unemployment may hold for well-being. The impact of 21st-century technological progress on employment has only just begun to make itself felt and it will take time to realize its full extent. However, the main innovation is already common knowledge: robots are finding their way into the production process. According to several recent (...) contributions, the phenomenon is radically different from past technological revolutions and could generate high levels of unemployment, calling for innovative redistributive public policies. The present article, building on Keynes’ short essay and referring to some of the principles and models of behavioral and happiness economics, focuses on the best-known of these policies, namely provision of an unconditional basic income. A series of factors – loss aversion and hedonic adaptation, the impossibility of escalating to higher-grade consumption behaviors, social interaction in the form of active and passive envy, loss of self-esteem and social stigma – are all likely to have a negative impact on well-being if an unconditional basic income that remains unchanging over time is implemented. A policy mix combining a rising basic income with other measures is therefore proposed. (shrink)

The scope and mission of the history of science have been constant objects of reflection and debate within the profession. Recently, Lorraine Daston has called for a shift of focus: from the history of science to the history of knowledge. Such a move is an attempt at broadening the field and ridding it of the contradictions deriving from its modernist myth of origin and principle of demarcation. Taking the move from a pluralistic concept of medicine, the present paper explores the (...) actual and possible contributions that a history of knowledge can offer to the history of medicine in particular. As we will argue, the history of medicine has always been a history of knowledge, but for good reasons has always stuck to the concept of medicine as its object and problem throughout the ages, including the modern, scientific one. We argue that, in the history of medicine, the demarcation between scientific and non‐scientific represents an accident, but is not foundational as in the case of natural science. Furthermore, the history of medicine programmatically played a role in at least two academic domains (history proper and medical education), adjusting historical narratives of medical knowledge to its audience. Accordingly, we underscore that the history of both science and medicine, as traditionally defined, already provides room for almost the whole spectrum of approaches to history. Moreover, their different myths of origin can, and indeed must, be included in the reflexivity of the historical gaze. We argue that the position towards a history of science, medicine, or knowledge is not a question of narrative or theory, rather, it is a question of relevance and awareness of extant contexts. (shrink)

We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge of a previous (...) epistemic attitude toward p*. We analyze two main cases, that of plan-related propositions and that of propositions without plans. We also discuss the connections between truth unpersistence and evidentiality. (shrink)

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction (...) of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers. (shrink)

There are sentences that express the same temporally fully specified proposition at all contexts--call them 'context-insensitive, temporally specific sentences.' Sentence (1) 'Obama was born in 1961' is a case in point: at all contexts, it expresses the proposition ascribing to the year 1961 the property of being a time in which Obama was born. Suppose that someone uttered (1) in a context located on Christmas 2000 in our world. In this context, (1) is a true sentence about the past. Moreover, (...) it seems impossible that (1) will be false in a successive context (one located, say, on Christmas 2020 in our world). More generally, one might be tempted to endorse the following principle: if a context-insensitive, temporally specific sentence is uttered in a context in which it is about the past and takes a certain truth value in this context, it cannot be the case that it takes a different truth value in a successive context located in the same world. In this paper, we present linguistic evidence that shows that this principle fails. On this basis, we draw an apparently crazy conclusion: the past can change. We then explain why this conclusion is not that crazy, after all. (shrink)

In Brazil, the normative landscape around advertising is complex, not the least because of limitations inherent to dispute resolution mechanisms. Focusing on unhealthy food and beverages, this case study identifies some challenges and opportunities around advertising restrictions, including in relation to freedom of speech.

This book explores the various connections between Law and Opera, providing a comprehensive, multinational, and multidisciplinary resource on the subject. Further, it makes a valuable contribution to studies on law and the humanities. While, for example, the relationship between law and literature has been extensively researched, the relationship between Law and Opera remains largely overlooked. The book approaches the topic from three perspectives in three main sections: Law in Opera, Law on Opera, and Law around Opera.

Lógica, formação escolar e filosofia entre os jesuítas Resumo: O interesse mais direto deste artigo é a relação entre a Lógica e a formação filosófica na educação jesuíta. Para compor uma imagem da importância e da concreção da Lógica na formação proposta pelos inacianos, nós nos concentraremos na Ratio Studiorum e na obra do jesuíta português Pedro da Fonseca (1526-1599). A razão do recorte proposto é que as reflexões de Fonseca sobre o tema parecem, por um lado, orientar outros jesuítas, (...) como é o caso de Sebastião do Couto, que é o autor da dialética do Curso Conimbricense; por outro, elas são mais completas, sobretudo pela atenção dada por Fonseca ao método e às disputationes. De posse do conceito de Lógica de Fonseca, concluímos com a indicação de caminhos contemporâneos de revisitação de lógicas do passado. Palavras-chave: lógica; método; educação; jesuítas. Logic, school education and philosophy among the Jesuits Abstract: The most direct interest of this article is the relationship between Logic and philosophical formation in Jesuit education. In order to produce an image of the importance and concretion of Logic in the formation proposed by the Ignatians, we will focus on the Ratio Studiorum and on the work of the Portuguese Jesuit Pedro da Fonseca (1526-1599). The reason for the proposed approach is that Fonseca's reflections on the subject seem, on the one hand, to guide other Jesuits, such as Sebastião do Couto, who is the author of the dialectic of Curso Conimbricense; on the other hand, Fonseca’s conception of logic is more complete regarding the other Jesuits, especially due to the attention given by our author to the method and the disputationes. In possession of Fonseca's Logic concept, we conclude with an indication of contemporary paths for revisiting the logics of the past. Key-words: logic; method; education; Jesuits. Logica, educazione scolastica e filosofia tra i gesuiti Abstract: L’interesse più diretto di questo articolo è il rapporto tra Logica e la formazione filosofica nell’educazione dei gesuiti. Per produrre un’immagine dell’importanza e della concretezza della Logica nella formazione proposta dagli inaziani, ci concentreremo nella Ratio Studiorum e nell’opera del gesuita portoghese Pedro da Fonseca (1526-1599). Il motivo di questa scelta è che le riflessioni di Fonseca sull’argomento sembrano, da un lato, guidare gli altri gesuiti, come Sebastião do Couto, cioè, l’autore della dialettica del Curso Conimbricense; da l’altro, la concezione di logica di Fonseca è più completa riguardo ad’altri gesuiti, soprattutto per l’attenzione data dall’autore al metodo e alle disputationes. Possedendo il concetto di logica di Fonseca, concludiamo con l’indicazione di modi contemporanei di rivisitare le logiche del passato. Parole chiave: logica ; metodo ; educazione ; gesuiti. Data de registro: 16/09/2021 Data de aceite: 01/12/2021. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

Uma das questões mais interessantes do debate contemporâneo sobre a justiça, no âmbito da teoria política normativa, diz respeito sobre qual foco deveria ocupar a posição central de uma visão igualitarista: igualdade baseada em satisfação de necessidades básicas, bens primários como propõe Rawls, igualdade de recursos como defende Dworkin ou, como quer Amartya Sen, igualdade de capacidades? Com o que, afinal, os igualitaristas deveriam se preocupar? Este trabalho tem o objetivo de analisar criticamente essas três perspectivas.

A famosa filosofia materialista e ateísta de Holbach é menos conhecida por sua dimensão política. Ainda assim, o autor propôs uma teoria original do contrato social em suas obras da década de 1770. Este artigo detalha as principais características de seu pensamento político e de sua ideia de contrato social, destacando sua proposta de uma “Etocracia”, que se fundamenta na utilidade e na justiça. Essa Etocracia abre caminho para um republicanismo pluralista com traços originais na história das ideias. Holbach era (...) leitor de Hobbes e Locke, conhecido de Rousseau e propôs várias críticas aos escritos políticos desses autores. Por meio de cinco críticas principais, este artigo mostra ainda o valor da teoria positiva de Holbach em conceitos-chave como estado de natureza, sociabilidade, propriedade, vontade geral e igualdade. Por último, a potencial contribuição de Holbach para a teoria política é destacada, mostrando como esse autor, em grande medida esquecido, merece a nossa atenção nos dias de hoje. (shrink)

Unworkable discusses the ongoing implosion of our globalized world from three distinct angles: the capitalist elimination of labor through technological automation, the dissolution of our shared social narratives, and the subtle imposition of an increasingly pervasive ideological order. Aiming to root out the lost cause of this implosion, Fabio Vighi returns to Marx by way of Hegel, Lacan, Gorz, Baudrillard, and other thinkers who, in different ways, have reflected on the complex dialectical structure of modernity and its hidden conditions (...) of possibility. Capitalism, Vighi argues, fundamentally redefined the meaning of work and prevented the emergence of alternative forms of life. In our own time, the delusions of work and the values that propel life under capitalism have become, in Vighi's analysis, unworkable. And yet, even as we become an increasingly "workless" society, we continue to abide by the same laws of productivity and profit. (shrink)

Fábio Alves dos Santos (1954-2013) cursou Pedagogia, Ciências Sociais e Teologia, era Especialista em Filosofia da Religião (PUC Minas), Advogado (PUC Minas) e Mestre em Direito Constitucional (UFMG). Lecionou na PUC Minas como professor de Cultura Religiosa e depois como professor no Curso de Direito, atuando principalmente no Serviço de Assistência Judiciária – SAJ, especialmente cuidado de causas populares como as da ASMARE (Associação dos Catadores de Papel, Papelão e Material Reaproveitável de Belo Horizonte), da Pastoral de Rua, da Pastoral (...) Carcerária, de movimentos de “Sem Casa”, de ocupações e tantos outros grupos. Fábio sofria de grave problema de visão há mais de 15 anos. Quase ficou cego depois de diversas cirurgias de miopia. Isso, porém, não o impedia de seguir seu constante compromisso com as lutas populares. Na última entrevista que concedeu, menos de um mês antes de sua morte (19 de outubro de 2013), depois de duro sofrimento de quase dois anos, no tratamento de um câncer no pâncreas, conta um pouco de sua vida, sua luta e sua percepção de várias realidades, especialmente da Igreja e da pastoral. Militante formado na Teologia da Libertação, de profunda espiritualidade, marcada por traços da religiosidade popular nordestina e comprometida com a libertação, Fábio Alves também buscou em sua vida abrir-se à teologia do pluralismo religioso, especialmente com o Santo Daime, em cuja tradição religiosa chegou a ser “fardado”, mantendo uma profunda atitude espiritual aberta ao diálogo inter-religioso. Sua primeira publicação foi “Começo de mundo novo: sofrimento, luta e vitória dos posseiros de Santana dos Frades”, Sergipe, numa versão popular em 1981 e outra pela Editora Vozes (1990). Fruto de sua dissertação de mestrado, publicou o livro “Direito Agrário: política fundiária no Brasil (1995). Em 2001 saiu seu último livro, uma coletânea de artigos publicados em diversos jornais: “Em defesa da vida”. Num artigo em Horizonte (2004), juntamente com o advogado, amigo e colega Prof. Cristiano de Melo Bastos, discutiu “A prática jurídica na missão da PUC Minas”. Palavras-chave : Teologia da Libertação. Militância. Igreja Católica. Pastoral. Lutas populares. (shrink)

Anxiety shifts visual attention and perceptual mechanisms, preparing oneself to detect potentially threatening information more rapidly. Despite being demonstrated for threat‐related social stimuli, such as fearful expressions, it remains unexplored if these effects encompass other social cues of danger, such as aggressive gestures/actions. To this end, we recruited a total of 65 participants and asked them to identify, as quickly and accurately as possible, potentially aggressive actions depicted by an agent. By introducing and manipulating the occurrence of electric shocks, we (...) induced safe and threatening conditions. In addition, the association between electric shocks and aggression was also manipulated. Our result showed that participants have improved sensitivity, with no changes to criterion, when detecting aggressive gestures during threat compared to safe conditions. Furthermore, drift diffusion model analysis showed that under threat participants exhibited faster evidence accumulation toward the correct perceptual decision. Lastly, the relationship between threat source and aggression appeared to not impact any of the effects described above. Overall, our results indicate that the benefits gained from states of anxiety, such as increased sensitivity toward threat and greater evidence accumulation, are transposable to social stimuli capable of signaling danger other than facial expressions. (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)

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)

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...

This paper discusses some societal implications of the most recent and publicly discussed application of advanced machine learning techniques: generative AI models, such as ChatGPT (text generation) and DALL-E (text-to-image generation). The aim is to shift attention away from conceptual disputes, e.g. regarding their level of intelligence and similarities/differences with human performance, to focus instead on practical problems, pertaining the impact that these technologies might have (and already have) on human societies. After a preliminary clarification of how generative AI works (...) (Sect. 1), the paper discusses what kind of transparency ought to be required for such technologies and for the business model behind their commercial exploitation (Sect. 2), what is the role of user-generated data in determining their performance and how it should inform the redistribution of the resulting benefits (Sect. 3), the best way of integrating generative AI systems in the creative job market and how to properly negotiate their role in it (Sect. 4), and what kind of “cognitive extension” offered by these technologies we ought to embrace, and what type we should instead resist and monitor (Sect. 5). The last part of the paper summarizes the main conclusions of this analysis, also marking its distance from other, more apocalyptic approaches to the dangers of AI for human society. (shrink)

What is the relationship between foreign policy, electoral campaigns, and public opinion? This work analyzes the electoral campaigns in Colombia in 2018 (Iván Duque) and 2022 (Gustavo Petro). The profiles of the candidates and their programmatic agendas are analyzed, identifying the continuity of issues associated with peace, security, borders, and the complex relationship with Venezuela. Despite the above, there was a turn to the left that shows changes in the preferences of Colombian public opinion.

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)

This paper has its roots in qualitative analysis of accounts produced by an Italian serial killer. Theoretical references are related to symbolic interactionism and its developments in the field of psychology and criminology. The whole contribution is aimed to twofold purposes: A) to provide a set of criteria specifically addressed to study deviant action as system of meanings into two related contexts: the single action itself and the whole life history. According this point, paper introduces the concept of “deviant career” (...) and it explains its development and steps; it also provides some psychological social points of views and contributions that scientific works offers. B) to think about potentialities of accounting interviews as powerful tools in clinical practice and empirical research too.Specifically, we discuss narrative about behaviour and life story as a resource in order to take suggestions about meanings, goals and rules of action. It also suggests something about functions that crime discharges in the whole pathway of one's life. Juridical case analysis, run by means of the software ATLAS.ti, is aimed to demonstrate theoretical reasoning proposed. (shrink)