Vincenzo Fano

_Abstract_: Nudges have proven to be effective tools for steering citizens toward desirable behaviors and make valuable additions to any policy-maker’s toolbox. Disappointingly, however, there are no mechanistic explanations for how nudges work, leaving policy-makers unable to explain what happens when they are implemented. This paper identifies some neglected ethical implications of the resulting citizens lack of awareness of such mechanisms. We first examine mechanistic explanations in relation to citizens’ understanding on how they work. Then, we look at mechanistic explanations in light of the suggestion advanced by some ethicists that nudges be considered ethically acceptable in modern liberal democracies provided the explicit transparency of the nudges employed. _Keywords_: Nudge; Ethics of Nudging; Mechanistic Evidence; In-principle Transparency; Explicit Transparency _Spiegazioni meccanicistiche e l’etica dei _nudges _Riassunto_: I _nudge_ si sono rivelati strumenti di _policy_ efficaci nello "spingere gentilmente" i cittadini verso comportamenti considerati desiderabili. Per questa ragione i nudge sono considerati validi strumenti della cassetta degli attrezzi di un _policymaker_. Tuttavia, è in qualche modo deludente la mancanza di spiegazioni meccanicistiche dei nudge, dalla quale risulta l'incapacità dei _policymaker_ di spiegare quello che succede quando i nudge vengono effettivamente implementati. Questo articolo identifica alcune implicazioni etiche finora trascurate connesse alla inconsapevolezza da parte dei cittadini circa i meccanismi che governano i _nudge_. Da una parte, le nostre considerazioni metteranno in relazione le spiegazioni meccanicistiche con la comprensione dei _nudge_ da parte dei cittadini. Dall'altra parte, metteremo in relazione le spiegazioni meccanicistiche con il concetto di trasparenza esplicita, ossia la richiesta avanzata da alcuni eticisti al fine di considerare i _nudge_ eticamente accettabili nelle moderne democrazie liberali. _Parole chiave_: Nudge; Etica dei nudge; Spiegazioni meccanicistiche; Trasparenza implicita; Trasparenza esplicita.

In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.

Mathematical models can be profitably used to establish whether our perception of the external world is accurate. Donald Hoffman and his collaborators have developed a promising mathematical framework within which this question can be addressed and which is based on an exhaustive taxonomy of the different possible relations between perceptual representations and the external world. After reformulating their framework by means of an improved formal system, we discuss their application of evolutionary game theory, which appears to show that an essentially anti-realistic perceptual strategy would in the long run biologically outcompete its rivals. We argue that their model does not take the crucial biological significance of environmental changes into due consideration and propose alternative models which do. We conclude that a partially realistic representation would be favoured in our models.

In this paper, we argue that Williamson’s arguments against luminosity and the KK principle do not work, at least in a scientific context. Both of these arguments are based on the presence of a so-called “buffer zone” between situations in which one is in a position to know p and situations in which one is in a position to know ¬p. In those positions belonging to the buffer zone ¬p holds, but one is not in a position to know ¬p. The presence of this buffer zone triggers two types of sorites arguments. We show that this kind of argument does not hold in a scientific context, where the buffer zone is controlled by a quantitative measurement of the experimental error.

The aim of this paper is to reconstruct the logical structure of Melissus philosophy, building on Laks Most’s translation and Barnes’ seminal work on the Samian. This will allow us to shed some light on the subtle argumentations of Melissus. On top of that, we frame Melissus’ metaphysics employing modern logical instruments. On one side, this reformulation makes clear a few assumptions hidden in the deductions made by the Samian; on the other side, our paper shows that contemporary analytic metaphysics has forerunners dating back 2500 years.

The Dunning–Kruger effect focuses our attention on the notion of invisibility of ignorance, i.e., the ignorance of ignorance. Such a phenomenon is not only important for everyday life, but also, above all, for some philosophical disciplines, such as epistemology of sciences. When someone tries to understand formally the phenomenon of ignorance of ignorance, they usually end up with a nested epistemic operator highly resistant to proper regimentation. In this paper, we argue that to understand adequately the ignorance of ignorance phenomenon we have to understand satisfactorily the concept of disbelief and, as we call it, the concept of “radical ignorance”. We propose also prerequisites that a notion of radical ignorance useful for the philosophy of science ought to fulfill, and we sketch a possible formalization of this notion. Finally, we propose some comments on the problem of propagation of ignorance proposed by Fine.

Harrigan and Spekkens, introduced the influential notion of an ontological model of operational quantum theory. Ontological models can be either “epistemic” or “ontic.” According to the two scholars, Einstein would have been one of the first to propose an epistemic interpretation of quantum mechanics. Pusey et al. showed that an epistemic interpretation of quantum theory is impossible, so implying that Einstein had been refuted. We discuss in detail Einstein’s arguments against the standard interpretation of QM, proving that there is a misunderstanding in Harrigan and Spekkens’ attribution of an epistemic perspective to Einstein, whose point of view was actually statistical, but in a quasi-classical sense.

Lucas-Penrose type arguments have been the focus of many papers in the literature. In the present paper we attempt to evaluate the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. We argue that the best answer to this question was given by Gödel already in 1951 when he realized that either our intellectual capability is not representable by a Turing Machine, or we can never know with mathematical certainty what such a machine is. But his considerations became known only in recent times when many scholars were already aware of Benacerraf’s and Chihara’s analyses on the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. Benacerraf and Chihara, in fact, discussing Lucas’ paper, arrived at the same conclusions as Gödel in the sixties, but in a more formal way. After Penrose’s provocative arguments, Shapiro again shed light on the question. In our paper, after a broad and simple presentation of the contributions to the debate made by different authors, we show how to present Gödel’s argument in a rigorous way, highlighting the necessary philosophical premises of Gödel’s argument and more in general of Gödelian arguments.

Abstract. An opposition between two conceptions of our knowledge of the external world is outlined. On the one hand physicists, like Dirac and Heisenberg, maintain that only what Physics considers real is actually real. On the other hand, psychologists, like Metzger, Kanizsa and Bozzi, believe that every sensible content is real, so that the Psychology of perception is the real Physics. We attempt to sketch a critical perspective, based on a reasonable criterion, in order to prospect a different solution to this question.

This collection focuses on the ontology of space and time. It is centred on the idea that the issues typically encountered in this area must be tackled from a multifarious perspective, paying attention to both a priori and a posteriori considerations. Several experts in this area contribute to this volume: G. Landini discusses how Russell’s conception of time features in his general philosophical perspective;D. Dieks proposes a middle course between substantivalist and relationist accounts of space-time;P. Graziani argues that it is necessary to provide an account of the “synthetic procedures” implicit in the recourse to diagrams in Euclid’s Elements, while E. Mares comes to the conclusion that in Euclid’s Elements we should treat the parallel postulate as empirical and the postulate that space is continuous as a priori. M. Arsenijevi?/M. Adži? present an important formal result concerning two theories of the infinite two-dimensional continua, which sheds new light on the current dispute between gunkologists and pointilists; F. Orilia discusses two problems for presentism, one regarding the duration of the present and the other related to Zeno’s paradoxes. A. Iacona delves deep into logical matters by focusing on the so-called T×W modal frames in order to deal with the deteterminism-indeterminism controversy. D. Mancuso outlines a non-standard temporal model compatible with time travel, andV. Fano/G. Macchia discuss time travels in the light of an important foundational principle of modern cosmology, Weyl’s Principle.

In questo lavoro si presenta un nuovo esperimento mentale che solleva un particolare problema per quello che possiamo chiamare “fisicalismo minimale” in filosofia della mente. In particolare si argomenta che il fisicalismo minimale o i) non è in grado di fornirne un resoconto adeguato dell’esperimento mentale presentato, o ii) viene costretto a fornire un resoconto che è fortemente in contrasto con la nostra immagine scientifica del mondo. Il problema sollevato è un particolare esempio di quelli che Chalmers (1996) definisce hard problems in filosofia della mente. Questa è la struttura del lavoro. Nella sezione 2. si presenta l’esperimento mentale, che chiameremo di Shem-Shaun1. Nella sezione 3. illustriamo il nostro argomento principale contro il fisicalismo minimale a partire dall’esperimento mentale della sezione precedente. Nella sezione conclusiva si discutono diversi modi di controbattere all’argomento principale e le sue conseguenze per il fisicalismo.

The present paper has three closely related aims. We first argue that Agazzi’s scientific realism about Quantum Mechanics is in line with Selleri’s and Tarozzi’s proposal of Quantum Waves. We then go on to formulate rigorously different metaphysical principles such as property compositional determinateness and mereological extensionalism. We argue that, contrary to widespread agreement, realism about Quantum Mechanics actually refutes only the former. Indeed we even formulate a new quantum mechanical argument in favor of extensionalism. We conclude by noting that, given the results of the work, Agazzi’s particular attitude towards Quantum Mechanics is still one of the most promising theoretical perspectives

The arrow paradox is an argument purported to show that objects do not really move. The two main metaphysics of motion, the At–At theory of motion and velocity primitivism, solve the paradox differently. It is argued that neither solution is completely satisfactory. In particular it is contended that there are no decisive arguments in favor of the claim that velocity as it is constructed in the At–At theory is a truly instantaneous property, which is a crucial assumption to solve the paradox. If so the At–At theory faces the threat that most of our physical theories turn out to be non-Markovian. Finally it is considered whether all those threats and paradoxes are dispelled if only a new metaphysics of persistence is taken into account, namely four-dimensionalism