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)
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 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)
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 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)
Post-translational histone modifications and their biological effects have been described as a ‘histone code’. Independently, Barbieri used the term ‘organic code’ to describe biological codes in addition to the genetic code. He also provided the defining criteria for an organic code, but to date the histone code has not been tested against these criteria. This paper therefore investigates whether the histone code is a bona fide organic code. After introducing the use of the term ‘code’ in biology, the criteria a (...) putative organic code such as the histone code must conform to in order to be recognised as an organic code are described. Our current knowledge of histones and their major post-translational modifications, and the specific protein binding domains that recognise and translate these into specific biological effects, is then reviewed in detail. The histone modification system is then placed in the context of an organic code and it is concluded that it fulfils all the requirements of an organic code. The marks produced on histones by processes such as acetylation and methylation act as organic signs that are translated into unique biological effects, their biological meanings. These translations are accomplished by effector proteins that consist of a binding domain that recognises a specific histone mark and a regulatory domain that mediates the biological effect. Crucially, these domains can be experimentally interchanged between different effector proteins, thus altering the rules that specify the relationships between sign and meaning. The effector proteins therefore fulfil the role of adaptor molecules. (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)
A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.