Driven by a sharp increase in claims for reparations, reparative justice has become a topic of academic debate. To some extent this debate has been marred by a failure to realize the complexity of reparative justice. In this essay we try to amend this shortcoming. We do this by developing a taxonomy of different kinds of wrongs that can underwrite claims to reparations. We identify four kinds of wrongs: entitlement violations, unjust exclusions from an otherwise acceptable system of entitlements, and (...) two kinds where a social practice systematically fails to embody an acceptable system of entitlements. In deliberation about what is required to repair a historical injustice the weight of backward- and forward-looking considerations is a function of the distinctive features of the injustice in question. Hence, the first step in adjudicating claims for reparation is to identify what kind of wrong the claim arises from. From the taxonomy of wrongs we are thus able to construct what we call the Field of Reparative Justice, which illustrates how the structure of deliberation for reparative justice tracks the distinctive features of different kinds of wrongs. (shrink)

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

The principle of alternate possibilities (PAP), making the ability to do otherwise a necessary condition for moral responsibility, is supposed by Harry Frankfurt, John Fischer, and others to succumb to a peculiar kind of counterexample. The paper reviews the main problems with the counterexample that have surfaced over the years, and shows how most can be addressed within the terms of the current debate. But one problem seems ineliminable: because Frankfurt''s example relies on a counterfactual intervener to preclude alternatives to (...) the person''s action, it is not possible for it to preclude all alternatives (intervention that is contingent upon a trigger cannot bring it about that the trigger never occurred). This makes it possible for the determined PAPist to maintain that some pre-intervention deviation is always available to ground moral responsibility. In reply, the critic of PAP can examine all the candidate deviations and argue their irrelevance to moral responsibility (a daunting prospect); or the critic can dispense with counterfactual intervention altogether. The paper pursues the second of these strategies, developing three examples of noncounterfactual intervention in which (i) the agent has no alternatives (and a fortiori no morally relevant alternatives), yet (ii) there is just as much reason to think that the agent is morally responsible as there was in Frankfurt''s original example. The new counterexamples do suffer from one liability, but this is insufficient in the end to repair PAP''s conceptual connection between moral responsibility and alternate possibilities. (shrink)

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

Political philosophers frequently claim that political ideals can provide normative guidance for unjust and otherwise nonideal circumstances. This is mistaken. This paper demonstrates that political ideals contribute nothing to our understanding of the normative principles we should satisfy amidst unjust or otherwise nonideal circumstances.

People suffering from severe monothematic delusions, such as Capgras, Fregoli, or Cotard patients, regularly assert extraordinary and unlikely things. For example, some say that their loved ones have been replaced by impostors. A popular view in philosophy and cognitive science is that such monothematic delusions aren't beliefs because they don't guide behaviour and affect in the way that beliefs do. Or, if they are beliefs, they are somehow anomalous, atypical, or marginal beliefs. We present evidence from five studies that folk (...) psychology unambiguously views monothematic delusions as stereotypical beliefs. This calls into question widespread assumptions in the professional literature about belief's stereotypical functional profile. We also show that folk psychology views delusional patients as holding contradictory beliefs. And we show that frequent assertion is a powerful cue to belief ascription, more powerful than even a robust and consistent track record of non-verbal behaviour. (shrink)

Some analytic philosophers have recently been defending the thesis that there’s “something it’s like” to consciously think a particular thought, which is qualitatively different from what it’s like to be in any other kind of conscious mental state and from what it’s like to think any other thought, and which constitutes the thought’s intentional content. (I call this the “intentional phenomenology thesis”). One objection to this thesis concerns the introspective availability of such content: If it is true that intentional phenomenology (...) is constitutive of intentional content, and that conscious phenomenology is always introspectively available, then it ought to be true that the content of any concept consciously entertained is always introspectively available. But it is not. For example, one can know introspectively that one is thinking that one knows that p without knowing introspectively what the content of the concept of knowledge is. Hence, it cannot be that intentional content is constituted by cognitive phenomenology. -/- I explore three responses to this objection. First, it is not clear that all of the contents of consciousness must be equally available to introspection. The capacities for conscious experience and introspective attention to it are distinct. It is not implausible that the resolving power of the latter might be insufficient to discern all of the fine-grained details of the former, or that its scope might be limited. Second, it is possible that in cases of incomplete accessibility one is entertaining only part of the concept the relevant term expresses in one’s language. In the knowledge case, for example, perhaps one is thinking only that one has justified true belief that p (one’s self-attribution of a thought about knowledge is in fact false). Finally, in such cases one might be consciously entertaining only part of the relevant concept, the rest remaining unconscious, and so unavailable to conscious introspection. I conclude that the objection is not decisive against the intentional phenomenology thesis. (shrink)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

Can we adequately account for our reasons of mere taste without holding that our desires ground such reasons? Recently, Scanlon and Parfit have argued that we can, pointing to pleasure and pain as the grounds of such reasons. In this paper I take issue with each of their accounts. I conclude that we do not yet have a plausible rival to a desire-based understanding of the grounds of such reasons.

This article explores the figure of Socrates as a religious reformer along the lines of McPherran's studies. Particular attention is paid to the conception of providence as expressed in the accounts of Socrates by Xenophon.

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

Edition of the opuscules by D. Báñez on De auxiliis controversy. There is the critical edition of three manuscripts and the first Spanish annotated translation of the opuscules. The Latin text is disposed together with the translation. An introduction situates the opuscules in its systematic and historical context.

The late Middle Ages witnessed a recapitulation of medieval reflection on beauty. Jean Gerson is an important representative of these philosophical and theological contributions, although he has been largely neglected up to this time. A first dimension of his ideas on beauty is the incorporation of beauty (pulchrum) into the number of transcendentals, i.e., the concepts “convertible” with the notion of being (ens), that is, unity, truth, and goodness (unum, verum and bonum). This article revisits Monica Calma’s study on Gerson’s (...) theory of beauty and suggests new hypothetical sources that may have inspired this aspect of his thought. The second aspect emphasised here is Gerson’s classification of beauty, which entails some similarities to the one of Ulrich of Strasbourg, but also differs from it. Moreover, its incorporation of a division entirely devoted to artistic beauty is highly remarkable. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand function (...) of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

In this paper the author deals with the new development of Metaphysics among American Thomists. In contrast to Gilson, there is revaluation of 'essence' among some authors, insofar form has an instrumental role for the existence of things (see e.g. Lawrence Dewan). The example of Stephen L. Brock is presented as an alternative to the excessive Apophaticism of some interpretations of Aquinas such as the one of J.-L. Marion.

The papers published in this special issue can fairly be unified under the heading “Epistemic Democracy,” but there is more variety among them than this might indicate. They exhibit the broad range of ways in which epistemological considerations are figuring in contemporary philosophical discussions of democracy. The authors range from young and promising to established and distinguished. I'd like to introduce a few of the issues that run through the papers, sprinkling references to the actual papers along the way. From (...) the beginning, democratic forms of government have included discussion and debate. In real life the value of democracy can hardly be separated from the value of free public discussion, prior to voting, about the issues and candidates. This is not to say that either the discussion or the vote have always been inspiring, but whatever value democracy is thought to have, it seems inseparable from public political discussion. One way of accounting for the value of the discussion is to suppose that voters exchange reasons (not always cooperatively) about what to do. Even a quick look at the content of political debate seems to confirm that it is mostly about which decision would be best for the country or city whose laws or leaders are in question. (shrink)

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and (...) is focused on the interpretation and application of the mathematical concepts. (shrink)

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)

Many philosophers of mathematics are attracted by nominalism – the doctrine that there are no sets, numbers, functions, or other mathematical objects. John Burgess and Gideon Rosen have put forward an intriguing argument against nominalism, based on the thought that philosophy cannot overrule internal mathematical and scientific standards of acceptability. I argue that Burgess and Rosen’s argument fails because it relies on a mistaken view of what the standards of mathematics require.

In Pascal’s famous wager, he claims that the seeking non-believer can induce genuine religious belief in herself by joining a religious community and taking part in its rituals. This form of belief regulation is epistemologically puzzling: can we form beliefs in this way, and could such beliefs be rationally held? In the first half of the paper, we explain how the regimen could allow the seeking non-believer to regulate her religious beliefs by intervening on her evidence and epistemic standards. In (...) the second half of the paper, we argue that regulated religious beliefs can be rationally held. (shrink)

This article addresses three main questions: What causes cognitive overload in the workplace? What analytical framework should be used to understand how agents interact with their work environments? How can environments be restructured to improve the cognitive workflow of agents? Four primary causes of overload are identified: too much tasking and interruption, and inadequate workplace infrastructure to help reduce the need for planning, monitoring, reminding, reclassifying information, etc… The first step in reducing the cognitive impact of these causes is to (...) enrich classical frameworks for understanding work environments, such as Newell and Simon’s notion of a task environment, by recognizing that our actual workplace is a superposition of many specific environments – activity spaces – which we slip between. Each has its own cost structure arising from the tools and resources available, including the cognitive strategies and interpretational frameworks of individual agents. These cognitive factors are significant, affecting how easy or difficult it is to perform an action, such as finding a specific paper in a “mess” desk. A few simple examples show how work environments can be redesigned and how restructuring can alter the cost structure of activity spaces. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

Pogge and Wenar have recently argued that we are responsible for the persistence of the so-called ‘resource curse’. But their analyses are limited in important ways. I trace these limitations to their undue focus on the ways in which the international rules governing resource transactions undermine government accountability. To overcome the shortcomings of Pogge’s and Wenar’s analyses, I propose a normative framework organized around the social value of government responsiveness and discuss the implications of adopting this framework for future normative (...) assessment of the resource curse and our relationships to it. (shrink)

The distinction between knowing how to do something and knowing that something is the case is a piece of common sense. Still, it has been suggested that one of these concepts can be reduced to the other one. Intellectualists like Jason Stanley (2011) try to reduce know-how to propositional knowledge, while practicalists like Stephen Hetherington (2011) try to reduce propositional knowledge to know-how. I argue that both reductionist programs fail because they make the manifestations of the knowledge to be reduced (...) unintelligible. Contrary to both, I suggest that know-how and propositional knowledge are distinct, but conceptually interdependent. (shrink)

This article aims to address the widespread thesis according to which medieval scholastics would not handle the idea of fine art. Based on a suggestion by Anzulewicz, the author shows how Albert the Great did understand the peculiarity of fine arts and put them in close relationship with liberal arts. There are fine arts, such as music, which are sought after for their own sake and can, therefore, be considered as fully liberal. In contrast to them, there are other arts (...) called mechanical, whose purpose is utilitarian. In the third place, there are other arts which, although also possessing some utility, are chosen for their own sake and are therefore partly liberal; we should place fine arts such as architecture in that group. The more art participates in reason and the beauty of the soul, the more it will be fine and liberal. The product is called to be a metaphor for the honest good of virtue. The very contemplation of this beauty embodied by art evokes an aesthetic enjoyment. In this way, we can see that Albert, no less than Aquinas, speaks of the pleasure linked to the contemplation of beauty. (shrink)

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does not mean (...) that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

This paper presents the Spanish translation of the only two texts of Franz Brentano which deal specifically with St. Thomas Aquinas. The first text is a section about St. Albert the Great and Aquinas in an article published during Brentano’s youth, “The History of Ecclesiastical Sciences” (1867). The second text is an article, “Thomas Aquinas” (1908), written at the end of his life. Both texts reveal the immense value that Brentano saw in Aquinas. They also show that he regarded Aquinas (...) mainly as an important interpreter of Aristotle rather than as a philosopher in his own right. Brentano’s approach here also gives us some insight into his own conception of philosophical hermeneutics. The differences between the two texts are evident; for instance, in the second one, there is a Brentano’s manipulation of Aquinas’ thought to justify his leaving the Catholic Faith. The texts are also preceded by a little introduction of mine. Original titles: «Geschichte der kirchlichen Wissenschaften», in: Johann Adam Möhler (ed.), 'Kirchengeschichte', Band 2 (Regensburg: Manz, 1867), pp. 550-556 and «Thomas von Aquin», 'Neue Freie Presse' 15683 (18/4/1908): 1-5. (shrink)

I claim that, in the Topics, Aristotle advises dialectical questioners to intentionally argue fallaciously in order to escape from some dialectically awkward positions, and I work through the consequences of that claim. It will turn out that, although there are important exceptions, the techniques for finding arguments described in Topics I–VII are, by and large, locations that Aristotle thought of as appropriate for use in philosophical inquiry. The text that grounds this claim, however, raises a further problem: it highlights the (...) solitary nature of philosophical inquiry, which puts into question the philosophical relevance of Topics VIII. I find that the Topics provides inadequate grounds for thinking that Aristotle saw Topics VIII as describing standards or techniques of argument that were appropriate for philosophy, and so these texts cannot be used by contemporary commentators to shed light on Aristotle's philosophical practice. Finally, although Aristotle saw philosophy as a solitary activity, he th.. (shrink)

Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...) Using Allen Buchanan & Robert Keohane's model of global political legitimacy, we examine several existing global institutions as possible analogues for a politically legitimate SRM decision-making body. (shrink)

A qualitative study was conducted to examine the philosophy of technology of K-12 technology leaders, and explore the influence of their thinking on technology decision making. The research design aligned with CORBIN and STRAUSS grounded theory methods, and I proceeded from a research paradigm of critical realism. The subjects were school technology directors and instructional technology specialists, and data collection consisted of interviews and a written questionnaire. Data analysis involved the use of grounded theory methods including memo writing, open and (...) axial coding, constant comparison, the use of purposive and theoretical sampling, and theoretical saturation of categories. Three broad philosophy of technology views were widely held by participants: an instrumental view of technology, technological optimism, and a technological determinist perspective that saw technological change as inevitable. Technology leaders were guided by two main approaches to technology decision making, represented by the categories Educational goals and curriculum should drive technology, and Keep up with Technology (or be left behind). The core category and central phenomenon that emerged was that technology leaders approached technology leadership by placing greater emphasis on keeping up with technology, being influenced by an ideological orientation to technological change, and being concerned about preparing students for a technological future. (shrink)