An introduction to informal logic, critical thinking and rhetoric utilizing actual public discourse .

Lectures delivered as the Mary Flexner Lectures, Bryn Mawr College, fall 1965, under the title: The long perspectives.

Lectures delivered as the Mary Flexner Lectures, Bryn Mawr College, fall 1965, under the title: The long perspectives.

This is a comprehensive study of the far-reaching changes that led to a re-shaping of the philosophical discourse in Islam during the sixth/twelfth century. Whereas earlier Western scholars thought that Islam's engagement with the tradition of Greek philosophy ended during that century, more recent analyses suggest its integration into the genre of rationalist Muslim theology (kalam). This book proposes a third view about the fate of philosophy in Islam. It argues that in addition to this integration, Muslim theologians picked up (...) the discourse of philosophy in Islam (falsafa) and began to produce books on philosophy. Written by the same authors, books in these two genres, kalām and philosophy, argue for opposing teachings on the nature of God, the world's creation, and on the afterlife. This study explains the emergence of a new genre of philosophical books called "hikma" that stand opposed to Islamic theology and at the same wishes to complement it. Offering a detailed history of philosophy in Iraq, Iran, and Central Asia during the sixth/twelfth century together with an analysis of the circumstances of practicing philosophy during this time, this study can show how reports of falsafa, written by major Muslim theologians such as al-Ghazali (d. 505/1111), developed step-by-step into critical assessments of philosophy that try to improve philosophical teachings, and eventually become fully fledged philosophical summas in the work of Fakhr al-Din al-Razi (d. 606/1210). The book ends in a discussion of the different methods of kalam and hikma and the coherence and ambiguity of a Muslim post-classical philosopher's œuvre. (shrink)

Human cognition is unique in the way in which it relies on combinatorial (or compositional) structures. Language provides ample evidence for the existence of combinatorial structures, but they can also be found in visual cognition. To understand the neural basis of human cognition, it is therefore essential to understand how combinatorial structures can be instantiated in neural terms. In his recent book on the foundations of language, Jackendoff described four fundamental problems for a neural instantiation of combinatorial structures: the massiveness (...) of the binding problem, the problem of 2, the problem of variables, and the transformation of combinatorial structures from working memory to long-term memory. This paper aims to show that these problems can be solved by means of neural “blackboard” architectures. For this purpose, a neural blackboard architecture for sentence structure is presented. In this architecture, neural structures that encode for words are temporarily bound in a manner that preserves the structure of the sentence. It is shown that the architecture solves the four problems presented by Jackendoff. The ability of the architecture to instantiate sentence structures is illustrated with examples of sentence complexity observed in human language performance. Similarities exist between the architecture for sentence structure and blackboard architectures for combinatorial structures in visual cognition, derived from the structure of the visual cortex. These architectures are briefly discussed, together with an example of a combinatorial structure in which the blackboard architectures for language and vision are combined. In this way, the architecture for language is grounded in perception. Perspectives and potential developments of the architectures are discussed. Key Words: binding; blackboard architectures; combinatorial structure; compositionality; language; dynamic system; neurocognition; sentence complexity; sentence structure; working memory; variables; vision. (shrink)

This unusually accessible account of recent Anglo-American philosophy focuses on how that philosophy has challenged deeply held notions of subjectivity, mind, and language. The book is designed on a broad canvas in which recent arguments are placed in a historical context. The author then explores such topics as mental content, moral realism, realism and antirealism, and the character of subjectivity. Much of the book is devoted to an investigation of Donald Davidson's philosophy, and there is also a sustained critique of (...) the position of Richard Rorty. A final chapter defends the realist position against objections from postmodern thought. As a rigorous and historically sensitive account of recent philosophy, this book should enjoy a wide readership among philosophers of many different persuasions, literary theorists, and social scientists who have been influenced by postmodern thought. (shrink)

This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing K4, those (...) containing polymodal Altn and subframe logics which are tense logics. (shrink)

Inhabitants of low-lying islands flooded due to anthropogenic climate change will lose their territory and thereby their ability to exercise their right to political self-determination. This paper addresses the normative questions which arise when climate change threatens territorial rights. It explores whether the loss of statehood supports a claim to territorial compensation, and if so, how it can be satisfied. The paper concludes that such claims are well founded and that they should be met by providing compensatory territories. After introducing (...) a differentiation between land rights and territorial rights, previous theoretical responses to the problem of sinking islands are criticized. It is argued that states may be required to give up parts of their territory as compensation. The paper develops criteria of sufficiency for compensatory territories and proposes to base their selection process on a negative auction. Since it is unlikely that unsettled compensatory territories that meet the specified requirements are available, the rights of their original inhabitants are discussed. (shrink)

Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.

The paper considers the set ML 1 of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in ML 1 , which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics.

We shall describe the set of strongly meet irreducible logics in the lattice ϵLin.t of normal tense logics of weak orderings. Based on this description it is shown that all logics in ϵLin.t are independently axiomatizable. Then the description is used in order to investigate tense logics with respect to decidability, finite axiomatizability, axiomatization problems and completeness with respect to Kripke semantics. The main tool for the investigation is a translation of bimodal formulas into a language talking about partitions of (...) general frames into intervals so that relative to both Kripke frames and descriptive frames the expressive power of both languages coincides. (shrink)

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" (...) epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies. (shrink)

The secession of prosperous regions may negatively affect the redistributive scheme of an established state. As a consequence, the capacity of its welfare system to support the inhabitants of poorer regions may be significantly reduced. Some authors assert that affluent groups who opt for full political independence violate duties of solidarity. This objection to the secession of prosperous regions can be based on different views of distributive justice. Here, following a distinction that has been introduced by Allen Buchanan, ‘subject centred’ (...) and ‘justice as reciprocity’ theories are explored. It is argued that both theories fail to support the case against the secession of wealthy groups. ‘Subject centred’ theories cannot explain special duties toward compatriots, whereas ‘justice as reciprocity’ theories cannot justify restrictions on exit rights. However, this does not mean that separatists have no moral duties vis-à-vis their fellow citizens. They are obliged to dissolve the political union in a fair way, e.g., by accepting responsibility for some share of the public debts. (shrink)

Ubiquitous news, global information access, instantaneous reporting, interactivity, multimedia content, extreme customization: Journalism is undergoing the most fundamental transformation since the rise of the penny press in the nineteenth century. Here is a report from the front lines on the impact and implications for journalists and the public alike. John Pavlik, executive director of the Center for New Media at Columbia University's Graduate School of Journalism, argues that the new media can revitalize news gathering and reengage an increasingly distrustful and (...) alienated citizenry. The book is a valuable reference on everything from organizing a new age newsroom to job hunting in the new media. (shrink)

David Lewis's untimely death on 14 October 2001 deprived the philosophical community of one of the outstanding philosophers of the 20th century. As many obituaries remarked, Lewis has an undeniable place in the history of analytical philosophy. His work defines much of the current agenda in metaphysics, philosophical logic, and the philosophy of mind and language. This volume, an expanded edition of a special issue of the Australasian Journal of Philosophy, covers many of the topics for which Lewis was well (...) known, including possible worlds, counterpart theory, vagueness, knowledge, probability, essence, fiction, laws, conditionals, desire and belief, and truth. Many of the papers are by very established philosophers; others are by younger scholars including many he taught. The volume also includes Lewis's Jack Smart Lecture at the Australian National University, 'How Many Lives has Schrödinger's Cat?', published here for the first time. Lewisian Themes will be an invaluable resource for anyone studying Lewis's work and a major contribution to the many topics that he mastered. (shrink)

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness (completeness) and decidability. It is proved that all minimal tense extensions of modal logics of finite width (in the sense of K. Kine) as well as all minimal tense extensions of cofinal subframe logics (in the sense of M. Zakharyaschev) are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are (...) also presented. (shrink)

This chapter contains sections titled: The Nature of Schopenhauer's Platonic Ideas and Their Relation to Individuals The Exclusion of Mathematical Ideas The Exclusion of Value Ideas Schopenhauer's Justification of His Restriction of Ideas to Ideas in Nature Schopenhauer's Theory of Art Considered in Itself Irresoluble Conflicts between Plato and Schopenhauer Notes References Further Reading.

The paper considers the set $\mathscr{M}\mathscr{L}_1$ of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in $\mathscr{M}\mathscr{L}_1$, which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics.

This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a (...) smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34]. (shrink)

A concise and readable account of Burke's political philosophy.

The topic of homonymy, especially the variety of homonymy that has gone under the title, “focal meaning,” is of fundamental importance to large portions of Aristotle’s work—not to mention its central place in the ongoing controversies between Aristotle and Plato. It is quite astonishing, therefore, that the topic should have gone so long without a book-length treatment. And it is all the more gratifying that the new book on homonymy by Christopher Shields should be so comprehensive, and of such uniformly (...) high quality. Everyone who cares about Aristotle will be in his debt. (shrink)

The present study seeks to lay out the most basic elements of the ontology of classical Aš‘arite theology. In several cases this requires a careful examination of the traditional and the formal lexicography of certain key expressions. The topics primarily treated are: how they understood “Being/ existence” and “being/existent” and essential natures; the systematic exploitation of the equivocities of certain expressions within a general context in which other than words there are no universals proves to be elegant as well as (...) insightful; the basic categories of primary entities: independant beings and nonindependant beings, created and uncreated, the equivocity of “being/existent” as predicated of contingent entities on the one hand and of God and His attributes on the other, and certain problems that arise because of the rigid application of the system's underlying analytic principles. Nous essayons ici de presenter les éléments fondamentaux de l'ontologie de l'aš‘arisme classique. Pour quelques expressions, il a fallu examiner la lexicographie et ordinaire et technique pour bien comprendre leur emploi et leur signification. Les sujets examinés sont: le sens de “Etre/existence” et de “être/existant” et le concept de réalité essentielle; l'emploi nuancé des équivocités de quelques expressions dans un contexte où les seuls universaux sont des mots, emploi qui se révèle philosophiquement élégant; les catégories fondamentales des êtres: êtres indépendants et êtres non-indépendants, soit créés soit incréés, l'équivocité de “être/existant” dit des êtres contingents d'une part, de Dieu et ses attributs d'autre part, et enfin quelques difficultiés qui résultent de l'application rigide des principes analytiques du système. (shrink)

This essay analyzes two contrasting conceptions of ethics set forth in Muslim fundamental theology (kalām), namely, those of the Mu'tazilites and the Ash'arites of the fourth and fifth centuries a.h. (tenth and eleventh centuries c.e.). After set- ting forth a brief statement on the already well-studied position of the Mu'tazi- lites on human actions, the author devotes the rest of this essay to the less-studied position on human actions of the Ash'arites. Of special interest is his analysis of God's creation (...) (khalq) of actions and man's performance (kasb) of them. (shrink)

Deep ecology is examined from the perspective of scientific ecology. Two norms, self-realization and biocentric equality, are considered central to deep ecology, and are explored in brief. Concepts of scientific ecology that seem to form a bridge to these norms are ecological hierarchical organization, the exchange of energy, material and information, and the development of species within ecosystems and the biosphere. While semantic problems exist, conceptually it appears that deep ecology norms can be interpreted through scientific ecology.

We define an $\mathfrak{R}$-group to be a stable group with the property that a generic element can only be algebraic over a generic. We then derive some corollaries for $\mathfrak{R}$-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are $\mathfrak{R}$-groups.

The history of western philosophy provides many occasions for verifying a general experience: theoretical innovations gain immediate appreciation only if they do not demand too much of the ability of contemporaries to integrate them into their worldview. If they emerge hastily and lack clear connection to their epoch’s expectations about meaning, they will be dismissed as an “untimely growth.” This is, of course, easy enough to understand. What is remarkable, though, is that even subsequent generations that have come to accept (...) the innovation will often continue to regard its originator as taboo. (shrink)

Our intention here is to present the essential character of classical, sunnī kalām within a strictly formal perspective and to set out its basic aspects. It was conceived by the mutakallimīn as a rational, conceptual, and critical science and, although kalām differed in a number of basic concepts and constructs and in its analytic system, the topical organisation of the major compendia parallels that of metaphysics as understood in the contemporary Aristotelian tradition. The debates between kalām and falsafa need to (...) be examined within this context. Kalām, however, is theological in the strict sense of the term and it is as such that its problematic and its procedures are primarily to be understood. Thus seen, the object of kalām is to rationalise the cognitive content presented to Believers in the symbolic language of the koranic revelation. It has, then, four principal tasks, sc, to conceptualise, to order, to explain, and where possible to justify the primary doctrines of the community whose belief is held to be normative. Within this framework the differences that characterise the major schools as such and the various tendencies of individual masters within each school may readily be brought to light. On se propose ici de présenter, d'un point de vue strictement formel, la nature du kālam classique sunnite et d'identifier ses caractéristiques principales. II avait été conçu par les mutakallimin comme une science rationelle, conceptuelle et critique. L'organisation des matières dans ses traités reprend celle de la métaphysique dans la tradition aristotélicienne de l'époque, bien que le kalām s'en distingue par plusieurs de ses structures et concepts fondamentaux, ainsi que par son système analytique. C'est dans ce contexte qu'il faut considérer les debats qui s'instaurèrent entre kalām et falsafa. Le kalām, cependant, est d'ordre strictement théologique et c'est principalement dans ce cadre qu'il faut comprendre sa problématique et ses procédures. Le kalām a pour fonction de rationaliser le contenu cognitif offert aux croyants dans le langage symbolique de la révélation coranique. Il en résulte quatre tâches principales; il s'agit de conceptualiser, ordonner, expliquer et, dans le mesure du possible, justifier les doctrines principales reconnues par la communauté faisant référence en matière de croyance. Dans ce cadre, il sera possible de mettre en lumière les différences entre les principales écoles, ainsi que les tendances qui distinguent certains de leurs grands maîtres respectifs. (shrink)

The main results of the present paper are the following theorems: 1. There is no e ∈ ω such that for any A, B ⊆ ω, SA = Wmath image is simple in A, and if A′ [TRIPLE BOND]TB′, then SA =* SB. 2 There is an e ∈ ω such that for any A, B ⊆ ω, MA = We is incomplete maximal in A, and if A =* B, then MA [TRIPLE BOND]TMB.