Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone.

Beads and other ‘body ornaments’ are very widespread components of the archaeological record of early modern humans (Homo sapiens). They appear first in the Middle Stone Age in Africa, and somewhat later in the Early Upper Paleolithic of Eurasia. The manufacture and use of ornaments is widely considered to be evidence for significant developments in human cognition. In our view, the appearance of these objects represents the interaction of evolved cognitive capacities with changing social and demographic conditions. Body ornamentation is (...) a medium or technology for communication, particularly of socially-relevant information. The widespread adoption of beads and other discrete objects as media for communication implies changes in the complexity and stability of social messages, as well as the scale of social networks. The relatively sudden appearance of beads in the Paleolithic archaeological record coincides with genetic and archaeological evidence for expansion of human populations. We argue that these changes reflect expanding scales of social interaction and more complex social landscapes resulting from unprecedentedly large and internally differentiated human populations. (shrink)

The aim of this study is to determine to what extent the tense markers of tense logic represent what is represented by the tense forms of natural language. To achieve this, it will be necessary to report the findings of linguistics on what the tense forms of natural languages do represent. The justification for this study lies in a fundamental difference between natural and logical languages. Where natural languages develop to meet the needs of their speakers, logical language is used (...) for testing the validity of argument of a certain kind. Tense logic has been used to examine philosophical issues, and in linguistics to examine how tenses describe many different possible structures of time. (shrink)

The system obtained by adding full propositional quantification to S5 is known to be decidable, while that obtained by doing so for T is known to be recursively intertranslatable with full second-order logic. Recently it was shown that the system with two S5 operators and full propositional quantification is also recursively intertranslatable with second-order logic. This note establishes that the map assigning [1][2]p to \squarep provides a validity and satisfaction preserving translation between the T system and the double S5 system, (...) thus providing an easier proof of the recent result. (shrink)

Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as S5-like operators in a purely propositional modal logic. This logic is axiomatized and some interesting fragments of it are investigated.

Between 300,000 and 250,000 years ago early humans in Africa and Eurasia began to use durable material substances and objects as media for signaling. Initially material signals were confined to ochre and other pigments, but over time objects such as beads were also added as technologies for sending messages. Changes in the types of materials used, their durability and costs, and the contexts of their disposal indicate a series of transitions in how early humans employed signaling media. Signaling theory from (...) biology suggests that shifts in technologies over the course of the Pleistocene reflect problems in coordinating action and resolving conflicts within increasingly large and internally differentiated societies. (shrink)

Lloyd Humberstone’s recently published Philosophical Applications of Modal Logic presents a number of new ideas in modal logic as well explication and critique of recent work of many others. We extend some of these ideas and answer some questions that are left open in the book.

Applications of game theory to moral philosophy are impededby foundational issues and troublesome examples. In the first part of this paper,questions are raised about the appropriate game-theoretical frameworks for applications to moralphilosophy and about the proper interpretations of the theoretical devices employed inthese frameworks. In the second part, five examples that should be of particular interest to thoseinterested in the connections between ethics and game theory are delineated and discussed. Thefirst example comprises games in which there is an outcome unanimously (...) preferred to the``solution'' of the game, appropriately defined. The second comprises games whose solution callsfor different players to employ different strategies. The third comprises games whosesolution calls for players to adopt mixed strategies. The fourth comprises games whose solutionrequires players to cycle among a variety of strategies. The fifth comprises games whose solutionrequires players to discriminate in morally inappropriate ways. (shrink)

The semantics of tense has received a great deal of attention in the contemporary linguistics, philosophy and logic literatures. This is probably due partly to a renewed appreciation for the fact that issues involving tense touch on certain issues of philosophical importance (viz., determinism, causality, and the nature of events, of time and of change). It may also be due partly to neglect. Tense was noticeably omitted from the theories of meaning advanced in previous generations. In the writings of both (...) Russell and Frege there is the suggestion that tense would be absent altogether from an ideal or scientifically adequate language. (Tense was not the only blemish of natural language to be removed, of course, but tense is a more serious omission than, say, pronouns because it is present in every sentence of the language.) Finally, in recent years there has been a greater recognition of the important role that all of the so-called “indexical” expressions must play in an explanation of mental states and human behavior. Tense is no exception. Knowing that our friend died is cause for mourning, knowing that he dies is just another confirmation of a familiar syllogism. (shrink)

The prisoner 's dilemma game has acquired large literatures in several disciplines. It is surprising, therefore, that a good definition of the game is hard to find. Typically an author relates a story about captured criminals or military rivals, provides a particular payoff matrix and asserts that the PD is characterized, or illustrated, by that matrix. In the few cases in which characterizing conditions are given, the conditions, and the motivations for them, do not always agree with each other or (...) with the paradigm examples elsewhere. In this paper we describe several varieties of PD's. In particular, we suggest there are two distinctions among PD's with philosophical significance, the pure/impure and the utilitarian/nonutilitarian distinctions. In the first section, we explain and characterize the two distinctions. In the second, we discuss an issue of moral philosophy that illustrates the significance of the former. (shrink)

A notable early result of David Makinson establishes that every monotone modal logic can be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF, where LI, LN, LV, and LF are logics axiomatized, respectively, by the schemas □α↔α, □α↔¬α, □α↔⊤, and □α↔⊥. We investigate logics that are both monotone and antitone (hereafter amphitone). There are exactly three: LV, LF, and the minimum amphitone logic AM axiomatized by the schema □α→□β. These logics, (...) along with LI, LN, and a wider class of “extensional” logics, bear close affinities to classical propositional logic. Characterizing those affinities reveals differences among several accounts of equivalence between logics. Some results about amphitone logics do not carry over when logics are construed as consequence or generalized (“multiple-conclusion”) consequence relations on languages that may lack some or all of the nonmodal connectives. We close by discussing these divergences and conditions under which our results do carry over. (shrink)

Le dilemme du prisonnier occupe une place centrale dans la théorie morale de Gauthier, mais cette place est en évolution. Dans «Morality and Advantage», ce dilemme fournit un modèle montrant comment la moralité peut avoir des propriétés apparemment contradictoires. Dans Morals by Agreement, il pose un problème particulier pour l’opinion selon laquelle un comportement moral est individuellement rationnel. Suite à ces publications, certains experts en théorie des jeux ont contesté l’idée voulant que le dilemme du prisonnier soit un cadre approprié (...) pour réfléchir sur la théorie morale. La première partie de cet article examine les rôles du dilemme du prisonnier dans l’œuvre de Gauthier. La deuxième partie présente un projet, incluant des composantes descriptives et normatives, qui développe les idées de «Morality and Advantage» tout en le préservant de la critique des théoriciens des jeux. (shrink)

Evolutionary Transitions in Individuality have been responsible for the major transitions in levels of selection and individuality in natural history, such as the origins of prokaryotic and eukaryotic cells, multicellular organisms, and eusocial insects. The integrated hierarchical organization of life thereby emerged as groups of individuals repeatedly evolved into new and more complex kinds of individuals. The Social Protocell Hypothesis proposes that the integrated hierarchical organization of human culture can also be understood as the outcome of an ETI—one that produced (...) a “cultural organism” from a substrate of socially learned traditions that were contained in growing and dividing social communities. The SPH predicts that a threshold degree of evolutionary individuality would have been achieved by 2.0–2.5 Mya, followed by an increasing degree of evolutionary individuality as the ETI unfolded. We here assess the SPH by applying a battery of criteria—developed to assess evolutionary individuality in biological units—to cultural units across the evolutionary history of Homo. We find an increasing agreement with these criteria, which buttresses the claim that an ETI occurred in the cultural realm. (shrink)

From a Kuhnian perspective, a paradigmatic revolution in management science will significantly improve our understanding of the business world and show practitioners (including managers and consultants) how to become much more effective. Without an objective measure of revolution, however, the door is open for spurious claims of revolutionary advance. Such claims cause confusion among scholars and practitioners and reduce the legitimacy of university management programs. Metatheoretical methods, based on insights from systems theory, provide new tools for analyzing the structure of (...) theory. Propositional analysis is one such method that may be applied to objectively quantify the formal robustness of management theory. In this chapter, I use propositional analysis to analyze different versions of a theory as it evolves across 1,500 years of history. This analysis shows how the increasing robustness of theory anticipates the arrival of revolution and suggests an innovative and effective way for scholars and practitioners to develop and evaluate theories of management. (shrink)

Epistemic relativism rejects the idea that claims can be assessed from a universally applicable, objective standpoint. It is greatly disdained because it suggests that the real ‘basis’ for our views is something fleeting, such as ‘‘the techniques of mass persuasion’’ (Thomas Kuhn 1970) or the determination of intellectuals to achieve ‘‘solidarity’’ (Rorty 1984) or ‘‘keep the conversation going’’ (Rorty 1979). But epistemic relativism, like skepticism, is far easier to despise than to convincingly refute, for two main reasons. First, its (...) definition is unclear, so we cannot always tell where relativism leaves off and other views, such as skepticism or subjectivism, begin. Consequently, it can be difficult to tell when a criticism has done enough. Second, the grounds for relativism are unclear, which can make it hard to know how to attack it or whether we have dismantled all of the ways of supporting it. (shrink)

Programs for the reform of K-12 science teaching today usually insist that science teachers must introduce their students to the nature of science, as well as to scientific content. The academic field of science studies, however, evinces no consensus about what the nature of science really is. This article examines how science educators and educational researchers have drawn on the fragmented teachings of science studies about the nature of science, and how they have used those teachings as a resource in (...) their own projects. It identifies three competing movements for the reform of science teaching that owe a particular debt to science studies: history and philosophy of science, science, technology, and society, and constructivist pedagogy. The article analyzes some of the deep assumptions about the relationships between research science, school science, and children’s learning that pervade the educational literature. (shrink)

Roth's analysis of the Rationalitätstreit (i.e., the debate(s) about rationality) stands as one of the major works on how the debate affects a wide range of issues in the philosophy of science and the social sciences. His principal thesis is that the debate may be seen as a series of Quine-type "translation manuals," exhibiting characteristics of paradigms (following Kuhn 1970) that can be treated as testable scientific theories by adequate empirical tests. The author argues that Roth's notion of empirically (...) testing translation manuals is not possible given his criteria. He suggests a clearer definition of "methods" and develops a case whereby translation manuals can be adequately tested within an inductive model-but with rather severe restrictions. Implications are indicated. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Steven Fuller A FRENCH SCIENCE (WITH ENGLISH SUBTITLES) It is of no news to anyone with even a passing interest in the theoretical wranglings of literary critics that deconstruction is on the defensive. This is of special interest to an historian and philosopher of science such as myself because (with the notable exception of Frank Lentricchia's revisionist history of contemporary critical trends) ] most of the recent salvos (...) launched against deconstruction have been supplied by analytic philosophy.2 Indeed, some analytic philosophers have felt bold enough to enter the fray themselves. And as with other Anglo-American incursions into theoretical debates of continental origin, whatever is lost in subtlety and sheer ingenuity is made up for in clarity and commonsense. If there is one theme common to adi analytically inspired attacks on deconstruction, it is that critical method ought to be a systematic articulation of the intuitions of the average reflective reader. To be a literary critic is not to achieve esoteric insight into the uncommunicative nature of texts; rather, it is to become more fully aware of the many ways in which texts do communicate. While such advice may be reassuring, it is certainly not very "philosophical" in the sense of "deeply problematic" that deconstructionists would claim for the nature of texts. And the deconstructionists are right — so I believe. At least, I will try to show that the case for deconstruction, in all its radicalness, can be made with something of the clarity desired by analytic philosophers. A contentious critic might wonder, at this point, why the deconstructionists were not clear in the first place (thereby rendering this article superfluous). The reason, contrary to what certain "friends of deconstruction" in the analytic tradition would have us believe, is that there are few precedents in the recent history of philosophy for claims made by deconstructionists.3 It would indeed be faint praise to find, as Hacking and Rorty have maintained, that the theses of Barthes, Foucault, and Derrida were anticipated in the limpid prose style of a Quine, a Goodman, or a Kuhn.4 Why is the latter set of writers so clear, while the former set is so obscure? Our contentious critic might conclude diat clarity of style reflects a clarity of thought, and likewise for obscurity of style. In any case, both friends 2 Philosophy and Literature and foes of deconstruction tend to agree diat whatever is of value in the French texts may be derived with less effort by reading the American ones. The friends want to place deconstruction among several strains oftwentieth-century thought that would dissolve classical philosophy into a critical history of ideas, while the foes (more ingenuously perhaps) want to resume the business of practical criticism as usual and its attendant function (à la F. R. Leavis) of preserving Western Culture. Since the analytic devil can (and will) cite deconstructionist scripture for his own purposes, it is not clear that explicating Derrida will settle matters, especially since deconstruction gives an ironic twist to the search for what an author "had in mind" when he composed a particular text. It is, however, interesting to note that when one analytic philosopher recently presented a paradigm of literary criticism that allegedly compensated for the excesses of deconstruction, he resorted to Kantian talk about the intentions of the author being a "regulative ideal" toward which all responsible practical criticism aspires.5 This paradigm claims to owe to deconstruction the idea that, once an author is separated from his text, die reader becomes unable to verify any hypotheses about what the author meant by what he wrote. However, the evidence surrounding the text's composition (as well as the text itself) may be reconstructed so as to suggest a model of the audioes intentions. In that case, the explanatory adequacy of such a model would be relative to the evidence and methods available to the critic. And so, while the text certainly had a real audior who possessed a set of determinate intentions at the time ofwriting, mere is no reason to think that the most plausible model of the currendy available evidence picks out those intentions. What we have here is the first of two species of... (shrink)

This compelling study of the origins of all that exists, including explanations of the entire material world, traces the responses of philosophers and scientists to the most elemental and haunting question of all: why is _anything_ here—or anything _anywhere_? Why is there something rather than nothing? Why not nothing? It includes the thoughts of dozens of luminaries from Plato and Aristotle to Aquinas and Leibniz to modern thinkers such as physicists Stephen Hawking and Steven Weinberg, philosophers Robert Nozick and (...) Derek Parfit, philosophers of religion Alvin Plantinga and Richard Swinburne, and the Dalai Lama. The first accessible volume to cover a wide range of possible reasons for the existence of all reality, from over 50 renowned thinkers, including Plato, Aristotle, Aquinas, Descartes, Leibniz, Hume, Bertrand Russell, Stephen Hawking, Steven Weinberg, Robert Nozick, Derek Parfit, Alvin Plantinga, Richard Swinburne, John Polkinghorne, Paul Davies, and the Dalai Lama Features insights by scientists, philosophers, and theologians Includes informative and helpful editorial introductions to each section Provides a wealth of suggestions for further reading and research Presents material that is both comprehensive and comprehensible. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

Although many philosophers do not consider Thomas Kuhn to be a great philosopher, there are at least two reasons to do so. First, he helped to remap our culture and created for it a new structural plan, and second even without being educated in philosophy his work bears an important metaphilosophical message. I took his work and applied consequences on the field of philosophy which helped me to view our culture not as an epistemological and ontological hierarchy reaching from (...) formal sciences down to rhetoric, but as a spectrum of viewpoints with rigidity of norms on one end and constant change on the other. There are still those who think Kuhn should not be taken seriously. Among them there are both analytic philosophers and natural scientists. Steven Weinberg serves as a great example. He believes that by virtue of his participation in the actual process of making physics he knows all the problems of philosophy of his discipline. He uses terms which philosophers were deciphering for a long time without any contemplation over their meaning. Kuhn is one of the greatest philosophers of the 20th century and although he was afraid to articulate all consequences of his revolutionary work, he did a great job in showing us that the privileged position science has in our culture in not entirely justified. (shrink)

This book contains the text of Thomas Kuhn's unfinished book, The Plurality of Worlds: An Evolutionary Theory of Scientific Development, which Kuhn himself described as "a return to the central claims of The Structure of Scientific Revolutions, and the problems that it raised but did not resolve." The Plurality of Worlds is preceded by two related texts that Kuhn publicly delivered but never published in English: his paper "Scientific Knowledge as a Historical Product" and his Shearman Memorial (...) Lectures, "The Presence of Past Science." The book opens with an introduction by the editor that describes the origins and structure of The Plurality of Worlds, and sheds light on its central philosophical problems. Kuhn's aims in his last writings are bold. He sets out to develop an empirically grounded theory of meaning that would allow him to make sense of both the possibility of historical understanding and the inevitability of incommensurability between past and present science. Moreover, he intends to show that incommensurability is fully compatible with a robust notion of a real world that science investigates, with the rationality of scientific belief change, and with the idea that scientific development is progressive. This is a must-read follow-up to The Structure of Scientific Revolutions, one of the most important books of the twentieth century. (shrink)

A review of Steven Fuller's excellent book. Steve Fuller, professor of sociology at the University of Warwick, argues that, unfortunately for science, Kuhn won this debate. In the wake of Kuhn, science has come to be justified more by its paradigmatic pedigree than by its progressive aspirations. In other words, science is judged by whatever has come to be the dominant scientific community.