Starting from Jacques Derrida’s Archive Fever this article traces back the debate on performance’s ontology and its implications for the notion of the archive in dance. The text accompanies the collection of dance scores that is published in this issue’s Icônes. The wide range of applications of scores challenge us to see performance as a complex aggregate of mediation and remediation within a plural field of technologies , subjectivities and temporalities.

In 1990, Vermeerbergen started the first larger-scale corpus study with spontaneous language data from adult signers on the morpho-syntactic aspects of Flemish Sign Language. After this, a number of lexicographic projects, including the collection of a 90-h corpus, led to the launch of the first online bilingual Dutch/VGT—VGT/Dutch dictionary in 2004. Since then, researchers have developed several corpora of variable sizes, with the greatest realization being the VGT Corpus. The main focus of this chapter is twofold. On the one hand (...) the run-up to, the development and the use of the VGT Corpus will be discussed, while on the other hand smaller specific research corpora will be highlighted such as the corpus on early parent-child interaction and the multifocal eye-tracking corpus. The current chapter will discuss the research and community value of the corpora and future directions. Finally, it will elaborate on the need for corpus research, the associated advantages and disadvantages, and the obstacles faced in smaller deaf communities. (shrink)

The empirical-transcendental debate in philosophy of technology, as debates go, took a turn toward the counterposing of the two perspectives, ‘empirical’-pragmatic-pragmatist versus ‘transcendental’-critical. Postphenomenology aligns itself with the former standpoint, and it is in this spirit that commentators have criticized it for its too-instrumentalist stance and lack of overarching, i.e., transcendental orientation. But the positions may have become too starkly delineated in order for the debate to reach any breakthrough: a seemingly unbridgeable gap yawns between the stances of ‘technology with (...) a small “t”’ and ‘Technology with a capital “T.”' Is there any way to reorient the debate? In this paper I propose to do so by considering whether there would be some way of arriving from one end of the spectrum to the other—crossing the gap. Exploring the purported wasteland in between “technology” and “Technology” by way of object-oriented ontology (OOO)—Harman, Morton—we can find it actually filled with countless gaps, adhering to every thing. Following the radical insights of OOO, we’d have to attest to a ‘thing-transcendentality.’ The ‘gap,’ then, that seemed so threatening and all-encompassing, becomes smeared out, levelled down to a multiplicity of perspectives. And this casts the debate, with its purported strict tension between ‘empirical’ and ‘transcendental’ positions, in fresh terms, opening up new ways for studying how the two interrelate. (shrink)

We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level’, we present suitable notions of game equivalence, plus some (...) simple representation results. (shrink)

Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.

In terms of Groenendijk and Stokhofs (1984) formalization of exhaustive interpretation, many conversational implicatures can be accounted for. In this paper we justify and generalize this approach. Our justification proceeds by relating their account via Halpern and Moses (1984) non-monotonic theory of only knowing to the Gricean maxims of Quality and the first sub-maxim of Quantity. The approach of Groenendijk and Stokhof (1984) is generalized such that it can also account for implicatures that are triggered in subclauses not entailed by (...) the whole complex sentence. (shrink)

In ‘belief revision’ a theory is revised with a formula φ resulting in a revised theory . Typically, is in , one has to give up belief in by a process of retraction, and φ is in . We propose to model belief revision in a dynamic epistemic logic. In this setting, we typically have an information state (pointed Kripke model) for the theory wherein the agent believes the negation of the revision formula, i.e., wherein is true. The revision with (...) φ is a program *φ that transforms this information state into a new information state. The transformation is described by a dynamic modal operator [*φ], that is interpreted as a binary relation [ [*φ] ] between information states. The next information state is computed from the current information state and the belief revision formula. If the revision is successful, the agent believes φ in the resulting state, i.e., Bφ is then true. To make this work, as information states we propose ‘doxastic epistemic models’ that represent both knowledge and degrees of belief. These are multi-modal and multi-agent Kripke models. They are constructed from preference relations for agents, and they satisfy various characterizable multi-agent frame properties. Iterated, revocable, and higher-order belief revision are all quite natural in this setting. We present, for an example, five different ways of such dynamic belief revision. One can also see that as a non-deterministic epistemic action with two alternatives, where one is preferred over the other, and there is a natural generalization to general epistemic actions with preferences. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...) in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Despite technological innovations, clinical expertise remains the cornerstone of psychiatry. A clinical expert does not only have general textbook knowledge, but is sensitive to what is demanded for the individual patient in a particular situation. A method that can do justice to the subjective and situation-specific nature of clinical expertise is ethnography. Effective deep brain stimulation (DBS) for obsessive-compulsive disorder (OCD) involves an interpretive, evaluative process of optimizing stimulation parameters, which makes it an interesting case to study clinical expertise. The (...) aim of this study is to explore the role of clinical expertise through an ethnography of the particular case of DBS optimization in OCD. In line with the topic of the special issue this article is a part of, we will also use our findings to reflect on ethnography as a method to study complex phenomena like clinical expertise. This ethnography of DBS optimization is based on 18 months of participant observation and nine in-depth interviews with a team of expert clinicians who have been treating over 80 OCD patients since 2005. By repeatedly observing particular situations for an extended period of time, we found that there are recurrent patterns in the ways clinicians interact with patients. These patterns of clinical practice shape the possibilities clinicians have for making sense of DBS-induced changes in patients’ lived experience and behavior. Collective established patterns of clinical practice are dynamic and change under the influence of individual learning experiences in particular situations, opening up new possibilities and challenges. We conclude that patterns of clinical practice and particular situations are mutually constitutive. Ethnography is ideally suited to bring this relation into view thanks to its broad temporal scope and focus on the life-world. Based on our findings, we argue that clinical expertise not only implies skillful engagement with a concrete situation but also with the patterns of clinical practice that shape what is possible in this specific situation. Given this constraining and enabling role of practices, it is important to investigate them in order to find ways to improve diagnostic and therapeutic possibilities. (shrink)

Keuze van artikelen uit het werk van de Vlaamse filosoof over wetenschap, milieu, en medische en biologische ethiek.

We analyze extensive games as interactive process models, using modallanguages plus matching notions of bisimulation as varieties of gameequivalences. Our technical results show how to fit existing modalnotions into this new setting.

The traditional use of ergodic theory in the foundations of equilibrium statistical mechanics is that it provides a link between thermodynamic observables and microcanonical probabilities. First of all, the ergodic theorem demonstrates the equality of microcanonical phase averages and infinite time averages (albeit for a special class of systems, and up to a measure zero set of exceptions). Secondly, one argues that actual measurements of thermodynamic quantities yield time averaged quantities, since measurements take a long time. The combination of these (...) two points is held to be an explanation why calculating microcanonical phase averages is a successful algorithm for predicting the values of thermodynamic observables. It is also well-known that this account is problematic.

This survey intends to show that ergodic theory nevertheless may have important roles to play, and it explores three other uses of ergodic theory. Particular attention is paid, firstly, to the relevance of specific interpretations of probability, and secondly, to the way in which the concern with systems in thermal equilibrium is translated into probabilistic language. With respect to the latter point, it is argued that equilibrium should not be represented as a stationary probability distribution as is standardly done; instead, a weaker definition is presented. (shrink)

Purpose The purpose of this paper is to develop an ethical framework for the marketing of corporate social responsibility. Methods The approach is a conceptual one based on virtue ethics and on the corporate identity literature. Furthermore, empirical research results are used to describe the opportunities and pitfalls of using marketing communication tools in the strategy of building a virtuous corporate brand. Results/conclusions An ethical framework that addresses the paradoxical relation between the consequentialist perspective many proponents of the marketing of (...) CSR adopt, and ethical perspectives which criticize an exclusive profit-oriented approach to CSR. Furthermore, three CSR strategies in relation to the marketing of CSR are discussed. For each CSR strategy it is explored how a corporation could avoid falling into the promise/performance gap. (shrink)

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

Emotions have traditionally been viewed as intrapersonal phenomena. Over the past decades, theory and research have shifted toward a more social perspective that emphasizes the role of emotional ex...

A new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain advantages over Dynamic (...) Predicate Logic orDiscourse Representation Theory. It comes with a more well behaved(i.e., transitive) consequence relation, it gives a more explicitaccount of how anaphoric context grows as text gets processed, and ityields new insight into the dynamics of anaphoric linking in reasoning.Incremental dynamics also points to a new way of handling contextdynamically in Montague grammar. (shrink)

Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation (...) of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic. (shrink)

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...) logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions is discussed.The modal language to be considered here has an infinite supply of proposition letters, a propositional constant ⊥, the usual Boolean operators ¬, ∨, ∨, →, and ↔ —with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ and □ — ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals. (shrink)

The European Corporate Sustainability Framework (ECSF) is a new generation management framework, aimed to meet increased corporate complexity and support corporate transformation towards more sustainable ways of doing business. It is a multi-layer, integral business framework with an analytical, contextual, situational and dynamic dimension.Analytically, the framework is structured according to four focus points – the constitutional, conceptual, behavioural and evaluative perspective – providing integrative designs of complex and dynamic phenomena. The framework includes coherent sets of business philosophies, approaches, concepts and (...) tools that structures corporate realities and generates sequences of steps in order to obtain adequate institutional structures, a road to corporate transformation and higher performance levels. (shrink)

Liang Shuming’s 梁漱溟 China: the Country of Reason is a little-known, posthumously published manuscript composed between 1967 and 1970 during the Cultural Revolution. It offers a unique perspective on Liang’s philosophical attempt to reconcile the Communist revolutionary legacy with the Confucian tradition that he continued to uphold in mainland China after the founding of the People’s Republic. By presenting and analyzing the main themes and concepts of this book, I try to cast some light on Liang’s idiosyncratic repurposing of historical (...) materialist concepts in reinterpreting what he takes to be “early enlightenment” accomplished through the Confucian celebration of “reason” and its “replacement of religion by morality.” In doing so, I explore the complex relations between revolutionary, religious, and ethnic identity in his late philosophy. (shrink)

Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the..

Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.

Although not always termed “organizational justice,” the fairness of organizations has been a consistent concern of management thinkers. A review of the 1900–1965 time period indicates that management theorists primarily conceptualized organizational justice in utilitarian terms, although each theory emphasized distributive and procedural justice to different degrees. There is clearly a need for contemporary scholars to consider non-economic rationales for organizational justice, but the willingness of earlier scholars to make utilitarian arguments about organizational justice and productive efficiency helped legitimize the (...) idea of fairness in organizations as an arbiter of value. Further, each theory tempered absolute managerial autonomy with some inherent check thereon. Researchers interested in organizational justice should therefore take a historical perspective in considering how management theory includes consideration of justice-related concerns. (shrink)

In this paper several arguments are discussed and evaluated concerning the possibility of discrete space and time.