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.

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)

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)

To describe leadership as ethical is largely a perceptional phenomenon informed by beliefs about what is normatively appropriate. Yet there is a remarkable scarcity in the leadership literature regarding how to define what is "normatively appropriate." To shed light on this issue, we draw upon Relational Models Theory (Fiske, 1992, Psychol Rev, 99:689-723), which differentiates between four types of relationships: communal sharing, authority ranking, equality matching, and market pricing. We describe how each of these relationship models dictates a distinct set (...) of normatively appropriate behaviors. We argue that perceptions of unethical leadership behavior result from one of three situations: (a) a mismatch between leader's and follower's relational models, (b) a different understanding about the behavioral expression, or preos, of the same relational model, or (c) a violation of a previously agreed upon relational model. Further, we argue that the type of relational model mismatch impacts the perceived severity of a transgression. Finally, we discuss the implications of our model with regard to understanding, managing, and regulating ethical leadership failures. (shrink)

This volume studies local priests as central players in small communities of early medieval Europe. As clerics living among the laity, priests played a double role within their communities: that of local representatives of the Church and religious experts, and that of owners of land and other goods. By virtue of their membership of both the ecclesiastical and the secular world, they can be considered as ‘men in the middle’: people who brought politico-religious ideas and ideals to secular communities, and (...) who linked the local to the supra-local via networks of landownerhsip. This book addresses both roles that local priests played by approaching them via their manuscripts, and via the charters that record transactions in which they were involved. Manuscripts once owned by local priests bear witness to their education and expertise, but also indicate how, for instance, ideals of the Carolingian reforms reached the lowest levels of early medieval society. The case-studies of collections of charters, on the other hand, show priests as active members of networks of the locally powerful in a variety of European regions. Notwithstanding many local variations, the contributions to this volume show that local priests as ‘men in the middle’ are a phenomenon shared by the early medieval world as a whole. (shrink)

In the aftermath of various corporate scandals, management research and practice have taken great interest in ethical leadership. Ethical leadership is referred to as “normatively appropriate conduct” (Brown et al. in Organ Behav Hum Decis Process 97(2):117–134, 2005), but the prescriptive norms that actually underlie this understanding constitute an open question. We address this research gap by turning to relational models theory (Fiske in Structures of social life: the four elementary forms of human relations, Free Press, New York, 1991), which (...) contextualizes four distinct moralities in four distinct interactional norms (i.e., the relational models). We expect that the norms inherent in each model dictate the type of leader relationship that followers deem ethical. Specifically, we hypothesize that, for each norm, followers will perceive leaders as less ethical the more discrepant, i.e., the more incongruent, followers’ ideal relational norm is with the perceived norm that they attribute to their actual leader–follower interaction. We tested the respective incongruence hypothesis in a cross-sectional survey of 101 Dutch employees. Polynomial regression and surface response analyses provide support for the hypothesized incongruence effects in each of the four relational models, suggesting that normatively appropriate conduct should not be limited to caring (i.e., community-oriented) behaviors. Indeed, all four relational models can predict ethical leadership perceptions. We discuss the implications in the context of ethical leadership research and managerial practice. (shrink)

Successful surgical treatment of patients with focal drug-resistant epilepsy remains challenging, especially in cases for which it is difficult to define the area of cortex from which seizures originate, the seizure onset zone. Various diagnostic methods are needed to select surgical candidates and determine the extent of resection. Interictal magnetoencephalography with source imaging has proven to be useful for presurgical evaluation, but the use of ictal MEG data remains limited. The purpose of the present study was to determine whether pre-ictal (...) variations of spectral properties of neural activity from ictal MEG recordings are predictive of SOZ location.We performed a 4 h overnight MEG recording in an 8-year-old child with drug-resistant focal epilepsy of suspected right fronto-temporal origin and captured one ~45-s seizure. The patient underwent a right temporal resection from the anterior temporal neocortex and amygdala to the mid-posterior temporal neocortex, sparing the hippocampus proper. She remains seizure-free 21 months postoperatively. The histopathological assessment confirmed frank focal cortical dysplasia type IIa in the MEG-defined SOZ, which was based on source imaging of averaged ictal spikes at seizure onset. We investigated temporal changes together with spatial differences in spectral parameters of background brain activity, namely the aperiodic broadband offset and slope, and assessed how they confounded the interpretation of apparent variations of signal power in typical electrophysiological bands. Our data show that the SOZ was associated with a higher aperiodic offset and exponent during the seizure compared to control regions. Both parameters increased in all regions from 2 min before the seizure onwards. Regions anatomically closer to the SOZ also expressed higher values compared to contralateral regions, potentially indicating ictal spread. We also show that narrow-band power changes were caused by these fluctuations in the aperiodic component of ongoing brain activity. Our results indicate that the broadband aperiodic component of ongoing brain activity cannot be reduced to background noise of no physiological interest, and rather may be indicative of the neuropathophysiology of the SOZ. We believe these findings will inspire future studies of ictal MEG cases and confirm their significance. (shrink)

Background: One of the ethical imperatives for a valid consent process in clinical medication trials is that the process be guided by and recorded in an informed consent document (ICD). Concerns have been expressed, however, about readability and participant understanding of ICDs, which are often 10–20 pages long. Objective measures of readability and understanding have been used to support these concerns in several articles, but surprisingly the voice of trial participants on ICDs has not been heard in previous studies. Hence, (...) this study compares participants' subjective views on readability and their understanding of ICDs with those ICDs' objective readability scores. It also evaluates whether family, friends, and additional aids would foster better understanding of the ICD. Methods: Sixty current trial participants rated the readability and their understanding of deidentified standard ICDs. These had been sourced from two multicenter international Phase III trials on medication for diabetes mellitus and cancer. Results: Less than 10% of participants considered the ICDs difficult to read or difficult to understand in spite of objective readability scores at levels of about 12th grade education, but about a quarter considered the ICDs to be too technical. Participants gave mixed responses about friends or family members helping or the need for videos, pictures, additional reading material, and frequently answered questions (FAQ) sheets as an aid to their understanding. Conclusions: These findings suggest individual clinical trial participants should be engaged on their views of an ICD, for doing so is part of informed consent as a process rather than consent being merely focused on written information. Such participant-specific engagement should guide whether family and friends, videos, pictures, additional reading material, and FAQ sheets would be of assistance in improving understanding. (shrink)

A comprehensive, self-contained survey of the theory and applications of differential games, one of the most commonly used tools for modelling and analysing economics and management problems which are characterised by both multiperiod and strategic decision making. Although no prior knowledge of game theory is required, a basic knowledge of linear algebra, ordinary differential equations, mathematical programming and probability theory is necessary. Part One presents the theory of differential games, starting with the basic concepts of game theory and going on (...) to cover control theoretic models, Markovian equilibria with simultaneous play, differential games with hierarchical play, trigger strategy equilibria, differential games with special structures, and stochastic differential games. Part Two offers applications to capital accumulation games, industrial organization and oligopoly games, marketing, resources and environmental economics. (shrink)

Our ability to select relevant information from the environment is limited by the resolution of attention – i.e., the minimum size of the region that can be selected. Neural mechanisms that underlie this limit and its development are not yet understood. Functional MRI was performed during an object tracking task in 7- and 11-year-old children, and in young adults. Object tracking activated canonical fronto-parietal attention systems and motion-sensitive area MT in children as young as 7 years. Object tracking performance improved (...) with age, together with stronger recruitment of parietal attention areas and a shift from low-level to higher-level visual areas. Increasing the required resolution of spatial attention – which was implemented by varying the distance between target and distractors in the object tracking task – led to activation increases in fronto-insular cortex, medial frontal cortex including anterior cingulate cortex (ACC) and supplementary motor area, superior colliculi, and thalamus. This core circuitry for attentional precision was recruited by all age groups, but ACC showed an age-related activation reduction. Our results suggest that age-related improvements in selective visual attention and in the resolution of attention are characterized by an increased use of more functionally specialized brain regions during the course of development. (shrink)

In this paper, I take up the question to what extent and in which sense we can conceive of Johannes Baptista Van Helmont’s (1579-1644) style of experimenting as “modern”. Connected to this question, I shall reflect upon what Van Helmont’s precise contribution to experimental practice was. I will argue - after analysing some of Van Helmont's experiments such as his tree-experiment, ice-experiment, and thermoscope experiment - that Van Helmont had a strong preference to locate experimental designs in places wherein variables (...) can be more easily controlled (and in the limit, in relatively closed physical systems such as paradigmatically the vessel, globe or sphere (vas, globus, sphera)). After having reviewed some alternative candidates, I shall argue that Van Helmont’s usage of relatively isolated physical systems and a moderate degree of quantification, whereby mathematical procedures mainly refer to guaranteeing that quantities are conserved by roughly determining them, are the characteristics that best captures his contributions to “modern” experimentation. (shrink)

Background:Admission to a nursing home does not necessarily diminish an older person’s desire for sexual expression and fulfillment. Given that nursing staff directly and indirectly influence the range of acceptable sexual expressions of nursing home residents, their knowledge and attitudes toward aged sexuality can have far-reaching effects on both the quality of care they provide to residents and the self-image and well-being of these residents.Research objectives:To investigate nursing staff’s knowledge and attitudes toward aged sexuality, to determine whether certain sociodemographic factors (...) of the nursing staff relate to their knowledge and attitudes toward later-life sexuality, and to examine the relationship between knowledge and attitudes.Research design:Descriptive cross-sectional survey study.Research participants and research context:The administered questionnaire collected sociodemographic data and data from an adapted, Dutch version of the Aging Sexual Knowledge and Attitudes Scale. Data were collected from November 2011 through April 2012. A total of 43 geographically dispersed nursing homes in Flanders, Belgium, participated. Out of a potential research sample of 2228 nursing staff respondents, 1166 participated.Ethical considerations:The study protocol was approved by the Ethics Committee of the Faculty of Medicine of the KU Leuven.Findings:Nursing staff appeared to be moderately knowledgeable about aged sexuality and displayed a rather positive attitude toward sexuality in older people. Significant relationships between various variables were found both at univariable and multivariable levels. Knowledge and attitudes proved to be positively related, indicating that a higher level of knowledge of aged sexuality is associated with a more positive attitude toward sexuality in later life.Discussion:Research findings are discussed within a broader international context.Conclusion:There is room for improvement for both nursing staff’s knowledge and attitudes toward aged sexuality. This might be aided by appropriate educational interventions. Our results identified different target groups of nursing home staff for these interventions. (shrink)

In this article, we discuss the development of the concept of a ‘law’ (of nature) in the work of the Dutch natural philosopher and experimenter Petrus van Musschenbroek (1692–1761). Since Van Musschenbroek is commonly described as one of the first ‘Newtonians’ on the Continent in the secondary literature, we focus more specifically on its relation to Newton’s views on this issue. Although he was certainly indebted to Newton for his thinking on laws (of nature), Van Musschenbroek’s views can be seen (...) to diverge from Newton’s on crucial points. We show, moreover, how his thinking on laws of nature was shaped by both international and local factors. We start with a brief discussion of Newton’s concept of ‘laws of nature’ in order to set the stage for Van Musschenbroek’s. We then document the development of Van Musschenbroek’s views on laws of nature in chronological order. We demonstrate how his thinking on laws of nature was tied to institutional, theological and scientific factors. We conclude by pointing to the broader significance of this case study for our understanding of the development of the concept ‘law of nature’ during the eighteenth century. (shrink)

The immense oeuvre of William Whewell (1794-1886), a Victorian monument by itself, has to some extent been treated in a stepmotherly fashion by philosophers and historiansof philosophy. This paper attempts to conceptually clarify Whewell's notion of necessity, which was a core notion in his philosophical project. The author also sketches in broad lines the historical development of this notion in Whewell's thinking and points tothe intertwinement between Whewell's philosophy and theology. Whewell's philosophical work was deeply based on the history of (...) science and his doctrine of Fundamental Ideas can be interpreted as an attempt to historicize Kant's transcendental categories. (shrink)

Here, I shall argue that Van Helmont needs to be added to the list of sources on which Newton drew when formulating his doctrine of absolute time. This by no means implies that Van Helmont is the factual source of Newton's views on absolute time (I have found no clear-cut evidence in support of this claim). It is by no means my aim to debunk the importance of the other sources, but rather to broaden them. Different authors help to explain (...) different aspects of Newton's conception of absolute time. (shrink)

In this essay, I will bring several hitherto neglected sources, which pertain to Petrus van Musschenbroek’s unpublished manuscripts, to the fore. The folios at hand show that Musschenbroek read and actively engaged with Spinoza’s Ethica. More precisely, it will be shown that Musschenbroek held clear-cut anti-Spinozistic convictions.

Like many of their contemporaries Bernard Nieuwentijt and Pieter van Musschenbroek were baffled by the heterodox conclusions which Baruch Spinoza drew in the Ethics. As the full title of the Ethics—Ethica ordine geometrico demonstrata—indicates, these conclusions were purportedly demonstrated in a geometrical order, i.e. by means of pure mathematics. First, I highlight how Nieuwentijt tried to immunize Spinoza’s worrisome conclusions by insisting on the distinction between pure and mixed mathematics. Next, I argue that the anti-Spinozist underpinnings of Nieuwentijt’s distinction between (...) pure and mixed mathematics resurfaced in the work of van Musschenbroek. By insisting on the distinction between pure and mixed mathematics, Nieuwentijt and van Musschenbroek argued that Spinoza abused mathematics by making claims about things that exist in rerum natura by relying on a pure mathematical approach. In addition, by insisting that mixed mathematics should be painstakingly based on mathematical ideas that correspond to nature, van Musschenbroek argued that René Descartes’ natural-philosophical project abused mathematics by introducing hypotheses, i.e. ideas, that do not correspond to nature. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: (...) Categorial Grammars with Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

A great deal of philosophy of mind in the modern era has been driven by an intense aversion to Cartesian dualism. In the 1950s, materialists claimed to have succeeded once and for all in exorcising the Cartesian ghost by identifying the mind with the brain. In subsequent decades, cognitive science put scientific meat on this metaphysical skeleton by explicating mental processes as digital computation implemented in the brain's hardware.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

From the perspective of praxeological scientific research as well as quantitative methods and on the basis of archival materials, it becomes apparent that it is not in the ›geistesgeschichtliche‹ method, but in the implicit recognition of disciplinary, methodological, and theoretical plurality that the unity of literary studies lies that the DVjs expects from its articles.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

The article consists of three main sections, in which I successively discuss the nature and role of realization, interpretation and abstraction in experimental and observational processes. In this way, these sections address several fundamental problems in philosophy of science, ontology and epistemology, and philosophy of language. Section 1 introduces the notion of realization processes, and argues that successful realization requires causal judgments. The second section discusses the role of conceptual interpretation in experiments and observations, explains how realization and interpretation can (...) be distinguished, and emphasizes the significance of different types and ranges of experimental and observational reproducibility. It also includes a subsection on the issue of reproducibility in contemporary social sciences and psychology. Section 3 explains how concepts are abstracted from existing realization processes, and concludes that abstraction bestows a nonlocal meaning on these extensible concepts. In addition, I discuss and criticize some rival views of abstraction and concept meaning (to wit, mentalism and localism). The article concludes with some observations on the notion of a (cognitive) trinity. In my reply, I respond to the points raised in the six commentary papers. The following issues are addressed: the place of causality in physics (Steffen Ducheyne), perception in ordinary life (Monica Meijsing), the role of reproducibility in psychology and the social sciences (Daniël Lakens, Ruud Abma), the significance and implications of conceptual innovation (Lieven Decock), and the relationship between meaning, communication and ontology (Martin Stokhof and Michiel van Lambalgen). (shrink)