This book brings together several directions of work in model theory between the late 1950s and early 1980s.

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

The present volume collects some of Barwise's papers written since then, those directly concerned with relations among logic, situation theory, and situation semantics. Several papers appear here for the first time.

The semeiotic of Charles Sanders Peirce is irreducibly triadic, positing that a sign mediates between the object that determines it and the interpretant that it determines. He eventually holds that each sign has two objects and three interpretants, standardizing quickly on immediate and dynamical for the objects but experimenting with a variety of names for the interpretants. The two most prominent terminologies are immediate/dynamical/final and emotional/energetic/logical, and scholars have long debated how they are related to each other. This paper seeks (...) to shed new light on the matter by reviewing the numerous manuscript drafts where Peirce develops the latter nomenclature while attempting to introduce his pragmatism to a general audience. It then goes on to examine an additional set of interpretants, intentional/effectual/communicational, and shows that the three different trichotomies can be understood as complementary, rather than redundant or conflicting. (shrink)

How can _Wii Sports_ teach us about metaphysics? Can playing _World of Warcraft_ lead to greater self-consciousness? How can we learn about aesthetics, ethics and divine attributes from _Zork_, _Grand Theft Auto_, and _Civilization_? A variety of increasingly sophisticated video games are rapidly overtaking books, films, and television as America's most popular form of media entertainment. It is estimated that by 2011 over 30 percent of US households will own a Wii console - about the same percentage that owned a (...) television in 1953. In _Philosophy Through Video Games, _Jon Cogburn and Mark Silcox - philosophers with game industry experience - investigate the aesthetic appeal of video games, their effect on our morals, the insights they give us into our understanding of perceptual knowledge, personal identity, artificial intelligence, and the very meaning of life itself, arguing that video games are popular precisely because they engage with longstanding philosophical problems. Topics covered include: * The Problem of the External World * Dualism and Personal Identity * Artificial and Human Intelligence in the Philosophy of Mind * The Idea of Interactive Art * The Moral Effects of Video Games * Games and God's Goodness Games discussed include: _Madden Football_, _Wii Sports_, _Guitar Hero_, _World of Warcraft_, _Sims Online_, _Second Life_, _Baldur's Gate_, _Knights of the Old Republic_, _Elder Scrolls_, _Zork_, _EverQuest_ _Doom_, _Halo 2_, _Grand Theft Auto_, _Civilization_, _Mortal Kombat_, _Rome: Total War_, _Black and White_, _Aidyn Chronicles_. (shrink)

The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non- factive grounding (...) claims, if true, are zero-grounded in the sense of Fine. (shrink)

Modern philosophy recognizes two major ethical theories: deontology, which encourages adherence to rules and fulfillment of duties or obligations; and consequentialism, which evaluates morally significant actions strictly on the basis of their actual or anticipated outcomes. Both involve the systematic application of universal abstract principles, reflecting the culturally dominant paradigm of technical rationality. Professional societies promulgate codes of ethics with which engineers are expected to comply, while courts and the public generally assign liability to engineers primarily in accordance with the (...) results of their work, whether intended or unintended. A third option, prominent in ancient philosophy, has reemerged recently: virtue ethics, which recognizes that sensitivity to context and practical judgment are indispensable in particular concrete situations, and therefore rightly focuses on the person who acts, rather than the action itself. Beneficial character traits—i.e., virtues—are identified within a specific social practice in light of the internal goods that are unique to it. This paper proposes a comprehensive framework for implementing virtue ethics within engineering. (shrink)

I discuss three recent counterexamples to the transitivity of grounding due to Jonathan Schaffer. I argue that the counterexamples don’t work and draw some conclusions about the relationship between grounding and explanation.

It is frequently claimed that we can learn very little, if anything, about the aesthetic character of an artwork on the basis of testimony. Such disparaging assessments of the epistemic value of aesthetic testimony contrast markedly with our acceptance of testimony as an important source of knowledge in many other areas. There have, however, been a number of challenges to this orthodoxy of late; from those who seek to deny that such a contrast exists as well as attempts by those (...) who accept the distinction to provide an explanation and defence of the contrast. In Section I, I outline a little of the nature and history of the debate over aesthetic testimony. Section II, focuses on the opposing positions on aesthetic testimony, optimism and pessimism, and takes steps to clarify what exactly is at issue between them. In Section III, I survey considerations which have been adduced in favour of pessimism ranging from brute appeal to intuition to complex argumentation before turning in Section IV, to look at motivations for optimism. Finally, in Section V, I consider some alternative views which claim that, for a variety of reasons, it is a mistake to construe the debate over aesthetic testimony as concerned with the epistemic standing of aesthetic beliefs formed on the basis of testimony. (shrink)

I, player : the puzzle of personal identity (MMORPGS and Virtual Communities) -- The game inside the mind, the mind inside the game (The Nintendo Wii Gaming Console) -- Realistic blood and gore : do violent games make violent gamers? (First-person Shooters) -- Games and God's goodness (World-builder and Tycoon Games) -- The metaphysics of interactive art (Puzzle and Adventure Games) -- Artificial and human intelligence (Single-player RPGS) -- Epilogue: Video games and the meaning of life.

The chapter explores whether, or to what extent, recent work in experimental philosophy puts pressure on the idea that the concept of causation is ‘egalitarian’. Causal selection – where experimental subjects tend to rate the causal strength of (for example) a norm-violator more strongly than a non-norm-violator – is a well established phenomenon, and is in prima facie tension with an egalitarian conception of causation; it also, indirectly, puts prima facie pressure on the idea that causation is a worldly phenomenon (...) whose obtaining is independent of facts about norms. The chapter explores both the various psychological mechanisms and the broadly pragmatic approaches to explaining causal selection. It argues that the answer to the question whether or not the concept of causation is egalitarian is currently significantly empirically underdetermined, and suggests some avenues for further investigation. (shrink)

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural (...) language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. (shrink)

Peirce is best known as the founder of pragmatism, but his dissatisfaction with how others understood and appropriated it prompted him to rename his own doctrine “pragmaticism” and to compose several variants of his original maxim defining it, as well as numerous restatements and elaborations. This paper presents an extensive selection of such formulations, followed by analysis and commentary demonstrating that for Peirce the ultimate meaning of an intellectual concept is properly expressed as a conditional proposition about the deliberate, self-controlled (...) conduct of its interpreters, not the law-governed behavior of its object. (shrink)

How do we form aesthetic judgements? And how should we do so? According to a very prominent tradition in aesthetics it would be wrong to form our aesthetic judgements about a particular object on the basis of anything other than first-hand acquaintance with the object itself (or some very close surrogate) and, in particular, it would be wrong to form such judgements merely on the basis of testimony. Further this tradition presupposes that our actual practice of forming aesthetic judgements typically (...) meets, or at least approximates, this ideal. In this paper I target this descriptive claim and argue—by appeal to some empirical work concerning belief polarization and echo chambers in aesthetics—that our actual practice of forming aesthetic judgements is heavily dependent on social sources such as testimony. I then briefly consider what normative implications this descriptive claim may have. (shrink)

Most authors on metaphysical grounding have taken full grounding to be an internal relation in the sense that it's necessary that if the grounds and the grounded both obtain, then the grounds ground the grounded. The negative part of this essay exploits empirical and provably nonparadoxical self-reference to prove conclusively that even immediate full grounding isn't an internal relation in this sense. The positive, second part of this essay uses the notion of a “completely satisfactory explanation” to shed light on (...) the logic of ground in the presence of self-reference. This allows us to develop a satisfactory logic of ground and recover a sense in which grounding is still an internal relation. (shrink)

In Walter Chatton on Future Contingents, Jon Bornholdt presents the first full-length translation, commentary, and analysis of the various attempts by Chatton (14th century C.E.) to solve the ancient problem of the status and significance of statements about the future. At issue is the danger of so-called logical determinism: if it is true now that a human will perform a given action tomorrow, is that human truly free to perform or refrain from performing that action? Bornholdt shows that Chatton constructed (...) an original (though problematic) formal analysis that enabled him to canvass various approaches to the problem at different stages of his career, at all times showing an unusual sensitivity to the tension between formalist and metaphysical types of solution. (shrink)

Neil Tennant and Joseph Salerno have recently attempted to rigorously formalize Michael Dummett's argument for logical revision. Surprisingly, both conclude that Dummett commits elementary logical errors, and hence fails to offer an argument that is even prima facie valid. After explicating the arguments Salerno and Tennant attribute to Dummett, I show how broader attention to Dummett's writings on the theory of meaning allows one to discern, and formalize, a valid argument for logical revision. Then, after correctly providing a rigorous statement (...) of the argument, I am able to delineate four possible anti-Dummettian responses. Following recent work by Stewart Shapiro and Crispin Wright, I conclude that progress in the anti-realist's dialectic requires greater clarity about the key modal notions used in Dummett's proof. (shrink)

In the early 1990s there emerged a growing interest with the concept of epistemic entitlement. Philosophers who acknowledge the existence of entitlements maintain that there are beliefs or judgments unsupported by evidence available to the subject, but which the subject nonetheless has the epistemic right to hold. Some of these may include beliefs non-inferentially sourced in perception, memory, introspection, testimony, and the a priori. Unlike the traditional notion of justification, entitlement is often characterized as an externalist type of epistemic warrant, (...) in the sense that a subject’s being entitled is determined by facts and circumstances that are independent of any reasoning capacities she may or may not have, and which the subject herself need not understand or be able to recognize. One key motivation for this view is that the inclusion of entitlement in epistemology can account for the commonly held intuition that largely unreflective individuals, such as children and non-human animals, possess warrant and basic knowledge about the world. It also paves the way for a tenable foundationalist epistemology, according to which there exist warranted beliefs which are not themselves warranted or justified by any further beliefs. This article explores theories of entitlement as presented by four prominent philosophers: Fred Dretske, Tyler Burge, Crispin Wright, and Christopher Peacocke. (shrink)

Unusability pessimism has recently emerged as an appealing new option for pessimists about aesthetic testimony—those who deny the legitimacy of forming aesthetic beliefs on the basis of testimony. Unusability pessimists argue that we should reject the traditional pessimistic stance that knowledge of aesthetic matters is unavailable via testimony in favour of the view that while such knowledge is available to us, it is unusable. This unusability stems from the fact that accepting such testimony would violate an important non-epistemic norm of (...) belief formation. In this article I present an objection to unusability pessimism and argue that Robert Hopkins, the view's most prominent defender, fails to motivate adequately the claim that there are such non-epistemic belief norms. The cases which putatively legitimize usability norms can be explained by appeal to more familiar norm types: epistemic norms of belief formation, and non-epistemic norms which govern action other than belief formation. The intent of this article is not primarily negative, however, and I will also argue that understanding why the unusability position fails helps us to identify a promising new direction for the pessimist's opponents who wish to defend the legitimacy of forming aesthetic beliefs on the basis of testimony. (shrink)

In this paper, I link philosophical discussion of policies for trans inclusion or exclusion, to a method of policy making. I address the relationship between concerns about safety, fairness, and inclusion in policy making about the inclusion of transwomen athletes into women’s sport. I argue for an approach based on lexical priority rather than simple ‘balancing’, considering the different values in a specific order. I present justifying reasons for this approach and this lexical order, based on the special obligations of (...) International Federations such as World Rugby. As a result, I provide a justificatory framework for the WR Guidelines that exclude transwomen from the women’s game in WR competitions. Finally, I give an account of a maximally safe, maximally fair and maximally inclusive form of sex categorisation in sport. (shrink)

Campaigning activities of non-governmental organisations (NGOs) have increased public awareness and concern regarding the alleged unethical and environmentally damaging practices of many major multinational companies. Companies have responded by developing corporate social responsibility strategies to demonstrate their commitment to both the societies within which they function and to the protection of the natural environment. This has often involved a move towards greater transparency in company practice and a desire to engage with stakeholders, often including many of the campaign organisations that (...) have been at the forefront of the criticisms of their activity. This article examines the ways in which stakeholder dialogue has impacted upon the relationships between NGOs and businesses. In doing so, it contributes to the call for more ‘stakeholder-focused’ research in this field (Frooman in Acad Manag Rev 24(2): 191–205, 1999; Steurer in Bus Strategy Environ 15: 15–69 2006). By adopting a stakeholder lens, and focusing more heavily upon the impact on one particular stakeholder community (NGOs) and looking in depth at one form of engagement (stakeholder dialogue), this article examines how experiences of dialogue are strategically transforming interactions between businesses and NGOs. It shows how experiences of stakeholder dialogue have led to transformations in the drivers for engagement, transformations in the processes of engagement and transformations in the terms of engagement. Examining these areas of transformation, the article argues, reveals the interactions at play in framing and shaping the evolving relationships between business and its stakeholders. (shrink)

Language maps signals onto meanings through the use of two distinct types of structure. First, the space of meanings is discretized into categories that are shared by all users of the language. Second, the signals employed by the language are compositional: The meaning of the whole is a function of its parts and the way in which those parts are combined. In three iterated learning experiments using a vast, continuous, open-ended meaning space, we explore the conditions under which both structured (...) categories and structured signals emerge ex nihilo. While previous experiments have been limited to either categorical structure in meanings or compositional structure in signals, these experiments demonstrate that when the meaning space lacks clear preexisting boundaries, more subtle morphological structure that lacks straightforward compositionality—as found in natural languages—may evolve as a solution to joint pressures from learning and communication. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

A logic of grounding where what is grounded can be a collection of truths is a “many-many” logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta. In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine’s State-Space semantics for the Pure Logic of Ground can be extended to the many-many case, giving rise to the Pure Logic (...) of Many-Many Ground. In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine’s completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete. (shrink)

The detailed analysis of a particular quasi-historical numerical example is used to illustrate the way in which a Bayesian personalist approach to scientific inference resolves the Duhemian problem of which of a conjunction of hypotheses to reject when they jointly yield a prediction which is refuted. Numbers intended to be approximately historically accurate for my example show, in agreement with the views of Lakatos, that a refutation need have astonishingly little effect on a scientist's confidence in the ‘hard core’ of (...) a successful research programme even when a comparable confirmation would greatly enhance that confidence. Timeo Danaos et dona ferentis. (shrink)

Traces the depiction of biological science in mass media and how it has shaped public perceptions.

Seeking integration of drug consumption research by a theory of memory function and emphasizing drug consumption rather than addiction, Müller & Schumann (M&S) treat drug self-administration as part of a general pattern of consumption. This insight is located within a more comprehensive framework for understanding drug use as consumer behavior that explicates the reinforcement contingencies associated with modes of drug consumption.

Charles Sanders Peirce is best known as the founder of pragmatism, but the name that he preferred for his overall system of thought was ‘‘synechism’’ because the principle of continuity was its central thesis. He considered time to be the paradigmatic example and often wrote about its various aspects while discussing other topics. This essay draws from many of those widely scattered texts to formulate a distinctively Peircean philosophy of time, incorporating extensive quotations into a comprehensive and coherent synthesis. Time (...) is not an existential subject with past, present, and future as its incompatible predicates, but rather a real law enabling things to possess contrary qualities at its different determinations, and Peirce identifies four classes of such states based on when and how they are realized. Because time is continuous, it is not composed of instants, and even the present is an indefinite lapse during which we are directly aware of constant change. The accomplished past is perpetually growing as the possibilities and conditional necessities of the future are actualized at the present, and the entire universe evolves from being utterly indeterminate toward being absolutely determinate. Nevertheless, time must return into itself even if events are limited to only a portion of it, a paradox that is resolved with the aid of projective geometry. Temporal synechism thus touches on a broad spectrum of philosophical issues including mathematics, phenomenology, logic, and metaphysics. (shrink)

This article presents a critical examination of the process of stakeholder dialogue in the Corporate Social Responsibility (CSR) field. It utilises data from a three-year research project into stakeholder dialogue processes to discuss three central themes: first, what is meant by the term ‘dialogue’, both from a theoretical perspective and from its practical application within CSR; second, the challenges of creating effective dialogue; and third, measuring and assessing the potential outcomes of dialogue. In providing a critical overview of these themes, (...) the article examines the nature of organisational learning through stakeholder engagement and dialogue. It questions the motives behind engagement in dialogue and highlights some of the potential challenges for organisational learning posed by opting for a stakeholder dialogue approach. It argues that organisations engaging in stakeholder dialogue must have a clear understanding of the implications of undertaking a dialogue process and have a long-term perspective regarding the outcomes and learning likely to emerge from it. While stakeholder dialogue may produce significant results, it is argued, many of these may be difficult to quantify on a short-term basis. (shrink)