Siamo ormai lontani dalla stagione in cui la forza propulsiva della “svolta linguistica” si impose come tendenza dominante nel dibattito filosofico. Da varie angolazioni si è potuto parlare negli ultimi anni di pictorial turn come antidoto all’egemonia del paradigma linguistico in filosofia. Il volume Verità, Immagine, Normatività. Truth, Image, and Normativity non si inserisce direttamente in questa nuova tendenza, ma ruota comunque intorno a questioni che derivano dal medesimo sfondo. I 24 saggi qui raccolti tengono conto dei diversi ruoli che (...) le immagini possono svolgere, a seconda che si focalizzi la loro dimensione descrittiva o normativa, e indagano alcuni aspetti del rapporto tra immagine e linguaggio. Questi problemi di filosofia dell’immagine, intesa sia come immagine cognitiva sia come immagine grafica, costituiscono il fil rouge di questo volume. Una tale riflessione sui linguaggi figurati e sulla comunicazione visiva non-linguistica costringe a riformulare in termini nuovi le grandi domande concernenti le tradizionali nozioni di verità, oggettività, normatività, consenso e persuasione. (shrink)

A widespread opinion holds that norms and codes of conduct as such can only be established via words, that is, in some lexical form. This perspective can be criticized: some norms produced by human acts are not word-based at all. For example, many norms are actually conveyed through graphics (e. g. road signs and land-use maps), sounds (e. g. the referee’s whistle), a silent gesture (the traffic warden’s signal to halt). In this article, we will focus on the norms that (...) are created by means of drawings and can be termed “drawn norms” or “graphical norms.” Specifically, we will inquire into the phenomenon of graphical norms with particular regard to traffic signs and land-use plans, and we will discuss the philosophical and legal problems to which these phenomena give rise. (shrink)

Riprendendo quanto George Edward Moore scrive a proposito del concetto di “bene” (“good”), Hans Kelsen sostiene che il concetto di “dovere” (“Sollen”) sia un concetto semplice, un concetto ultimo, e in quanto tale né definibile, né analizzabile. Questa tesi di Kelsen sembra essere smentita dalle ricerche che sono state condotte parallelamente da Georg Henrik von Wright e Amedeo Giovanni Conte a partire dagli anni '80 del XX secolo. Von Wright e Conte hanno, infatti, distinto dal concetto di “dovere deontico” (“deontic (...) Ought”), il dovere par excellence, altre specie di dovere che essi considerano categorialmente irriducibili al concetto di dovere deontico come il “dovere tecnico” (“technical Ought”) e il “dovere anankastico”. È proprio all'indagine di queste due specie di dovere adeontico che è dedicato il libro Anankastico in deontica. (shrink)

This paper investigates the influence that social ties can have on behavior. After defining the concept of social ties that we consider, we introduce an original model of social ties. The impact of such ties on social preferences is studied in a coordination game with outside option. We provide a detailed game theoretical analysis of this game while considering various types of players, i.e., self-interest maximizing, inequity averse, and fair agents. In addition to these approaches that require strategic reasoning in (...) order to reach some equilibrium, we also present an alternative hypothesis that relies on the concept of team reasoning. After having discussed the differences between the latter and our model of social ties, we show how an experiment can be designed so as to discriminate among the models presented in the paper. (shrink)

I propose a modal logic that enables to reason about self-regarding and otherregarding motivations in strategic games. This logic integrates the concepts of joint action, belief, individual and group payoff. The first part of the article is focused on self-regarding agents. A self-regarding agent decides to perform a certain action only if he believes that this action maximizes his own personal benefit. The second part of the article explores different kinds of other-regarding motivations such as fairness and reciprocity. Differently from (...) self-regarding agents, other-regarding agents also consider the benefits of their choices for the group. Moreover, their decisions can be affected by their beliefs about other agents' willingness to act for the well-being of the group. The analysis also considers team-directed reasoning, i.e. the mode of reasoning that people use when they take themselves to be acting as members of a group or a team. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 110 Heft: 2 Seiten: 321-323.

The literature of the past century produced an historical reconstruction of statics theory applied to mechanical structures coinciding–starting with Le Mecaniche (1634) and Discorsi e dimostrazioni matematiche sopra a due nuove scienze (1638) by Galileo Galilei (1564–1642). Based on previous research (RP) and our historical and historiographical line of research [37], in this paper we briefly analyse Buonaiuto Lorini (1540–1611) Le Fortificationi ([1596] 1609) as a bridge between the science of weights and early mechanical science, including the graphical scale (...) and machines. This is a fundamental and advanced military fortification–engineering treatise with an evident important relationship between theory & practice, including designs–projects of both fortresses and machines, understood as tools, to manufacture them. Lorini also presents an excursus on how fortifications developed according to the advent of new artillery/weapons, comprising the crucial passage from the use of square to circular towers up to the description of modern fortresses in all their details, e.g., bulwarks and cavaliers, curtains, orillons, star–shaped plans. Basing on Archimedes’ (fl. 287–212 BCE) techniques (law of the lever) and Guidobaldo del Monte's (1545–1607; Le Mecaniche (1577–1581) he successfully engaged in advanced mechanical considerations. His position (at the end of the first chapter) on the distinction between the mathematician (scientist) and the mechanician (architect–engineer or even machine expert) is historiographically very interesting within the difference between abstract Euclidean geometry and the application of its contents to imperfect and heterogeneous reality. The translations are ours. (shrink)

A theory of action is fundamental for legal theory, as the law is meant to direct behaviour: it influences the behaviour of agents who can understand the law’s prescriptions and act accordingly. A connection between law and action is assumed by the most diverse approaches to the law; when no reference is made to this connection it is since it appears to be an obvious truism. Let us list just a few examples where this connection appears most clearly.

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison (...) between the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT by Belnap and colleagues. (shrink)

We analyze a recent trend in epistemic logic which consists in studying construction of knowledge from the agents’ observational abilities. It is based on the intuition that an agent’s knowledge comes from three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus on the former two and suppose that the object of observations are propositional variables and that agents learn from public announcements. This allows to model knowledge in a more compact and intuitive way than (...) with Hintikka’s semantics. However, the semantics that one can find in the literature come with some counter-intuitive validities such as common knowledge of visibilities or the knowledge operator distributing over disjunctions. We propose a solution of each of these two issues and illustrate them with well-known toy examples of epistemic logic. (shrink)

The aim of this paper is to propose a formal approach to reasoning about desires, understood as logical propositions which we would be pleased to make true, also acknowledging the fact that desire is a matter of degree. It is first shown that, at the static level, desires should satisfy certain principles that differ from those to which beliefs obey. In this sense, from a static perspective, the logic of desires is different from the logic of beliefs. While the accumulation (...) of beliefs tend to reduce the remaining possible worlds they point at, the accumulation of desires tends to increase the set of states of affairs tentatively considered as satisfactory. Indeed beliefs are expected to be closed under conjunctions, while, in the positive view of desires developed here, one can argue that endorsing \ as a desire means to desire \ and to desire \. However, desiring \ and \ at the same time is not usually regarded as rational, since it does not make much sense to desire one thing and its contrary at the same time. Thus when a new desire is added to the set of desires of an agent, a revision process may be necessary. Just as belief revision relies on an epistemic entrenchment relation, desire revision is based on a hedonic entrenchment relation satisfying other properties, due to the different natures of belief and desire. While epistemic entrenchment relations are known to be qualitative necessity relations, hedonic relations obeying a set of reasonable postulates correspond to another set-function in possibility theory, called guaranteed possibility, that drive well-behaved desire revision operations. Then the general framework of possibilistic logic provides a syntactic setting for encoding desire change. The paper also insists that desires should be carefully distinguished from goals. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 109 Heft: 2 Seiten: 356-361.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning.

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to (...) rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. (shrink)

Since the middle of the last century, normative language has been much studied. In particular, the normative function performed by certain sentences and by certain speech acts has been investigated in depth. Still, the normative function performed by certain physical artifacts designed and built to regulate human behaviors has not yet been thoroughly investigated. We propose to call this specific type of artifacts with normative intent ‘deontic artifacts’. This article aims to investigate this normative phenomenon that is so widespread in (...) our daily reality, but so often forgotten by scholars of norms and normativity. (shrink)

We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

We develop a conceptual and formal clarification of notion of surprise as a belief-based phenomenon by exploring a rich typology. Each kind of surprise is associated with a particular phase of cognitive processing and involves particular kinds of epistemic representations (representations and expectations under scrutiny, implicit beliefs, presuppositions). We define two main kinds of surprise: mismatch-based surprise and astonishment. In the central part of the paper we suggest how a formal model of surprise can be integrated with a formal model (...) of belief change. We investigate the role of surprise in triggering the process of belief reconsideration. There are a number of models of surprise developed in the psychology of emotion. We provide several comparisons of our approach with those models. (shrink)

I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.

This volume sheds new light on Immanuel Kant’s conception of anthropology. Neither a careful and widespread search of the sources nor a merely theoretical speculation about Kant’s critical path can fully reveal the necessarily wider horizon of his anthropology. This only comes to light by overcoming all traditional schemes within Kantian studies, and consequently reconsidering the traditional divisions within Kant’s thought. The goal of this book is to highlight an alternative, yet complementary path followed by Kantian anthropology with regard to (...) transcendental philosophy. The present volume intends to develop this path in order to demonstrate how irreducible it is in what concerns some crucial claims of Kant’s philosophy, such as the critical defense of the unity of reason, the search for a new method in metaphysics and the moral outcome of Kant’s thought. (shrink)

We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions (...) of agents and coalitions, and agentive and coalitional capabilities. In it is supposed that, once all agents have selected a joint action, the effect of this joint action is deterministic. In order to assess we prove that it embeds Coalition Logic. We then extend with modal operators for agents’ preferences, and show that the resulting logic is sufficiently expressive to capture the game-theoretic concepts of best response and Nash equilibrium. (shrink)

In Speech Acts, John Searle argues that institutional facts presuppose, for their existence, the existence of certain institutions (understood as systems of constitutive rules). In this paper I extend Searle’s theory of institutional facts arguing that a further level is needed for the investigation of the structure of institutional reality: the level of meta-institutional concepts. The meta-institutional concepts are concepts that go beyond (Greek: metá) the institutions of which they are conditions of possibility. An example of meta-institutional concept is the (...) concept of game. In a culture which does not have the concept of game, we could move the chess-men according to the rules of chess, we could also perform a castling, but it would be impossible to play chess. (shrink)

The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (historic) (...) necessity. We show that STIT logic can be reconstructed in . We then extend with epistemic operators, which allows us to distinguish capability and power. We finally characterize the conditions under which agents are aware of their capabilities and powers. (shrink)

In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.

This paper proposes a logical framework for representing static and dynamic properties of different kinds of individual and collective attitudes. A complete axiomatization as well as a decidability result for the logic are given. The logic is applied to game theory by providing a formal analysis of the epistemic conditions of iterated deletion of weakly dominated strategies (IDWDS), or iterated weak dominance for short. The main difference between the analysis of the epistemic conditions of iterated weak dominance given in this (...) paper and other analysis is that we use a semi-qualitative approach to uncertainty based on the notion of plausibility first introduced by Spohn, whereas other analysis are based on a quantitative representation of uncertainty in terms of probabilities. (shrink)

The aim of this paper is to present a logical framework in which the concepts of trust and reputation can be formally characterized and their properties studied. We start from the definition of trust proposed by Castelfranchi & Falcone . We formalize this definition in a logic of time, action, beliefs and choices. Then, we provide a refinement of C&F’s definition by distinguishing two general types of trust: occurrent trust and dispositional trust. In the second part of the paper we (...) present a definition of reputation that is structurally similar to the definition of trust but moves the basic concept of belief to a collective dimension of group belief. (shrink)

We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, belief, and obligation.

Generally, when thinking of artifacts, one imagines “technical artifacts”. Technical artifacts are those artifacts that perform a mere causal function. Their purpose is to instrumentally help and support an action, not to change behaviour. However, technical artifacts do not exhaust the set of artifacts. Alongside technical artifacts there are also artifacts that we can call “cognitive artifacts”. Cognitive artifacts are all those artifacts that operate upon information in order to improve human cognitive performances. Artifacts of a further, different kind are (...) what we may call “regulatory artifacts”; that is, material artifacts devised and made to regulate behaviour. Consider a roundabout, a traffic light or a speed bump. These artifacts do not make us stronger, faster, or more intelligent. They are placed on the road surface to regulate traffic. This article investigates artifacts of this third kind and, especially, the functions that they perform. (shrink)

Philosophical Investigations, Volume 45, Issue 4, Page 512-527, October 2022.