We investigate connections between the syntactic and semantic distance of programs on an abstract, recursion theoretic level. For a certain rather restrictive notion of interdependency of the two kinds of distances, there remain only few and “unnatural” numberings allowing such close relationship. Weakening the requirements leads to the discovery of universal metrics such that for an arbitrary recursively enumerable family of functions a numbering compatible with such a metric can uniformly be constructed. We conclude our considerations with some implications on (...) learning theory. (shrink)

Adolf Menzel was one of the most important German artists of the 19th century, yet he is scarcely known outside his native land. In this study a leading art historian argues that Menzel deserves to be recognized not only as one of the greatest painters and draftsmen of his century but also as a master realist whose work engages profoundly with an extraordinary range of issues - artistic, scientific, philosophical and socio-political. Michael Fried explores Menzel's large and (...) fascinating oeuvre, and in so doing seeks to make the artist's achievement accessible to a wide audience. (shrink)

Almost all jurisdictions where physician-assisted death is legal require that the requesting individual be competent to make medical decisions at time of assistance. The requirement of contemporary competence is intended to ensure that PAD is limited to people who really want to die and have the cognitive ability to make a final choice of such enormous import. Along with terminal illness, defined as prognosis of death within six months, contemporary competence is regarded as an important safeguard against mistake and abuse, (...) arguably the strongest objections to legalizing PAD.The insistence on contemporary competence is problematic. It means that someone who has dementia is ruled out as a candidate for PAD, even if she is terminally ill and suffering terrible and unrelievable pain. It also rules out individuals with strong and unwavering desires not to end their life in dementia. (shrink)

Life's Solution builds a persuasive case for the predictability of evolutionary outcomes. The case rests on a remarkable compilation of examples of convergent evolution, in which two or more lineages have independently evolved similar structures and functions. The examples range from the aerodynamics of hovering moths and hummingbirds to the use of silk by spiders and some insects to capture prey. Going against the grain of Darwinian orthodoxy, this book is a must read for anyone grappling with the meaning of (...) evolution and our place in the Universe. Simon Conway Morris is the Ad Hominen Professor in the Earth Science Department at the University of Cambridge and a Fellow of St. John's College and the Royal Society. His research focuses on the study of constraints on evolution, and the historical processes that lead to the emergence of complexity, especially with respect to the construction of the major animal body parts in the Cambrian explosion. Previous books include The Crucible of Creation (Getty Center for Education in the Arts, 1999) and co-author of Solnhofen (Cambridge, 1990). Hb ISBN (2003) 0-521-82704-3. (shrink)

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general (...) and intuitively more adequate account of the logical form of predication. (shrink)

In using quality of life as a guide to rationing health services, Oregon laid itself open to charges of bias against the disabled—charges that cannot be dismissed out of hand.

I argue that the implementation of theDummettian program of an ``anti-realist'' semanticsrequires quite different conceptions of the technicalmeaning-theoretic terms used than those presupposed byDummett. Starting from obvious incoherences in anattempt to conceive truth conditions as assertibilityconditions, I argue that for anti-realist purposesnon-epistemic semantic notions are more usefully kept apart from epistemic ones rather than beingreduced to them. Embedding an anti-realist theory ofmeaning in Martin-Löf's Intuitionistic Type Theory(ITT) takes care, however, of many notorious problemsthat have arisen in trying to specify suitableintuitionistic (...) notions of semantic value,truth-conditions, and validity, taking into accountthe so-called ``defeasibility of evidence'' forassertions in empirical discourses. (shrink)

This paper traces the course of Prior’s struggles with the concepts and phenomena of modality, and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior’s intuitions and the arguments that rest upon them. However, I argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to be possible. That picture. though, (...) is not inevitable. Rather, implicit in Prior’s own account is an alternative picture that has already appeared in various guises, most prominently in the work of Adams, Fine, Deutsch, and Almog. I, too, will opt for this alternative, though I will spell it out rather differently than these philosophers. I will then show that, starting with the alternative picture, Prior’s intuitions can lead instead to a much happier and more standard quantified modal logic than Q. The last section of the paper is devoted to the formal development of the logic and its metatheory. (shrink)

Mind–body dualism has rarely been an issue in the generative study of mind; Chomsky himself has long claimed it to be incoherent and unformulable. We first present and defend this negative argument but then suggest that the generative enterprise may license a rather novel and internalist view of the mind and its place in nature, different from all of, (i) the commonly assumed functionalist metaphysics of generative linguistics, (ii) physicalism, and (iii) Chomsky’s negative stance. Our argument departs from the empirical (...) observation that the linguistic mind gives rise to hierarchies of semantic complexity that we argue (only) follow from constraints of an essentially mathematical kind. We assume that the faculty of language tightly correlates with the mathematical capacity both formally and in evolution, the latter plausibly arising as an abstraction from the former, as a kind of specialized output. On this basis, and since the semantic hierarchies in question are mirrored in the syntactic complexity of the expression involved, we posit the existence of a higher-dimensional syntax structured on the model of the hierarchy of numbers, in order to explain the semantic facts in question. If so, syntax does not have a physicalist interpretation any more than the hierarchy of number-theoretic spaces does. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

“The thing about life is that one day you’ll be dead.” Indeed. But even total and honest acceptance of this brute fact about our relationship to death does not diminish the value we see in short remaining life at the end of life. Few just “give in” and no more fight for life because death is seen as an inherent part of life. They still invest small amounts of additional life with huge value. How high may that value plausibly be? (...) What is the value of a relatively short extension of life when death is inevitably near? (shrink)

In a previous paper, Thomas V. Morris and I sketched a view on which abstract objects, in particular, properties, relations, and propositions , are created by God no less than contingent, concrete objects. In this paper r suggest a way of extending this account to cover mathematical objects as well. Drawing on some recent work in logic and metaphysics, I also develop a more detailed account of the structure of PRPs in answer to the paradoxes that arise on a naive (...) understanding of the structure ofthe abstract universe. (shrink)

Bringsjord (1985) argues that the definition W of possible worlds as maximal possible sets of propositions is incoherent. Menzel (1986a) notes that Bringsjord’s argument depends on the Powerset axiom and that the axiom can be reasonably denied. Grim (1986) counters that W can be proved to be incoherent without Powerset. Grim was right. However, the argument he provided is deeply flawed. The purpose of this note is to detail the problems with Grim’s argument and to present a sound alternative (...) argument for his conclusion – basically the argument Russell gave to establish a well-known paradox in The Principles of Mathematics. (shrink)

This pioneering book lays new foundations for the study of reference and truth.

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

Very broadly, an argument from collections is an argument that purports to show that our beliefs about sets imply — in some sense — the existence of God. Plantinga (2007) first sketched such an argument in “Two Dozen” and filled it out somewhat in his 2011 monograph Where the Conflict Really Lies: Religion, Science, and Naturalism. In this paper I reconstruct what strikes me as the most plausible version of Plantinga’s argument. While it is a good argument in at least (...) a fairly weak sense, it doesn’t initially appear to have any explanatory advantages over a non-theistic understanding of sets — what I call set theoretic realism. However, I go on to argue that the theist can avoid an important dilemma faced by the realist and, hence, that Plantinga’s argument from collections has explanatory advantages that realism does not have. (shrink)

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)

The case for U.S. health system reform aimed at achieving wider insurance coverage in the population and disciplining the growth of costs is fundamentally a moral case, grounded in two principles: (1) a principle of social justice, the Just Sharing of the costs of illness, and (2) a related principle of fairness, the Prevention of Free‐Riding. These principles generate an argument for universal access to basic care when applied to two existing facts: the phenomenon of “market failure” in health insurance (...) and, in the U.S., the existing legal guarantee of access to emergency care. The principles are widely shared in U.S. moral culture by conservatives and liberals alike. Similarly, across the political spectrum, the fact of market failure is not contested (though it is sometimes ignored), and the guarantee of access to emergency care is rarely challenged. The conclusion generated by the principles is not only that insurance for a basic minimum of care should be mandatory but that the scope of that care should be lean, efficient, and constrained in its cost. -/- . (shrink)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

Arthur Prior was a truly philosophical logician. Though he believed formal logic to be worthy of study in its own right, of course, the source of Prior’s great passion for logic was his faith in its capacity for clarifying philosophical issues, untangling philosophical puzzles, and solving philosophical problems. Despite the fact that he has received far less attention than he deserves, Prior has had a profound influence on the development of philosophical and formal logic over the past forty years, a (...) fact to which the present volume bears eloquent witness. The genesis of the volume was the 1989 Arthur Prior Memorial Conference, held appropriately enough at the University of Canterbury in Christchurch, New Zealand, where Prior had his first appointment in philosophy. However, this is not a volume of proceedings. Only eight of the twenty-two essays were actually presented at the conference. The rest were solicited by the editor specially for the volume. The subtitle—Essays on the Legacy of Arthur Prior—is an appropriate one. Few of the essays devote much space to Prior’s work per se. Rather, most address issues that, if not first raised by Prior, were revisited by him and subjected to his typically keen and distinctively original analysis. The papers themselves divide pretty evenly into the technical and the less technical. In this short review I will focus on the latter. (shrink)

Competent patients have considerable legal authority to control life‐and‐death care. They may refuse medical life support, including medically delivered food and fluids. Even when they are not in need of any life‐saving care, they may expedite death by refusing food and water by mouth—voluntarily stopping eating and drinking, or VSED. Neither right is limited to terminal illness. In addition, in four U.S. states, competent patients, if terminally ill, may obtain lethal drugs for aid‐in‐dying.For people who have dementia and are no (...) longer competent, however, control over the end of life is much less extensive. They may have written a clear advance directive for refusing life‐saving care in specified circumstances yet subsequently find themselves living for years in severe dementia with no need for life‐saving care that could be refused. Chronic progressive dementia is not itself life threatening until its very final stage. Even in jurisdictions that permit active aid‐in‐dying, individuals with advanced dementia are not eligible; they lack the required current competence, and they are seldom deemed terminally ill. As for the right to VSED, its very name—voluntarily stopping eating and drinking—is seen as excluding noncompetent persons.One option for ensuring that one does not live years in severe dementia is to use advance directives to withhold food and water by mouth. The driving element behind VSED is that forcing people to ingest food is as objectionable an intrusion on bodily integrity, privacy, and liberty as imposing unwanted medical treatment. Thus, if incompetent people do not lose their rights to refuse life‐saving treatment, and if people when competent have just as strong a right to VSED as they do to refuse life‐saving treatment, then people do not lose their right to VSED when incompetent either. They only have to exercise it by AD. (shrink)

According to traditional theism, God alone exists a se, independent of all other things, and all other things exist ab alio, i.e., God both creates them and sustains them in existence. On the face of it, divine "aseity" is inconsistent with classical Platonism, i.e., the view that there are objectively existing, abstract objects. For according to the classical Platonist, at least some abstract entities are wholly uncreated, necessary beings and, hence, as such, they also exist a se. The thesis of (...) theistic activism purports to reconcile divine aseity with a robust Platonism. Specifically, the activist holds that God creates the abstract objects no less than the contingent concrete objects of the physical universe and hence that, like all created things, they exist ab alio after all, their necessity notwithstanding. But many philosophers believe a severe roadblock for activism remains — a problem known as the bootstrapping objection. Despite widespread faith in the deliverances of this argument, in this paper I show that the bootstrapping objection is open to significant objections on several fronts. (shrink)

Suppose we believe that God created the world. Then surely we want it to be the case that he intended, in some sense at least, to create THIS world. Moreover, most theists want to hold that God didn't just guess or hope that the world would take one course or another; rather, he KNEW precisely what was going to take place in the world he planned to create. In particular, of each person P, God knew that P was to exist. (...) Call this the "standard" conception. Most theists find the standard conception appealing. Unfortunately, the view seems to conflict with the equally appealing idea — call it "temporal actualism" — that there are no "future" individuals beyond those that already exist in the present moment. For, on this view, for any historical person P, prior to creation, there was no such person as P and hence nothing about P for God to know. Hence, in particular, God couldn't have known that P was to exist. This is of course not a new problem. But past solutions to it are highly problematic. In this paper, after canvassing previous approaches, I will propose a solution that seems to preserve both temporal actualism and a suitably robust form of the standard conception while avoiding the pitfalls of the past. (shrink)

Russian cosmism is a highly speculative concept couched in vague terminology. The term itself appeared only in the 1970s, based on a belief in progress, but also reflecting the increasing awareness...

Die bisherigen Ergebnisse der Wolff-Forschung und Methoden der linguistischen Fachsprachenforschung berücksichtigend, analysiert die Arbeit die Bedingungen für die Herausbildung einer vernakulären Wissenschaft zu Beginn des 18. Jahrhunderts. Christian Wolffs (1679-1754) differenzierte Sprachauffassung, sein moderner, richtungsweisender Wissenschaftsbegriff und der von ihm maßgeblich vorangetriebene Denkstilwandel werden im historischen Kontext dargestellt: die Ausarbeitung des mathesis-Gedankens zu einer universellen Methode und ihre praktische Anwendung im wissenschaftlichen Lehrbuch. Eine genaue Bestimmung seines spezifischen Beitrags im Übergangsprozeß vom Lateinischen zum Deutschen in den Wissenschaften wird so möglich. (...) Christian Wolff wird dabei als Präfiguration der in Deutschland wirkungsmächtigsten Denkform und Sprache der Moderne erkennbar. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation (...) that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example. (shrink)

In a recent paper in JME, Shelton and Geppert use an approach by Menzel and Chandler-Cramer to sort out ethical dilemmas about the oral feeding of patients in advanced dementia, ultimately arguing that the usefulness of advance directives about such feeding is highly limited. They misunderstand central aspects of Menzel’s and Chandler-Cramer’s approach, and in making their larger claim that such directives are much less useful than typically presumed, they fail to account for five important elements in writing (...) good directives for dementia and implementing them properly: (1) Directives should be paired with appointment of trusted agents. (2) Appointed agents’ authority can be greatly weakened without advance directives to guide them. (3) Directives’ implementation does not require clinically precise assessment of dementia’s stage. (4) Palliative support is typically required for withholding of oral feeding to be compassionate. (5) The central purpose of stopping feeding is often not the avoidance of suffering but not prolonging unwanted life. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

In this report I motivate and develop a type-free logic with predicate quantifiers within the general ontological framework of properties, relations, and propositions. In Part I, I present the major ideas of the system informally and discuss its philosophical significance, especially with regard to Russell's paradox. In Part II, I prove the soundness, consistency, and completeness of the logic.

This chapter explores some fundamental consequences of the correspondence between physical process and computations. Most physical questions may be answerable only through irreducible amounts of computation. Those that concern idealized limits of infinite time, volume, or numerical precision can require arbitrarily long computations, and so be considered formally undecidable. The behavior of a physical system may always be calculated by simulating explicitly each step in its evolution. Much of theoretical physics has, however, been concerned with devising shorter methods of calculation (...) that reproduce the outcome without tracing each step. Computational irreducibility is common among the systems investigated in mathematics and computation theory, but it may well be the exception rather than the rule, since most physical questions may be answerable only through irreducible amounts of computation. (shrink)

The question of 20th century philosophy was: how are we humans situated in our world? In forms of consciousness, as Husserl insistently analyzed, in language games, as Wittgenstein thought, or in a prior understanding of being, as Heidegger recommended? Wolfram Hogrebe summarizes these answers in what he calls scenic existence. This is grounded in certainties in which we experience ourselves sensitively 'tinted'. In this respect, forms of consciousness, language games and understanding of being are only built up from an (...) anonymous sonority. Wolfram Hogrebe has been following these circumstances for several years. In this new book, he delineates the project in historically informed, multi-faceted differentiations, terminating in a plea for a new enlightenment that may be understood as a program for our time. (shrink)

Philosophie ist wissentlicher Einhegungsversuch des Nichtwissens. Wo immer sie daher die Bedeutung und Wirksamkeit des Nichtwissens nicht präsent hält, verfehlt sie ihre Mitte. Das hat sich seit der Antike bis heute nicht geändert. Allerdings blieb es den Interessen der Zeiten und Denker vorbehalten, die Mischformen von Wissen und Nichtwissen in ihrer Eigenart mehr oder weniger eingehend zu analysieren. Selbst wenn die sokratische Formel vom Wissen des Nichtwissens durchgängig gerne zitiert wurde: Wie die Formen des Wissens in ihren schwachen, aber unentbehrlichen (...) Variationen näherhin zu charakterisieren sind, hat über die Zeiten die Philosophen eher selten interessiert. Aber diese schwachen Formen des Wissens wie Ahnung, Mutmaßung und das Gefühl als Grundlage von Situationseinschätzungen sind für unseren Alltag von erheblicher Bedeutung. Wolfram Hogrebe diskutiert in seinem Buch Formen des Wissens in ihrer szenischen Relevanz, ja das Szenische als Wissensform selbst. Ein von der Philosophie bislang völlig ignoriertes Thema. Aber die Philosophie kann gar nicht ignorieren, ohne dennoch auch in ihrem Absehen noch etwas Mitgesehenes hervortreten zu lassen. (shrink)

This book introduces generative grammar as an area of study and asks what it tells us about the human mind. Wolfram Hinzen lays the foundation for the unification of modern generative linguistics with the philosophies of mind and language. He introduces Chomsky's program of a 'minimalist' syntax as a novel explanatory vision of the human mind. He explains how the Minimalist Program originated in work in cognitive science, biology, linguistics, and philosophy, and examines its implications for work in these (...) fields. He considers the way the human mind is designed when seen as an arrangement of structural patterns in nature, and argues that its design is the product not so much of adaptive evolutionary history as of principles and processes that are ahistorical and internalist in character. Linguistic meaning, he suggests, arises in the mind as a consequence of structures emerging on formal rather than functional grounds. From this he substantiates an unexpected and deeply unfashionable notion of human nature. Clearly written in nontechnical language and assuming a limited knowledge of the fields it examines and links, Minimal Mind Design will appeal to a wide range of scholars in linguistics, philosophy, and cognitive science. It also provides an exceptionally clear insight into the nature and aims of Chomsky's Minimalist Program. (shrink)

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

In the United States, amid the fractious politics of attempting to achieve something close to universal access to basic health care, two impressions are likely to feed skepticism about the status of a right to universal access: the moral principles that underlie any right to universal access may seem incredibly "ideal," not well rooted in the society's actual fabric, and the necessary practical and political attempts to limit the scope of universally accessible care to make its achievement realistic may seem (...) marked less by moral rhyme and reason than by the pull of conflicting interests. I try to directly dispel the first of these impressions and to obliquely question the second. The immense political barriers to .. (shrink)