The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. One purpose of this paper is to argue that the notion is not fruitfully explicated in terms of the imagination. The most natural way of presenting a notion of conceivability qua imaginability is open to cogent criticism. In order to avoid such criticism, an advocate of the modal insightfulness of the imagination (...) must broaden the idea of what it is to be imaginable. I argue that this required broadening renders the imagination idle . Consequently, I distinguish two different accounts of the evidential basis of modal knowledge and present a more general argument that concludes that the very notion of conceivability should be eschewed in modal epistemology. (shrink)

Contingency is the presence of non-actualized possibility in the world. Fatalism is a view of reality on which there is no contingency. Since it is contingency that permits agency, there has traditionally been much interest in contingency. This interest has long been embarrassed by the contention that simple and plausible assumptions about the world lead to fatalism. I begin with an Aristotelian argument as presented by Richard Taylor. Appreciation of this argument has been stultified by a question pertaining to the (...) source of necessity and possibility and a closely related one regarding the nature of metaphysics itself. Answering these questions reveals the crucial issue here, to wit, necessity and possibility in a temporal world. This issue is investigated through an important later criticism of Taylor by David Foster Wallace. Wallace’s critique is significant because it brings to the fore the pivotal notion for understanding contingency in a temporal world, that of synchronic possibility, the idea that incompatible states of affairs are possible at a single moment. This notion provides the basis of distinguishing two systematic accounts of truth, modality and time: two metaphysics of contingency. On one account, Taylor’s Aristotelian argument is straightforwardly valid and compelling; on the other, it is fallacious. In closing, I present reasons why the former account, supporting the Aristotelian views of time and truth, is correct and make some comments to ameliorate this conclusion. (shrink)

The brains of higher mammals are extraordinary integrative devices. Signals from large numbers of functionally specialized groups of neurons distributed over many brain regions are integrated to generate a coherent, multimodal scene. Signals from the environment are integrated with ongoing, patterned neural activity that provides them with a meaningful context. We review recent advances in neurophysiology and neuroimaging that are beginning to reveal the neural mechanisms of integration. In addition, we discuss concepts and measures derived from information theory that lend (...) a theoretical basis to the notion of complexity as integration of information and suggest new experimental tests of these concepts. (shrink)

Integrated information theory (IIT) starts from the essential properties of experience and translates them into requirements that any physical system must satisfy to be conscious. It argues that the physical substrate of consciousness (PSC) must constitute a maximum of irreducible, internal cause‐effect power of a specific form, and provides a calculus to determine, in principle, both the quality and the quantity of an experience. Applied to the brain, IIT predicts that the spatio‐temporal grain of the neural units constituting the PSC, (...) and the relevant neural states, are those that maximize cause‐effect power. Moreover, the PSC can shrink, move, split and disintegrate depending on various anatomical and physiological parameters. These predictions are testable with brain stimulation and recording experiments. The theory can explain parsimoniously many known facts about the relationship between consciousness and the brain, including its association with certain cortical structures, its breakdown in deep sleep, anesthesia and seizures, and its return in dreams. (shrink)

Integrated information theory (IIT) starts from the essential properties of experience (axioms) and translates them into requirements that any physical system must satisfy to be conscious (postulates; see Integrated Information Theory of Consciousness: An Outline, this volume). The postulates of IIT can be seen as a list of requirements for something to exist ‘for itself’, as an intrinsic entity, and thus have relevance for ontology and metaphysics. Some implications of the theory include the divide between intrinsic and extrinsic entities, the (...) incoherence of ontological reductionism, and the intrinsic nature of meaning. (shrink)

In this paper, in line with the general framework of value-sensitive design, we aim to operationalize the general concept of “Meaningful Human Control” in order to pave the way for its translation into more specific design requirements. In particular, we focus on the operationalization of the first of the two conditions investigated: the so-called ‘tracking’ condition. Our investigation is led in relation to one specific subcase of automated system: dual-mode driving systems. First, we connect and compare meaningful human control with (...) a concept of control very popular in engineering and traffic psychology, and we explain to what extent tracking resembles and differs from it. This will help clarifying the extent to which the idea of meaningful human control is connected to, but also goes beyond, current notions of control in engineering and psychology. Second, we take the systematic analysis of practical reasoning as traditionally presented in the philosophy of human action and we adapt it to offer a general framework where different types of reasons and agents are identified according to their relation to an automated system’s behaviour. This framework is meant to help explaining what reasons and what agents play a role in controlling a given system, thereby enabling policy makers to produce usable guidelines and engineers to design systems that properly respond to selected human reasons. In the final part, we discuss a practical example of how our framework could be employed in designing automated driving systems. (shrink)

The extended mind thesis states that the mind is not brain-bound but extends into the physical world. The philosophical debate around the thesis has mostly focused on extension towards epistemic artefacts, treating the phenomenon as a special capacity of the human organism to recruit external physical resources to solve individual tasks. This paper argues that if the mind extends to artefacts in the pursuit of individual tasks, it extends to other humans in the pursuit of collective tasks. Mind extension to (...) other humans corresponds essentially to the ‘we-mode’ of cognition, the unique power of human minds to be jointly directed at goals, intentions, states of affairs, or values. Because the capacity for collective intentionality holds evolutionary and developmental primacy over human-epistemic artefacts relations, the extended mind should not be seen as a special phenomenon, but as a central aspect of the human condition. The original extended mind thesis carried important implications for how the cognitive sciences should proceed. In a version of the thesis that accommodates collective intentionality, these implications would go far deeper than originally assumed. (shrink)

In juxtaposition with the myth and tragedy of Ovid’s Medea, this paper investigates the possibility within the Kantian conception of agency of understanding moral evil as acting against one’s better judgment. It defends the thesis that in Kant self-deception, i. e. the intentional untruthfulness to oneself, provides the fundamental structure for choosing against the moral law. I argue that, as Kant’s thought progresses, self-deception slowly proceeds to become the paradigmatic case of moral evil. This is discussed with regard to two (...) important topics in his later moral philosophy: the doctrine of radical evil and the crucial role of the duty of truthfulness in ethics. The inquiry into Kant’s theory of conscience unfolds both against this theoretical background and in light of its historical roots in the polemic against casuistry and probabilism. This contribution closes with a brief look at the tools Kant implements to counter this tendency to self-deception in moral judgment and particularly at the role casuistry plays within his conception of moral education. (shrink)

Placebos are commonly defined as ineffective treatments. They are treatments that lack a known mechanism linking their properties to the properties of the condition on which treatment aims to intervene. Given this, the fact that placebos can have substantial therapeutic effects looks puzzling. The puzzle, we argue, arises from the relationship placebos present between culturally meaningful entities, our intentional relationship to the environment and bodily effects. How can a mere attitude toward a treatment result in appropriate bodily changes? We argue (...) that an ‘enactive’ conception of cognition accommodates and renders intelligible the phenomenon of placebo effects. Enactivism depicts an organism’s adaptive bodily processes, its intentional directedness, and the meaningful properties of its environment as co-emergent aspects of a single dynamic system. In doing so it provides an account of the interrelations between mind, body and world that demystifies placebo effects. (shrink)

Each thing is fundamental. Not only is no thing any more or less real than any other, but no thing is prior to another in any robust ontological sense. Thus, no thing can explain the very existence of another, nor account for how another is what it is. I reach this surprising conclusion by undermining two important positions in contemporary metaphysics: hylomorphism and hierarchical views employing so-called building relations, such as grounding. The paper has three main parts. First, I observe (...) hylomorphism is alleged by its proponents to solve various philosophical problems. However, I demonstrate, in light of a compelling account of explanation, that these problems are actually demands to explain what cannot be but inexplicable. Second, I show how my argument against hylomorphism illuminates an account of the essence of a thing, thereby providing insight into what it is to exist. This indicates what a thing, in the most general sense, must be and a correlative account of the structure in reality. Third, I argue that this account of structure is incompatible not only with hylomorphism, but also with any hierarchical view of reality. Although hylomorphism and the latter views are quite different, representing distinct philosophical traditions, I maintain they share untenable accounts of structure and fundamentality and so should be rejected on the same grounds. (shrink)

The target article misrepresents the foundations of integrated information theory and ignores many essential publications. It, thus, falls to this lead commentary to outline the axioms and postulates of IIT and correct major misconceptions. The commentary also explains why IIT starts from phenomenology and why it predicts that only select physical substrates can support consciousness. Finally, it highlights that IIT's account of experience – a cause–effect structure quantified by integrated information – has nothing to do with “information transfer.”.

In this paper, I assess critically the recent debate on corrective duties across moral and legal philosophy. Two prominent positions have emerged: the Kantian rights-based view (holding that what triggers corrections is a failure to respect others' right to freedom) and the so-called continuity view (correcting means attempting to do what one was supposed to do before). Neither position, I try to show, offers a satisfactory explanation of the ground (why correct?) and content (how to correct?) of corrective duties. In (...) the final section, I suggest that it is probably better to restrict the label “corrective duties” to duties generated by interpersonal wronging. (shrink)

A perennial epistemological question is whether things can be known just as they are in the absence of any awareness of them. This epistemological question is posterior to ontological considerations and more specific ones pertaining to mind. In light of such considerations, the author propounds a naïve realist, foundationalist account of knowledge of things in themselves, one that makes crucial use of the work of Brentano. After introducing the resources provided by Brentano’s study of mind, the author reveals the ontological (...) framework in which it takes place. Doing so is instrumental to illuminating acquaintance, the state that enables the direct engagement of a mind and some other thing. The author discusses this state and shows how it has the epistemic heft, with a Brentanian account of judgment, to provide the foundations of one’s knowledge of the world. A naïve realist, foundationalist account of knowledge is open to a compelling objection; the author presents this objection with the means of undermining it. In conclusion, the author recurs to the opening theme of the primacy of ontology and suggests that familiar misgivings about knowing things in themselves are all based on questionable—and ultimately untenable—ontological presuppositions. (shrink)

There are two main meanings in Kant’s concept of moral certainty (moralische Gewissheit, certitudo moralis): first, it applies to the kind of certainty embodied in rational faith in the existence of God and a future life; second, it applies to the conscientiousness (Gewissenhaftigkeit) required of an agent in the practice of moral judgement. Despite the growing attention to Kant’s theory of conscience and his concept of conscientiousness, this article is the first to discuss ‘moral certainty’ as the aim of ‘conscientiousness’ (...) and to highlight the relevance of both notions in regard to moral education and the purposes of Kant’s ethical doctrines of method. (shrink)

Contemporary brain reading technologies promise to provide the possibility to decode and interpret mental states and processes. Brain reading could have numerous societally relevant implications. In particular, the private character of mind might be affected, generating ethical and legal concerns. This paper aims at equipping ethicists and policy makers with conceptual tools to support an evaluation of the potential applicability and the implications of current and near future brain reading technology. We start with clarifying the concepts of mind reading and (...) brain reading, and the different kinds of mental states that could in principle be read. Subsequently, we devise an evaluative framework that is composed of five criteria-accuracy, reliability, informativity, concealability and enforceability-aimed at enabling a clearer estimation of the degree to which brain reading might be realistically deployed in contexts where mental privacy could be at stake. While accuracy and reliability capture how well a certain method can access mental content, informativity indicates the relevance the obtainable data have for practical purposes. Concealability and enforceability are particularly important for the evaluation of concerns about potential violations of mental privacy and civil rights. The former concerns the degree with which a brain reading method can be concealed from an individual’s perception or awareness. The latter regards the extent to which a method can be used against somebody’s will. With the help of these criteria, stakeholders can orient themselves in the rapidly developing field of brain reading. (shrink)

‘Thing’ in the titular question should be construed as having the utmost generality. In the relevant sense, a thing just is an entity, an existent, a being. The present task is to say what a thing of any category is. This task is, I believe, the primary one of any comprehensive and systematic metaphysics. Indeed, an answer provides the means for resolving perennial disputes concerning the integrity of the structure in reality—whether some of the relations among things are necessary merely (...) given those relata themselves—and the intricacy of this structure—whether some things are more or less fundamental than others. After considering some reasons for thinking the generality of the titular question makes it unanswerable, I propound the methodology, original inquiry, required to answer it. The key to this methodology is adopting a singular perspective; confronting the world as merely the impetus to inquiry, one can attain an account of what a thing must be. Radical ontology is a systematic metaphysics—broadly Aristotelian, essentialist and nonhierarchical—that develops the consequences of this account. With it, it is possible to move past stalemate in metaphysics by revealing the grounds of a principled choice between seemingly incommensurable worldviews. (shrink)

Eriksson thinks that moral disagreements are intuitively faulty whereas disagreements about taste are intuitively faultless. He attempts to account for this difference by arguing, first, that moral judgements and taste judgements differ with regard to the presence of a disposition to challenge conflicting judgements and, second, that the intuition that a judgement is mistaken consists in the disposition to challenge it. In this article, I focus on the reasons given to support the first claim and argue that they are not (...) sufficient. First, I assess the thesis that a taste judgement is only contingently connected with a disposition to challenge conflicting judgements. Second, I focus on the claim that a moral judgement is in part a disposition to challenge conflicting judgements. In both cases, I argue that the reasons given fail to disclose any substantial difference between the two domains. (shrink)

This paper discusses a recent puzzle concerning the notions of boundary parthood and dependence, and offers a new solution. The puzzle was originally presented by Jeroen Smid and successively elaborated upon by Claudio Calosi. I first reformulate some of the troublesome premises. Particularly, whereas Smid and Calosi discuss the puzzle in terms of an underspecified notion of dependence, I propose to construe it in terms of the notion of grounding. In this manner, the dependence relation inherently carries an asymmetry, and (...) we can effectively utilize its four places. The solution I advance precisely takes advantage of this feature of dependence. My proposal avoids the contradiction while still respecting the intuitions driving the original premises. It is also fully compatible with boundaries being only generically dependent on their wholes. (shrink)

Rights proclamations are often alleged to be meaningless – ‘nonsense upon stilts’. But what makes a rights proclamation meaningful? In general, I argue, meaningful rights proclamations presuppose the existence of both a duty – directed from some party to another – and an interest whose protection is at least a non-redundant element in the justification of why the duty exists. Further conditions of meaningfulness apply for specifically moral rights proclamations. Here, the interest must be of such moral relevance to ground, (...) by itself, the duty and the duty must be demonstrably compatible with other mandatory components of morality. Neither of these conditions applies to rights proclamations in the legal realm. For a legal right proclamation to be meaningful, it is sufficient that there is or there ought to be, in the legal community at stake, a legal obligation whose justification includes, as a non-redundant element, the interest of some party. (shrink)

The purpose of this paper is to propose and defend an absolute principle of truthmaking, a maximalist one according to which every truth is made true by something in the world beyond itself. I maintain that an absolute principle must be true, that any weakened version is straightforwardly contradictory or incoherent. I criticize one principle of truthmaking (in terms of bald necessity) and articulate one in terms of the relation in virtue of. I then criticize other principles of truthmaking in (...) light of the latter, for I contend that in virtue of has a role in the theory of truthmaking that is essential and ineluctable. That all true representations have a truthmaker as defined by the principle I articulate is the absolute principle of truthmaking I defend. The crux of the paper is the arguments I present in defense of this absolute principle. In defending it against familiar objections to maximalism, an account of the truthmakers that seem to ground all true representations emerges. I maintain that such truthmakers are simple facts. With the absolute principle and its corollary account of truthmakers, this paper contains the core of a comprehensive theory of truthmaking. (shrink)

We study how to postpone the application of the reductio ad absurdum rule (RAA) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of RAA, which induces a negative translation from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.

We study how to postpone the application of the reductio ad absurdum rule ) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of \, which induces a negative translation from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.

The philosophy of emotions has long been dominated by the view called «cognitivism». According to it, emotions are characterized not by mere physical impulses but by a cognitive evaluation of their object. However, despite their success, cognitive theories have to deal with various objections and are divided on how to answer to them. In this essay I want to defend the form of cognitivism claimed by Martha Nussbaum from the most common criticisms. After a brief summary of her account, I (...) confront some of the objections that have been raised against it. In Section 2 I deal with the classic problem of emotions in infants and animals, which lack linguistic abilities. Later, I confront the potential problem represented by cases in which one’s emotion and reasoned judgment seem to differ: in paragraph 3 I consider irrational phobias and fears, to show how they can be accounted for in terms of judgments and thoughts, and not only of perceptions; in paragraph 4 I deal with the objection that «judgementalist» theories violate the «principle of charity», for they ascribe an excessive irrationality to people. I argue that experimental evidence suggest that it is not implausible to assume that people have contradictory beliefs under conditions of uncertainty, and that perceptual theories of emotion fail to account for some fundamental aspects of these phenomena. Finally, in paragraph 5, I deal with the objection according to which a cognitive-evaluative theory cannot explain the sense of passivity that we commonly experience in emotions. (shrink)

The capabilities approach is the theory according to which, in order to assess people's quality of life and reflect on the basic political entitlements, we should consider what people are capable of doing and being. Focusing mostly on Nussbaum's account, a number of scholars analysed the metaethical structure underlying the approach, showing her Aristotelian and Kantian sources. This article explores another aspect of Nussbaum's theory which has so far been somewhat overlooked: the role of emotions in the justification and motivational (...) support of the approach. After showing the importance Nussbaum places on compassion (and other benevolent emotions) to warrant her moral theory, I argue that – assuming her own cognitive account of compassion – her argument begs the question. I will then contend that Nussbaum's case does not have the inner tools to overcome such a circularity, trying to suggest, in conclusion, a possible way out which is consistent with it. (shrink)

Modern color science finds its birth in the middle of the nineteenth century. Among the chief architects of the new color theory, the name of the polymath Hermann von Helmholtz stands out. A keen experimenter and profound expert of the latest developments of the fields of physiological optics, psychophysics, and geometry, he exploited his transdisciplinary knowledge to define the first non-Euclidean line element in color space, i.e., a three-dimensional mathematical model used to describe color differences in terms of color distances. (...) Considered as the first step toward a metrically significant model of color space, his work inaugurated researches on higher color metrics, which describes how distance in the color space translates into perceptual difference. This paper focuses on the development of Helmholtz’s mathematical derivation of the line element. Starting from the first experimental evidence which opened the door to his reflections about the geometry of color space, it will be highlighted the pivotal role played by the studies conducted by his assistants in Berlin, which provided precious material for the elaboration of the final model proposed by Helmholtz in three papers published between 1891 and 1892. Although fallen into oblivion for about three decades, Helmholtz’s masterful work was rediscovered by Schrödinger and, since the 1920s, it has provided the basis for all subsequent studies on the geometry of color spaces up to the present time. (shrink)

Architecture of ancient Egypt is criss-crossed by a series of giant projects whose aim was to celebrate the divine nature of the Pharaohs and their rights to eternal afterlife. In many of such projects a complex interplay between idealization of symbols in hieroglyph writings and shaping of built objects and cultural landscapes can be seen. Since the afterlife destination of the Pharaohs was in the sky, astronomy plays a relevant role in understanding this interplay, as it occurs, in particular, in (...) the Khufu project at Giza and in the planning of Akhenaten’s capital at Amarna. (shrink)

Feminist thinkers have commonly interpreted Edith Stein’s “dual anthropology” as a form of essentialism and difference feminism. For them, men and women have (or should have) different functions and capabilities. The article argues against this traditional account. Starting from two distinct criticisms of difference feminism – that of Judith Butler and that of Martha Nussbaum – it claims that the best way to read Stein’s position is to consider it a liberal feminism, for the emphasis that she puts on the (...) uniqueness of every single human being. (shrink)

In this paper, I answer the question of what time is. First, however, I consider why one might ask this question and what exactly it is asking. The latter consideration reveals that in order to answer the question, one must first engage in a more basic investigation of what a thing, anything at all, is. Such radical investigation requires a special methodology. After briefly characterizing this methodology, I show how it can be employed to answer the titular question. This answer (...) is significant not merely because it illuminates something of perennial interest, but because it is essential to a comprehensive and fully satisfactory metaphysics of time and, hence, to a view of the full structure in reality. (shrink)

Presentism is a controversial and much discussed position in the metaphysics of time. The position is often glossed as simply the view that everything that exists is present. This gloss, however, does not in itself characterize a single view. In this paper, I first propound the variety of presentist views, characterizing the primary dimensions along which the views differ. I then present the version of presentism I deem optimal. The variety among presentist views is so great that the version that (...) I prefer and shall defend—transient presentism—is not even characterized by the standard gloss given above. I next discuss all of the objections to presentism of which I am aware, considering the relevance of each to transient presentism. I conclude that transient presentism provides the most satisfying responses to the traditional objections and, furthermore, captures very well the motivation for adopting a presentist position in the first place. The grounds for these two conclusions constitute my defense of transient presentism. (shrink)

Recent Libet-style experiments are of limited relevance to the debate about free action and free will, and should be understood as investigations of arbitrary actions or guesses. In Libet-style experiments, the concept of 'free action' is commonly taken to refer to a 'self-initiated voluntary act', where the self prompts an action without being prompted. However, this idea is based on the problematic assumption that the conscious self needs to be free from every constraint in order to be actually free. We (...) maintain that a fundamental condition for free action is the presence of reasons to act responsibly. By analyzing a recent neuroscientific experiment, we indicate how its results could be interpreted as indicating how free action operationalization is inappropriately focusing on arbitrary actions. Hence, the way free action has been experimentally studied may have had a misleading influence on the debate about free will. (shrink)

People with mild to moderate intellectual or multiple disabilities may have serious difficulties in accessing leisure events, managing communication exchanges with distant partners, and performing functional daily activities. Recently, efforts were made to develop and assess technology-aided programs aimed at supporting people in all three areas. This study assessed a new technology-aided program aimed at helping four participants with intellectual and multiple disabilities in the aforementioned areas. The program, which was implemented following a non-concurrent multiple baseline across participants design, relied (...) on the use of a smartphone or tablet connected via Bluetooth to a two-switch device. This device served to select leisure and communication events and to control the smartphone or tablet’s delivery of step instructions for the activities scheduled. Data showed that during the baseline phase, three participants failed in each of the areas while one participant managed to access a few leisure events. During the intervention phase, all participants managed to independently access leisure events, make telephone calls, and carry out activities. These results suggest that the program might be a useful tool for helping people with intellectual and multiple disabilities improve their condition in basic areas of daily life. (shrink)

Considering whether existence, i.e., being, is a thing might seem like the height of aimless metaphysical chin stroking. However, the issue—specifically, whether existence is a quality—is significant, bearing on how reality, this all-encompassing totality, is. On one view, reality at large is ontologically fixed, the sum total of things does not (and cannot) vary; on another view, reality is ontologically transient, the sum total of things varies. I first show that if existence is a thing, that reality is ontologically fixed (...) follows. So I consider whether existence is indeed a thing. I demonstrate that “it” could not be: existence is no existent. I then discuss what it is to exist, given existence is nothing at all. I maintain there are no grounds for the view that reality is ontologically fixed. I argue, from the irrefragable basis of temporal differentiation—the world going from thus…to as so—that reality is ontologically transient. I consider some objections to ontological transience and conclude by considering the key to understanding the overall structure in reality and what it reveals about how very inconstant all this is. (shrink)

A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...) classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes. (shrink)

There are two conspicuous and inescapable features of this world in which time is real. One experiences a world in flux, a transient world in which things constantly come into existence, change and cease to be. One also experiences a stable world, one in which how things are at any given moment is permanent, unchangeable. Thus, there is transience and permanence. Yet these two features of the world seem incompatible. The primary purpose of this paper is to sketch a metaphysics (...) of time that embraces both features. Crucial to this undertaking is the notion of becoming, that is, coming into existence. I distinguish three distinct phenomena of becoming: temporal, absolute and atemporal. The last is the least familiar of these; it is the phenomenon of coming into existence outside of time. Although the idea that there are things that do not exist in time is not unfamiliar, it is largely taken for granted that if anything comes into existence, it must do so in time. (Indeed, I suspect many think that the idea of a thing coming to be outside of time is simply incoherent.) In this paper, I articulate and defend the notion of atemporal becoming. It is by means of this notion that one can develop a fully satisfactory metaphysics of time, one that honors both transience and permanence and finds for each its proper domain within the world. (shrink)

We propose that sleep is linked to synaptic homeostasis. Specifically, we propose that: (1) Wakefulness is associated with synaptic potentiation in cortical circuits; (2) synaptic potentiation is tied to the homeostatic regulation of slow wave activity; (3) slow wave activity is associated with synaptic downscaling; and (4) synaptic downscaling is tied to several beneficial effects of sleep, including performance enhancement.