The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are studying the same problem. Specifically, a common concern amongst researchers today is how logic sheds light on the nature of information. Ancient questions concerning how humans communicate, reason and decide, and modern questions about how computers should communicate, reason and decide are of prime interest to researchers in various disciplines. (...) _Words, Proofs and Diagrams_ is a collection of papers covering active research areas at the interface of logic, computer science, and linguistics. Readers of the volume will find traditional research on process logics, issues in formal semantics, and language processing. In addition, the volume also highlights a particularly new area where all three disciplines meet—the study of images and graphics as information carriers and the diagrammatic reasoning supported by them. (shrink)

Sense and Sensitivity explores the semantics and pragmatics of focus in natural language discourse, advancing a new account of focus sensitivity which posits a three-way distinction between different effects of focus. Makes a valuable contribution to the ongoing research in the field of focus sensitivity Discusses the features of QFC, an original theory of focus implying a new typology of focus-sensitive expressions Presents novel cross-linguistic data on focus and focus sensitivity Concludes with a case study of exclusives (like “only”), arguing (...) that the entire existing literature (reviewed in detail) has missed crucial generalizations, and that the focus sensitivity of these expressions must be understood in terms of their meaning and discourse function. (shrink)

Russell and Strawson sparked a well known debate on the subject of Linguistic Presupposition inspiring many linguists and philosophers to follow suit, including Frege, whose work initiated the modern study in this area. Beaver begins with the most comprehensive overview and critical discussion of this burgeoning field published to date. He then goes on to motivate and develop his own account based on a Dynamic Semantics. This account is a recent line of theoretical work in which the Tarskian emphasis (...) on truth conditions is questioned. The central plank of the theory of meaning is a formal account of the change in information effected by use of language on hearers or readers. The proposal thus consolidates ideas of Stalnaker, Karttunen and Heim, all of whom had suggested that such an account was needed. At the same time it provides a new impulse and motivation to Dynamic Semantics itself. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

Neutrality functions as an ideal in deliberation—we are supposed to have a neutral standpoint in debate, speak without bias or taking sides. We argue against the ideal of neutrality. We sketch how a theory of meaning could avoid commitment even to the coherence of a neutral space of discourse for exchanging reasons. In a model that accepts the ideal of neutrality, what makes propaganda exceptional is its non-neutrality. However, a critique of propaganda cannot take the form of “clearing out” the (...) obstacles for a “neutral space of discourse for exchanging reasons”, since that is to misunderstand how speech works. Such a critique would suggest that any emotive appeal is fundamentally undemocratic, and would delegitimize almost all historical protest movements. In this paper, we contrast a neo-Fregean picture of the neutral core of language with our own practice-based view, a view that takes political propaganda and the language of protest as central cases, and in which all language practice is understood as fundamentally perspectival. (shrink)

A provocative case for the inherently political nature of language In The Politics of Language, David Beaver and Jason Stanley present a radical new approach to the theory of meaning, offering an account of communication in which political and social identity, affect, and shared practices play as important a role as information. This new view of language, they argue, has dramatic consequences for free speech, democracy, and a range of other areas in which speech plays a central role. (...) Drawing on a wealth of disciplines, The Politics of Language argues that the function of speech—whether in dialogue, larger group interactions, or mass communication—is to attune people to something, be it a shared reality, emotion, or identity. Reconceptualizing the central ideas of pragmatics and semantics, Beaver and Stanley apply their account to a range of phenomena that defy standard frameworks in linguistics and philosophy of language—from dog whistles and covert persuasion to echo chambers and genocidal speech. The authors use their framework to show that speech is inevitably political because all communication is imbued with the resonances of particular ideologies and their normative perspectives on reality. At a time when democracy is under attack, authoritarianism is on the rise, and diversity and equality are being demanded, The Politics of Language offers a powerful new vision of the language of politics, ideology, and protest. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

Projective contents, which include presuppositional inferences and Potts's conventional implicatures, are contents that may project when a construction is embedded, as standardly identified by the FAMILY-OF-SENTENCES diagnostic. This article establishes distinctions among projective contents on the basis of a series of diagnostics, including a variant of the family-of-sentences diagnostic, that can be applied with linguistically untrained consultants in the field and the laboratory. These diagnostics are intended to serve as part of a toolkit for exploring projective contents across languages, thus (...) allowing generalizations to be examined and validated crosslinguistically. We apply the diagnostics in two languages, focusing on Paraguayan Guaraní, and comparing the results to those for English. Our study of Paraguayan Guaraní is the first systematic exploration of projective content in a language other than English. Based on the application of our diagnostics to a wide range of constructions, four subclasses of projective contents emerge. The resulting taxonomy of projective content has strong implications for contemporary theories of projection, which were developed for the projective properties of particular subclasses and fail to generalize to the full set of projective contents. (shrink)

The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example in (...) (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

In this paper the Centering model of anaphoraresolution and discourse coherence(Grosz et al. 1983, 1995)is reformulated in terms of Optimality Theory (OT)(Prince and Smolensky 1993). One version of the reformulated modelis proven to be descriptively equivalent to an earlier algorithmicstatement of Centering due to Brennan, Friedman and Pollard(1987). However, the new model is stated declaratively, and makesclearer the status of the various constraints used in the theory. Inthe second part of the paper, the model is extended, demonstratingthe advantages of the (...) OT reformulation, and capturing formallyideas originally described by Grosz, Joshi and Weinstein. Three newapplications of the extended OT Centering model are described:generation of linguistic forms from meanings, the evaluation andoptimization of extended texts, and the interpretation of accentedpronouns. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

Next SectionThis paper provides a lexical entry schema for exclusives covering the adverbs only, just, exclusively, merely, purely, solely, simply, and the adjectives only, sole, pure, exclusive and alone. We argue, on the basis of inter-paraphrasability relations among these exclusives and entailments involving at least and at most, that all of these items make an at-issue contribution of an upper bound on the viable answers to the current question under discussion (expressible with at most), and signal that a lower bound (...) on those answers (expressible with at least) is taken for granted. The lexical entry schema accommodates two main points of variation, which makes it possible to capture the differences in meaning among these terms: (i) semantic type (restricted to the class of modifiers), and (ii) constraints on the current question under discussion or the strength ranking over its alternative possible answers. We propose 22 different specific instantiations of the schema for exclusives in English. (shrink)

We discuss focus sensitivity in English, the phenomenon whereby interpretation of some expressions is affected by placement of intonational focus. We concentrate in particular on the interpretation of always and only, both of which are interpreted as universal quantifiers, and both of which are focus sensitive. Using both naturally occurring and constructed data we explore the interaction of these operators with negative polarity items, with presupposition, with prosodically reduced elements, and with syntactic extraction. On the basis of this data we (...) show that while only lexically encodes a dependency on the placement of focus, always does not. Rather, the focus sensitivity of always results from its dependency on context, and from the fact that focus also reflects what is given in the context. We account for this split using an analysis couched in event semantics. (shrink)

Many formal linguists hold that English pitch accent has a single function: marking focus. On the other hand, there is evidence from corpus work and from psycholinguistics that pitch accent is attracted to expressions which are unpredictable. We present a two-factor pragmatic account in which both focus and predictability contribute to the placement of accent in an English intonational phrase. On examples of so-called “second occurrence focus” and related phenomena, our account gives superior results to the one-factor accounts of Rooth (...) and B¨ uring and to Selkirk’s rival two-factor account. (shrink)

Formal semantics is the study of linguistic meaning using precise mathematical characterizations; this chapter introduces formal semantics to scholars and students of natural-language processing. We give simple logical representations of English sentences, and show how meanings are composed in a grammar. We then consider two more advanced issues that arise in processing texts, anaphora and temporality, using Discourse Representation Theory. Finally we discuss the relationship between deep logic-based methods for semantic analysis and shallower distributional methods that have been used in (...) much recent NLP work, introducing some limitations of distributional methods, and hence motivating deeper or hybrid approaches. (shrink)

We define a notion of projective meaning which encompasses both classical presuppositions and phenomena which are usually regarded as non-presuppositional but which also display projection behavior—Horn’s assertorically inert entailments, conventional implicatures (both Grice’s and Potts’) and some conversational implicatures. We argue that the central feature of all projective meanings is that they are not-at-issue, defined as a relation to the question under discussion. Other properties differentiate various sub-classes of projective meanings, one of them the class of presuppositions according to Stalnaker. (...) This principled taxonomy predicts differences in behavior unexpected on other models among the various conventional triggers and conversational implicatures, while holding promise for a general, explanatory account of projection which applies to all the types of meanings considered. (shrink)

In this article, the authors introduce the concept of a “queer counter-mythology.” They do so by discussing a speculative song they wrote as an enactment of research-creation. Research-creation names an interdisciplinary scholarly praxis where artist-scholars create the artefacts they want to think-with, rather than analysing existing cultural productions. The song discussed in this article, “Cosmic Beavers,” proposes a queer counter-mythology that reimagines the historical, colonial archive by foregrounding the stories of giant, trans-dimensional beavers who shred Lewis and Clark and use (...) them to reinforce their Time-Dam. Drawing on this song, as well as queer theories of time and anti-colonial thinkers, the authors suggest that artistic interventions invoke speculative lures that, while not changing history, can complicate state-sanctioned archives and narratives of the past and future: they frame this intervention as a queer counter-mythology. (shrink)

Let ϕ be a fixed numerical function. If the k-state Turing machine M with input string ϕ(k) (that is, started in its initial state scanning the leftmost 1 of a single string of ϕ(k) 1s on an otherwise blank tape) produces the output string m (that is, halts in its halting state scanning the leftmost 1 of a single string of m 1s on an otherwise blank tape), we shall say that the ϕ-fecundity of M is m. If M halts (...) in any other position or state, or fails to halt, its ϕ-fecundity is 0. (shrink)

Although the truth value (falsity) of "Henry knows that (dogs live in trees and beavers chew wood)" remains unchanged no matter what sentence is substituted in it for "beavers chew wood", we want not to regard the second as a truth functional component (tfc) of the first. Many definitions of "tfc" (e.g., Quine's) fail to insure satisfaction of the following principle: if p is a component of r which is in turn a component of q, then p is a tfc (...) of q if and only if 1) p is also a tfc of r, and 2) r is also a tfc of q. (shrink)

The Phenomenological Mind, by Shaun Gallagher and Dan Zahavi, is part of a recent initiative to show that phenomenology, classically conceived as the tradition inaugurated by Edmund Husserl and not as mere introspection, contributes something important to cognitive science. (For other examples, see “References” below.) Phenomenology, of course, has been a part of cognitive science for a long time. It implicitly informs the works of Andy Clark (e.g. 1997) and John Haugeland (e.g. 1998), and Hubert Dreyfus explicitly uses it (e.g. (...) 1992). But where the former use phenomenology in the background as broad context and Dreyfus uses it primarily (though not exclusively) as a critique of conventional AI, Gallagher and Zahavi wish to indicate a positive and constructive place for it within cognitive science. They do not recommend that we simply accept pronouncements of thinkers like Husserl, Heidegger, Sartre and Merleau‐Ponty and apply them to questions of cognition, but that we use revised forms of phenomenology to illuminate dimensions of cognitive experience that are missing in current research. The book is presented as an “introduction to philosophy of mind and cognitive science” written from a phenomenological perspective. It seeks to justify the use of phenomenology in cognitive science by showing what kinds of questions it asks and answers, the variety of uses to which it has recently been put and the fruitfulness of some of its findings. The catalog of topics, for the most part, matches other introductions to the philosophy of mind, such as questions of method, consciousness, perception, intentionality, embodiment, action, agency and other minds. One issue presented here that is not generally dealt with in existing philosophy of mind and cognitive science texts is temporality, a mainstay of the continental tradition. After an introductory chapter that places phenomenology in the context of other approaches, the book lays out the main tenets of phenomenological method. Here, one encounters expected components of phenomenology: the epoché (described below), phenomenological reduction, eidetic variation, and so on. This traditional fare is soon followed by some potential surprises, namely, attempts to “naturalize” phenomenology, a few attempts to formalize it, and the emergence of ‘neurophenomenology’. Each of these is a bit surprising because Husserl was a vocal critic of naturalism, seeing transcendental phenomenology as an alternative to the empirical study of consciousness. He was also skeptical about the possibilities of mathematizing phenomenology. Gallagher and Zahavi acknowledge these points, but since they are not repeating history or undertaking exegesis, strict adherence to canonical phenomenology is not required. Naturalizing phenomenology means recognizing that “the phenomena it studies are part of nature and are therefore also open to empirical investigation” (p.. (shrink)

Part of the appeal of the biological approach to personal identity is that it does not have to countenance spatially coincident entities. But if the termination thesis is correct and the organism ceases to exist at death, then it appears that the corpse is a dead body that earlier was a living body and distinct from but spatially coincident with the organism. If the organism is identified with the body, then the unwelcome spatial coincidence could perhaps be avoided. It is (...) argued that such an identification would be a mistake. A living organism has a different part/whole relationship and persistence conditions than the alleged body. A case will be made that the concept ‘human body’ is a conceptual mess, vague in an unprincipled manner, and that an eliminativist stance towards dead bodies is the appropriate response. CiteULike Connotea Del.icio.us What's this? (shrink)

As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...) of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.

In his famous 1950 paper where he presents what became the benchmark for success in artificial intelligence, Turing notes that "at the end of the century the use of words and general educated opinion will have altered so much that one will be able to speak of machines thinking without expecting to be contradicted" (Turing 1950, 442). Kurzweil (1990) suggests that Turing's prediction was correct, even if no machine has yet to pass the Turing Test. In the wake of the (...) computer revolution, research in artificial intelligence and cognitive science has pushed in the direction of interpreting "thinking" as some sort of computational process. On this understanding, thinking is something computers (in principle) and humans (in practice) can both do. It is difficult to say precisely when in history the meaning of the term "thinking" headed in this direction. Signs are already present in the mechanistic and mathematical tendencies of the early Modern period, and maybe even glimmers are apparent in the ancient Greeks themselves. But over the long haul, we somehow now consider "thinking" as separate from the categories of "thoughtfulness" (in the general sense of wondering about things), "insight" and "wisdom." Intelligent machines are all around us, and the world is populated with smart cars, smart phones and even smart (robotic) appliances. But, though my cell phone might be smart, I do not take that to mean that it is thoughtful, insightful or wise. So, what has become of these latter categories? They seem to be bygones left behind by scientific and computational conceptions of thinking and knowledge that no longer have much use for them. In 2000, Allen, Varner and Zinser addressed the possibility of a Moral Turing Test (MTT) to judge the success of an automated moral agent (AMA), a theme that is repeated in Wallach and Allen (2009).. (shrink)

The ethical philosophies of Kant and Levinas would seem, on the surface, to be incompatible. In this essay. I attempt to reconcile them by situating Levinas’s philosophy “beneath” Kant’s as its existential condition thereby addressing two shortcomings in each of their works, for Kant. the apparent difficulty of making ethics apply to real concrete cases, and, for Levinas, the apparent difficulty of establishing a normative ethics that can offer prescriptions for moral behavior. My general thesis is that the existential ethical (...) terrainunearthed by Levinas turns Kantian when transposed into the rational order. (shrink)

Religion, science, and naturalism -- Perception and religious experience -- Panexperientialism, freedom, and the mind-body relation -- Naturalistic, dipolar theism -- Natural theology based on naturalistic theism -- Evolution, evil, and eschatology -- The two ultimates and the religions -- Religion, morality, and civilization -- Religious language and truth -- Religious knowledge and common sense.

This special issue of Synthese discusses conceptual, ontological, technological, ethical, political, and professional dimensions of attempts to represent the entire discipline of philosophy. One of our goals with this issue was to collect in one place several of the leading projects in digital philosophy so that the profession can begin to discern and debate what might be the best practices for the representation of philosophy in the 21st century.

Just consider, for sheer paranoia, the range of synonyms when the mask is ripped, the silence broken, the deferment brutally concluded: angel-face, arse-bandit, auntie, bent, bessie, bugger, bum-banger, bum boy, chicken, cocksucker, daisie, fag, faggot, fairy, flit, fruit, jasper, mincer; molly, nancy boy, nelly, pansy, patapoof, poofter, cream puff, powder puff, queen, queer, shit-stirrer, sissie, swish, sod, turd-burglar, pervert. For Aristophanes, as for Norman Mailer and Mary Whitehouse, buggery equaled coprophagy: a corrupt, destructive, hypocritical, excremental, urban scatology. Heterosexuality equalled the (...) fecund, rural norm. Aristophanes' diet for a giant dung beetle was turds from a buggered boy: "he says he likes them well kneaded."1To this day degeneracy often seems to be just another code word for homosexuality, as does perversion and decadence; this very essay will seem to many a "decadent" project. Nor would I balk at the term as long as it is interpreted in the French sense: intent on fulfilling Baudelaire's program of transforming the erotically passive to the intellectually active, the voluptuous to rational self-mastery.· 1.Literally, "a hetairekos boy": male prostitute, or boy-friend .Harold Beaver, reader of American literature at the University of Warwick, was recently elected to the new chair of American literature at the University of Amsterdam. He has published widely on American literature and is currently completeing a collection of his articles, The Great American Masquerade. (shrink)

In this innovative study, Lea David critically investigates the relationship between human rights and memory, suggesting that, instead of understanding human rights in a normative fashion, human rights should be treated as an ideology. Conceptualizing human rights as an ideology gives us useful theoretical and methodological tools to recognize the real impact human rights has on the ground. David traces the rise of the global phenomenon that is the human rights memorialization agenda, termed 'Moral Remembrance', and explores what (...) happens once this agenda becomes implemented. Based on evidence from the Western Balkans and Israel/Palestine, she argues that the human rights memorialization agenda does not lead to a better appreciation of human rights but, contrary to what would be expected, it merely serves to strengthen national sentiments, divisions and animosities along ethnic lines, and leads to the new forms of societal inequalities that are closely connected to different forms of corruptions. (shrink)

Liberal thinkers of the eighteenth and nineteenth centuries were alert to the political costs and human cruelties involved in European colonialism, but they also thought that European expansion held out progressive possibilities. In Progress, Pluralism, and Politics David Williams examines the colonial and anti-colonial arguments of Adam Smith, Immanuel Kant, Jeremy Bentham, and L.T. Hobhouse. Williams locates their ambivalent attitude towards European conquest and colonial rule in a set of tensions between the impact of colonialism on European states, the (...) possibilities of progress in distant and diverse places, and the relationship between universalism and cultural pluralism. In so doing he reveals some of the central ambiguities that characterize the ways that liberal thought has dealt with the reality of an illiberal world. Of particular importance are appeals to various forms of universal history, attempts to mediate between the claims of identity and the reality of difference, and the different ways of thinking about the achievement of liberal goods in other places. Pointing to key elements in still ongoing debates within liberal states about how they should relate to illiberal places, Progress, Pluralism, and Politics enriches the discussion on political thought and the relationship between liberalism and colonialism. (shrink)

In CyberPhilosophy: The Intersection of Philosophy and Computing, edited by James H. Moor and Terrell Ward Bynum (Oxford, UK: Blackwell, 2002), 66-77. Also in Metaphilosophy 33.1/2 (2002): 70-82.

Thus, Meyers provides a valuable account, not only of current medical attitudes, but also of relevant case and statute law as it stands at present.

Noesis is an Internet search engine dedicated to mapping the profession of philosophy online. In this paper, I recount the history of the project's development since 1998 and discuss the role it may play in representing philosophy optimally, adequately, fairly, and accessibly. Unlike many other representations of philosophy, Noesis is dynamic in the sense that it constantly changes and inclusive in the sense that it lets the profession speak for itself about what philosophy is, how it is practiced, and why (...) it is important. In this paper, I explain how Noesis is dynamic and inclusive. I close by suggesting why such a communitarian representation of the profession is both timely and necessary. (shrink)

The term “information” and its various meanings across several domains have spawned a growing research area in the discipline of philosophy known as the philosophy of information (PI). The following briefly outlines a taxonomy of the field addressing: 1) what is the philosophy of information; 2) what is information; 3) open problems in the philosophy of information; 4) paradoxes of information; 5) philosophy as the philosophy of information; 6) information metaphysics; and 7) information ethics.

This paper is concerned with decision proceedures for the 0-valued ukasiewicz logics,. It is shown how linear algebra can be used to construct an automated theorem checker. Two decision proceedures are described which depend on a linear programming package. An algorithm is given for the verification of consequence relations in, and a connection is made between theorem checking in two-valued logic and theorem checking in which implies that determing of a -free formula whether it takes the value one is NP-complete (...) problem. (shrink)

The nation’s nuclear power industry is in trouble. The number of operating reactors continues to decline, while only one new plant is scheduled to open and it is well behind schedule and 50% over budget. The article will investigate the possibility of a nuclear revival in this country by first analyzing the troubled history of the light water reactor, a technology that dates back to the 1950s, and one the federal government choose to pursue to ensure America’s technological leadership, and (...) one the nuclear manufactures heavily promoted to ensure profitability. All of this resulted in a rush to nuclear power in the 1960s, but abruptly ended a little more than a decade later, due largely to the exorbitant costs of constructing a nuclear plant. The article then discusses the chances of a nuclear comeback, focusing on new reactor designs, which are less complex and cheaper to construct but will be dependent upon how seriously global warming is viewed by the public and elected officials. (shrink)