This paper defines reduction on derivations (cut-elimination) in the Strict Intersection Type Assignment System of an earlier paper and shows a strong normalization result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterization of normalizability of terms using intersection types.
We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...) only for systems without polymorphism. The type assignment systems we consider satisfy the properties ‘subject reduction’ and ‘strong normalization’. Moreover, we define a new type assignment cube that is isomorphic to the typed one. (shrink)
This paper studies intersection and union type assignment for the calculus , a proof-term syntax for Gentzen’s classical sequent calculus, with the aim of defining a type-based semantics, via setting up a system that is closed under conversion. We will start by investigating what the minimal requirements are for a system, for to be complete ; this coincides with System , the notion defined in Dougherty et al. [18]; however, we show that this system is not sound , so our (...) goal cannot be achieved. We will then show that System is also not complete, but can recover from this by presenting System as an extension of and showing that it satisfies completeness; it still lacks soundness. We show how to restrict so that it satisfies soundness as well by limiting the applicability of certain type assignment rules, but only when limiting reduction to call-by-name or call-by-value reduction; in restricting the system this way, we sacrifice completeness. These results when combined show that, with respect to full reduction, it is not possible to define a sound and complete intersection and union type assignment system for. (shrink)
After more than 15 years of study, the 1/f noise or complex-systems approach to cognitive science has delivered promises of progress, colorful verbiage, and statistical analyses of phenomena whose relevance for cognition remains unclear. What the complex-systems approach has arguably failed to deliver are concrete insights about how people perceive, think, decide, and act. Without formal models that implement the proposed abstract concepts, the complex-systems approach to cognitive science runs the danger of becoming a philosophical exercise in futility. The complex-systems (...) approach can be informative and innovative, but only if it is implemented as a formal model that allows concrete prediction, falsification, and comparison against more traditional approaches. (shrink)
This paper provides preliminary insights into the process of sense-making and developing meaning with regard to corporate social responsibility (CSR) within 18 Dutch companies. It is based upon a research project carried out within the framework of the Dutch National Research Programme on CSR. The paper questions how change agents promoting CSR within these companies made sense of the meaning of CSR. How did they use language (and other instruments) to stimulate and underpin the contextual essence of CSR? Why did (...) they do that in this particular way? What were the consequences of this approach for shaping the process of CSR in their company? Did their efforts contribute to a new way of thinking and acting or was it merely putting old wine in new barrels? A preliminary conclusion is that change agents use above all linguistic artefacts (words and notions) and carry out practical projects while constructing meaning. Still, the meaning of meaning itself remains highly intangible, situational and personality related. (shrink)
In 1714, the Dutch scholar Willem Jacob's Gravesande published a theoretical essay on how to optimize the air-pump. Although his paper did not attract much attention, there was one important supplier of air-pumps who knew about it: the Leiden instrument maker Jan van Musschenbroek. 's Gravesande and he cooperated intensively between 1717 and 1742. Among other things, this cooperation resulted in two new air-pump designs to replace Musschenbroek's own models. A closer analysis of's Gravesande's influence on Musschenbroek's repertoire reveals that (...) the various changes were not inspired by the theory of the air-pump. Commercial and practical considerations were much more important than theoretical reflections, even though both approaches aimed at the same goal: a fast and handy air-pump. (shrink)
Following Manne (1966, Insider Trading and the Stock Market (New York, Free Press)) we introduce a distinction between insider trading and market manipulation on the one hand and corporate insiders versus misappropriators on the other hand. This gives rise to four types of alleged inside transactions. We argue that the literature on insider trading has often targeted inside transactions type II, III and IV but that these arguments do not necessarily hold for type I transactions. We look for consequentionalist as (...) well as non-consequentionalist arguments against type I transactions and demonstrate that these are hard to find. Throughout the article we refer extensively to the economic literature on insider trading in order to overcome a relative divide between the economic, legal, and philosophical discussion on insider trading. (shrink)
Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...) logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of bare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics. Part one of this program consisted of the analysis of 'dynamic interpretation' in this way, using the example of dynamic predicate logic [10]; the results were published in [7]. The present paper constitutes the second part of the program, the analysis of 'dynamic inference'. Here we focus on Veltman’s update logic [22]. Update logic is an example of a logical framework which takes the dynamics of drawing inferences into account by modelling information growth as discarding of possibilities. This paper shows how information logics like update logic can fruitfully be studied by linking their dynamic principles to static 'correctness descriptions'. Our theme is exemplified by providing a sound and complete HoarelPratt style deduction system for update logic. The Hoare/Pratt correctness statements use modal propositional dynamic logic as assertion language and connect update logic to the modal propositional logic S5. The connection with S5 provides a clear link between the dynamic and the static semantics of update logic. The fact that update logic is decidable was noted already in [2]; the connection with S5 provides an alternative proof. The S5 connection can also be used for rephrasing the validity notions of update logic and for performing consistency checks. In conclusion, it is argued that interpreting the dynamic statements of information logics as dynamic modal operators has much wider applicability. In fact, the method can be used to axiomatize quite a wide range of information logics. (shrink)
SummaryWicherts criticizes the use of the method of correlated vectors when testing Spearman’s hypothesis. It is argued that Wicherts ignores the psychometric meta-analytic method of correlated vectors hybrid model and so is attacking a strawman.
In this paper, the process for firms to decide whether or not to invest in corporate social responsibility is treated from a real option perspective. We extend the Husted framework with an important extra parameter that allows us to understand the timing of CSR investment and explain why some companies drag their feet over CSR investments. Our model explicitly allows for the impact of the opportunity cost of delaying the CSR investment decision, providing firms with tools to determine the optimal (...) moment of exercising the CSR investment option. We illustrate our timing model through a case study and analyze governmental support strategies for CSR from a real options perspective. (shrink)
Review of Jan van der Stoep's published PhD dissertation on the work of Pierre Bourdieu.en de politieke filosofie van het multiculturalisme Kok Kampen 2005. My review is in English. van der Stoep's book is in Dutch with an English summary.
This essay had its beginnings in my desire to reexamine the Arnolfini portrait from the perspective of Giovanna Cenami, the demure young woman who stands beside the cloaked and hated man on the fifteenth-century panel in London. Even though she shares the formal prominence with the man in Jan van Eyck’s unprecedented composition, she has been paid scant attention in the literature on the painting. I anticipated, as I began my work that inspection of the female subject of the panel (...) would, of necessity, amend the authoritative count of the Arnolfini portrait that Panofsky first published in 1934. That narrative, which focused on the event portrayed, had been recited to me by my teachers as an example of interpretive truth; I had committed it to memory as a model of our discipline’s search for meaning. I never dreamed back then that it might be “wrong.” Yet, the material I encountered as I pursued my inquiry into Giovanna’s life contradicted Panofsky’s assumptions on several key points; amendment alone would not do. It seemed necessary for me to challenge the venerable interpretation others were starting to question,4 even though two generations of students, including my own, had learned from it all they thought there was to know about “Jan van Eyck’s Arnolfini Portrait.” 4. See, for example, Peter H. Schabacker, “De Matrimonio ad Morganaticam Conracto: Jan van Eyck’s ‘Arnolfini’ Portrait Reconsidered,” Art Quarterly 35 : 375-98, hereafter abbreviated “DM”; Lucy Freeman Sandler, “The Handclasp in the Arnolfini Wedding: A Manuscript Precedent,” Art Bulletin 66 : 488-91, hereafter abbreviated “H”; and Jan Baptist Bedaux, “The Reality of Symbols: The Question of Disguised Symbolism in Jan van Eyck’s Arnolfini Portrait,” Simiolus 16 : 5-28, hereafter abbreviated “RS.” Linda Seidel, associate professor in the department of art at the University of Chicago, is the author of Songs of Glory , a study of twelfth-century French architectural sculpture. She is currently completing a work on medieval doorway design as an art of entry and pursuing a collaborative project with Michael Camille and Robert Nelson, Medieval Art and Its Audiences. (shrink)
When thinking about ethics, technology is often only mentioned as the source of our problems, not as a potential solution to our moral dilemmas. When thinking about technology, ethics is often only mentioned as a constraint on developments, not as a source and spring of innovation. In this paper, we argue that ethics can be the source of technological development rather than just a constraint and technological progress can create moral progress rather than just moral problems. We show this by (...) an analysis of how technology can contribute to the solution of so-called moral overload or moral dilemmas. Such dilemmas typically create a moral residue that is the basis of a second-order principle that tells us to reshape the world so that we can meet all our moral obligations. We can do so, among other things, through guided technological innovation. (shrink)
This handbook offers an in depth and comprehensive state of the art survey of the linguistic domains of modality and mood. An international team of experts in the field examine the full range of methodological and theoretical approaches to the many facets of the phenomena involved. Following an opening section that provides an introduction and historical background to the topic, the volume is divided into five parts. Parts 1 and 2 present the basic linguistic facts about the systems of modality (...) and mood in the languages of the world, covering the semantics and the expression of different subtypes of modality and mood respectively. The authors also examine the interaction of modality and mood, mutually and with other semantic categories such as aspect, time, negation, and evidentiality. In Part 3, authors discuss the features of the modality and mood systems in five typologically different language groups, while chapters in Part 4 deal with wider perspectives on modality and mood: diachrony, areality, first language acquisition, and sign language. Finally, Part 5 looks at how modality and mood are handled in different theoretical approaches: formal syntax, functional linguistics, cognitive linguistics and construction grammar, and formal semantics. (shrink)
Résumé Grâce à l’analyse de manuels scolaires, qui, par leur caractère succinct, se manifestent comme des sources principales pour reconstituer des mentalités théologiques, nous cherchons dans cette étude à découvrir quel était le paradigme interreligieux qui prévalait dans les cercles catholiques du Canada français avant et pendant Vatican II. Nous avons essayé de mettre au point la relation entre le paradigme interreligieux et la représentation des religions non chrétiennes dans les manuels d’apologétique utilisés dans l’enseignement religieux catholique et francophone au (...) Québec. Cette recherche a donné des résultats surprenants : le paradigme interreligieux sous-jacent n’était pas exclusiviste mais inclusiviste. Dans le présent article, nous exposons en détail les éléments constitutifs de ce paradigme inclusiviste. Le cas échéant, nous signalons les continuités avec Vatican II.By examining religious school textbooks — which constitute a crucial source for the reconstruction of theological mentalities precisely because of their concise nature — this study attempts to gain insight into the inter-religious theological discourse that prevailed in French Canadian Catholic circles before and around the time of Vatican II. We have made a first attempt at a consistent definition of the relationship between the underlying Catholic inter-religious theological paradigm and the representation of non-Christian religions that is presented in French Canadian religion textbooks on apologetics in Catholic secondary religious education. This research provides some surprising results : the dominant inter-religious paradigm turned out not to be exclusivistic but inclusivistic in nature. In this article we will explore the details of this inclusivistic mindset. Whenever possible, we will focus on the continuity with Vatican II. (shrink)
Cette étude a été conçue comme une recherche interdisciplinaire historique, pédagogique, anthropologique et théologique, avec pour but d’examiner comment l’identité catholique a été forgée et maintenue au moyen de représentations de « soi-même » et de « l’autre » non chrétien, c’est-à-dire l’islam, dans le cadre narratif et discursif des manuels d’histoire de l’Église utilisés dans l’enseignement de la religion au primaire et au secondaire, au Canada francophone et en Belgique. Ces dernières années, de nombreuses recherches ont porté sur la (...) pédagogie historique traditionnelle, la recherche d’identité culturelle et la mentalité pédagogique, à partir de manuels scolaires. Mais, dans le domaine de la théologie et de la pédagogie religieuse, ce genre d’étude a pour ainsi dire été négligé. Nous ferons appel à un certain nombre de concepts, tels que « l’inclusivisme » et « l’exclusivisme », venant de la théologie qui se prêtent particulièrement bien à l’éclaircissement du processus de la formation de l’identité culturelle. This study is conceived as an interdisciplinary historical, theological, educational and anthropological research of the construction of a Catholic identity on the basis of the “self” and the non-Christian “other”, in this case Islam, in the narrative and discursive settings of Church history textbooks for primary and secondary religion education in French Canada and in Belgium. In recent years, a huge amount of studies, starting from the analysis of textbooks, on cultural identities and educational mentalities have been produced in the classical history of education. Nevertheless, such studies have almost been a blind spot in theology and religious education. In concrete, we will appeal to a number of theological concepts like “inclusivism” and “exclusivism”, who are particularly suited to shed a light on the process of constructing a cultural identity. (shrink)
This study explored the relationship between both overall television viewing and romantic youth drama viewing, as well as of females’ concerns about boys’ attractiveness expectations on the one hand, and body image dissatisfaction on the other. Participants were 411 adolescent girls who completed self-report measures on body dissatisfaction, television viewing, and concerns about appearance expectations. Our results indicated that there was both a direct and indirect relationship between romantic youth drama viewing and body satisfaction. Girls who spent more time watching (...) romantic youth drama displayed lower levels of body satisfaction. In addition, romantic youth drama viewing had a significant positive impact on concerns about boys’ attractiveness expectations, which had an indirect effect on body satisfaction. (shrink)
This study investigates the negative reactions of Dutch viewers to the content of television programs. The results show that a vast majority is sometimes irritated by TV programs, that a somewhat smaller majority is sometimes shocked by the programs, and that one fifth of the viewing population consider certain programs to be intolerable. The most frequently mentioned genres are games, shows, and related entertainment programs, while reality TV, news and current affairs, and sex are primarily evaluated as irritating. It appears (...) that violent and frightening material creates by far the largest category of negative responses. Intimidating behavior worries the viewers most, immediately followed by the violation of privacy. This article also discusses the consequences of these results for broadcasting policy in the Netherlands. (shrink)