In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this service is withheld, so that arguments must be the immediately preceding ones, taken in the order in which they occur, the formula is said to be fluted. (...) Quine showed that if a fluted formula contains only homogeneous conjunction (conjoins only subformulas of equal arity), then the satisfiability of the formula is decidable. It remained an open question whether the satisfiability of a fluted formula without this restriction is decidable. This paper answers that question. (shrink)

Fluted Logic is essentially first-order predicate logic deprived of variables. The lack of variables results in reduced expressiveness. Nevertheless, many logical problems that can be stated in natural language, such as the famous Schubert's Steamroller, can be rendered in fluted logic. Further evidence of the expressiveness of fluted logic is its close relation to description logics. Already it has been shown that fluted logic is decidable and has the finite-model property. This paper shows that fluted logic has the exponential-model property (...) and that deciding satisfiability is NEXPTIME-complete. It is shown further that fluted logic is 'nice, that is, it shares with first-order predicate logic the interpolation property and model preservation properties. (shrink)

Fluted Logic is essentially first-order predicate logic deprived of variables. The lack of variables results in reduced expressiveness. Nevertheless, many logical problems that can be stated in natural language, such as the famous Schubert's Steamroller, can be rendered in fluted logic. Further evidence of the expressiveness of fluted logic is its close relation to description logics. Already it has been shown that fluted logic is decidable and has the finite-model property. This paper shows that fluted logic has the exponential-model property (...) and that deciding satisfiability is NEXPTIME-complete. It is shown further that fluted logic is 'nice’, that is, it shares with first-order predicate logic the interpolation property and model preservation properties. (shrink)

In a 1969 paper, Quine coined the term 'limits of decision'. This term evidently refers to limits on the logical vocabulary of a logic, beyond which satisfiability is no longer decidable. In the same paper. Quine showed that not only monadic formulas, but homogeneous k-adic formulas for arbitrary k lie on the decidable side of the limits of decision. But the precise location of the limits of decision has remained an open question. The present paper answers that question. It addresses (...) the question of decidability of those sublogics of first-order logic that are defined in terms of their logical vocabularies. A complete answer is obtained, thus locating exactly Quine's limits of decision. (shrink)

Fluted logic is the restriction of pure predicate logic to formulas in which variables play no essential role. Although fluted logic is significantly weaker than pure predicate logic, it is of interest because it seems closely to parallel natural logic, the logic that is conducted in natural language. It has been known since 1969 that if conjunction in fluted formulas is restricted to subformulas of equal arity, satisfiability is decidable. However, the decidability of sublogics lying between this restricted (homogeneous) fluted (...) logic and full predicate logic remained unknown. In 1994 it was shown that the satisfiability of fluted formulas without restriction is decidable, thus reducing the unknown region significantly. This paper further reduces the unknown region. It shows that fluted logic with the logical identity is decidable. Since the reflection functor can be defined in fluted logic with identity, it follows that fluted logic with the reflection functor also lies within the region of decidability. Relevance to natural logic is increased since the identity permits definition of singular predicates, which can represent anaphoric pronouns. (shrink)

Two strategies for using a model as “null” are distinguished. Null modeling evaluates whether a process is causally responsible for a pattern by testing it against a null model. Baseline modeling measures the relative significance of various processes responsible for a pattern by detecting deviations from a baseline model. When these strategies are conflated, models are illegitimately privileged as accepted until rejected. I illustrate this using the neutral theory of ecology and draw general lessons from this case. First, scientists cannot (...) draw certain conclusions using null modeling. Second, these conclusions follow using baseline modeling, but doing so requires more evidence. (shrink)

Exploring what a scientific metaphysics grounded in biological practices could look like and how it might impact the way we investigate the world around us, the contributors to From Biological Practice to Scientific Metaphysics review and discuss long-held objections to metaphysics by natural scientists. They illuminate how, in order to learn about the world as it truly is, we must look not only at what scientists say but also what they do.

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors Proposal extends (...) the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

To say ‘mysticism versus philosophy’ in the context of Islamic civilization means something far different from what it has come to signify in the West, where many philosophers have looked upon mysticism as the abandonment of any attempt to reconcile religious data with intelligent thought. Certainly the Muslim mystics and philosophers sometimes display a certain mutual opposition and antagonism, but never does their relationship even approach incompatibility.

From at least the time of the writing of The Philosophical Fragments , Søren Kierkegaard's work takes a special interest in both the transition from unbelief to faith and the character of the life of true faith. Trained in Lutheran dogma and convinced of the radical nature of human freedom, his work on this subject demonstrates a profound concern for and grasp of Lutheran orthodoxy, as well as a remarkable degree of subtlety. After all, it is no simple task to (...) give an account of the central features of the Christian life that is faithful to both a libertarian conception of human freedom and the doctrines of the church founded by the author of The Bondage of the Will . This paper proposes to accomplish two things: first, to state a problem that lies on the surface of Kierkegaard's account of the transformation involved in Christian conversion and second to present a resolution of the problem that is faithful to Kierkegaard's intentions. (shrink)

This book introduces the work of an important medieval Islamic philosopher who is little known outside the Persian world. Afdal al-Din Kashani was a contemporary of a number of important Muslim thinkers, including Averroes and Ibn al-Arabi. Kashani did not write for advanced students of philosophy but rather for beginners. In the main body of his work, he offers especially clear and insightful expositions of various philosophical positions, making him an invaluable resource for those who would like to learn the (...) basic principles and arguments of this philosophical tradition but do not have a strong background in philosophy. Here, Chittick uses Kashani and his work to introduce the basic issues and arguments of Islamic philosophy to modern readers. (shrink)

Volume 27, Issue 6, December 2019, Page 1254-1256.

This book offers a philosophy for error-prone humans trying to understand messy systems in the real world.

Ethical guidelines for multinational corporations are included in several international accords adopted during the past four decades. These guidelines attempt to influence the practices of multinational enterprises in such areas as employment relations, consumer protection, environmental pollution, political participation, and basic human rights. Their moral authority rests upon the competing principles of national sovereignty, social equity, market integrity, and human rights. Both deontological principles and experience-based value systems undergird and justify the primacy of human rights as the fundamental moral authority (...) of these transnational and transcultural compacts. Although difficulties and obstacles abound in gaining operational acceptance of such codes of conduct, it is possible to argue that their guidelines betoken the emergence of a transcultural corporate ethic. (shrink)

Although campaigns for universal human rights have been intellectually and emotionally compelling for many anthropologists, they have tended to embroil them in fruitless polemics about cultural relativism with non-Western thinkers and policy-makers. Often “universalist” discourses about “rights” depend on values and distinctions that are far from universal and that stem, in fact, from Christian, secular, or “modernist” notions about punishment, suffering, and redemption. To make some practical contribution to the struggle for human dignity in the Middle East, it may be (...) preferable to aim for a more limited goal: the abolition of torture in the region. Consensus about the illegitimacy of torture is more easily reached, since none of the Middle East's religious or philosophical traditions condone it. What is more, empirical data demonstrate that torture has increased in frequency in the region and is widely perceived, both by insiders and outsiders, as a growing problem. Ethnographers could play a role in documenting incidents of torture and in building coalitions of Middle Eastern and outsider activists who, working together, could expose torture and bring pressure to bear on those who inflict it. (shrink)

“The object of this book,” writes William C. Dowling in his preface, “is to make the key concepts of Paul Ricoeur’s _Time and Narrative_ available to readers who might have felt bewildered by the twists and turns of its argument.” The sources of puzzlement are, he notes, many. For some, it is Ricoeur’s famously indirect style of presentation, in which the polarities of argument and exegesis seem so often and so suddenly to have reversed themselves. For others, it is (...) the extraordinary intellectual range of Ricoeur’s argument, drawing on traditions as distant from each other as Heideggerian existentialism, French structuralism, and Anglo-American analytic philosophy. Yet beneath the labyrinthian surface of Ricoeur’s _Temps et récit_, Dowling reveals a single extended argument that, though developed unsystematically, is meant to be understood in systematic terms. __Ricoeur on Time and Narrative_ _presents that argument in clear and concise terms, in a way that will be enlightening both to readers new to Ricoeur and those who may have felt themselves adrift in the complexities of _Temps et récit,_ Ricoeur’s last major philosophical work. Dowling divides his discussion into six chapters, all closely involved with specific arguments in _Temps et récit_: on mimesis, time, narrativity, semantics of action, poetics of history, and poetics of fiction. Additionally, Dowling provides a preface that lays out the French intellectual context of Ricoeur's philosophical method. An appendix presents his English translation of a personal interview in which Ricoeur, having completed _Time and Narrative, _looks back over his long career as an internationally renowned philosopher. __Ricoeur on Time and Narrative___ _communicates to readers the intellectual excitement of following Ricoeur’s dismantling of established theories and arguments—Aristotle and Augustine and Husserl on time, Frye and Greimas on narrative structure, Arthur Danto and Louis O. Mink on the nature of historical explanation—while coming to see how, under the pressure of Ricoeur’s analysis, these ideas are reconstituted and revealed in a new set of relations to one another. "The scholarship in William C. Dowling's __Ricoeur on Time and Narrative____ __is impeccable; Dowling knows Ricoeur inside out. He highlights Ricoeur's most important arguments, presents them in a limpid, concise language, and links them to the relevant nineteenth- and twentieth-century philosophical developments. Dowling's book provides us with a lucid, intelligible version of Ricoeur's major work, one that will be of considerable significance to philosophers, historians, and literary theorists." —_Thomas Pavel, Gordon J. Laing Distinguished Service Professor of French Literature, and the Committee on Social Thought, University of Chicago_ "William C. Dowling's __Ricoeur on Time and Narrative___ _is a subtle and remarkably well-sustained piece of work. It provides a detailed introduction to a major work of philosophy and narrative theory—already a considerable achievement, given the difficulty of Ricoeur's text. However, Dowling also shows us, sometimes explicitly, sometimes simply through the way he conducts his argument, why we should bother with Ricoeur—what we have to gain from knowing him better than we do, however well we may think we know him." —_Michael Wood, Charles Barnwell Straut Class of 1923 Professor of English and Comparative Literature, Princeton University _. (shrink)

The study of Social Issues in Management (SIM) has exhausted its primary analytic framework based on corporate social performance (social science), business ethics (philosophy), and stakeholder theory (organizational science), and needs to move to a new paradigmatic level based on the natural sciences. Doing so would expand research horizons to include cosmological perspectives (astrophysics), evolutionary theory (biology, genetics, ecology), and non-sectarian spirituality concepts (theological naturalism, cognitive neuroscience). Absent this shift, SIM studies risk increasing irrelevance for scholars and business practitioners.

Though the phrase 'x is true of x' is well formed grammatically, it does not express any predicate in the logical sense, because it does not satisfy the principle of reduction for statements containing 'x is true of'. recognition of this allows for solution of russell's paradox without his restrictive theory of types.

With the rejection of group selectionist derivations of ecological phenomena so incisively given by George Williams in 1966,43 Nicholson's long-ignored messages met with acceptance. Species benefit became, explicitly, incidental. But the reorientation was not just about a point of ecological theory. It was more fundamentally about theoretical style, the element shared by Wynne-Edwards' work and the newer, evolutionary ecology. That current approach is well expressed in an already classic paper by the British plant ecologist John Harper: Ultimately all the discoveries (...) of descriptive, production or population ecology must find their meaning in evolutionary phenomena... Evolutionary thinking concentrates attention on the behaviour of the individual and his descendants. If nothing in biology has meaning except in the light of evolution and if evolution is about individuals and their descendants — i.e. fitness — we should not expect to reach any depth of understanding from studies that are based at the level of the superindividual... What we see as the organised behaviour of systems is the result of the fate of individuals.44The emphasis in this passage is on style of thinking more than on study matter. What is so different from earlier ecologists is the rejection of the superorganism and its associated baggage of selfimposed constraints in an end-oriented process, such as balance of nature or species-level adaptation.The hallmark of post-1959 evolutionary ecology is the recognition, the making explicit of the question that the selective, genetical process of fitness (fates of genes) has to be separated from the observations of different levels of adaptiveness. An easy conflation of cause and result is no longer satisfying; now attempts to disentangle the complex strands tying population phenomena to the different levels of selection are providing the excitement of a new research program. In this program evolutionary theory is used to define the appropriate questions, as exemplified by the organization of the textbook Evolutionary Ecology.45 Our discussion of the invention of a new approach, with a characteristic style and set of interests, must also be about how the practitioners of ecology have perceived themselves. The early attempts of Poulton and Nicholson were not taken up by the vigorously growing science of ecology, which developed first - and intentionally — along a narrower, hierarchically restrained set of questions about population. The depth of Poulton's and Nicholson's submergence is indicated by the fact that even Wynne-Edwards did not argue in the manner of one rescuing a minor tradition. Rather, he thought he had a new approach, that of placing evolution in the foundations of ecology. Although this approach was not exactly original, we should be cautious in grouping all evolutionary concerns within ecology in one intellectual tradition. The particular style of selectionist deduction invigorated by Wynne-Edwards was successful only in the volatile situation of a rapidly growing discipline, full of self-critical examination and new rigor. Whereas in 1930 evolutionary concerns did not provide that rigor, by 1960 they could - and did. (shrink)

Although genocide—a coordinated plan of different actions aiming at the destruction of essential foundations of the life of national groups, with the aim of annihilating the groups themselves—remains a sickeningly frequent phenomenon in the twenty‐first century, it is not an immutable aspect of the human condition. Genocide is a choice, and the civilized world must choose its demise. The unique experience of American Indians—a group subjected to genocide in the process of the creation and expansion of the United States—presents a (...) logical heuristic through which to assess more broadly the requirements of redress for historical episodes of genocide and, even more important, the means to prevent its recurrence. (shrink)

The usual macroscopic theory of relativistic mechanics and electromagnetism is formulated so that all assumptions but one are consistent with both special relativity and Newtonian mechanics, the distinguishing assumption being that to any energyE, whatever its form, there corresponds an inertial massE/c 2 . The speed of light enters this formulation only as a consequence of the inertial equivalent of energy1/c 2 . While, for1/c 2 >0 the resulting theory has symmetry under the Poincaré group, including Lorentz transformations, all its (...) physical consequences can be derived and tested in any one inertial frame. In particular, an account is given in one inertial frame for the dynamic causes of relativistic effects for simple accelerated clocks and roads. (shrink)

In early 1984, the AIDS epidemic was less than four years old. Chemists at the pharmaceutical company Syntex, situated in the rolling green hills near Stanford University in Palo Alto, California, had recently synthesized a new antiviral drug (Martin et al. 1983). The drug, at first given the awkward chemical abbreviation DHPG, later came to be known by the generic name ganciclovir. Ganciclovir was a potent drug for the treatment of herpes virus infection (such as genital herpes or chickenpox), but (...) the unique characteristic of ganciclovir was that it worked against cytomegalovirus (CMV), a heretofore untreatable virus infection. Although relatively harmless in healthy individuals, CMV caused .. (shrink)