Samenvatting van de grote wijsgerige systemen van Plato tot en met Hegel, gevolgd door een kritische analyse van de metafysica als uitingsvorm van westers intellectualisme.

This is surely a bit of Socrates' famous irony. He draws the analogy to explain how his friends should regard poetry as they regretfully banish it from the ideal state. But lovers were no more sensible then than they are now. The advice to banish poetry, undermined already by Plato's own delight and skill in drama, is perhaps undermined still further by this evocation of a 'sensible' lover who counts love so well lost. Yet Socrates' image is one of avowed (...) rationality and prudence. The sensible lover imitates the older literary example of Ulysses' tying himself to the mast. (The example belongs therefore to the class of problems treated in Elster (1979)). Both this lover and Ulysses foresee that under certain possible future conditions, their opinions, values and preferences will or would differ from what they are now, in a very definite fashion. To what extent is such foresight possible? Correspondingly (when we do not claim foreknowledge) to what extent is such opinion reasonable, rational, coherent, or consistent in some suitably broad sense? It is not easy to understand exactly what is possible or even logically permissible in this respect. In an earlier paper, "Belief and the Will", I argued for a principle ("Reflection") to govern such deliberation. Here I will both generalize the treatment of opinion in "Belief and the Will" and respond to criticism. Critical examples mainly resembled the story of Ulysses who foresaw a period of dysfunction (at the sound 2 of the sirens) in his epistemic and/or doxastic future. Other criticism focused on the model of opinion used (precise numerical subjective probability) and on the merits of Dutch Book arguments. The present argument will not rely on Dutch Book arguments and strategies, and the Reflection principle will be formulated so as to apply also to vague opinion. (shrink)

Résumé : Le PPBS a été conçu comme un instrument destiné à ceux qui décident de l'allocation des ressources publiques : il doit leur permettre de prendre de meilleures décisions. S'il est très difficile de repérer et de juger les choix que le développement du système a inspirés aux Etats-Unis, il n'en est pas mains certain que ses résultats tangibles sant maigres car la masse des anciens programmes, principale source potentielle de moyens nouveaux, n'a guère été remise en question.La valeur (...) intrinsèque du PPBS ne peut être mise en cause. Ce qui doit l'être, c'est la lenteur de son développement, qui demeure peu avancé. Cette lenteur s'explique, car le système ne peut produire des fruits dans une terre stérile qu'on n'a pas préparée.La brutalité et les maladresses de l'opération déclenchée en 1965 dans le gouvernement fédéral américain ne pouvaient que renforcer la résistance au changement et retarder, sinon compromettre, le succès final. Les perspectives demeurent heureusement favorables, puisque la nouvelle administration ne semble pas décidée à faire machine arrière et que les Etats et Villes ont démarré sous de bien meilleurs auspices.La principale conclusion qu'imposent les expériences américaines est que toute juridiction intéressée par le PPBS doit impérativement développer, de la façon la plus générale, la volonté d'instaurer le système et s'assurer les moyens de le faire. C'est dire qu'il est peu sage d'engager la bataille sur tous les fronts à la fois : il faut tenter des percées. Mais c'est dire aussi combi en l'information et la formation sant essentielles. A cet égard, l'installation généralisée de certains éléments du système, à savoir la structure de programmes et le budget-programme, loin de présenter des inconvénients, peut constituer un excellent exercice en dehors de son utilité directe pour le preneur de décision. La bataille en cause est surtout celle de la conviction: l'outil est prêt, il est bon, encore faut-il que l' ouvrier accepte de s'en servir.Samenvatting:Planning-programming-budgeting werd ontworpen als een instrument voor diegenen die beslissen over de toewijzing van de overheidsmiddelen.Dit instrument moet de beslissers in staat stellen betere beslissingen te treffen. Het is niet makkelijk deze beslissingen op te sporen en te beoordelen welke in de Verenigde Staten getroffen werden onder invloed van de ontwikkeling van deze systeembenadering. Toch is het met vrij grote zekerheid te stellen dat de tastbare resultaten gering zijn omdat de veelheid aan oude programma's die tenslotte toch de voornaamste potentiële bronnen zijn van nieuwe middelen, nooit werden aangevochten.De intrinsieke waarde van PPBS kan daarom evenwel niet worden genegeerd. Wat wel dient aangeklaagd is de traagheid van zijn aanslepende ontwikkeling. Deze traagheid is te verklaren door het feit dat het systeem slechts vruchten kan afwerpen zo het ingeplant wordt in degelijk voorbereid terrein.De brutaliteit en de onhandigheden bij de operatie die in 1965 werd ingezet in het amerikaans federaal overheidsbestel konden niets anders dan de weerstand tegen de verandering versterken en afbreuk doen aan het uiteindelijk slagen van het systeem. Gelukkiglijk blijven de vooruitzichten gunstig want de nieuwe beleidsvoerders sinds de presidentsverkiezingen, blijken ermee te willen doorgaan en de staten en lokale overheden zijn ermee van wal gestoken onder veel betere omstandigheden. Het doorslaggevend besluit uit de amerikaanse ervaringen terzake is wel dat elke instantie welke belangstelling heeft voor PPBS, nodig moet op zo breed mogelijk vlak de wil doen groeien om het systeem te ontwikkelen en er ook de nodige middelen toe ter beschikking stellen. Dit betekent tevens dat het weinig aan te bevelen is de strijd op alle fronten terzelvertijd aan te binden maar wel geleidelijk doorbraken te verwezenlijken. Dit brengt dan evenwel ook met zich dat informatie en vorming essentieel zijn bij deze strategie. In dit verband moet dan ook gezegd worden dat reeds het invoeren van sommige deelementen van het systeem, zoals de programmastructuur en het programmabudget, voor de beslisser nuttig kan zijn voor zijn persoonlijk inzicht en vorming.De te voeren actie dient nog slechts te worden toegespitst op het overtuigen van de verantwoordelijken. Het instrument is immers gebruiksklaar en degelijk, er is alleen nog het wachten op de wil van de gebruiker dit instrument ter hand te nemen. (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.

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

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)

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)

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)

Three puzzles about self-deception make this mental phenomenon an intriguing explanatory target. The first relates to how to define it without paradox; the second is about how to make sense of self-deception in light of the interpretive view of the mental that has become widespread in philosophy; and the third concerns why it exists at all. In this paper I address the first and third puzzles. First, I define self-deception. Second, I criticize Robert Trivers' attempt to use adaptionist evolutionary psychology (...) to solve the third puzzle (existence). Third, I sketch a theory to replace that of Trivers. Self-deception is not an adaptation, but a spandrel in the sense that Gould and Lewontin give the term: a byproduct of other features of human (cognitive) architecture. Self-deception is so undeniable a fact of human life that if anyone tried to deny its existence, the proper response would be to accuse this person of it. (Allen Wood, 1988). (shrink)

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)

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...

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.

The word "world" has in fact many ordinary uses as a count noun; I shall discuss some of them below.(2) There is however also a distinctive philosophical use found in recent ontology (in the sense in which Quine reintroduced this term in analytic philosophy, for theories about what there is). As to this philosophical use, I shall argue that there is no reason to think that it refers to anything, if indeed it is intelligible at all.

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..

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)

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)

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)

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