The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear pointed commutative residuated lattices. It is shown that Craig interpolation fails for certain classes of these logics with weakening if the corresponding algebras are not idempotent. A complete characterization is then given of axiomatic extensions of the “R-mingle with unit” logic that have the Craig interpolation property. This latter characterization is obtained using a model-theoretic quantifier elimination strategy to determine the varieties of Sugihara monoids (...) admitting the amalgamation property. (shrink)

This work presents a model-theoretic approach to the study of the amalgamation property for varieties of semilinear commutative residuated lattices. It is well-known that if a first-order theory T enjoys quantifier elimination in some language L, the class of models of the set of its universal consequences \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\rm T_\forall}$$\end{document} has the amalgamation property. Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm Th}(\mathbb{K})}$$\end{document} be the theory of an elementary subclass (...) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{K}}$$\end{document} of the linearly ordered members of a variety \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{V}}$$\end{document} of semilinear commutative residuated lattices. We show that whenever \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm Th}(\mathbb{K})}$$\end{document} has elimination of quantifiers, and every linearly ordered structure in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{V}}$$\end{document} is a model of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm Th}_\forall(\mathbb{K})}$$\end{document}, then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{V}}$$\end{document} has the amalgamation property. We exploit this fact to provide a purely model-theoretic proof of amalgamation for particular varieties of semilinear commutative residuated lattices. (shrink)

We introduce an epistemic version of validity and completeness of first order logic, based on the notions of ideal agent and fictional model. We then show how the perspective here considered may help to solve an epistemic puzzle arising from Gödel's second incompleteness theorem.

This book uses the conceptual tools of philosophy to shed light on digital media and on the way in which they bear upon our existence. At the turn of the century, the rise of digital media significantly changed our world. The digitizing of traditional media has extraordinarily increased the circulation of texts, sound, and images. Digital media have also widened our horizons and altered our relationship with others and with ourselves. Information production and communication are still undoubtedly significant aspects of (...) digital media and life. Recently, however, recording, registration and keeping track have taken the upper hand in both online practices and the imaginaries related to them. The essays in this book therefore focus primarily on the idea that digital media involve a significant overlapping between communication and recording. (shrink)

In this paper we consider the importance of trust, in the context of economic institutions, and specifically with respect to questions about market mechanisms and the role of social interactions. We review recent advances in institutional economics closely tied to developments in philosophy of mind and cognitive science, involving extended and enactive cognition. We argue that the analysis of different conceptions of institutional mind extension, in Denzau and North’s shared mental models, Clark’s extended mind, and a more enactive approach that (...) emphasizes the importance of social interaction and personal relationships, can benefit from Kathrine Hawley’s distinction between reliability and trust. Institutional arrangements based solely on the reliability of impersonal mechanisms can lead to a variety of social pathologies and, at the extreme, a form of cognitive atrophy, all of which can undermine the sustainability of institutions. Even if trust comes with risks and some degree of unpredictability, it turns out to be a necessary glue-like ingredient in the constitution of social institutions. (shrink)

In Economics individuals are defined by their preferences over the consequences of their own actions and the actions carried out by others. In contrast, Simone Weil depicts the individual as continuously re-constituted by the contact that he establishes with reality via his action. Such an action is aimed at achieving an effect in the physical world, but what makes it human is not success per se, but rather the fact that it stems from reasoning and planning. Affliction is caused by (...) effort carried out mechanically like that of a beast of burden, when the individual has no opportunity to exercise reason for choosing how to confront reality's ever-challenging hazards and necessity. (shrink)

John Rawls and Simone Weil presented two distinct conceptions of political justice, aimed at articulating a common ethos in an inherently heterogeneous society. The terms of the former, chiefly concerned with the distribution of primary goods, underwrite much of today's Western democracies political liberalism. The terms of the latter, chiefly concerned with the way interaction is organised in social activities in view of the body and soul's balancing pairs of needs, are less well known. We explain the sense in which (...) the overlapping consensus in Weil's notion of political justice is “thicker”, and may thus deserve more attention – alongside that of Rawls – for substantiating a democratic ethos within political liberalism. (shrink)

This paper investigates the question of how we manage to single out the natural number structure as the intended interpretation of our arithmetical language. Horsten submits that the reference of our arithmetical vocabulary is determined by our knowledge of some principles of arithmetic on the one hand, and by our computational abilities on the other. We argue against such a view and we submit an alternative answer. We single out the structure of natural numbers through our intuition of the absolute (...) notion of finiteness. (shrink)

Marcel Proust’s In Search of Lost Time, raises an interesting philosophical issue, namely, how can one be in touch with past things if they no longer exist? It provides us with a way to address this issue by outlining an ontological view according to which past things still exist within a four-dimensional world. Although one cannot be in touch with past things by means of ordinary perception, one can do so by combining perception and memory. In this sense, In Search (...) of Lost Time helps us to reconcile a four-dimensionalist ontology according to which things have both spatial and temporal parts with a realist phenomenology according to which experience gives us access to things as they are. In so doing, Proust’s masterpiece allows us to shed some light on what it means for a subject of experience to exist in a four-dimensional world. (shrink)

In contemporary Western culture, death has been widely censured because of its conceptual implications; it lies at the boundaries between reductionism and metaphysics. There is not yet an efficacious epistemology able to solve this contraposition and its consequent collision with science and tradition. This article analyzes Near Death Experiences as a prototypical argument in which the two perspectives conflict. Specifically, it analyzes the epistemological antinomies of the ontological representations of death, inhering in passage versus absolute annihilation. Indeed, the NDEs theme (...) permits the examination of the logical contradiction between monistic reductionism and its ontological counterpart to improve the discovery of a new paradigm that integrates the ecological with eternalist views. (shrink)

Notwithstanding fundamental methodological advancements, scientific information about disorders of consciousness (DOCs)—e.g. Vegetative State/Unresponsive Wakefulness Syndrome (VS/UWS) and Minimally Conscious State (MCS)—is incomplete. The possibility to discriminate between different levels of consciousness in DOC states entails treatment strategies and ethical concerns. Here we attempted to investigate Italian clinicians’ and basic scientists’ opinions regarding some issues emerging from the care and the research on patients with DOCs. From our survey emerged that Italian physicians working with patients with DOCs give a central role (...) to ethics. Current Italian regulation regarding basic research conducted in patients with DOCs apparently risks to be inadequate to support scientific advancement, and would deserve a different assessment compared to ordinary treatments. We think the results of our survey deserve attention from an international audience because they exemplify the difficulty to define a shared approach to the issues related to patients with DOCs and the necessity to better assess both the ordinary and experimental treatment of patients with DOCs at the ethical and legal level. (shrink)

Le livre Jeux d’échelles. La microanalyse à l’expérience, paru en 1996 sous la direction de Jacques Revel, a été traduit en Italie en 2006 par les éditions de la Viella sous le titre Giochi di Scala. La microstoria alla prova dell ‘esperienza. Cette occasion a semblé propice à un retour historiographique et épistémologique sur l’expérience microhistorique entre la France et l’Italie. Il s’agit d’entrecroiser les réflexions d’un historien français et d’un philosophe italien, pour chercher à mettre en évidence, à distance, (...) les présupposés théoriques de la microhistoire, et à mesurer les déplacements opérés. (shrink)

This is a book about food, philosophy, and intellectual property rights. Taken separately, these are three well-known subjects; but it is uncommon to consider them together. Delivering a rich field of disputes, the book is comprised of 50 case studies, organized around eight themes: images; genericity and descriptiveness; language traps; procedures; menus, recipes, and creativity; boundaries; biotech; and empowerment. The introductory chapter frames the selection of cases and encourages readers to look beyond them, envisaging new lenses to look at food (...) vis-à-vis intellectual property. The terrain encompassed is wide-ranging and reaches out to fine-grained aspects of food products, recipes, and cooking. Conceived for a wide scope of readers, the volume ultimately interrogates the links between food and cultural identity, bringing to the fore the ethical, political, aesthetic worth of culinary arts and gastronomic experiences. This accessible book will be of value to scholars, students, practitioners and others with interests in the areas of intellectual property, food law and food studies. (shrink)

In Categories 12 (14b11–22), Aristotle famously claims that [1] true sentences and reality stand in a mutually implicative relationship, and that [2] reality causes the truth of sentences but not vice versa. In this paper, I first argue that Boethius’ reading of the above passage led medieval logicians to assess [1] and [2] within the framework of a theory of consequence. Then, I consider two important questions raised by Boethius and later logicians in relation to [1] and [2], and, namely, (...) whether the implication described in [1] really satisfies the requirement for consequence, and whether the truthmaking relation posited in [2] can be boiled down to the relation of consequence. Boethius himself, I argue, answered affirmatively to both questions and thus (much like some contemporary truthmaker theorists) committed himself to an account of truthmaking as entailment. I then consider criticisms to Boethius’ account found in the writings of William of Champeaux, two anonymous authors connected to the school of Jocelyn of Soissons, Peter Abelard, and the author of the Ars Meliduna. Here, I argue that the emergence of a concern for relevance drives the need for abandoning Boethius’ account as well as his conception of truthmaking as entailment. (shrink)

In questo volume Enrico Fubini si propone di mettere in luce i temi fondamentali, le correnti piú importanti, i problemi chiave dell'estetica musicale contemporanea, iniziando il loro studio dall'illuminismo, in cui tali problemi affondano le loro radici. Il concetto di estetica è inteso nel senso piú largo, comprendendo le meditazioni sulla musica non solo degli studiosi di estetica e dei musicisti stessi, ma anche dei filosofi, degli psicologi, dei fisici e dei matematici.

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers - both new and previously published - it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer's idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical (...) realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer's work. These figures include Michael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. (shrink)

This profound philosophical argument analyzes the mental processes and opinions of such physicists as Maxwell, Kelvin, Tait, etc... who, between 1750 and 1900, considered the relationship between mathematics and experience, causing a revolution which questioned the universal applicability of Newtonian "mechanism.".

Ce recueil comprend une vingtaine de mes articles, pour la plupart deja publie par ailleurs. Plusieurs d'entre eux ont paru en francais, la langue que je prefere pour la communication internationale; mais il n'y a pas tout ce que j' ai ecrit ou publie dans cette langue: je n'ai retenu que les etudes concernant la dialectique, la physique et la metaphysique d'Aristote, et parmi celles-ci seulement celles qui me paraissent les plus significatives. J'y ai ajoute cinq traductions d'articles publies en (...) italien ou en anglais et qui me semblaient constituer un complement utile aux theses developpees dans les autres. Le but de cette publication est avant tout de mettre a la disposition d'un public plus large les resultats de mes etudes sur ces differents themes, en lui permettant d'en avoir une vision pour ainsi dire synoptique - au risque de comporter des repetitions, dont je tiens a m'excuser ici. Comme il s'agit d'ecrits s'etendant sur une trentaine d'annees - le plus ancien remonte a 1979, mais il avait ete presente au Symposium Aristotelicum de 1972 -, il est inevitable que, sur plusieurs points, il y ait eu des changements d'opinion. Mais ceux-ci ne sont pas vraiment significatifs et il s'agit dans la plupart des cas de nuances, de differences d'accent ou encore de mises au point. Si j'ai choisi d'inclure ainsi des opinions que je ne soutiens plus de la meme maniere aujourd'hui, c'est dans une intention dialectique, au sens aristotelicien du terme, c'est-a-dire pour fournir tous les arguments en faveur d'une these aussi bien que tous ceux qui lui sont opposes, de maniere a developper les apories dans les deux directions, ce qui, pour Aristote, constitue la meilleure maniere de distinguer le vrai du faux. (shrink)

Texts and testimonies of the Greek sophists, along with extensive commentary.

Physicians frequently face ethical dilemmas when caring for patients. To help them to cope with these, biomedical ethics aims to implement moral norms for particular problems and contexts. As a means of studying the cognitive and neurobiological features underlying the respect for these norms, moral cognitive neuroscience could help us to understand and improve ethical questioning. The article reviews recent developments in the field and presents neurobiological arguments to highlight why some moral rules are universally shared and why some ethical (...) responses are very dependent on context. (shrink)

Psychopathy is a personality disorder frequently associated with immoral behaviors. Previous behavioral studies on the influence of psychopathy on moral decision have yielded contradictory results, possibly because they focused either on judgment (abstract evaluation) or on choice of hypothetical action, two processes that may rely on different mechanisms. In this study, we explored the influence of the level of psychopathic traits on judgment and choice of hypothetical action during moral dilemma evaluation. A population of 102 students completed a questionnaire with (...) ten moral dilemmas and nine non-moral dilemmas. The task included questions targeting both judgment (“Is it acceptable to … in order to …?”) and choice of hypothetical action (“Would you … in order to …?”). The level of psychopathic traits of each participant was evaluated with the Levenson Self-Report Psychopathy (LSRP) scale. Logistic regression fitted with the generalized estimating equations method analyses were conducted using responses to the judgment and choice tasks as the dependent variables and psychopathy scores as predictor. Results show that a high level of psychopathic traits, and more specifically those related to affective deficit, predicted a greater proportion of utilitarian responses for the choice but not for the judgment question. There was no first-order interaction between the level of psychopathic traits and other potential predictors. The relation between a high level of psychopathic traits and increased utilitarianism in choice of action but not in moral judgment may explain the contradictory results of previous studies where these two processes were not contrasted. It also gives further support to the hypothesis that choice of action endorsement and abstract judgment during moral dilemma evaluation are partially distinct neural and psychological processes. We propose that this distinction should be better taken into account in the evaluation of psychopathic behaviors. (shrink)

A rigorous ab initio derivation of the (square of) Dirac’s equation for a particle with spin is presented. The Lagrangian of the classical relativistic spherical top is modified so to render it invariant with respect conformal changes of the metric of the top configuration space. The conformal invariance is achieved by replacing the particle mass in the Lagrangian with the conformal Weyl scalar curvature. The Hamilton-Jacobi equation for the particle is found to be linearized, exactly and in closed form, by (...) an ansatz solution that can be straightforwardly interpreted as the “quantum wave function” of the 4-spinor solution of Dirac’s equation. All quantum features arise from the subtle interplay between the conformal curvature acting on the particle as a potential and the particle motion which affects the geometric “pre-potential” associated to the conformal curvature itself. The theory, carried out here by assuming a Minkowski metric, can be easily extended to arbitrary space-time Riemann metric, e.g. the one adopted in the context of General Relativity. This novel theoretical scenario appears to be of general application and is expected to open a promising perspective in the modern endeavor aimed at the unification of the natural forces with gravitation. (shrink)

In this paper I argue that Rawlsians have largely misunderstood the idea of an overlapping consensus of reasonable comprehensive doctrines, thereby failing to delineate in an appropriate way the place of comprehensive doctrines in political liberalism. My argument rests on two core claims. The first claim is that (i) political liberalism is committed to three theses about the overlapping consensus. The first thesis concerns the subject of the overlapping consensus; the second thesis concerns the function of the overlapping consensus; the (...) third thesis explains how the overlapping consensus can serve its function in accordance with political liberalism’s commitment to epistemic neutrality. The second claim on which my argument relies is empirical: (ii) Rawlsians typically deny at least one of the three theses to which political liberalism is committed. Based on (i) and (ii), I conclude that Rawlsians have hitherto provided unconvincing accounts of the place of comprehensive doctrines in political liberalism. (shrink)

Diachronic perceptual atomism is the view that the contents of experience do not involve temporal relations between non-simultaneous events, such as motion, succession, or duration, but only 'snapshots' of the world. Traditionally, atomism has not been a very popular view. Indeed, many philosophers think that it is obviously false and that the main debate about time consciousness takes place between models which reject atomistic commitments. This antiatomistic sentiment can be traced back to William James's slogan that 'a succession of feelings, (...) in and of itself, is not a feeling of succession'. In this paper I argue, first, that the arguments typically launched against atomism in the spirit of James's slogan fail; and second, that the viability of atomism depends on what the conditions for a mental event's being an experience are. In particular, I argue that if a mental event is an experience only if it fulfils certain downstream conditions, which concern the role of the event in the subject's cognitive life, then atomism fails. Otherwise, it is in fact a viable and in many ways attractive view. It follows from my discussion that, contrary to popular belief, atomism is by no means obviously false. Rather, its viability depends on one's further views about the relationship between experience and cognition. (shrink)

Enrico Müller legt hier die erste philosophische Gesamtdarstellung zur Bedeutung der Griechen für Nietzsches Denken vor. Er zeigt, wie sich in Auseinandersetzung mit dem Griechentum Nietzsches eigene Philosophie entwickelte, und problematisiert deren Abgrenzungen von der Logosphilosophie der griechischen Klassik. Müller kommt dabei zu dem Schluss, dass auch Nietzsches Philosophie letztlich auf die Vorgaben der sokratisch-platonischen Dialektik angewiesen bleibt.

This paper develops Richard Wollheim’s claim that the proper appreciation of a picture involves not only enjoying a seeing-in experience but also abiding by a standard of correctness. While scholars have so far focused on what fixes the standard, thereby discussing the alternative between intentions and causal mechanisms, the paper focuses on what the standard does, that is, establishing which kinds, individuals, features and standpoints are relevant to the understanding of pictures. It is argued that, while standards concerning kinds, individuals (...) and features can be relevant also to ordinary perception, standards concerning standpoints are specific to pictorial experience. Drawing on all this, the paper proposes an ontology of depiction according to which a picture is constituted by both its visual appearance and its standard of correctness. (shrink)

This paper considers two issues raised by the claim that fictional characters are abstract artifacts. First, given that artifacts normally have functions, what is the function of a fictional character? Second, given that, in experiencing works of fictions, we usually treat fictional characters as concrete individuals, how can such a phenomenology fit with an ontology according to which fictional characters are abstract artifacts? I will indirectly address the second issue by directly addressing the first one. For this purpose, I will (...) rely on the notion of a mental file. I will argue that the function of fictional characters is the generation of mental files of a special kind. I will show that our experience of fictional characters as concrete individuals depends on the kind of mental files that are generated by fictional characters as abstract artifacts. I will conclude that an appreciator of a work of fiction can open two files about a certain fictional character; one about the character as an individual in the fictional world, and the other about the character as an abstract artifact in the actual world. In this sense, our relation to a fictional character is characterized by a duality of files or ‘twofileness’. (shrink)

Regardless of whether one agrees or disagrees with Stacie Friend’s claim that fiction is a genre, her notion of genre can be fruitfully applied to a paradigmatic genre such as science fiction. This article deploys Friend’s notion of genre in order to improve the influential characterization of science fiction proposed by Darko Suvin and to defend it from a criticism recently raised by Simon Evnine. According to Suvin, a work of science fiction must concern “a fictional ‘novum’ validated by cognitive (...) logic.” While Suvin conceives of his characterization as a necessary and sufficient condition for membership in the genre, I propose to cast the notions of “fictional novum” and “cognitive validation” as standard features of the genre, which works of science fiction should have but might lack. I argue that this amended version of Suvin’s characterization can better account for two basic properties of science fiction as a genre, namely its historicity and its relevance to appreciation. Lastly, I show that the amended version can shed some light on the affinity between works of science fiction and philosophical thought experiments. (shrink)