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)

Measurement results are stated in terms of sentences ascribing measured values, as obtained via measurement processes, to measurands, as defined by measuring agents. Since both the definition of the measurands and the characterization of the processes depend on models constructed on the basis of relevant theories, the issue arises of the theory dependence of the truth of those sentences. This paper aims at assessing the question by introducing suitable distinctions about the sense and reference of the terms used to refer (...) to individual and general quantities, in a framework where measurement is construed as an agent-dependent, model-based, purpose-driven activity. (shrink)

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the (...) following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic. (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 a recent paper Berto introduces a semantic system for a logic of imagination, intended as positive conceivability, and aboutness of imaginative acts. This system crucially adopts elements of both the semantics of conditionals and the semantics of analytical implications in order to account for the central logical traits of the notion of truth in an act of imagination based on an explicit input. The main problem left unsolved is to put forward a complete set of axioms for the proposed (...) system. In the present paper I offer a solution to this problem by providing a complete axiomatization of a generalization of the original semantics. The difficulty in proving completeness lies in the fact that the modalities that capture the notion of truth in an act of imagination are neither standard nor minimal, so that the construction of the canonical model and the proof of the truth lemma are to be substantially modified. (shrink)

The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...) of action that are abstractly prescribed, and what is ideal with respect to the specific situation in which the agent acts, and (ii) the transitions associated with actions and the results of actions, which can obtain even without the action being performed. (shrink)

The present paper analyses the correctness of an argument aiming to show that Aristotelian ontology justifies a better interpretation of the world than naturalistic ontology. The problems connected with this argument can be reduced to three: (1) the assumption of a scientific appoach to the world does not imply the exclusion of subjectivity or intentionality; (2) the assumption of an ontology of substances does not imlpy the exclusion of ontological models deriving from the scientific approach to the world; (3) the (...) assumption of an ontology of substances is linked to the problem of the relation between the objective and the subjective world, involving the negation of causal closure of the objective world. An analysis of these problems will be presented below, together with a hypothesis of solution to the problem of illusoriness of the subjective dimension, in order to justify the confutation of an extreme naturalistic conception such as eliminativism. (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)

The present paper presents a philosofical analysis of the concept of control based on a specific characterization of the structure of control systems. The paper is subdivided into four section: in the first and the second sections the control dynamics is described and interpreted, while the last two sections briefly copy with the relationships between control, teleonomy, teleology and freedom.

The concept system around ‘quantity’ and ‘quantity value’ is fundamental for measurement science, but some very basic issues are still open on such concepts and their relations. This paper proposes a duality between quantities and quantity values, a proposal that simplifies their characterization and makes it consistent.

Vocal bursts are non-linguistic affectively-laden sounds with a crucial function in human communication, yet their affective structure is still debated. Studies showed that ratings of valence and arousal follow a V-shaped relationship in several kinds of stimuli: high arousal ratings are more likely to go on a par with very negative or very positive valence. Across two studies, we asked participants to listen to 1,008 vocal bursts and judge both how they felt when listening to the sound (i.e. core affect (...) condition), and how the speaker felt when producing it (i.e. perception of affective quality condition). We show that a V-shaped fit outperforms a linear model in explaining the valence-arousal relationship across conditions and studies, even after equating the number of exemplars across emotion categories. Also, although subjective experience can be significantly predicted using affective quality ratings, core affect scores are significantly lower in arousal, less extreme in valence, more variable between individuals, and less reproducible between studies. Nonetheless, stimuli rated with opposite valence between conditions range from 11% (study 1) to 17% (study 2). Lastly, we demonstrate that ambiguity in valence (i.e. high between-participants variability) explains violations of the V-shape and relates to higher arousal. (shrink)

This paper discusses the relationship between obesity, law, and public health preparedness as well as the relevant roles of public health practitioners, policymakers, and lawyers. Each group believes they have a unique role in this relationship although there can be overlap and/or lack of clarity as to what that role may be.The role of the lawyer in the public policy process is to identify relevant legal issues, to analyze them and give advice on the risks of taking a given action, (...) and to communicate legal advice in a clear manner. Simply put, the lawyer’s role is to dive deep into the law surrounding the topic at hand and to offer advice regarding the permissible limits of policymakers’ options and the associated risks. (shrink)

While walking within the installation, even though moving among its elements, the image cannot really be grasped in its entirety. Hence, Paladino deals with three distincdy contrasting concepts: the part refers to the whole; the part has totality in itself; the part refers only to itself (being unable to take in the totality of the image, the part can only be related to as an autonomous fragment). And the different positions are incompatible because many believe they can experience the whole (...) through the part, ruling out that the world is made up of autonomous fragments. In turn, the idea that reality is made up of fragments independent of one another is inconsistent with the idea that we can grasp the totality. Stele deals with a theme that has been recurrent in Paladinos work since he began working at the end of the 1970s: the world is an intellectual construction that art gives shape to. (shrink)

La pobreza tiene una base material, la penuria de recursos. Pero su naturaleza es moral, consiste en el reconocimiento de que ciertas situaciones son acreedoras de acciones preventivas o remediadoras. Las sociedades vienen colocando tradicionalmente el umbral de pobreza en el punto por debajo del cual esta en peligro la subsistencia. Pero la conciencia reformista del mundo occidental ha llegado a servirse de la idea de pobreza para señalar los fallos de su compromiso de igualdad social. No se trata tanto (...) de una benévola elevación del baremo, como de una reconceptualización acorde con la ideología política dominante. (shrink)

Measurement is widely applied because its results are assumed to be more reliable than opinions and guesses, but this reliability is sometimes justified in a stereotyped way. After a critical analysis of such stereotypes, a structural characterization of measurement is proposed, as partly empirical and partly theoretical process, by showing that it is in fact the structure of the process that guarantees the reliability of its results. On this basis the role and the structure of background knowledge in measurement and (...) the justification of the conditions of object-relatedness ("objectivity") and subject-independence ("intersubjectivity") of measurement are specifically discussed. (shrink)

The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from that set (...) of axioms. In the second section, a basic system of justification logic for implicit and explicit justifiers is analyzed and some significant facts about it are proved. In the final section, an adequate semantics is proposed, and the system is proved to be sound and complete whit respect to it. (shrink)

The article offers an overview and a critical assessment of the work of Zeev Sternhell, focussing on the questions of fascism and of the anti-Enlightenment tradition. It claims that the career of the Israeli historian revolves around the intuition of a history of European modernity marked by a central opposition: that between the Enlightenment and the anti-Enlightenment. I show how the idea is already present in his initial works, and argue that it produces a specific kind of intellectual history, concerned (...) with the unity of traditions over large temporal horizons. I claim that it has the advantage of offering an historically grounded reading of fascism which nonetheless is capable to account for its emergence in apparently very dissimilar contexts. After having examined some of the shortcomings of this approach, I offer an historical explanation for the type of intellectual history practiced by Sternhell, arguing that it must be tied to his political activism in Israel. (shrink)

The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; (...) finally, Fitting semantics is adapted in order to present a simplified semantics for the quantified logic of essence. (shrink)

The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. (...) In the second section, three new systems of justification logic are introduced and characterised with respect to an appropriate semantics. The final section shows why the highlighted problems do not afflict the new systems and how it is possible to interpret LJ in the new framework. (shrink)

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

Over the past few years, several proposals aimed at procuring human pluripotent (embryonic-like) stem cells without involving the destruction of a human embryo have been proposed and widely discussed. This article focuses on a basic aspect of the debate, namely the plausibility of one or more of these new proposals being able to meet the ethical requirements that those who regard the human embryo as sacred have tried to impose on stem cells research in the last ten years. The thesis (...) of the article is that focusing the discussion only on the sources of stem cells has prevented a full understanding of the foundation, meaning and scope of these ethical requirements. To substantiate this thesis, the article takes into consideration two issues: the first has to do with the potential of the cells obtained through some of the new approaches (iPS included), the second (and decisive) with the argument of the ‘indirect complicity’, applied to the use of ‘contaminated’ knowledge. (shrink)

To be an Aristotelian about universals is to hold that universals depend for their existence on their exemplifiers. An argument against Aristotelianism about universals has recently been put forward by Costa to the effect that a contradiction follows from assuming a certain formulation of Aristotelianism together with some highly plausible principles governing the notions employed in that formulation. In this paper, we provide different ways of articulating the Aristotelian position which, while being related with some of the main contributions in (...) the current Aristotelian tradition, do not fall prey to the argument. (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)

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)

Structural models of systems of causal connections have become a common tool in the analysis of the concept of causation. In the present paper I offer a general argument to show that one of the most powerful definitions of the concept of actual cause, provided within the structural models framework, is not sufficient to grant a full account of our intuitive judgements about actual causation, so that we are still waiting for a comprehensive definition. This is done not simply by (...) focusing on a set of case studies, but by arguing that our intuitions about two different kinds of causal patterns, i.e., overdetermination and counterdetermination, cannot be addressed using that definition. (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)

We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

This article reviews Bergson’s proposed solution to the classical mind-body problem, confronting his system with previous alternatives, but mainly Kant's. To this end, it offers an analysis of Matter and memory’s main argument, aimed at discerning its consequences for a competing definition of knowledge.

A truthmaker solution to the Gettier problems is based on the idea that knowledge can be defined as justified true belief provided that the source of one’s justification is suitably connected with what makes the believed proposition true. Different developments of this basic intuition have been recently criticized on the basis of a series of arguments aiming at showing that no truthmaker theory can allow us to solve Gettier problems, since the very idea underlying such solution is ineffective. In this (...) paper, I discuss the criticism to the truthmaker solution I consider most promising and show how it can be successfully addressed. (shrink)

This paper is about the epistemology of practical reason and, in particular, the function of trust as an end to be pursued rationally in praxis. Our purpose is threefold: first, to present an outline of the structure of practical reason; secondly, to compare practical reason and scientific reason in order to determine the main differences between these two basic manifestations of human reason; finally, to argue in favour of a non-utilitarian model of practical reason in the light of some results (...) of contemporary economic theory. (shrink)

Anthropological Locations: Boundaries and Grounds of. Field Science. Akhil Gupta and James Ferguson eds. Berkeley and Los Angeles, CA: University of California Press. 1997. viii. 275 pp. $45.00 (cloth); $16.95 (paper).

This article critiques the theological and moral foundations that undergird the approach of the document For the Life of the World: Toward a Social Ethos of the Orthodox Church to the question of the Church's role in the public sphere. The article's focus is essentially two-fold. First, it strives to clarify For the Life of the World's hermeneutical method through a consideration of its frequent appeals to the authority of the Orthodox tradition. Second, the article seeks to understand the document's (...) tacit reliance upon a Eucharistic model of ecclesiology and its connection to the recurring theme of the ‘transfiguring of the world’. (shrink)

Arthur Danto è figura di spicco della critica d’arte contemporanea nordamericana. I suoi saggi, le opinioni espresse su The Nation (è dal 1984 che occupa le stesse colonne una volta affidate a Clement Greenberg) o su Artforum hanno una forte presa sulla scena artistica. Danto è una figura anomala nell’ambito della critica d’arte in quanto, pur essendo un filosofo, frequenta gli studi degli artisti e le gallerie, comprese quelle più radical. La filosofia e la critica d’arte utilizzano linguagg...