I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

A hyperintensional epistemic logic would take the contents which can be known or believed as more fine-grained than sets of possible worlds. I consider one objection to the idea: Williamson’s Objection from Overfitting. I propose a hyperintensional account of propositions as sets of worlds enriched with topics: what those propositions, and so the attitudes having them as contents, are about. I show that the account captures the conditions under which sentences express the same content; that it can be pervasively applied (...) in formal and mainstream epistemology; and that it is left unscathed by the objection. (shrink)

Current debates in social ontology are dominated by approaches that view institutions either as rules or as equilibria of strategic games. We argue that these two approaches can be unified within an encompassing theory based on the notion of correlated equilibrium. We show that in a correlated equilibrium each player follows a regulative rule of the form ‘if X then do Y’. We then criticize Searle's claim that constitutive rules of the form ‘X counts as Y in C’ are fundamental (...) building blocks for institutions, showing that such rules can be derived from regulative rules by introducing new institutional terms. Institutional terms are introduced for economy of thought, but are not necessary for the creation of social reality. (shrink)

Economists and biologists have proposed a distinction between two mechanisms – “strong” and “weak” reciprocity – that may explain the evolution of human sociality. Weak reciprocity theorists emphasize the benefits of long-term cooperation and the use of low-cost strategies to deter free-riders. Strong reciprocity theorists, in contrast, claim that cooperation in social dilemma games can be sustained by costly punishment mechanisms, even in one-shot and finitely repeated games. To support this claim, they have generated a large body of evidence concerning (...) the willingness of experimental subjects to punish uncooperative free-riders at a cost to themselves. In this article, I distinguish between a “narrow” and a “wide” reading of the experimental evidence. Under the narrow reading, punishment experiments are just useful devices to measure psychological propensities in controlled laboratory conditions. Under the wide reading, they replicate a mechanism that supports cooperation also in “real-world” situations outside the laboratory. I argue that the wide interpretation must be tested using a combination of laboratory data and evidence about cooperation “in the wild.” In spite of some often-repeated claims, there is no evidence that cooperation in the small egalitarian societies studied by anthropologists is enforced by means of costly punishment. Moreover, studies by economic and social historians show that social dilemmas in the wild are typically solved by institutions that coordinate punishment, reduce its cost, and extend the horizon of cooperation. The lack of field evidence for costly punishment suggests important constraints about what forms of cooperation can or cannot be sustained by means of decentralised policing. (shrink)

_Peirce’s Speculative Grammar: Logic as Semiotics _offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce’s theory of speculative grammar. The book traces the evolution of Peirce’s grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the (...) history of logic, and semiotics. (shrink)

Starting from the ‘Dewey Lectures’, Rawls presents his conception of justice within a contextualist framework, as an elaboration of the basic ideas embedded in the political culture of liberal-democratic societies. But how are these basic ideas to be justified? In this article, I reconstruct and criticize Rawls’s strategy to answer this question. I explore an alternative strategy, consisting of a genealogical argument of a pragmatic kind – the kind of argument provided by authors like Bernard Williams, Edward Craig and Miranda (...) Fricker. I outline this genealogical argument drawing on Rawls’s reconstruction of the origins of liberalism. Then, I clarify the conditions under which this kind of argument maintains vindicatory power. I claim that the argument satisfies these conditions and that pragmatic genealogy can thus partially vindicate the basic ideas of liberal-democratic societies. (shrink)

The first full-scale commentary on the Cratylus, one of Plato's most difficult and intriguing dialogues.

Typical presentism asserts that whatever exists is present. Moderate presentism more modestly claims that all events are present and thus acknowledges past and future times understood in a substantivalist sense, and past objects understood, following Williamson, as “ex-concrete.” It is argued that moderate presentism retains the most valuable features of typical presentism, while having considerable advantages in dealing with its most prominent difficulties.

This research is published within the project ‘The Logic of Conceivability’, funded by the European Research Council, Grant Number 681404.

It is well-known that versions of the lottery paradox and of the preface paradox show that the following three principles are jointly inconsistent: (Sufficiency) very probable propositions are justifiably believable; (Conjunction Closure) justified believability is closed under conjunction introduction; (No Contradictions) propositions known to be contradictory are not justifiably believable. This paper shows that there is a hybrid of the lottery and preface paradoxes that does not require Sufficiency to arise, but only Conjunction Closure and No Contradictions; and it argues (...) that, given any plausible solution to this paradox, if one is not ready to deny Conjunction Closure (and analogous consistency principles), then one must endorse the thesis that justified believability is factive. (shrink)

opinionated survey paper to be published in the Blackwell’s Philosophy Compass.

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

Prominent theories in moral psychology maintain that a core aspect of moral competence is the ability to distinguish moral norms, which derive from universal principles of justice and fairness, from conventional norms, which are contingent on a specific group consensus. The present study investigated the psychological bases of the moral-conventional distinction by manipulating the framing of the test question, the authority’s license, and the historical context. Participants evaluated moral and conventional transgressions by answering an ‘okay for you’ test question (i.e., (...) judging according to their opinion) or an ‘okay in context’ test question (i.e., judging by imagining being a contemporary of the story protagonist). In evaluating moral transgressions that happened in a distant context or with the authority’s license, most of the participants condemned the violations when responding to the ‘okay for you’ test question, but did not do so when responding to the ‘okay in context’ test question. A similar effect of the question framing was found also on scenarios presenting conventional violations suggesting that subtle changes in the framing of the test question can influence people’s evaluations of both moral and conventional prototypical transgressions. We propose that these effects indicate the presence of moral and conventional construals of social actions that are highly flexible and context-sensitive. (shrink)

In this paper I argue that Bykvist’s recent challenges to the fitting-attitude account of value (FA) can be successfully met. The challenge from solitary goods claims that FA cannot account for the value of states of affairs which necessarily rule out the presence of favouring subjects. I point out the modal reasons why FA can account for solitary goods by appealing to contemplative attitudes. Bykvist’s second challenge, the ‘distance problem’, questions the ability of FA to match facts about the intensity (...) of fitting attitudes and facts about value, particularly in the case of solitary goods. I argue that this challenge can be met by including the notion of a veil of ignorance in the formulation of FA, and understanding its role as bracketing the relevance of certain facts when determining the fittingness of attitudes to states of affairs. (shrink)

Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)

In _The School of Doubt_ Orazio Cappello presents a study of Cicero’s fragmentary philosophical treatise on sense-perception, the _Academica_, examining the dialogue’s literary, historiographical and theoretical texture.

In this article, we show how the phenomenon of self-deception when adequately analyzed, can be incorporated into a predictive processing framework. We describe four strategies by which a subject may become self-deceived to account for typical cases of self-deception. We then argue that the four strategies can be modeled within this framework, under the assumption that a satisfying account of motivation is possible within predictive processing. Finally, we outline how we can ground this assumption by discussing how such a systematic (...) model of motivation may be developed using the distinction between a world-model and a self-model. (shrink)

In this book we offer a theory of the self, whose core ideas are that the self is a process of self-representing, and this process aims mainly at defending the self-conscious subject against the threat of its metaphysical inconsistence. In other words, the self is essentially a repertoire of psychological manoeuvres whose outcome is a self-representation aimed at coping with the fundamental fragility of the human subject. Our picture of the self differs from both the idealist and the eliminative approaches (...) widely represented in contemporary discussion. Against the idealist approach, we deny that the self is something primitive and logically prior. Rather, we take it to be the result of a process of construction that starts with subpersonal unconscious processes. On the other hand, we also reject the anti-realistic, eliminative argument that, from the non-primary, derivative nature of the self, infers its status as an illusory by-product of real neurobiological events, devoid of any explanatory role. (shrink)

David Lewis famously proposed to model conventions as solutions to coordination games, where equilibrium selection is driven by precedence, or the history of play. A characteristic feature of Lewis Conventions is that they are intrinsically non-normative. Some philosophers have argued that for this reason they miss a crucial aspect of our folk notion of convention. It is doubtful however that Lewis was merely analysing a folk concept. I illustrate how his theory can (and must) be assessed using empirical data, and (...) argue that it does indeed miss an important aspect of real-world conventions. (shrink)

Background: Evidence suggesting adverse drug reactions often emerges unsystematically and unpredictably in form of anecdotal reports, case series and survey data. Safety trials and observational studies also provide crucial information regarding the (un-)safety of drugs. Hence, integrating multiple types of pharmacovigilance evidence is key to minimising the risks of harm. Methods: In previous work, we began the development of a Bayesian framework for aggregating multiple types of evidence to assess the probability of a putative causal link between drugs and side (...) effects. This framework arose out of a philosophical analysis of the Bradford Hill Guidelines. In this article, we expand the Bayesian framework and add “evidential modulators,” which bear on the assessment of the reliability of incoming study results. The overall framework for evidence synthesis, “E-Synthesis”, is then applied to a case study. Results: Theoretically and computationally, E-Synthesis exploits coherence of partly or fully independent evidence converging towards the hypothesis of interest (or of conflicting evidence with respect to it), in order to update its posterior probability. With respect to other frameworks for evidence synthesis, our Bayesian model has the unique feature of grounding its inferential machinery on a consolidated theory of hypothesis confirmation (Bayesian epistemology), and in allowing any data from heterogeneous sources (cell-data, clinical trials, epidemiological studies), and methods (e.g., frequentist hypothesis testing, Bayesian adaptive trials, etc.) to be quantitatively integrated into the same inferential framework. Conclusions: E-Synthesis is highly flexible concerning the allowed input, while at the same time relying on a consistent computational system, that is philosophically and statistically grounded. Furthermore, by introducing evidential modulators, and thereby breaking up the different dimensions of evidence (strength, relevance, reliability), E-Synthesis allows them to be explicitly tracked in updating causal hypotheses. (shrink)

The traditional approach to the analysis of knowledge sees it as a true belief meeting further conditions. I discuss an empirical challenge to this traditional approach, which I call the argument from development. Briefly, the argument is that belief cannot be conceptually prior to knowledge because children acquire the concept of knowledge first. Several prominent scientists and philosophers have argued that this latter claim is supported by many findings with infants and young children. Here, I defend the traditional approach by (...) raising three challenges to the argument from development: the competence-performance challenge, the double-standard challenge, and the underdetermination challenge. I conclude that the developmental data are fully compatible with children acquiring the concept of belief first. In closing, I also argue that further research is needed to investigate when children acquire a concept of knowledge. (shrink)

The folk conception of money as an object is not a promising starting point to develop general, explanatory metaphysical accounts of the social world. A theory of institutions as rules in equilibrium is more consistent with scientific theories of money, is able to shed light on the folk view, and side-steps some unnecessary puzzles.

According to Chomsky, creativity is a critical property of human language, particularly the aspect of ?the creative use of language? concerning the appropriateness to a situation. How language can be creative but appropriate to a situation is an unsolvable mystery from the Chomskyan point of view. We propose that language appropriateness can be explained by considering the role of the human capacity for Mental Time Travel at its foundation, together with social and ecological intelligences within a triadic language-grounding system. Our (...) proposal is based on the change of perspective from the analysis of individual sentences to the flux of speech in which the temporal dimension of language is much more relevant. (shrink)

Corporate social responsibility (CSR) is becoming a mainstream issue as both researchers and managers are realizing its importance, but knowledge gaps persist. In particular, the processes underlying the adoption of responsible managerial practices and the effects associated with them are still at the centre of intense debate. Not surprisingly, managers expect formalized procedures that might influence corporate managerial processes and especially corporate strategies. Given the growing emphasis on the integration of CSR into corporate strategy, the purpose of this qualitative study (...) is to explore the antecedents of this process and the dynamics underlying it. We focus on a medium-sized, family-owned Italian company, SABAF SpA. We find that: the beliefs and value systems of entrepreneurs play a fundamental role in shaping a sustainable corporate strategy; the importance of the relationship between social performance and financial performance depends to some extent on the kind of competitive strategy that a company has selected; and people need to be aware of it – that is, CSR strategies must be explicit and codified into specific managerial procedures. (shrink)

This paper investigates whether analytic philosophers who are non-native English speakers are subject to linguistic injustice and, if yes, what kind of injustice that is and whether it is different from the general disadvantage that non-native English speakers meet in a world where English is rapidly becoming the lingua franca. The paper begins with a critical review of the debate on linguistic justice, with a particular focus on the emergence of a lingua franca and the related questions of justice, both (...) in terms of the disadvantages suffered by those groups who bear the cost of learning another language and in terms of forms of discrimination due to accents and language improprieties. We argue that being at a relative disadvantage compared to others does not necessarily translate in a proper injustice if fundamental civil, political and social provisions are in place. We suggest that a circumstance of injustice arises when such disadvantage affects those who are not yet members of such academic community such as prospective students, thus contributing in keeping the non-native group a minority. We qualify this case of disadvantage as a matter of structural injustice. (shrink)

The focus of this paper is the analysis of the epistemological and practical role played bypathe/affections in Epicurus’ philosophy. Epicurus firstly considered the affections not as emotional/passional conditions, but as firm criteria of truth and more specifically as the third criterion of the canonic (i.e. the epistemological part of his philosophical system). In this article the critical reactions (in particular by the Peripatetic side: Aristocles of Messene) against the Epicurean position about the function of the affections will be investigated too. (...) Finally, two parts of this paper are devoted to the Cyrenaic tripartition ofpathe(in all likelihood, a subject criticized by Epicurus) and to the probable doctrinal relationship between Epicurus’patheand Aristotle’sNicomachean EthicsBook 2. (shrink)

In this article I investigate what the Stoic doctrine of the two principles, God and matter, owes to Plato. I discuss recent scholarly views to the effect that the Stoics were influenced by Old Academic interpretations of the Timaeus and argue that, although the Timaeus probably did play a role in the genesis of the Stoic doctrine, some role was also played by a dualist theory of flux set forth in the etymologies of the Cratylus. I also discuss Theophrastus’ account (...) of Plato’s achievements in physics (fr. 230 FHS&G) and the report of Old Academic physics contained in Cicero’s Academica, 1. 24–9, and commonly taken to go back to Antiochus of Ascalon, and I show that those reports too are likely to have been influenced by the Cratylus. (shrink)

Resumo: O presente artigo tem por objetivo refletir sobre a concepção de democracia, apresentada por Bergson, em As duas fontes da moral e da religião, enquanto movimento humano e social de resistência e de aspiração, no contexto de uma teoria da vida concebida, ela própria, como um movimento que se dá em dois sentidos, o da determinação e o da criação.: This article reflects on the conception of democracy presented by Bergson in The Two Sources of Morality and Religion. Democracy (...) is there conceived as a human and social movement of resistance and aspiration in the context of a theory of life; and life is itself conceived as a movement that takes place in two senses, that of determination and that of creation. (shrink)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. (...) The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devo...

As Artificial Intelligence (AI) becomes more and more pervasive in our everyday life, new questions arise about its ethical and social impacts. Such issues concern all stakeholders involved in or committed to the design, implementation, deployment, and use of the technology. The present document addresses these preoccupations by introducing and discussing a set of practical obligations and recommendations for the development of applications and systems based on AI techniques. With this work we hope to contribute to spreading awareness on the (...) many social challenges posed by AI and encouraging the establishment of good practices throughout the relevant social areas. As points of novelty, the paper elaborates on an integrated view that combines both human rights and ethical concepts to reap the benefits of the two approaches. Moreover, it proposes innovative recommendations, such as those on redress and governance, which add further insight to the debate. Finally, it incorporates a specific focus on the Italian Constitution, thus offering an example of how core legislations of Member States might contribute to further specify and enrich the EU normative framework on AI. (shrink)

According to a well-established interpretive line, the Benthamic judge would be allowed no room for autonomous calculations of utility and his or her task would only be that of mechanically applying substantive law, which expresses the legislator's will. For Gerald Postema, in contrast, Bentham's judge would be granted ample power to decide cases by directly applying the principle of utility. This article criticizes both views, by showing that a adjudication was for Bentham utterly impossible, although this does not mean that (...) judges should be free to decide according to direct utility calculations. Judges must be the tutors of the citizens’ expectations, which, under a system of statute law, will focus on the code. However, they can avoid suboptimality in cases where applying a general rule would not maximize utility, without preponderant damage for law-induced expectations: Bentham's suggestion is that they do so by proposing amendments of the code to the legislature. (shrink)

New Constitutional Horizons is a solid and innovative contribution to a debate that has acquired a central position for decades in political and legal theory, but that nonetheless has left many uns...

Journal Name: Semiotica Issue: Ahead of print.