John Hyman insists that Frege-style cases for depiction show that any sound theory of depiction must distinguish between the ‘sense’ and the ‘reference’ of a picture. I argue that this rests on a mistake. Making sense of the cases does not require the distinction.

Perceptualists say that having a pain in a body part consists in perceiving the part as instantiating some property. I argue that perceptualism makes better sense of the connections between pain location and the experiences undergone by people in pain than three alternative accounts that dispense with perception. Turning to fellow perceptualists, I also reject ways in which David Armstrong and Michael Tye understand and motivate perceptualism, and I propose an alternative interpretation, one that vitiates a pair of objections—due to (...) John Hyman—concerning the meaning of ‘Amy has a pain in her foot’ and the idea of bodily sensitivity. Perceptualism, I conclude, remains our best account of the location of pains. (shrink)

For centuries, it has been recognized that beauty can move. My aim in this paper is to understand how beauty moves. One suggestion is that beauty moves in a causal way, for example, by causing us to have certain feelings. Four objections to this suggestion are considered, but none is found convincing in the light of how causation tends to be understood. Moreover, it turns out that there is positive reason for thinking that beauty is causally efficacious, not just once (...) it has been experienced, as John Hyman has suggested, but even in bringing about the experience on which all other effects of beauty depend. (shrink)

This paper addresses what is arguably ?? one of the most fundamental questions in the debate on depiction, What is a Picture? It offers a critical discussion of traditional theories of pictorial representation, such as the Resemblance Theory, Conventionalism, and the Illusion Theory; it introduces and analyses the crucial notions of ‘seeing as’ and ‘seeing in’, and concludes by presenting some of the most recent accounts of depiction defended by Kendall Walton, Dominic Lopes, Robert Hopkins, and John Hyman.

In this article I focus on some unduly neglected common-sense considerations supporting the view that one's evidence is the propositions that one knows. I reply to two recent objections to these considerations.

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are thought (...) experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (shrink)

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

In discussions of practical reason we often encounter the view that a fact is a reason for an agent to act only if the fact is capable of moving the agent to act. This view figures centrally in many philosophical controversies, and while taken for granted by some, it is vigorously disputed by others. In this essay I show that if the disputed position is correctly interpreted, it is well armored against stock objections and implied by a premise that is (...) not only plausible, but generally accepted by the position's critics. (shrink)

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

This publication offers the first critical edition of John Buridan’s second set of questions on Aristotle's “De generatione et corruptione”. The edition was made by Michiel Streijger, Paul Bakker and Hans Thijssen. First published as a printed book in 2010, the publication has been converted to open access with the CC BY-NC-ND license as of September 2023.

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

According to G.E.M. Anscombe, an agent’s knowledge of his own intentional actions differs from his knowledge of his unintended behaviors as well as the knowledge others can have of what he intentionally does, in being secured “without observation”. I begin by posing a problem for any conception of this theory according to which non-observational knowledge must be independent of sense-perception, and criticize several recent attempts to get around the problem. Having done this, I develop an alternative account of non-observational knowledge (...) according to which its special character consists in the particular causal role of an agent’s self-awareness in bringing his intentional actions about. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

While there are numerous differences between the approaches taken by Maurice Merleau-Ponty and James J. Gibson, the basic motivation of the two thinkers, as well as the internal logic of their respective views, is extraordinarily close. Both were guided throughout their lives by an attempt to overcome the dualism of subject and object, and both devoted considerable attention to their "Gestaltist" predecessors. There can be no doubt but that it is largely because of this common cause that the subsequent development (...) of their ideas is so similar. It is not my objective in what follows merely to demonstrate a similarity between two lines of thought. Instead, I will try to show that each approach gains considerably from attention to the other. There are numerous ways to begin such a project, each about as arbitrary as the next. For present purposes, I shall take as of central importance the question of the character of the perceived world, both in relation to the traditionally opposed mental and material "substances", and in relation to its identification and individuation of things vis a vis one another and vis a vis ourselves. This will implicate especially Gibson's "affordances" and Merleau-Ponty's thesis concerning the "materiality of meaning.". (shrink)

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the nonsemantic (...) sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

I propose a distinction between design intentions, activities and products, as opposed to artistic intentions, activities and artworks. Examples of design products would include a specific type of car (or any other invention or device) as well as closer relatives of art such as decorative wall designs. In order to distinguish artistic from design intentions, I present an example in which two sculptors independently work on a single object to produce two sculptures, which are distinct just because the artistic intentions (...) of the sculptors are distinct. This case is then contrasted with an attempted parallel example for design intentions, which fails to produce two correspondingly distinct design products in spite of the different design intentions of its designers. I argue that this failure occurs because designs are types, for which any single token of a given type could not simultaneously be a token of some other type of the same general kind; whereas the possibility of my sculptural 'double artwork' example shows that such artworks cannot be types. I then further investigate the concept of a design, and conclude by arguing that an extension of my sculptural example shows that literary artworks also cannot be types. (shrink)

In the performing arts, including music, theater, dance and so on, theoretical issues both about artworks and about performances of them must be dealt with, so that their theoretical analysis is inherently more complex and troublesome than that of nonperforming arts such as painting or film, in which primarily only artworks need to be discussed. Thus it is especially desirable in the case of the performing arts to look for defensible broad theoretical simplifications or generalizations that could serve to unify (...) and potentially comprehensively explain these difficult cases. (shrink)

There are no unicorns, but there are representations of them, hence motivating an explanation of discourse about the property 'unicorn' in terms of discourse about representations of unicorns. I show how to extend this strategy to apply to any kind or property terms. References to property instances may be explained as references to comprehensive representations of them, which represent all of the (supposed) properties of such an instance--unlike 'ordinary' representations, which are distinctive in that they represent only some limited subset (...) of such properties, through use only of some proper subset of their own (supposed) properties. This representationalist approach results in a very economical naturalist ontology, which has no need for properties. (shrink)

Although Paul Churchland and Jerry Fodor both subscribe to the so-called theory-theory– the theory that folk psychology (FP) is an empirical theory of behavior – they disagree strongly about FP’s fate. Churchland contends that FP is a fundamentally flawed view analogous to folk biology, and he argues that recent advances in computational neuroscience and connectionist AI point toward development of a scientifically respectable replacement theory that will give rise to a new common-sense psychology. Fodor, however, wagers that FP will be (...) largely preserved and vindicated by scientific investigations of behavior. Recent findings by developmental psychologists, I argue, will push both Churchlandians and Fodorians toward the pessimistic view that FP is a misguided theory that will never be displaced, because it is, so to speak, built into our cognitive systems. I explore the possibility of preserving optimism by rejecting the theory-theory and adopting the simulation theory, a competing view developed by Robert Gordon, Alvin Goldman, and Jane Heal. According to simulationists, common-sense interpretation of behavior is accomplished by means of pretense-like operations that deploy the cognitive system’s own reasoning capabilities in a disengaged manner. Since on this view no theory-like set of principles would be needed, the simulation theory seems to enjoy a simplicity advantage over the theory-theory. Steven Stich and Shawn Nichols, however, contend that as the cognitive system would require special mechanisms for disengaged operation, the simplicity question cannot be resolved until suitable computational models are developed. I describe a set of models I have constructed to meet this need, and I discuss the contribution such models can make to determining FP’s fate. (shrink)

ABSTRACT -/- My article, "Ariadne at the Movies," provided a detailed, double film counter-example to the claim that films are types. Here I defend my views against various criticisms provided by Aaron Smuts. The defense includes some necessary clarification of the Ariadne article's broader theoretical structure and background, as well as some additional anti-type arguments to further withstand his criticisms.

ABSTRACT -/- Films are usually assumed to be types, with their templates or performances being tokens of those types. However, I give a counter-example in which two different films are simultaneously made by different directors, with the outcome of this process being a single template length of film which, I claim, embodies both of those films. But no two types could thus have a token in common, and hence type views of films must be incorrect. I further explain and defend (...) the legitimacy of the example, and conclude by offering an alternative, representational view of the nature of films that can also more adequately explain the interpretive nature of experience of a film. (shrink)

For all their differences, the “pro-choice” and the “pro-life” views of abortion are largely in agreement about one aspect of abortion decisions: where an abortion is morally legitimate, the pregnant woman should be permitted to decide whether or not to have an abortion. But I argue in this paper that if the man who will become the father of the fetus is known, if he believes that he will not be able (or permitted) to simply walk away from his biological (...) offspring, and if he does not think it would be a good idea for him to a) become a parent, b) with this woman, or c) at this time, then the woman should have an abortion. Given the life-altering moral obligations involved in raising a child, a woman should not decide to make her (sexual) partner a father without his full consent. (shrink)

A pressing need for interrater reliability in the diagnosis of mental disorders emerged during the mid-twentieth century, prompted in part by the development of diverse new treatments. The Diagnostic and Statistical Manual of Mental Disorders (DSM), third edition answered this need by introducing operationalized diagnostic criteria that were field-tested for interrater reliability. Unfortunately, the focus on reliability came at a time when the scientific understanding of mental disorders was embryonic and could not yield valid disease definitions. Based on accreting problems (...) with the current DSM-fourth edition (DSM-IV) classification, it is apparent that validity will not be achieved simply by refining criteria for existing disorders or by the addition of new disorders. Yet DSM-IV diagnostic criteria dominate thinking about mental disorders in clinical practice, research, treatment development, and law. As a result, the modernDSMsystem, intended to create a shared language, also creates epistemic blinders that impede progress toward valid diagnoses. Insights that are beginning to emerge from psychology, neuroscience, and genetics suggest possible strategies for moving forward. (shrink)

My very first published article as a graduate student in 1995 in a peer-reviewed journal (PoMo Magazine) that no longer exists. Published in PoMo Magazine, vol. 1, nr. 1 (Spring/Summer 1995). I elaborate a non-metaphysical phenomenology that is at the same time a way of thinking and a way of being "without why." My starting point is Reiner Schürmann's anarchistic interpretation of Heidegger. It was my first (somewhat sophmoric) attempt to develop a kind of ontology.

My objective in this paper is to address a handful of issues that typically get raised in discussions of philosophical anarchism. Some of these issues arise in discussions among partisans of anarchism, and some are more likely to be raised in efforts to defend the state against its opponents. My hope is to focus the argument in such a way as to make clearer the main issues that are at stake from the point of view of at least one version (...) of philosophical anarchism. (shrink)

A review with commentary on Mark A. Bedau and Emily C. Parke (eds): The Ethics of Protocells: Moral and Social Implications of Creating Life in the Laboratory (Basic Bioethics series) MIT Press, Cambridge,MA, 2009, 365 pp, ISBN 978-0-262-01262-1, ISBN 978-0-262-51269-5.

In Social Imaginaries, vol. 1, nr. 1 (Spring 2015) due out in May 2015.

George Berkeley's apparently strange view – that nothing exists without a mind except for minds themselves – is notorious. Also well known, and equally perplexing at a superficial level, is his insistence that his doctrine is no more than what is consistent with common sense. It was every bit as crucial for Berkeley that it be demonstrated that the colors are really in the tulip, as that there is nothing that is neither a mind nor something perceived by a mind. (...) In what follows, I shall attempt to re-examine Berkeley's argument in terms of what it appears to have meant to him. I am especially interested in the connection between Berkeley's thought concerning the relation between perception and metaphysics and that of Maurice Merleau-Ponty, with whom, perhaps surprisingly, Berkeley shared a great many intuitions and concerns. Thus part of my objective is to compare and contrast the work of two thinkers who had many common interests, and whose thought frequently led them down similar paths. I shall be especially interested in apparent points of departure, both those that turn out to reflect real divergences and those which reflect confusions of one kind or another. My main objective, however, is not mere textual analysis. Like both Berkeley and Merleau-Ponty, my main hope is to make progress in clarifying how things are. As odd as some of Berkeley's pronouncements may sound to contemporary ears – concerning especially the metaphysical consequences of what he regarded as perceptual facts – I shall argue that, in substance, he was often not far wrong at all – at least as measured by important strands of more contemporary work on the subject. More particularly, I shall contend that for going a long way down an extraordinarily fruitful path which has been subsequently explored more fully by (especially) Martin Heidegger, Merleau-Ponty, Nelson Goodman and Hilary Putnam, Berkeley deserves considerably more credit than he is usually accorded as a progenitor of contemporary approaches to metaphysical issues. (shrink)

Commercial lawyers working across borders know that globalization has changed commercial law. To think of commercial law as only the law of states is to have an inadequate understanding of the norms governing commercial transactions. Some have argued for a transnational conception of commercial law, but their grounds of justification have been unpersuasive, often grounded on claims about the common content among national legal systems. Legal positivism is a rich literature on the concept of a legal system and the validity (...) conditions for rules in legal systems, but it has not been used to understand legal order outside or beyond the state. This article aims to use legal positivism to conceptualize a transnational commercial law order. Prevailing positivist accounts at least implicitly condition legal order on state sovereignty. The article offers a cosmopolitan conception of legal positivism, in which the state is no longer an enabling condition for law. The cosmopolitan conception provides the means by which to adequately describe a transnational commercial law order. There are limits to the conceptual analysis this article provides, one of which is that it does not purport to evaluate the justice or morality of transnational legal order. But the cosmopolitan conception of legal positivism elucidated in this article stands on its own as a way of understanding a number of transnational legal orders other than commercial law. The attractiveness of the account is that it describes law as a human social practice even when it is not solely the product of the state, so that we do not have to rely on natural law theories to understand legal rules that states do not maintain. (shrink)

The naturalistic voluntary control (VC) theory explains free will and consciousness in terms of each other. It is central to free voluntary control of action that one can control both what one is conscious of, and also what one is not conscious of. Furthermore, the specific cognitive ability or skill involved in voluntarily controlling whether information is processed consciously or unconsciously can itself be used to explain consciousness. In functional terms, it is whatever kind of cognitive processing occurs when a (...) conscious state is voluntarily chosen. This leads to a bivalent view of cognitive processing in which there is voluntary choice either of non-routine (conscious) or routine (unconscious) kinds of processing. On this VC account, consciousness could not exist without its being possible to voluntarily choose a non-routine kind of processing. (shrink)

Memory is a set of cognitive capacities by which humans and other animals retain information and reconstruct past experiences, usually for present purposes. Philosophical investigation into memory is in part continuous with the development of cognitive scientific theories, but includes related inquiries into metaphysics and personal identity.

There continues to be a debate on whether addiction is best understood as a brain disease or a moral condition. This debate, which may influence both the stigma attached to addiction and access to treatment, is often motivated by the question of whether and to what extent we can justly hold addicted individuals responsible for their actions. In fact, there is substantial evidence for a disease model, but the disease model per se does not resolve the question of voluntary control. (...) Recent research at the intersection of neuroscience and psychology suggests that addicted individuals have substantial impairments in cognitive control of behavior, but this “loss of control” is not complete or simple. Possible mechanisms and implications are briefly reviewed. (shrink)

Actual situations where folk philosophy might have predicted precognition effects were studied and dealt with experimentally and theoretically. Extremely strong experimental results were obtained but the findings supported not precognition but the Many Bubble Interpretation, which uses at this time dynamical systems theory as applied to the physics of the brain. Further experiments and theoretical work were discussed.

This review describes central difficulties in the interdisciplinary study of dreaming, summarizes Jouvet's account of his role in the history of modern dream science, queries his positive speculations on the semantics of dreaming, and suggests work for historians of neuroscience.

The idea of dreams being mere internal artifacts of the mind does not seem to be essential to externalism and extended mind theories, which seem as if they would function as well without this additional assumption. The Many Bubble Interpretation could allow a simpler rationale to externalist theories, which may be even simpler if the assumption that dreams have no worthwhile content outside the mind is omitted.

Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas (...) virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. Two of his works appeared posthumously [Hist. Philos. Logic 7 (1986), no. 2, 143--154; MR0868748 (88b:03010); Tarski and Givant, A formalization of set theory without variables, Amer. Math. Soc., Providence, RI, 1987; MR0920815 (89g:03012)]. Tarski's voluminous writings were widely scattered in numerous journals, some quite rare. It has been extremely difficult to study the development of Tarski's thought and to trace the interconnections and interdependence of his various papers. Thanks to the present collection all this has changed, and it is likely that the increased accessibility of Tarski's papers will have the effect of increasing Tarski's already enormous influence. (shrink)