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)

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)

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)

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)

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)

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

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)

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

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.

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)

A philosopher argues that state-sponsored cyberattacks against central military or civilian targets are always acts of war. What is this philosopher doing? According to conceptual analysts, the philosopher is making a claim about our concept of war. According to philosophical realists, the philosopher is making a claim about war per se. In a quickly developing literature, a third option is being explored: the philosopher is engineering the concept of war. On this view, the philosopher is making a proposal about which (...) concept we should have – even if it deviates from the extant concept, and even if it does not capture ‘what war really is’. The activity or method of proposing such revisionary definitions, as well as the metaphilosophical reflection on it, has become known as conceptual engineering. (shrink)

Conceptual engineers aim to revise rather than describe our concepts. But what are concepts? And how does one engineer them? Answering these questions is of central importance for implementing and theorizing about conceptual engineering. This paper discusses and criticizes two influential views of this issue: semanticism, according to which conceptual engineers aim to change linguistic meanings, and psychologism, according to which conceptual engineers aim to change psychological structures. I argue that neither of these accounts can give us the full story. (...) Instead, I propose and defend the Dual Content View of Conceptual Engineering. On this view, conceptual engineering targets concepts, where concepts are understood as having two kinds of contents: referential content and cognitive content. I show that this view is independently plausible and that it gives us a comprehensive account of conceptual engineering that helps to make progress on some of the most difficult problems surrounding conceptual engineering. (shrink)

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)

In this paper, we first briefly survey the main responses to the challenge that experimental philosophy poses to the method of cases, given the common assumption that the latter is crucially based on intuitive judgments about cases. Second, we discuss two of the most popular responses in more detail: the expertise defense and the mischaracterization objection. Our take on the expertise defense is that the available empirical data do not support the claim that professional philosophers enjoy relevant expertise in their (...) intuitive judgments about cases. In contrast, the mischaracterization objection seems considerably more promising than its largely negative reception has suggested. We argue that the burden of proof is thus on philosophers who still hold that the method of cases crucially relies on intuitive judgments about cases. Finally, we discuss whether conceptual engineering provides an alternative to the method of cases in light of the challenge from experimental philosophy. We argue that this is not clearly the case, because conceptual engineering also requires descriptive information about the concepts it aims to improve. However, its primarily normative perspective on our concepts makes it largely orthogonal to the challenge from experimental philosophy, and it can also benefit from the empirical methods of the latter. (shrink)

Blackshaw and Hendricks have recently developed and defended the impairment argument against abortion, arguing that the immorality of giving a child fetal alcohol syndrome (FAS) provides us with reason to believe that abortion is immoral. In this paper, we forward two criticisms of the impairment argument. First, we highlight that, as it currently stands, the argument is very weak and accomplishes very little. Second, we argue that Blackshaw and Hendricks are fundamentally mistaken about what makes giving a child FAS immoral. (...) Once we acknowledge this, it is clear that our intuitions about giving a child FAS provide no support for the supposed immorality of abortion. (shrink)

Bayesian approaches for estimating multilevel latent variable models can be beneficial in small samples. Prior distributions can be used to overcome small sample problems, for example, when priors that increase the accuracy of estimation are chosen. This article discusses two different but not mutually exclusive approaches for specifying priors. Both approaches aim at stabilizing estimators in such a way that the Mean Squared Error of the estimator of the between-group slope will be small. In the first approach, the MSE is (...) decreased by specifying a slightly informative prior for the group-level variance of the predictor variable, whereas in the second approach, the decrease is achieved directly by using a slightly informative prior for the slope. Mathematical and graphical inspections suggest that both approaches can be effective for reducing the MSE in small samples, thus rendering them attractive in these situations. The article also discusses how these approaches can be implemented in Mplus. (shrink)

We study the filter ℒ*(A) of computably enumerable supersets (modulo finite sets) of an r-maximal set A and show that, for some such set A, the property of being cofinite in ℒ*(A) is still Σ0 3-complete. This implies that for this A, there is no uniformly computably enumerable “tower” of sets exhausting exactly the coinfinite sets in ℒ*(A).

This is a book symposium on Steffen Borge’s The Philosophy of Football. It has contributions from William Morgan, Murray Smith and Brian Weatherson with replies from Borge.