Collective entities and collective relations play an important role in natural language. In order to capture the full meaning of sentences like The Beatles sing Yesterday, a knowledge representation language should be able to express and reason about plural entities — like the Beatles — and their relationships — like sing — with any possible reading (cumulative, distributive or collective).In this paper a way of including collections and collective relations within a concept language, chosen as the formalism for representing the (...) semantics of sentences, is presented. A twofold extension of theA–C concept language is investigated: (1) special relations introduce collective entities either out of their components or out of other collective entities, (2) plural quantifiers on collective relations specify their possible reading. The formal syntax and semantics of the concept language is given, together with a sound and complete algorithm to compute satisfiability and subsumption of concepts, and to compute recognition of individuals. (shrink)

This reader contains the extended abstracts of the seminars organised for the “Computer Science and IT with/for Biology” Seminar Series, held at the Faculty of Computer Science, Free University of Bozen-Bolzano, from October to December 2005. Slides of the presentations are available online at: www.inf.unibz.it/krdb/biology.

The paper is devoted to an examination of the epistemic account of the notion of deductive inference recently provided by D. Prawitz, and based on the notion of ground. This is part of the general scenario constituted by the “Proof-theoretic semantics”, presented since the ’70s of the last century as an alternative to the standard model-theoretic explication of the notion of logical consequence.Our argument pivots on the so-called “Curry–Howard Correspondence”, which exploited the idea of considering proofs as proper mathematical objects (...) in a remarkable way. A sort of rational reconstruction of this idea is outlined, tracing it back to Hilbert and Husserl’s investigations. (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)

Täglich verwenden wir Ausdrücke, mit denen wir etwas anderes meinen, als wir sagen. Wir ersetzen Unaussprechliches, wir bleiben höflich, und manche suchen unangenehme Wahrheiten oder ihre tatsächlichen Absichten zu verschleiern. Solche verhüllenden Ausdrücke wurden schon in der Antike als Euphemismen bezeichnet. Ihr Gegenteil, meist krasse Negativbezeichnungen, heißen Dysphemismen. Ob sie als Tabubruch, als Verstoß gegen Konventionen oder als unangemessenes Verhalten gelten, hängt von den Textsorten, den Situationen und Diskursen ab, in denen sie gebraucht werden. Oft geht es um Tod oder (...) Krankheiten, um den Mediendiskurs über Immigranten oder Minderheiten, aber auch um Arbeitszeugnisse oder die Werbung für Produkte und Dienstleistungen. Das alles sind Themen der Beiträge in diesem Buch. (shrink)

1. Epistemologia, logica e dialettica -- 2. Fisica, antropologia e metafisica -- 3. Filosofia pratica -- 4, pt. 1. L'influenza di Aristotele: antichità, Medioevo e Rinascimento -- v. 4, pt. 2. L'influenza di Aristotele: età moderna e contemporanea.

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)

Our usual method" is an expression that Aristotle uses in a passage of the Politics (I.1, 1252a17-20) to describe the technique of subdividing a composite object of study into the elements that make it up, in order to study the possible combinations. What theory is the basis for this method? Is it really a usual method for Aristotle? Enrico Rini responds to these questions, starting with the analysis of some passages of the Aristotelian corpus that refer to concepts of (...) the part and the whole. From these passages, Rini attempts to extrapolate a theory that Aristotle states explicitly only on occasion. The mereology that emerges from this study is not a formal theory, unlike the logical mereology present today, and therefore takes into account different types of the whole and the part, with a scope that has applications for the field of biology. (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.

The idea of an ?inversion principle?, and the name itself, originated in the work of Paul Lorenzen in the 1950s, as a method to generate new admissible rules within a certain syntactic context. Some fifteen years later, the idea was taken up by Dag Prawitz to devise a strategy of normalization for natural deduction calculi (this being an analogue of Gentzen's cut-elimination theorem for sequent calculi). Later, Prawitz used the inversion principle again, attributing it with a semantic role. Still working (...) in natural deduction calculi, he formulated a general type of schematic introduction rules to be matched ? thanks to the idea supporting the inversion principle ? by a corresponding general schematic Elimination rule. This was an attempt to provide a solution to the problem suggested by the often quoted note of Gentzen. According to Gentzen ?it should be possible to display the elimination rules as unique functions of the corresponding introduction rules on the basis of certain requirements?. Many people have since worked on this topic, which can be appropriately seen as the birthplace of what are now referred to as ?general elimination rules?, recently studied thoroughly by Sara Negri and Jan von Plato. In this study, we retrace the main threads of this chapter of proof-theoretical investigation, using Lorenzen's original framework as a general guide. (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)

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)

Exploring the metaphysics of deep disagreements, Ranalli identifies several essential features shared by all such disputes. These very features constitute a set of adequacy conditions that any satisfactory theory of deep disagreements must meet. The paper explains how Coliva’s Wittgensteinian hinge theory can satisfy Ranalli’s persistence desideratum. According to this condition, any appropriate theory must explain why deep disagreements tend to be persistent and thus unresolved without presupposing that they are rationally irresolvable. First, the work critically discusses how Coliva utilizes (...) her proposed view to account for this desideratum. Second, the paper points out that Coliva’s response is partly problematic because of Ranalli’s definition of deep disagreements for Wittgensteinian hinge theories, which over-generates instances of genuine deep disagreements. Third, the work argues that Coliva’s theory can satisfy Ranalli’s persistence desideratum by resolving a deep disagreement between an anti-vaccination advocate and a proponent of vaccination using an expanded version of Pritchard’s side-on approach. Finally, the paper critically engages with Coliva on the solvability of deep disagreements. (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)