In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed (...) in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification. (shrink)

Molecular interactions are at the origin of life. How molecules get at different locations in the cell and how they locate their partners is a major and partially unresolved question in biology that is paramount to signaling. Spatio‐temporal correlations of fluctuating fluorescently tagged molecules reveal how they move, interact, and bind in the different cellular compartments. Methods based on fluctuations represent a remarkable technical advancement in biological imaging. Here we discuss image analysis methods based on spatial and temporal correlation of (...) fluctuations, raster image correlation spectroscopy, number and brightness, and spatial cross‐correlations that give us information about how individual molecules move in cells and interact with partners at the single molecule level. These methods can be implemented with a standard laser scanning microscope and produce a cellular level spatio‐temporal map of molecular interactions. (shrink)

The article deals with the theme of love in St. Augustine, highlighting how the Bishop of Hippo himself evolved in his own life from carnal and worldly loves to the love of God, as it appears fundamentally in his Confessions. In order to understand the dynamics of love, the article offers a brief summary of the Augustinian anthropological scheme. Some texts from the In epistulam Iohannis ad Parthos tractatus and the In Iohannis euangelium tractatus are also highlighted in order to (...) corroborate the conclusions of the article. (shrink)

Enrico Berti has had a profound influence on the birth and development of Italian studies in ancient philosophy. His sizable work has shaped a great part of Italian studies on Aristotle and other ancient philosophers. To celebrate him and express their gratitude for his work, some of his disciples, under the impulse of the late Franco Volpi, have brought together a volume in his honour, requesting the participation of some foreign scholars particularly close to him. The volume comprises essays (...) by Pierre Aubenque, Jonathan Barnes, Terence H. Irwin, Tomás Calvo-Martínez, Jaap Mansfeld, Pierre Pellegrin, Gerhard Seel and Alejandro G. Vigo. The main themes are Aristotle's metaphysics and practical philosophy. A Selected Bibliography by E. Berti himself completes the volume."--Publisher's website. (shrink)

The traditional standard theory of quantum mechanics is unable to solve the spin–statistics problem, i.e. to justify the utterly important “Pauli Exclusion Principle” but by the adoption of the complex standard relativistic quantum field theory. In a recent paper :858–873, 2015) we presented a proof of the spin–statistics problem in the nonrelativistic approximation on the basis of the “Conformal Quantum Geometrodynamics”. In the present paper, by the same theory the proof of the spin–statistics theorem is extended to the relativistic domain (...) in the general scenario of curved spacetime. The relativistic approach allows to formulate a manifestly step-by-step Weyl gauge invariant theory and to emphasize some fundamental aspects of group theory in the demonstration. No relativistic quantum field operators are used and the particle exchange properties are drawn from the conservation of the intrinsic helicity of elementary particles. It is therefore this property, not considered in the standard quantum mechanics, which determines the correct spin–statistics connection observed in Nature :858–873, 2015). The present proof of the spin–statistics theorem is simpler than the one presented in Santamato and De Martini :858–873, 2015), because it is based on symmetry group considerations only, without having recourse to frames attached to the particles. Second quantization and anticommuting operators are not necessary. (shrink)

Over the past two decades, virtue ethicists have begun to devote increasing attention to applied ethics. In particular, the application of virtue ethical frameworks to the environmental ethics debate has flourished. This chapter reviews recent contributions to the literature in this field and highlights some strengths and weaknesses of thinking about climate change through a virtue ethical lens. Section “Two Benefits of Virtue Ethical Approaches to Climate Change” explores two benefits of applying virtue ethics to climate change: (a) we can (...) better capture the phenomenology of our moral experience, and (b) we avoid the problem of inconsequentialism. Section “A Catalogue of Environmental Virtues” analyzes various practical proposals that have been put forward in the form of specific environmental virtues. Section “An Objection to Virtue-Oriented Approaches to Climate Change” reconstructs a fundamental objection to the idea of using a virtue ethical normative approach to tackling the urgent and imminent dangers of climate change. (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)

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)

Conceiving of fictional characters as types allows us to reconcile intuitions of sameness and difference about characters such as Batman that appear in different fictional worlds. Sameness occurs at the type level while difference occurs at the token level. Yet, the claim that fictional characters are types raises three main issues. Firstly, types seem to be eternal forms whereas fictional characters seem to be the outcome of a process of creation. Secondly, the tokens of a type are concrete particulars in (...) the actual world whereas the alleged tokens of a fictional character are concrete particulars in a fictional world. Thirdly, many fictional characters, unlike Batman, only appear in one work of fiction, and therefore one can wonder whether it does make sense to treat them as types. The main aim of this paper is to address these issues in order to defend a creationist account of fictional characters as types. (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)

This paper explores some phenomenological consequences of the ontological affinity between films and pop songs. Given the central place of the recording technology in both films and pop songs, one can wonder whether pop songs can elicit from their listeners the same kind of experience that films elicit from their spectators. In other words, one can wonder whether pop songs encourage us to play a ‘game of make-believe’ analogous to that we play when we engage with films. The main part (...) of the paper is meant to provide a positive answer to this question. The remaining sections illustrate and test the proposed account by contrasting paradigmatic pop songs with borderline cases. (shrink)

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)

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)

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.

Moving from a cinematic reinterpretation of Borges’s Library of Babel, I attempt to provide a new answer to the old ontological question: “What kind of being is a film?”. This answer, which takes into account the coming of digital era, is developed through a comparison with Carroll’s philosophy of motion pictures. While discussing, criticizing and trying to complete his theory, I will examine the concept of a film under four different aspects: as a material object, as an ideal object, as (...) a mental object, and as a social object. Finally, our ontology of film will be applied to clarify some traditional theoretical dualisms: i.e. film vs. reality, film vs. narration, film vs. discourse, film vs. art. (shrink)

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)

Simon’s notion of bounded rationality is deeply intertwined with his activity as a cognitive psychologist and founder of so-called cognitivism, a mainstream approach in cognitive psychology until the 1980s. Cognitivism, understood as ‘symbolic information processing,’ provided the first cognitive psychology foundation to bounded rationality. Has bounded rationality since then fully followed the development of cognitive psychology beyond symbolic information processing in the post-Simonian era? To answer this question, this paper focuses on Simon’s opposition during the 1990s to a new view (...) of cognition called situated cognition, which has since put into question the entire view in cognitive psychology of humans as symbolic information processors. This paper then reads the cognitivism/situated cognition debate through the lens of current bounded rationality research in economics, in order to inquire into whether it has tackled the issues in that controversy; to envisage possible new foundations for a cognitive psychology-based bounded rationality. (shrink)

In the first decades of the twentieth century, many philosophers and philosophical movements attempted to make philosophy scientific by analogy with science. Such attempts vary with respect to the strategies adopted for implementing the analogy. In this article, I single out the specificity of logical empiricism’s strategy, by comparing it to some of its most relevant contemporary scientific philosophies, such as Russell’s method of analysis, Husserl’s phenomenology, neo-Kantianism, and American pragmatism. Logical empiricism sees philosophy as continuous with science, by reducing (...) the problems of philosophy to problems in mathematical logic. The other scientific philosophies postulate a specificity of philosophy, by maintaining a special domain for it and also a specific methodology, while requiring this methodology to be scientific in a manner analogous to the general method of the special sciences. I argue that this distinction helps to revise and possibly to settle some of the debates concerning our understanding of both the genealogy and the development of the movement, such as the conjectural derivation of its scientific philosophy from Russell’s analytic philosophy or from a special brand of Austrian philosophy and the complex relationship with its German and American contemporaries. (shrink)

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)

The present paper deals with natural intuitionistic semantics for intuitionistic logic within an intuitionistic metamathematics. We show how strong completeness of full first order logic fails. We then consider a negationless semantics à la Henkin for second order intuitionistic logic. By using the theory of lawless sequences we prove that, for such semantics, strong completeness is restorable. We argue that lawless negationless semantics is a suitable framework for a constructive structuralist interpretation of any second order formalizable theory (classical or intuitionistic, (...) contradictory or not). (shrink)

The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and that (...) the clue to explain what Hilbert meant by linking together consistency and existence is to be found in the role played by the completeness axiom within both geometrical and arithmetical axiom systems. (shrink)