Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be accepted. Against Smith, (...) this paper adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can be used (...) to model constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects (...) of classical type-free truth. In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.

We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-theoretic finite type hierarchy and the constructively more meaningful models of continuous functionals, hereditarily effective operations, as well as the closed term model of Gödel's system T. The main results are characterisations of prenex classes for which truth in the full set-theoretic model transfers to truth in the other (...) models. As a corollary we obtain that the axiom of choice is not conservative over Gödel's system T with classical logic for closed ∃2-formulas. We hope that this study will contribute to a clearer delineation and perception of constructive mathematics from a classical perspective. (shrink)

Using focus groups, this small-scale, qualitative study investigated the way that students tend to think about religious truth-claims as compared to other types of truth-claim. All the student participants conceived of religious truth-claims as ‘opinions’, to be contrasted with the certain, indisputable ‘facts’ of science. For many students, it was the lack of empirical verification, as well as the existence of disagreement, which meant religious beliefs were relegated to this position. If these findings are generalisable, then (...) there are implications for the ongoing theoretical dispute over the extent to which truth should be a focus in religious education. The tendency for students to see religious claims as subjective lends support for a critical pedagogy that places evaluation of truth centre-stage. The findings also suggest a need for religious education and science teachers to include more reflection on the nature of the scientific method in their schemes of work in order to dispel the myths of unanimity and certainty in science. (shrink)

In the paper we investigate typed axiomatizations of the truth predicate in which the axioms of truth come with a built-in, minimal and self-sufficient machinery to talk about syntactic aspects of an arbitrary base theory. Expanding previous works of the author and building on recent works of Albert Visser and Richard Heck, we give a precise characterization of these systems by investigating the strict relationships occurring between them, arithmetized model constructions in weak arithmetical systems and suitable set existence (...) axioms. The framework considered will give rise to some methodological remarks on the construction of truth theories and provide us with a privileged point of view to analyze the notion of truth arising from compositional principles in a typed setting. (shrink)

A statement is said to be true when the historic state of affairs to which it is correlated by the demonstrative conventions (the ones to which it ‘refers’) is of a type with which the sentence used in making it is correlated by the descriptive conventions.

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...) of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

The fact that the names of two philosophers who lived and worked in such different periods, under conditions of quite dissimilar cultures and civilizations, share the title of this article is in itself enough to require clarification. Nikolai Berdiaev, who belonged to a current of Russian philosophy that called itself mystical, hardly needs to be presented to the reader. Muhyiuddin ibn-'Arabi , the greatest mystic of the Arab Middle Ages, is known as the founder of a philosophical conception that was (...) later referred to as the "unity of being" and enjoyed broad popularity among Islamic thinkers, philosophers, and poets of the late Middle Ages. Moreover, motifs of this conception are not difficult to find in the works of contemporary literati enthralled by the ideas of Islamic mysticism, i.e., of Sufism. Hence these two outstanding figures can be compared on the common ground that they belonged to the current of philosophical thought of mankind that is called mysticism or mystical philosophy. Despite all the differences that doubtlessly exist among Russian, Arabic, and, let us say, European mysticism, there are also certain fundamental common features of this way of looking at the world that enable us to bring all these currents together under a single generic concept. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our (...) theory is a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

There are several types of truths. In this paper I focus on semantic truths, and within these on factual truths. These truths are attributed to statements. I review the theory of the truth proposed by Bunge and discuss some problems that it presents. I suggest that a theory of truth of factual statements should be complemented by a theory of relevance, and propose the basic tenets of it. Finally, I briefly discuss the nature of propositions and the (...) problem of scientific truth in the light of the presented semantic theory. (shrink)

Guy Rohrbaugh and Allan Hazlett have provided two arguments against the thesis that musical works are types. In short, they assume that, according to our modal talk and intuitions, musical works are modally flexible entities; since types are modally inflexible entities, musical works are not types. I argue that Rohrbaugh’s and Hazlett’s arguments fail and that the type/token theorist can preserve the truth of our modal claims and intuitions even if types are modally inflexible entities. (...) First, I consider two alternatives for the type/token theorist proposed in recent literature about the topic: the created types’ solution and the created abstract objects’ solution. I argue that none of them is attractive for the type/token theorist because they do not preserve the theoretical advantages of type/token theories to explain musical works’ repeatable nature. Then, I focus on the arguments’ common premise that musical works are modally flexible entities. A deeper analysis of musical practice will show that this premise is not true: our modal claims do not imply that musical works could have had different intrinsic but, instead, extrinsic properties. Finally, I show how the nested types theory may offer a satisfactory explanation of this fact and how it captures the truth of our modal talk about musical works. (shrink)

It seems at least daring to speak of truth on the subject of art, when Plato, in the Sophiste, 234c, likens art to sophistry, in other words, to falsity and deformation. To be sure, this comparison is based on an exaggeration, because elsewhere Plato insists on the necessity of artistic reality: in the same Sophiste, 299e, he states that “life would be unlivable without art.” The importance thus given to art becomes obvious when we think that this same expression (...) is already used in the Apologie, 38a, with regard to philosophy, the activity that for a man conscious of his own existence is one of scrupulously examining his own life. This similarity in expression testifies to the conceptual and axiological similarity of two (but distinct) activities of the mind effected by Plato who, on a different level, as we have just seen, unhesitatingly condemns one of them, at least apparently; apparently, because basically Plato does not inveigh against art in general but against the art of his contemporaries, whom he openly accuses of accepting the postulate of verisimilitude by using artifice and acrobatics, with the sole end of pleasing the crowds by flattery. In other words, they substitute for the scarch for authenticity that of dexterity in creations conceived only for that effect, which means identifying this type of substitution of values with a prostitution of the artist himself with regard to his public. (shrink)

In recent work on context­dependency, it has been argued that certain types of sentences give rise to a notion of relative truth. In particular, sentences containing predicates of personal taste and moral or aesthetic evaluation as well as epistemic modals are held to express a proposition (relative to a context of use) which is true or false not only relative to a world of evaluation, but other parameters as well, such as standards of taste or knowledge or an (...) agent. Thus, a sentence like chocolate tastes good would express a proposition p that is true or false not only at a world of evaluation, but relative to the additional parameter as well, such as a parameter of taste or an agent. I will argue that the sentences that apparently give rise to relative truth should be understood by relating them in a certain way to the first person. More precisely, such sentences express what I will call first­person­based genericity, a form of generalization that is based on or directed toward an essential first­person application of the predicate. The account differs from standard relative truth account in crucial respects: it is not the truth of the proposition expressed that is relative to the first person; the proposition expressed by a sentence with a predicate of taste rather has absolute truth conditions. Instead it is the propositional content itself that requires a first­personal cognitive access whenever it is entertained. This account, I will argue, avoids a range of problems that standard relative truth theories of the sentences in question face and explains a number of further peculiarities that such sentences display. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

Language was central to Hobbes's understanding of human beings and their mental abilities, and criticism of other philosophers' uses of language became a favorite critical tool for him. This paper connects Hobbes's theories about language to his criticisms of others' language, examining Hobbes's theories of propositions and truth, and how they relate to his claims that various sorts of proposition are absurd. It considers whether Hobbes in fact means anything more by 'absurd' than 'false'. And it pays particular attention (...) to Hobbes's categorization of causes of absurdity and of types of incoherent proposition, arguing that Hobbes's approach is only loosely related to later discussions of category mistakes. (shrink)

In recent years, Nietzsche’s views on (natural) science attracted a considerable amount of scholarly attention. Overall, his attitude towards science tends to be one of suspicion, or ambivalence at least. My article addresses the “Nietzsche and science” theme from a slightly different perspective, raising a somewhat different type of question, more pragmatic if you like, namely: how to be a Nietzschean philosopher of science today? What would the methodological contours of a Nietzschean approach to present-day research areas (such as neuroscience, (...) astrophysics, synthetic biology or climate studies) amount to? In other words, my paper reflects a shift of focus from author studies to extrapolation. The design of my article is as follows. I will start with the question (already widely discussed in the expert literature) to what extent Friedrich Nietzsche (a classical philologist by training) managed to familiarise himself with the natural sciences of his epoch. Subsequently, I will outline some basic methodological and conceptual ingredients of Nietzsche’s philosophy of science, focussing on core issues such as “genealogy”, “interpretation”, “enhancement” and “truth”. Next, I will elucidate Nietzsche’s genealogical methodology with the help of three case studies (three representative samples if you will) taken from Nietzsche’s writings and dealing with physiology, astronomy and neuro-psychology respectively. Finally, I will present the methodological contours of a Nietzschean understanding of contemporary technoscience. (shrink)

The relativized propositional calculus is a system of Boolean formulas with query symbols. A formula in this system is called a one-query formula if the number of occurrences of query symbols is just one. If a one-query formula is a tautology with respect to a given oracle A then it is called a one-query tautology with respect to A. By extending works of Ambos-Spies (1986) and us (2002), we investigate the measure of the class of all oracles A such that (...) the set of all one-query tautologies with respect to A does not p-btt-reduce to A, where p-btt denotes polynomial-time bounded-truth-table. We show that certain Dowd-type generic oracles all belong to the class, and hence measure of the class is one. (shrink)

Two types of truth table tasks are used investigating mental representations of conditionals: a possibilities-based and a truth-based one. In possibilities tasks, participants indicate whether a situation is possible or impossible according to the conditional rule. In truth tasks participants evaluate whether a situation makes the rule true or false, or is irrelevant with respect to the truth of the rule. Comparing the two-option version of the possibilities task with the truth task in Experiment (...) 1, the possibilities task yields logical answer patterns whereas the truth task yields defective patterns. Adding the irrelevant option to the possibilities task in Experiment 2 leads to a considerable amount of defective patterns in the possibilities task, but still to more logical patterns in the possibilities task than in the truth task. Experiment 3 shows that directionality matters since rule-to-situation tasks yield more logical answer patterns than do situation-to-rule tasks. We conclude that both task types are not comparable as such since wording, number of options and directionality influence the results. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small class (...) of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by (...) recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory. (shrink)

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F-sharp in its fourth measure” by adopting an (...) untenable semantic claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt. (shrink)

The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., (...) collective truth. A semantics is developed (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)

In a seminar with the title “Deduction and Induction in the Sciences”, it is intriguing to ask the following questions: Is there a third type of inference besides deduction and induction? Does this third type of inference play a significant role within scientific inquiry? A positive answer to both of these questions was advocated by Charles S. Peirce throughout his career, even though his opinions changed in important ways during the fifty years between 1865 and 1914. Peirce called the third (...) kind of inference “hypothesis”, “abduction”, or “retroduction”.1 In this paper, I shall follow Peirce’s steps in discussing abduction by analyzing its logical form , its role in science , and the grounds of its validity . We shall see that Peirce’s discussion is more insightful than many recent attempts to analyze abductive inference. Still, recently some progress has been made in the treatment of abduction within the Bayesian theory of epistemic probability and truth-approximation . The results of this work support the view of scientific realism: abduction or inference to the best explanation , combined with empirical and experimental testing of scientific theories, is the best method of seeking informative truths in science. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

Two types of truth table task are used to examine people's mental representation of conditionals. In two within-participants experiments, participants either receive the same task-type twice (Experiment 1) or are presented successively with both a possibilities task and a truth task (Experiment 2). Experiment 3 examines how people interpret the three-option possibilities task and whether they have a clear understanding of it. The present study aims to examine, for both task-types, how participants' cognitive ability relates to (...) the classification of the truth table cases as irrelevant, and their consistency in doing so. Looking at the answer patterns, participants' cognitive ability influences their classification of the truth table cases: A positive correlation exists between cognitive ability and the number of false-antecedent cases classified as ?irrelevant?, both in the possibilities task and the truth task. This favours a suppositional representation of conditionals. (shrink)

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true (...) if they cohere and those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)

Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated modeltheoretically, subject to change.

This paper on post-truth politics argues that to the extent that one wants to understand political discourses generally (post-truth political discourses in particular), it is crucial to see them as circulating talk that performs rather than reports. This implies a shift in focus. Many react strongly to ‘post-truth’ assertions by appealing to evidence, objectivity, facts and truth. In this paper, it is suggested that, when analysing political discourses, there is no point asking, ‘Is it true?’ One (...) should rather ask, ‘What happens as a result?’ Understanding political discourses as performative demands that the resulting doing, transforming and changing may transcend established parameters and known patterns. That also means problematising the types of argument allowed, or discourse considered appropriate, in a given situation. What, then, is the force within the performative discourse driving transformation? What role does intention play? And who—if anybody—can be designated as the master of the discourse? One way of answering these questions is to broaden the perspective of what happens in verbal exchanges. The hearer-speaker relation is fundamental, one in which meaning is shaped and the performative force is formed. A political discourse in general, and a post-truth political discourse in particular, cannot do and perform—cannot function—in a vacuum. This evokes serious questions about accountability and responsibility and also about human action and freedom. (shrink)