Why do we remember the past and not the future? What does it mean for time to "flow"? Do we exist in time or does time exist in us? In lyric, accessible prose, Carlo Rovelli invites us to consider questions about the nature of time that continue to puzzle physicists and philosophers alike. For most readers this is unfamiliar terrain. We all experience time, but the more scientists learn about it, the more mysterious it remains. We think of it (...) as uniform and universal, moving steadily from past to future, measured by clocks. Rovelli tears down these assumptions one by one, revealing a strange universe where at the most fundamental level time disappears. He explains how the theory of quantum gravity attempts to understand and give meaning to the resulting extreme landscape of this timeless world. Weaving together ideas from philosophy, science and literature, he suggests that our perception of the flow of time depends on our perspective, better understood starting from the structure of our brain and emotions than from the physical universe. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

ABSTRACT ABSTRACT: I show that Aristotelian physics is a correct and nonintuitive approximation of Newtonian physics in the suitable domain in the same technical sense in which Newton’s theory is an approximation of Einstein’s theory. Aristotelian physics lasted long not because it became dogma, but because it is a very good, empirically grounded theory. This observation suggests some general considerations on intertheoretical relationships.

Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.

In this paper I respond to Marcus William Hunt’s argument that vegan parents have pro tanto reasons for not raising their children on a vegan diet because such a diet is potentially harmful to children’s physical and social well-being. In my rebuttal, first I show that in practice all vegan diets, with the exception of wacky diets, are beneficial to children’s well-being ; and that all animal-based diets are potentially unhealthful. Second, I show that vegan children are no more socially (...) outcast than any other group. In other words, veganism does not harm the lives of children. Having considered several studies, I show that the moral reasons that vegan parents may have for raising their children on a vegan diet significantly outweigh the reasons for raising their children on an animal-based diet. Thus, I conclude that parents have a moral obligation to raise their children on a vegan diet. (shrink)

The concept of evidence has gone unanalysed in much of the current debate between proponents and critics of evidence-based medicine. In this paper I will suggest that part of the controversy rests on an understanding of the word “evidence” that is too broad, and therefore contains the contradictions that allow both camps to defend their position and charge their adversaries. I will argue that reconciling the different meanings of the word ‘evidence’ in “evidence-based medicine” should help put EBM in its (...) rightful place. (shrink)

The project of growing meat artificially represents for some the next best thing to humanity. If successful, it could be the solution to several problems, such as feed- ing a growing global population while reducing the environmental impact of raising animals for food and, of course, reducing the amount and degree of animal cruelty and suffering that is involved in animal farming. In this paper, I argue that the issue of the morality of such a project has been framed only (...) in terms of the best conse- quences for the environment, animals, and humans, or in terms of deontic princi- ples. I argue that to appreciate how deep and difficult this issue is, it is necessary to consider it in terms of a virtue-oriented approach. Such an approach will reveal aspects that are not apparent, not contemplated by typical approaches, but are essen- tial to our understanding of the morality of lab-grown meat. As I argue, evaluating the issue from a virtue-oriented perspective suggests that the project of in vitro meat should not be supported because it stems from unvirtuous motivations. (shrink)

Many moral philosophers have criticized intensive animal farming because it can be harmful to the environment, it causes pain and misery to a large number of animals, and furthermore eating meat and animal-based products can be unhealthful. The issue of industrially farmed animals has become one of the most pressing ethical questions of our time. On the one hand, utilitarians have argued that we should become vegetarians or vegans because the practices of raising animals for food are immoral since they (...) minimize the overall happiness. Deontologists, on the other hand, have argued that the practices of raising animals for food are immoral because animals have certain rights and we have duties toward them. Some virtue ethicists remain unconvinced of deontic and consequentialist arguments against the exploitation of animals and suggest that a virtue-based approach is better equipped to show what is immoral about raising and using animals for food, and what is virtuous about ethical veganism. (shrink)

This article argues that political realists have at least two strategies to provide distinctively political normative judgements that have nothing to do with morality. The first ground is instrumental normativity, which states that if we believe that something is a necessary means to a goal we have, we have a reason to do it. In politics, certain means are required by any ends we may intend to pursue. The second ground is epistemic normativity, stating that if something is true, this (...) gives us a reason to believe it. In politics, there are certain empirical regularities that ought to be acknowledged for what they are. Both sources are flawed. Instrumental normativity only requires coherence between attitudes and beliefs, and one can hang on to false beliefs to preserve attitudes incompatible with reality. I may desire to eschew power relations, and accordingly I may imagine politics to be like a camping trip. Epistemic normativity, on the other hand, operates critically, striking down existing normative claims. It shows us that politics is nothing like a camping trip, but it doesn’t tell us what we should do about it. We conclude by showing that if the two are taken together, they remedy each other’s flaws. (shrink)

In this paper I unpack a realistic conception of politics by tightly defining its constitutive features: conflict and order. A conflict emerges when an actor is disposed to impose his/her views against the resistance of others. Conflicts are more problematic than moralists realize because they emerge unilaterally, are potentially violent, impermeable to content-based reason, and unavoidable. Order is then defined as an institutional framework that provides binding collective decisions. Order is deemed necessary because individuals need to cooperate to survive, but (...) groups cannot spontaneously secure collective decisions and are prone to conflicts. Particularly, the fact that potentially violent conflicts emerge unilaterally means that order requires coercion. I conclude that mischaracterizing conflict and order leads to undesirable normative principles, and that this criticism can be leveraged not only against Rawlsian liberals who moralize conflicts away, but also against some agonists who underestimate the need for order and some communitarians who underplay both circumstances. (shrink)

In his 1956 book ‘The Direction of Time’, Hans Reichenbach offered a comprehensive analysis of the physical ground of the direction of time, the notion of physical cause, and the relation between the two. I review its conclusions and argue that at the light of recent advances in physics Reichenbach analysis provides the best account for the physical underpinning of these notions. I integrate results in cosmology, and on the physical underpinning of records and agency into Reichenbach’s account, and discuss (...) which questions it leaves open. (shrink)

The world appears to be well described by gauge theories; why? I suggest that gauge is more than mathematical redundancy. Gauge-dependent quantities can not be predicted, but there is a sense in which they can be measured. They describe “handles” though which systems couple: they represent real relational structures to which the experimentalist has access in measurement by supplying one of the relata in the measurement procedure itself. This observation leads to a physical interpretation for the ubiquity of gauge: it (...) is a consequence of a relational structure of physical quantities. (shrink)

This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences. It seeks to answer the question of whether or not philosophy can still be fruitful and what kind of philosophy can be such. The author argues that from its very beginning philosophy has focused on knowledge and methods for acquiring knowledge. This view, however, has generally been abandoned in the last (...) century with the belief that, unlike the sciences, philosophy makes no observations or experiments and requires only thought. Thus, in order for philosophy to once again be relevant, it needs to return to its roots and focus on knowledge as well as methods for acquiring knowledge. Accordingly, this book deals with several questions about knowledge that are essential to this view of philosophy, including mathematical knowledge. Coverage examines such issues as the nature of knowledge; plausibility and common sense; knowledge as problem solving; modeling scientific knowledge; mathematical objects, definitions, diagrams; mathematics and reality; and more. This monograph presents a new approach to philosophy, epistemology, and the philosophy of mathematics. It will appeal to graduate students and researchers with interests in the role of knowledge, the analytic method, models of science, and mathematics and reality. (shrink)

According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...) in the foundations of mathematics which consider a specific theory S as self-justifying and doubt the legitimacy of any principle that is not derivable in S: examples are Tait’s finitism and the role played in it by Primitive Recursive Arithmetic, Isaacson’s thesis and Peano Arithmetic, Nelson’s ultrafinitism and sub-exponential arithmetical systems. This casts doubts on the very adequacy of the implicit commitment thesis for arithmetical theories. In the paper we show that such foundational standpoints are nonetheless compatible with the implicit commitment thesis. We also show that they can even be compatible with genuine soundness extensions of S with suitable form of reflection. The analysis we propose is as follows: when accepting a system S, we are bound to accept a fixed set of principles extending S and expressing minimal soundness requirements for S, such as the fact that the non-logical axioms of S are true. We call this invariant component the semantic core of implicit commitment. But there is also a variable component of implicit commitment that crucially depends on the justification given for our acceptance of S in which, for instance, may or may not appear reflection principles for S. We claim that the proposed framework regulates in a natural and uniform way our acceptance of different arithmetical theories. (shrink)

The present article discusses the relationship between might ( potentia ) and power ( potestas ) as it has unfolded throughout the modern age, from Thomas Hobbes to Carl Schmitt. Hobbes indicates the way forward for a progressive linguistic and conceptual coincidence of potentia and potestas : the goal of Hobbesian political philosophy (the search for peace and security) necessitates the reduction of potentia to potestas through the elimination of the content of actus . Schmitt accepts this reduction, by assigning (...) priority to potestas : the image of modern technology as a privileged dimension of potentia—potestas comes together as the modern state. Instead of taking the route of potentia understood as an opening-up to new possibilities and as human self-affirmation, the language of potentia—potestas has triggered a process, which is that of a naturalization of power relations, that is based on and justified by the social inequality arising from the differing extent of ownership of the instruments of technological production. (shrink)

According to many scholars, Aristotle holds that judgments in ethics can hold true only “for the most part”. Such judgments state general claims about ethical life, not specific claims about how to act in a particular situation. These judgments can be either descriptive or prescriptive. When they are descriptive, they hold true “for the most part” insofar as they express observed regularities that occur neither always and necessarily, nor by mere chance. For example, courage is good “for the most part,” (...) except when it causes injury or death ; brave men are fearless “for the most part,” except when in grave danger. When.. (shrink)

What is morally valuable—if anything at all—in entrepreneurship? Existing normative takes can be broadly categorized as belonging to two main views: a backward and a forward-looking approach. The former sees entrepreneurial activity as a permissible emergent product of individuals’ interactions within the boundaries of people’s existing rights; the latter looks at entrepreneurship in the broader context of market processes and emphasizes its role in generating Pareto-improvements in social welfare. In this paper, I suggest that certain instances of entrepreneurship can be (...) intrinsically valuable when they constitute Millian Experiments in Living, that is when entrepreneurial ventures are the expression of an entrepreneur’s conception of the good. Engaging in entrepreneurial activity which reflects one’s conception of the good helps individuals in cultivating their individuality and originality by means of subjecting their normative beliefs to empirical scrutiny, thus allowing one to confirm, revise, or refine them. (shrink)

The project of growing meat artificially represents for some the next best thing to humanity. If successful, it could be the solution to several problems, such as feeding a growing global population while reducing the environmental impact of raising animals for food and, of course, reducing the amount and degree of animal cruelty and suffering that is involved in animal farming. In this paper, I argue that the issue of the morality of such a project has been framed only in (...) terms of the best consequences for the environment, animals, and humans, or in terms of deontic principles. I argue that to appreciate how deep and difficult this issue is, it is necessary to consider it in terms of a virtue-oriented approach. Such an approach will reveal aspects that are not apparent, not contemplated by typical approaches, but are essential to our understanding of the morality of lab-grown meat. As I argue, evaluating the issue from a virtue-oriented perspective suggests that the project of in vitro meat should not be supported because it stems from unvirtuous motivations. (shrink)

Marcus William Hunt argues that when co-parents disagree over whether to raise their child (or children) as a vegan, they should reach a compromise as a gift given by one parent to the other out of respect for his or her authority. Josh Millburn contends that Hunt’s proposal of parental compromise over veganism is unacceptable on the ground that it overlooks respect for animal rights, which bars compromising. However, he contemplates the possibility of parental compromise over ‘unusual eating,’ of animal-based (...) foods obtained without the violation of animal rights. I argue for zero parental compromise, rejecting a rights-oriented approach, and propose a policy that an ethical vegan parent and a non-vegan co-parent should follow to determine how to raise their children. (shrink)

Through the elaboration of his political philosophy, Hobbes wishes to present himself as a representative of the new mechanistic and deterministic science of the seventeenth century, by applying Galilei’s method in politics and by refusing the Aristotelian metaphysics and natural philosophy as well. The aim of the present article is to challenge this claim. As a matter of fact, Hobbes’s thought seems to be characterised by an original co-existence of decisionism and mechanism and his view of the natural law does (...) not appear to be based on deterministic principles, but on a voluntarist and moral character condensed in his theory of passions. (shrink)

This paper gives attention to a special point in Brandom’s Making it Explicit. Brandom proposes in MIE a “Fregean” way out of Kripke’s puzzle about belief. In the first part, I analyze two main features of Brandom’s strategy, the definition of anaphoric chains as senses of proper names and the implausibility of the application of a disquotational principle to proper names. In the second part, I discuss the problem of the stability of contents and the problem of sharing contents. I (...) claim that Brandom’s strong holism leads to irresolvable difficulties with the concept of conceptual content as it emerges from the discussion of Kripke’s puzzle. (shrink)

This is a contribution to a book on quantum gravity and philosophy. I discuss nature and origin of the problem of quantum gravity. I examine the knowledge that may guide us in addressing this problem, and the reliability of such knowledge. In particular, I discuss the subtle modification of the notions of space and time engendered by general relativity, and how these might merge into quantum theory. I also present some reflections on methodological questions, and on some general issues in (...) philosophy of science which are are raised by, or a relevant for, the research on quantum gravity. (shrink)

One of the world's most renowned theoretical physicists, Carlo Rovelli has entranced millions of readers with his singular perspective on the cosmos. In Helgoland, Rovelli examines the enduring enigma of quantum theory. The quantum world Rovelli describes is as beautiful as it is unnerving. Helgoland is a treeless island in the North Sea where the 21-year-old Werner Heisenberg first developed quantum theory, setting off a century of scientific revolution. Full of alarming ideas (ghost waves, distant objects that seem to (...) be magically connected, cats that appear both dead and alive), quantum physics has led to countless discoveries and technological advancements. Today our understanding of the world is based on this theory, yet it is still profoundly mysterious. As scientists and philosophers continue to fiercly debate the theory's meaning, Rovelli argues that its most unsettling contradictions can be explained by seeing the world as fundamentally made of relationships, not substances. We and everything around us exist only in our interactions with one another. This bold idea suggests new directions for understanding the structure of reality and even the nature of consciousness. Rovelli makes learning about quantum mechanics an almost psychedelic experience. Shifting our perspective once again, he takes us on a riveting journey through the universe so we can better understand our place in it. (shrink)

In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.

Rohrlich claims that “the problem of the arrow of time in classical dynamics has been solved”. The solution he proposes is based on the equations governing the motion of extended particles. Rohrlich claims that these equations, which must take self-interaction into account, are not invariant under time reversal. I dispute this claim, on several grounds.

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal {M}$, or an axiomatization S thereof, we find a modal logic M such that a modal sentence $\varphi $ is a theorem of M if and only if the sentence $\varphi ^*$ obtained by translating the modal operator with the truth predicate is true in $\mathcal {M}$ or a theorem of S under all such translations. (...) To this end, we introduce a novel version of possible worlds semantics featuring both classical and nonclassical worlds and establish the completeness of a family of noncongruent modal logics whose internal logic is nonclassical with respect to this semantics. (shrink)

In what follows I consider the apparent contrast between two kinds of theories of context: a theory of objective context - exemplified in the works of Kaplan and Lewis - and a theory of subjective context -exemplified in the works of McCarthy and Giunchiglia. I consider then some difficulties for the objective theory. I don't give any formalization; instead I give some theoretical points about the problem. A possible result could be the abandon of the double indexing for a development (...) a multi-context theory (I give an example of a case). However other results could be possible and a challenge is posed to solve problems using the best results from each tradition of research. (shrink)

This volume contains essays that explore explicit and implicit communication through linguistic research. Taking as a framework Paul Grice's theories on "what is said," the contributors explore a number of areas, including: the boundary between semantics and pragmatics; the concept of implicit communication; the idea of the logical form of our assertions; the notion of conventional meaning; the phenomenon of deixis, which refers to when an utterance require context in order to be understood fully; the treatment of definite descriptions; and (...) the different kinds of pragmatic processes. (shrink)

Shannon's notion of relative information between two physical systems can function as foundation for statistical mechanics and quantum mechanics, without referring to subjectivism or idealism. It can also represent a key missing element in the foundation of the naturalistic picture of the world, providing the conceptual tool for dealing with its apparent limitations. I comment on the relation between these ideas and Democritus.

Moral relativism is deeply troubling for those who believe that, without a set of moral absolutes, democratic societies will devolve into tyranny or totalitarianism. Engaging directly with this claim, Carlo Invernizzi Accetti traces the roots of contemporary anti-relativist fears to the antimodern rhetoric of the Catholic Church, and then rescues a form of philosophical relativism for modern, pluralist societies, arguing that this standpoint provides the firmest foundation for an allegiance to democracy. In its dual analysis of the relationship between (...) religion and politics and the implications of philosophical relativism for democratic theory, this book makes a far-ranging contribution to contemporary debates over the revival of religion in politics and the conceptual grounds for a commitment to democracy. It conducts the first comprehensive genealogy of anti-relativist discourse and reclaims for English-speaking readers the overlooked work of political theorists such as Hans Kelsen and Norberto Bobbio, who had articulated the bond between philosophical relativism and democracy. By engaging with attempts to replace the religious foundation of democratic values with a neo-Kantian conception of reason, this book also offers a powerful case for relativism as the strongest basis for a civic ethos that integrates different perspectives into democratic politics. (shrink)

The concept of dignity is notoriously vague. In this paper it is argued that the reason for this is that there are three versions of dignity that are often confused. First we will take a short look at the history of the concept of dignity in order to demonstrate how already from Roman Antiquity two versions of dignity can be distinguished. Subsequently, the third version will be introduced and it will be argued that although the three versions of dignity hang (...) together, they should also be clearly distinguished in order to avoid confusion. The reason for distinguishing the three versions is because all three of them are only partially effective. This will be demonstrated by taking the discussion about voluntary ‘dying with dignity’ as an example. Inspired by both Paul Ricoeur’s concept of ethics and the ethics of care a proposition will be done as to how the three versions of dignity may sustain each other and help achieve what neither one of the versions can do on its own. (shrink)

Biological diversity would apparently seem the most intuitive and easily studied of all the ecological concepts. However, in practice biodiversity has suffered from great number of definitions that vary with the specific needs of the different researchers, thus making it extremely confusing as an ecological concept. In this paper, I shortly review the concept of biodiversity showing that there exists a substantial ambiguity among ecologists as far as biodiversity conceptualization and evaluation is concerned. I conclude that, due to this major (...) disagreement on its very nature, biodiversity may be defined simply as a set of multivariate summary statistics for quantifying different characteristics of community structure. (shrink)

In his book The Value of Science Poincaré criticizes a certain view on the growth of mathematical knowledge: “The advance of science is not comparable to the changes of a city, where old edifices are pitilessly torn down to give place to new ones, but to the continuous evolution of zoological types which develop ceaselessly and end by becoming unrecognizable to the common sight, but where an expert eye finds always traces of the prior work of the centuries past” (Poincaré (...) 1958, p. 14). The view criticized by Poincaré corresponds to Frege’s idea that the development of mathematics can be described as an activity of system building, where each system is supposed to provide a complete representation for a certain mathematical field and must be pitilessly torn down whenever it fails to achieve such an aim. All facts concerning any mathematical field must be fully organized in a given system because “in mathematics we must always strive after a system that is complete in itself” (Frege 1979, p. 279). Frege is aware that systems introduce rigidity and are in conflict with the actual development of mathematics because “in history we have development; a system is static”, but he sticks to the view that “science only comes to fruition in a system” because “only through a system can we achieve complete clarity and order” (Frege 1979, p. 242). He even goes so far as saying that “no science can be so enveloped in obscurity as mathematics, if it fails to construct a system” (Frege 1979, p. 242). By ‘system’ Frege means ‘axiomatic system’. In his view, in mathematics we cannot rest content with the fact that “we are convinced of something, but we must strive to obtain a clear insight into the network of inferences that support our conviction”, that is, to find “what the primitive truths are”, because “only in this way can a system be constructed” (Frege 1979, p. 205). The primitive truths are the principles of the axiomatic system. Frege’s stress on the role of systems also determines his views on the growth of mathematical knowledge.. (shrink)

These are lectures prepared for a series of seminars I am invited to give at Princeton’s Philosophy Department in November 2024.

One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions of truth associated (...) with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman & Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension. (shrink)

No detailed description available for "Conventionalism in logic".

The author deals with the lost works of Empedocles, an often neglected subject, in the frame of the discussion concerning the number of the poems and their main features. He reviews the traces of the Passage of Xerxes, of the Medical Discourse, and of the Proem to Apollo among the fragments and witnesses, taking his cue from textual aspects and dealing with the contents, the significance of each of these writings in Empedocles’ culture and thought and their multifarious relationships with (...) his times. As to the Passage, he tries to reconcile the contrasting interpretations so far proposed (historical or religious poem). Concerning B111, the only relic from the Medical Discourse, he explains why its contents are incompatible with the Physical Poem and the Purifications. He analyzes the Proem to Apollo in several perspectives (text, witnesses, contents also from the epistemological point of view, literary genre). He assigns fragments 131–134 and 142 to the Proem, drawing one of his arguments from the comparison with the third Homeric Hymn to Apollo, and also suggesting a relationship with an intellectual cult of the sun. Formal features help to ascribe each fragment to the relevant poem. Close similarities between fragments do not necessarily mean that they come from the same writing: Empedocles is wont to allude to one poem of his while composing another. The author concludes that the striving for a reductio ad unum of the Acragantine’s output, also evident in the attempt by a number of scholars to make only one poem out of the Περὶ φύσεως and the Καθαρμοί, has often led researchers to take for granted that none of the fragments preserved might belong to the lost works. (shrink)