Dilemmic Epistemology

This article argues that there can be epistemic dilemmas: situations in which one faces conflicting epistemic requirements with the result that whatever one does, one is doomed to do wrong from the epistemic point of view. Accepting this view, I argue, may enable us to solve several epistemological puzzles

Linking Unit Tests and Properties

QuickCheck allows us to verify software against particular proper- ties. A property can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to test such properties. If a counterexample is found, it becomes immediately clear what we have tested. This is not the case when all tests pass, since we do not (and shall not) see the actual generated test cases. How can we be sure about what is tested? QuickCheck has the ability to gather statistics about the test cases, which is insightful. But still it does not tell us whether the particular unit test scenarios we have in mind are included. For this reason, we have developed a tool that can answer this question. It checks if a given unit test can be generated by a property, making it easier to judge the property’s quality. We have applied our tool to an industrial use case of testing the AUTOSAR basic software modules and shows that it can handle complex models and large unit tests

Accessing Socially Excluded People — Trust and the Gatekeeper in the Researcher-Participant Relationship

This paper describes methodological findings from research to recruit and research hard-to-reach socially excluded people. We review the ways in which researchers have used particular strategies to access hard-to-reach individuals and groups and note that little attention has been given to understanding the implications of the nature of the trust relationship between researcher and participant. Gatekeepers invariably play a role in accessing socially excluded people in research, yet discussion to date invariably focuses on the instrumental role gatekeepers play in facilitating researchers\' access. In this paper we explore the possibilities for analysing relationships in terms of trust and distrust between gatekeeper and socially excluded participant. Our analysis considers the different kinds of relationships that exist between gatekeepers and socially excluded people and, in particular, the relationships of power between gatekeepers and socially excluded people. Insights into the nature of trust among socially excluded people will also be considered. Finally, we discuss how size and use of social networks among socially excluded groups and perceptions of risk in interactions with gatekeepers are important to understanding the possibilities for trustful relationships, and for meaningful and successful access for researchers to socially excluded individuals and groups.Social Exclusion, Access, Research, Gatekeepers, Trust, Distrust, Risk

The character table of a sharply 5-transitive subgroup of Alt(12){\rm Alt}(12)

In this paper we calculate the character table of a sharply $5$-transitive subgroup of ${\rm Alt}(12)$, and of a sharply $4$-transitive subgroup of ${\rm Alt}(11)$. Our presentation of these calculations is new because we make no reference to the sporadic simple Mathieu groups, and instead deduce the desired character tables using only the existence of the stated multiply transitive permutation representations.Comment: 12 pages; submitte

Epistemology without guidance

Epistemologists often appeal to the idea that a normative theory must provide useful, usable, guidance to argue for one normative epistemology over another. I argue that this is a mistake. Guidance considerations have no role to play in theory choice in epistemology. I show how this has implications for debates about the possibility and scope of epistemic dilemmas, the legitimacy of idealisation in Bayesian epistemology, uniqueness versus permissivism, sharp versus mushy credences, and internalism versus externalism

Effects of a four-week touch rugby and self-paced interval running intervention on health markers in active young men.

Background: Modified team sport activity has been proposed as effective exercise modality for promoting markers of health that are comparable or greater than continuous forms of activity. However, research using modified team sports is currently limited to sedentary populations using 2-3 sessions across a minimum of 8 weeks. Aim: To investigate the effects of a four-week touch rugby and self-paced interval running intervention on a range of health markers in active men. Methods: Sixteen participants (age 26.4 ± 6.4 years) were matched for age, demographic and physical activity before completing a single touch rugby (n = 8) or running (n = 8) session per week for four weeks. Measures of systolic and diastolic blood pressure, resting heart rate (RHR), body composition and biochemical status were recorded pre- and post-intervention. Results: ANCOVA analysis revealed between-group differences for impedance (P = 0.027), fat mass (P = 0.008), percentage body fat (P = 0.008) and fat free mass (P = 0.002), with greater changes after touch rugby. Systolic blood pressure decreased for both groups with greater reductions observed after touch rugby (P = 0.002). No between-group difference was observed for RHR, interleukin-6 or C-reactive protein (P > 0.05). Contrasting internal, external and perceptual loads were observed. Conclusion: The results of this study suggest that a single session of touch rugby over a 4-week period elicited greater improvements in body composition and SBP that self-paced running, with both equally beneficial for improving RHR, diastolic blood pressure and improved inflammatory status in active young men

Epistemic Dilemmas: A Guide

This is an opinionated guide to the literature on epistemic dilemmas. It discusses seven kinds of situations where epistemic dilemmas appear to arise; dilemmic, dilemmish, and non-dilemmic takes on them; and objections to dilemmic views along with dilemmist’s replies to the