An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

The goal of this paper is methodological. It offers a comprehensive mapping of the theoretical positions on the ethical criticism of art, correcting omissions and inadequacies in the conceptual framework adopted in the current debate. Three principles are recommended as general guidelines: ethical amenability, basic value pluralism, and relativity to ethical dimension. Hence a taxonomy distinguishing between different versions of autonomism, moralism, and immoralism is established, by reference to criteria that are different from what emerging in the current literature. The (...) mapping is then proved capable of (1) locating the various theories that have been proposed so far and clarifying such theories’ real commitments, (2) having the correct relationship with actual art making and art criticism practices, and (3) showing the real weight of the alleged counter-example to a moralist position of a work that succeeds artistically because of its immorality. (shrink)

In the last few decades the role played by models and modeling activities has become a central topic in the scientific enterprise. In particular, it has been highlighted both that the development of models constitutes a crucial step for understanding the world and that the developed models operate as mediators between theories and the world. Such perspective is exploited here to cope with the issue as to whether error-based and uncertainty-based modeling of measurement are incompatible, and thus alternative with one (...) another, as sometimes claimed nowadays. The crucial problem is whether assuming this standpoint implies definitely renouncing to maintain a role for truth and the related concepts, particularly accuracy, in measurement. It is argued here that the well known objections against true values in measurement, which would lead to refuse the concept of accuracy as non-operational, or to maintain it as only qualitative, derive from a not clear distinction between three distinct processes: the metrological characterization of measuring systems, their calibration, and finally measurement. Under the hypotheses that (1) the concept of true value is related to the model of a measurement process, (2) the concept of uncertainty is related to the connection between such model and the world, and (3) accuracy is a property of measuring systems (and not of measurement results) and uncertainty is a property of measurement results (and not of measuring systems), not only the compatibility but actually the conjoint need of error-based and uncertainty-based modeling emerges. (shrink)

In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then applied both for (...) interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition. (shrink)

The way we represent the world in thought and language is shot through with indeterminacy: we speak of red apples and yellow apples without thereby committing to any sharp cutoff between the application of the predicate ‘red’ and of the predicate ‘yellow’. But can reality itself be indeterminate? In other words, can indeterminacy originate in the mind-independent world, and not only in our representations? If so, can the phenomenon also arise at the microscopic scale of fundamental physics? Section 1 of (...) this Element provides a brief overview of the question of indeterminacy. Section 2 discusses the thesis that the world is comprised of indeterminate objects, whereas Section 3 focuses on the thesis that there are indeterminate states of affairs. Finally, Section 4 is devoted to the case study of indeterminacy in quantum physics. (shrink)

I defend the ethical fittingness theory (EFT), the thesis that whenever it is legitimate ethically to evaluate a representational artwork for the perspective it embodies, such evaluation systematically bears on the work's artistic value. EFT is a form of radical moralism, claiming that the systematic relationship between the selected type of ethical evaluation and artistic evaluation always obtains, for works of any kind. The argument for EFT spells out the implications of ethically judging an artwork for its perspective, where such (...) an ethical evaluation is understood as an assessment of how well the work's ethical perspective fits extra-fictional reality—how appropriate, correct, or true the perspective is. The argument shows that the ethical legitimacy of judging a work for its perspective ipso facto proves the judgment's art-critical relevance. Hence, the argument effectively amounts to a reductio ad absurdum of theories that admit the legitimacy of ethically judging artworks this way, but deny or qualify the judgment's relevance to artistic merit. Since EFT is stated conditionally, the argument need not indicate how often artworks are subject to this type of ethical evaluation. Nonetheless, I make a case for the relevance of EFT to actual art criticism and contemporary philosophical debate. (shrink)

In his theory of truthmaker content, Kit Fine has provided many insights concerning the relation of aboutness, allowing us to understand why a unique subject matter can be associated to a sentence, what is the relation between the subject matter of a sentence and its truth conditions, and why necessary sentences can be distinguished with respect to what they are about. The aim of this chapter is to consider these insights critically, compare them to the notion of subject matter developed (...) by Lewis, and put forward a unified account giving us the resources to overcome some of their limits. The resulting theory characterizes the relation of aboutness by combining in a consistent framework Lewis’s intuition on how sentences are related to the questions they possibly answer with Fine’s intuition on how sentences are related to their truthmakers. (shrink)

On some views, we can be sure that parties to a dispute over the logic of ‘exists’ are not talking past each other if they can characterise ‘exists’ as the only monadic predicate up to logical equivalence obeying a certain set of rules of inference. Otherwise, we ought to be suspicious about the reality of their disagreement. This is what we call a proof- theoretic argument. Pace some critics, who have tried to use proof-theoretic arguments to cast doubts about the (...) reality of disagreements about the logic of ‘exists’, we argue that proof-theoretic arguments can be deployed to establish the reality of several such disagreements. Along the way, we will also utilise this technique to establish similar results about some disagreements over the logic of identity. (shrink)

By recent work on some conjectures of Pillay, each definably compact group G in a saturated o-minimal expansion of an ordered field has a normal "infinitesimal subgroup" G00 such that the quotient G/G00, equipped with the "logic topology", is a compact (real) Lie group. Our first result is that the functor G → G/G00 sends exact sequences of definably compact groups into exact sequences of Lie groups. We then study the connections between the Lie group G/G00 and the o-minimal spectrum (...) G̃ of G. We prove that G/G00 is a topological quotient of G̃. We thus obtain a natural homomorphism ψ* from the cohomology of G/G00 to the (Čech-)cohomology of G̃. We show that if G00 satisfies a suitable contractibility conjecture then $\widetilde{G^{00}}$ is acyclic in Čech cohomology and ψ* is an isomorphism. Finally we prove the conjecture in some special cases. (shrink)

I articulate a Global Best-System Account (GBSA) of laws of nature along broadly Mill–Ramsey–Lewis lines. The guiding idea is that the job of laws is to capture real patterns across time—where a pattern is real if it allows to compress information about matters of particular fact. The GBSA’s key ingredient is a definition of ‘best system’ in terms of a ranking method that meets a number of desiderata: it is rigorously defined; it outputs the ranking based on the candidate systems’ (...) epistemic virtues; it is objective, in that the output does not depend on one’s choice of basic concepts; it avoids two trivialization results (by Lewis, and Arrow-Okasha); and it does not appeal to naturalness, or other metaphysical notions in that vicinity. Although the GBSA is independent of the controversial thesis of Humean Supervenience, it satisfies the weaker thesis that laws of nature supervene on the total physical state of the world. Moreover, the resulting notion of lawhood is hyperintensional, unlike the neighboring notion of nomological necessity. Finally, GBSA-laws do not track naturalness, contra the Lewisian orthodoxy. (shrink)

The experience of Costa Rica highlights the potential for conflicts between the right to health and fair priority setting. For example, one study found that most favorable rulings by the Costa Rican constitutional court concerning claims for medications under the right to health were either for experimental treatments or for medicines that should have low priority based on health gain per unit of expenditure and severity of disease. In order to better align rulings with priority setting criteria, in 2014, the (...) court initiated a reform in its assessment of claims for medicine. This paper assesses this reform’s impact on the fairness of resource allocation. It finds three effects. First, a reduction in successful claims for experimental medication, which is beneficial. Second, an increase in the success rate of medication lawsuits, which is detrimental because most claims are for extremely cost-ineffective medications. Third, a decline in the number of claims for medicine, which is beneficial because it forestalls such low-priority spending. This paper estimates that, taking all three effects into account, the reform has had a modest net positive impact on overall resource allocation. However, it also argues that there is a need for further reforms to lower the number of claims to low-priority medicines that are granted. (shrink)

- Biological and cognitive systems have the capa- bility of developing new goals during phylogenesis of species or during ontogenesis of single individuals. On the other hand, current artificial cognitive systems focus on how achieving a given fixed set of hard-wired goals. They search an optimal solution of a problem, given a set of goals and a set of optimiza- tion criteria. They look for “how” to achieve a given goal. Natural agents develop new goals in order to cope with (...) par- tially unknown and ever changing environment. They must find “what” they want to achieve and not only “how”. The development of new goals on the basis of the interaction with the environment is here defined the “what” problem. The de- velopment of a collection of goals permits to redefine the con- cept of Umwelt in what could be considered the teleological Umwelt of an agent. The objective of this paper is twofold: i) to outline the “what” problem and ii) to describe a robotic archi- tecture capable of addressing it. (shrink)

An appropriate characterization of property types is an important topic for measurement science. On the basis of a set-theoretic model of evaluation and measurement processes, the paper introduces the operative concept of property evaluation type, and discusses how property types are related to, and in fact can be derived from, property evaluation types, by finally analyzing the consequences of these distinctions for the concepts of ‘property’ used in the International Vocabulary of Metrology – Basic and General Concepts and Associated Terms (...) (VIM3). (shrink)

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that are explicitly (...) known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive. (shrink)

This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...) epistemological standpoints. (shrink)

In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view is subjected. A system (...) of logic for belief is introduced and proved to be complete with respect to the class of all frames for implicit and explicit belief constructed in accord to the new view. (shrink)

Christian Metz can rightfully be considered the founder of the semiology of cinema. This essay traces the supporting structures, and the problems connected to them, of this theoretical effort, starting first of all from the context that nourished it. The difficulties associated with both the construction of a general semiology and the use of its categories in cinema and artistic languages emerge.

Il saggio si propone di approfondire due tendenze tipiche della musica contemporanea: la prima è il Minimalismo, movimento rappresentato da musicisti come La Monte Young, Philip Glass and Steve Reich, la seconda è la rave music (come la techno), caratteristica della popular culture nell’era postmoderna. Attraverso il pensiero di Adorno, e a partire dalla sua analisi dialettica del dualismo Schönberg-Stravinskij, il saggio propone una comprensione filosofica di concetti come “ripetizione” e “trascendenza”; l’assenza dello “sviluppo” in gran parte della produzione musicale (...) degli ultimi decenni, nella popular music quanto nella musica colta, dimostra una dispersione del soggetto e dell’individuo, smarrito all’interno di un “eterno ritorno” della struttura ritmica che può essere ricompreso nei termini di un “eterno ritorno dell’identico” e non nei termini di un “eterno ritorno della possibilità”; in quest’ottica, a venire sacrificata è anche la dimensione della trascendenza, che non a caso viene ricercata spesso nell’esotismo dei culti orientali o nel consumo di sostanze stupefacenti. L’insistenza nel Minimalismo della ripetizione come unica ed estrema categoria di riferimento e norma estetica, produrrà infatti nel corso degli ultimi anni una dicotomia apparentemente contraddittoria, ma che invece esprime la medesima matrice logica: da un lato l’invasamento edonistico del beat elettronico della musica dance elettronica, dall’altro la proposta commerciale della produzione industriale della musica pop. Non è un caso che proprio il Minimalismo sia sfociato in entrambe queste due tendenze, mostrandosi come la cifra comune originaria, traducendosi nella musica rave o nella musica rock. (shrink)

I. Dans un texte récent, le compositeur français Jean-Luc Hervé expose ainsi son projet d’une œuvre conçue pour un espace public, notamment un jardin : (…) une génération totalement aléatoire de son, si elle permet de varier continuellement le matériau sonore, interdit par définition toute construction musicale. Il est impossible par cette méthode de façonner des formes et de proposer à l’auditeur une écoute détaillée. Il ne peut reconnaître aucune forme, aucun objet musical (geste, phrase)....

The article examines some of the consequences of the migration of musical works in cyberspace, particularly with regard to their ways of being and the ways in which we listen to them. Streaming is interpreted as the last stage in the expansion of a phenomenon that arose with the advent of phonography, namely, the ubiquity and availability of the works. A new development consists in the production of musical units in modular terms: works can consist of independent parts, which can (...) be replaced or constituted, in an order that depends on the user, taking inspiration from the model of the playlist. The diffusion of works on the web has also facilitated the development of the remix practice, changing listening standards and generating new conceptual conflicts concerning the identity of the works. The web weakens the distinction between the medium of communication and the medium of recording. It also favors the formation of new cognitive dispositions and generates more flexible and interactive ways of listening, generally different from those implicated in the era of the disc. (shrink)

The multiplication of actors on the global scene displays how economics and political interdependences are plural and rooted, and how far are the States bonded to new political and economics subjects. The national space has no longer the centrality it acquired during modernity. This loss is due to the emergence of plural spaces in which the State – globalized and discontent – is forced to operate. However, the external bonds represented by this new economics of interdependences, are sided by the (...) transformations in the principles orienting the choices and the behaviours of individuals, interpreted as economic agents. Those principles do represent the inner bond of politics and the internal limits to the agency of the States. The economic governance of politics constitutes a new economics of interdependences and behaviours expressing, at the same time, the promotion and the management of subjectivities. It operates as a new ratio societatis : a new “global economic civilization”. (shrink)

In this paper, we investigate the relationship between two decidable interval-based temporal description logics that have been proposed in the literature, T L-ALCF and ALCF. Although many aspects of these two logics are quite similar, the two logics suggest two rather different paradigms for representing temporal conceptual knowledge. In this paper, we exhibit a reduction from T L-ALCF concepts to ALCF concepts that serves two purposes: first, it nicely illustrates the relationship between the two knowledge representation paradigms; and second, it (...) provides a tight PSPACE upper bound for T L-ALCF concept satisfiabiliy, whose complexity was previously unknown. (shrink)

Jerrold Levinson has elegantly defended a proposal for the ethical evaluation of popular songs, which looks at the ‘personal qualities’ a song exhibits. I claim that the personal-qualities theory of artistic expression importantly contributes to explaining how songs get to have their meanings, yet that it does not very profitably extend to their ethical evaluation. I propose that the notion of a work’s ethical perspective best generates a central way of ethically evaluating popular songs, by properly linking the ethical evaluation (...) of songs to their meanings. Reference to songs’ ethical perspectives proves able to (a) enjoy broad scope; (b) produce charitable ethical assessments; (c) generate fine-grained and comparative attributions of ethical value; and (d) deal, better than the personal-qualities view, with songs that include multiple characters, manifest despicable personae without explicitly condemning them, or exhibit a persona that eschews ethical evaluation. Investigating the theoretical centrality of this type of ethical judgment also provides us with an opportunity to better understand what construing the meaning of songs—and more generally works of art—involves: when relevant, the proper construal of works’ ethical perspectives’ objects, and of the perspectives themselves as often presenting us with outlooks just for our consideration, not approval. I close by suggesting a possible relationship between our song preferences and our sense of self, via David Hume’s notion of pride: the songs we favour help us with self-perception and -assessment, and perhaps with self-construction. (shrink)

La crisis económica hace más difícil la transición a la vida adulta. Ni siquiera los jóvenes universitarios están a salvo de la precariedad laboral. Hemos entrevistados a veinte españoles entre 20 y 30 años, con títulos académicos y con trabajos precarios para saber cómo la coyuntura actual influye en sus posibilidades de independencia. A través de sus posicionamientos interpretativos, describimos la crisis como trampa, obstáculo o desafío. La alteración de su emancipación es un reflejo de los problemas de relevo generacional (...) y de promoción social que las familias de clase media están experimentando en nuestro país en los últimos años.The economic crisis has increased the difficulty of the transition to adulthood. Neither young people with academic degrees can avoid employment instability. We interviewed twenty Spanish young-adults between 20 and 30 years old, with bachelor degrees and precarious jobs in order to know how the current economic downturn is influencing their possibility of independence. According to their interpretative perspectives, we describe the crisis as a trap, as an obstacle or as a challenge. The changes of their emancipation patterns are the spitting images of those problems related to generational replacement and social promotion that Spanish middle-class families have been experimenting during the last years. (shrink)

The main feature of happiness requires the desire to be fulfilled by the achievement of the desired good, and in this quietness the subject feels pleasure. Then the highest experience of delight consists in the achievement of the last end, of the supreme good, able to satisfy the human desire completely. Hence two different kinds of happiness arise: the one is earthly happiness, which the body takes part to, consequent to the possession of finite goods; the other is eternal happiness, (...) derived from the highest good. Thomas Aquinas states the same formal feature for both earthly and eternal happiness, namely their connection to the most proper human activity: knowing, contemplating, understanding the good. For this reason Thomas argues for the strict connection between the pursuit of human happiness on earth and its final achievement, because the man, even as searching for earthly happiness, aspires to eternal beatitude. (shrink)

Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments of: truth and paradoxes; definitions by (...) abstraction; the status of abstract objects, such as mathematical objects and universal concepts; and the structure of explicit knowledge. The last two sections include papers on classical problems in philosophy of science, such as the status of subjective probability, the notion of verisimilitude, the notion of approximation, and the theory of mind and mental causation, and specific issues in metaphysics and philosophy of religion, such as the ontology of species, actions, and intelligible worlds, and the logic of religious belonging. (shrink)