We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds (...) of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some. (shrink)

Research indicates that religious values and ethical behavior are closely associated, yet, at a firm level, the processes by which this association occurs are poorly understood. Family firms are known to exhibit values-based behavior, which in turn can lead to specific firm-level outcomes. It is also known that one’s family is an important incubator, enabler, and perpetuator of religious values across successive generations. Our study examines the experiences of a single, multigenerational business family that successfully enacted their religious values in (...) their business. Drawing upon intergenerational solidarity and values-based leadership theory, and by way of an interpretive, qualitative analysis, we find that the family’s religious values enhanced their cohesion and were manifested in their leadership style, which, in turn, led to outcomes for the business. Our findings highlight the processes that underlie the relationship between religious values and organizational outcomes in family firms and offer insights into the role of solidarity in values-based leadership. (shrink)

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.

In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the latter provides a solution to a deep-seated problem for the former. This problem consists in a lack of critical distance and originates from the justificatory role that contextualist approaches attribute to contextual facts. I compare two approaches to genealogical reconstruction, namely the historiographical method pioneered by Foucault and the hybrid method of pragmatic genealogy (...) as practiced by Bernard Williams, arguing that they both ensure an increase in critical distance while preserving contextualism’s distinctiveness. I also show, however, that only the latter provides normative action-guidance and can thus assist the contextualist theorist in the crucial task of discerning how far certain contextual facts deserve their justificatory role. I prove this point by showing how a pragmatic genealogy of the practice of punishment can inform the contextualist’s reflection about the role this practice should play in a transitional scenario, i.e. in the set of circumstances societies go through in the aftermath of large-scale violence and human rights violations. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

The Normative and the Evaluative. The Buck-Passing Account of Value. By Rowland Richard.

Pensar un análisis crítico del discurso desde una perspectiva decolonial significa, ante todo, la puesta en cuestión de la historicidad de la colonialidad/imperialidad/modernidad en términos de rec...

The fitting attitude analysis of value states that for objects to have value is for them to be the fitting targets of attitudes. Good objects are the fitting targets of positive attitudes, while bad objects are the fitting targets of negative attitudes. The following paper presents an argument to the effect that value and the fittingness of attitudes differ in terms of their explanations. Whereas the fittingness of attitudes is explained, inter alia, by both the properties of attitudes and those (...) of their fitting targets, the explanation of value tends to have a different content. In particular, objects have value in virtue of the features that make them valuable, and these need not involve any attitudinal properties. If this is right, then there are reasons to doubt the claim that for objects to have value is just for them to be the fitting targets of attitudes. Insofar as value is a property, it appears to be distinct from the property of objects being the fitting targets of attitudes. (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...

Hindriks’ paper raises two issues: one is formal and concerns the notion of ‘cost’ in rational choice accounts of norms; the other is substantial and concerns the role of expectations in the modification of payoffs. In this commentary I express some doubts and worries especially about the latter: What’s so special with shared expectations? Why do they induce compliance with norms, if transgression is not associated with sanctions?

The concept of perversion has traditionally been applied particularly to the sexual sphere, in order to condemn certain desires and certain practices as wrong or inappropriate because of their unnaturalness, as they are understood as a deviation from a given function of sexuality. In this article, I explore the question whether and how such a concept could be applied to another central dimension of our existence, namely our death and, in particular, whether it makes sense to talk of perverted attitudes (...) towards (our own) death. In the first section I present a fairly common account of what is a perverted attitude towards sex and explain how that account can be used to define a perverted attitude towards death. I come up with four suggestions (one based on belief in the afterlife and three secular ones, based respectively on the notion of death as meaningless, on Heidegger’s concept of authenticity and on the evolutionary function of death). In the second section, I explore potential connections between perversion in sex and perversion in death. I conclude that, outside the Catholic worldview, perverted attitudes to sex do not bring along perverted attitudes towards death, nor is there a connection the other way around. In fact, certain kinds of perverted attitudes towards death are even inimical to sexual perversion. In the third section, I present a metaphysical and an ethical reason to doubt that we can and should talk of a function of death or sex. (shrink)

Moving from a behavioral definition of intelligence, which describes it as the ability to adapt to the surrounding environment and deal effectively with new situations (Anastasi, 1986), this paper explains to what extent the performance obtained by ChatGPT in the linguistic domain can be considered as intelligent behavior and to what extent they cannot. It also explains in what sense the hypothesis of decoupling between cognitive and problem-solving abilities, proposed by Floridi (2017) and Floridi and Chiriatti (2020) should be interpreted. (...) The problem of symbolic grounding (Harnad, 1990) is then addressed to show the problematic relationship between ChatGPT and the natural environment, and thus the impossibility for it to understand the symbols it manipulates. To explain the reasons why ChatGPT does not succeed in this task, an investigation is carried out and a possible solution to the problem in the artificial domain is proposed by making a comparison with the natural ability of living beings to ground their own meanings from some basic cognitive-sensory aspects, which, it is explained, are directly related to the emergence of self-awareness in humans. Thus, the question is raised whether a possible and concrete solution to the Symbol Grounding Problem would involve in the artificial domain the development of cognitive abilities fully comparable to those of humans. Finally, I explain the difficulties that would have to be overcome before such a level could be reached, since human cognitive capacities are intimately linked to intersubjectivity and intercorporeality. (shrink)

In Treatise 2.3.4 Hume provides an explanation of why ‘we naturally desire what is forbid, and take a pleasure in performing actions, merely because they are unlawful’. Hume’s explanation of this phenomenon has barely received any attention so far. But a detailed analysis bears fruit for both Humean scholarship and contemporary moral psychology. After putting the passage in its context, I explain why desiring and taking pleasure in performing certain actions merely because they are unlawful poses a challenge to Hume’s (...) theory of evaluation. Then I propose a solution of the challenge which draws on Hume’s treatment of malice, and highlights the role played by comparison and the self in these apparently paradoxical passions. Finally, I distinguish three views in contemporary discussions of desiring something under the guise of the bad (negationism, parasitism, at-face-valuism), and I argue that Hume’s account stands out as a particularly plausible version of the third view. (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to (...) be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to paradoxes in some very natural (...) contexts of application. We introduce in this paper a first-order formal system that captures the notion of grounding and avoids the paradoxes in a novel and non-trivial way. The system we present formally develops Bolzano’s ideas on grounding by employing Hilbert’s ε-terms and an adapted version of Fine’s theory of arbitrary objects. (shrink)

Table of Contents; Introduction by Francesco Orilia and Simone Gozzano; Modes and Mind by John Heil; Does Ontology Matter? by Anna-Sofia Maurin; Basic Ontology, Multiple Realizability and Mental Causation by Francesco Orilia; The “Supervenience Argument”:Kim’s Challenge to Nonreductive Physicalism by Ausonio Marras and Juhani Yli-Vakkuri; Tropes’ Simplicity and Mental Causation by Simone Gozzano; Zombies from Below by David Robb; Tropes and Perception by E. Jonathan Lowe; About the authors.

In this paper I discuss and try to remove some major stumbling blocks for a Moorean buck-passing account of reasons in terms of value (MBP): There is a pro tanto reason to favour X if and only if X is intrinsically good, or X is instrumentally good, or favouring X is intrinsically good, or favouring X is instrumentally good. I suggest that MBP can embrace and explain the buck-passing intuition behind the far more popular buck-passing account of value, and has (...) the means to avoid the wrong kind of reasons problem. Further, I counter the common suspicion that a Moorean account cannot make sense of deontological views such as Ross’s, and that it generally leaves no room for agent-relative reasons. In order to do this, I appeal to the idea that a Moorean account does not dictate the substantive view that values have to be maximized. In some cases, expressing them might be a better response. Finally I lay out and reply to a potentially devastating argument to the effect that a Moorean account makes oughts and reasons non-normative. I also criticize Scanlon’s attempt to favour his own buck-passing account via consideration of the open question argument. MBP thus emerges as a live option in the buck-passing debate. (shrink)

Gupta's and Belnap's Revision Theory of Truth defends the legitimacy of circular definitions. Circularity, however, forces us to reconsider our conception of meaning. A readjustment of some standard theses about meaning is here proposed, by relying on a novel version of the sense-reference distinction.

Dynamic events such as a rolling ball moving from one place to another involve change and time intervals and thus presumably successions of static events occurring one after the other, e.g., the ball’s being at a certain place and then at another place during the interval in question. When dynamic events are experienced they should count as present and thus as existent from a presentist point of view. But this seems to imply the existence of the static events involved in (...) them. This in turn seems to imply that there exist past and perhaps even future static events. Therefore, there is a problem for presentism. A possible way out for the presentist is proposed, based on allowing for time-indexed past-oriented and future-oriented properties. One may raise objections regarding the ontological status of these properties and the commitment to past and future objects and times that they seem to bring with them, but these objections can be put to rest. (shrink)

1. Da Leibniz a Kant.--2. L'algebra della logica.

Né vers 1600 en Italie, l'opéra encourait les foudres de Marcello dès 1720. L'ouverture des salles au public, les nécessités commerciales et le vedettariat l'avaient éloigné des idéaux qui présidèrent à sa naissance. L'opuscule de Benedetto Marcello aborde, sur le ton de la dérision et de la satire, tous les aspects de l'opéra, du livret à la musique, en passant par les chanteurs, les compositeurs, les directeurs de théâtre, la mise en scène, etc. Le texte méritait une nouvelle traduction française (...) (la dernière datait de la fin du dix-neuvième siècle), plus précise et plus complète, car le savant compositeur de l'Estro poetico-armonico y déploie une verve irrésistible, proche de celle dont se servira Carlo Goldoni dans l'imprésario de Smyrne. Cette satire représente l'étincelle qui allait embraser le flambeau de la réforme par le biais du comte Francesco Algarotti (1712-1764) poète et écrivain. Son Essai sur l'Opéra en musique contient en effet tous les points importants sur lesquels Calzabigi et Gluck allaient asseoir leur reconstruction : choix du livret, rôle de la poésie et de la musique, rôle des chanteurs, du compositeur, moyens et contrôle artistiques des productions. La traduction française qu'un fit Chastellux en 1773, nonobstant sa finesse et son élégance, fait pourtant figure de " belle infidèle ". Force nous était donc d'élaborer là encore une nouvelle traduction de ce texte fondateur. A côté de ces deux grands titres, nous avons réuni un dossier important d'écrits émanant des acteurs de la réforme : Métastase, Angiolini, Calzabigi, Gluck et Du Roullet. (shrink)

ABSTRACT The current analytical debate on time is full of attempts to adjudicate from a purely theoretical standpoint among competing temporal ontologies. Little attention has instead been devoted to the existential attitudes -- emotional or ethical -- that may lurk behind, or ensue from, the endorsement of one of them. Some interesting opinions have however been voiced regarding the two most prominent views in the arena, namely eternalism and presentism; it has been said that the former is nourished by a (...) fear of death, or more generally by a desire of preservation for whatever we find precious and valuable, and that the latter is fuelled by a propensity to reap whatever fruits the present brings, as enshrined in the carpe diem motto. This paper explores such a territory by focusing on the reality of past sentience, whether joyful or painful, and on the open future. The first part contrasts the reality of past sentience that comes with eternalism with the denial of this reality that follows from presentism, and argues that from an emotional, or perhaps even moral, standpoint the latter is preferable to the former. The second part clarifies why the eternalist must renounce the open future, whereas presentism is consistent with it, and considers how its rejection or acceptance, as the case may be, could be emotionally, or even morally, significant for our conception of ourselves as free agents. The conclusion offers a tentative proposal regarding which temporal ontology is superior from an existential perspective and some ruminations on the impact that all this may have on the theoretical side of the issue. (shrink)

In this paper I argue that in several passages Plato sympathizes with the following view: sensible particulars undergo continuous, pervasive physical change; as a consequence, where there seems to be one and the same object which is identical through time, there is in fact a succession of impermanent objects numerically distinct from each other but similar to each other. I illustrate the difference between this view—which invites interesting comparisons with modern and contemporary theories—and other, superficially similar views which Plato criticizes. (...) I also suggest that this view might contribute to explaining Plato’s contention that sensible particulars lack being and are confined to coming to be. Finally, I show that my interpretation was well attested in antiquity; and I put forward the hypothesis that part of the aim of certain Aristotelian claims about substance might be to correct Plato in this respect. (shrink)

Analyses, in the simplest form assertions that aim to capture an intimate link between two concepts, are viewed since Russell's theory of definite descriptions as analyzing descriptions. Analysis therefore has to obey the laws governing definitions including some form of a Substitutivity Principle (SP). Once (SP) is accepted the road to the paradox of analysis is open. Popular reactions to the paradox involve the fundamental assumption (SV) that sentences differing only in containing an analysandum resp. an analysans express the same (...) proposition, because analysandum and analysans are the same entity. Following suggestions of Gupta and Belnap it is argued that (SV) should be rejected. (shrink)