Ceteris paribus conditionals and comparative normalcy

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species of variably strict conditional I hope to shed new light upon their content and their logic

Modeling large scale species abundance with latent spatial processes

Modeling species abundance patterns using local environmental features is an important, current problem in ecology. The Cape Floristic Region (CFR) in South Africa is a global hot spot of diversity and endemism, and provides a rich class of species abundance data for such modeling. Here, we propose a multi-stage Bayesian hierarchical model for explaining species abundance over this region. Our model is specified at areal level, where the CFR is divided into roughly $37{,}000$ one minute grid cells; species abundance is observed at some locations within some cells. The abundance values are ordinally categorized. Environmental and soil-type factors, likely to influence the abundance pattern, are included in the model. We formulate the empirical abundance pattern as a degraded version of the potential pattern, with the degradation effect accomplished in two stages. First, we adjust for land use transformation and then we adjust for measurement error, hence misclassification error, to yield the observed abundance classifications. An important point in this analysis is that only $28$ of the grid cells have been sampled and that, for sampled grid cells, the number of sampled locations ranges from one to more than one hundred. Still, we are able to develop potential and transformed abundance surfaces over the entire region. In the hierarchical framework, categorical abundance classifications are induced by continuous latent surfaces. The degradation model above is built on the latent scale. On this scale, an areal level spatial regression model was used for modeling the dependence of species abundance on the environmental factors.Comment: Published in at http://dx.doi.org/10.1214/10-AOAS335 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org

Normative Reasons as Reasons Why We Ought

I defend the view that a reason for someone to do something is just a reason why she ought to do it. This simple view has been thought incompatible with the existence of reasons to do things that we may refrain from doing or even ought not to do. For it is widely assumed that there are reasons why we ought to do something only if we ought to do it. I present several counterexamples to this principle and reject some ways of understanding "ought" so that the principle is compatible with my examples. I conclude with a hypothesis for when and why the principle should be expected to fail

Spatio-temporal modelling of extreme storms

A flexible spatio-temporal model is implemented to analyse extreme extra-tropical cyclones objectively identified over the Atlantic and Europe in 6-hourly re-analyses from 1979-2009. Spatial variation in the extremal properties of the cyclones is captured using a 150 cell spatial regularisation, latitude as a covariate, and spatial random effects. The North Atlantic Oscillation (NAO) is also used as a covariate and is found to have a significant effect on intensifying extremal storm behaviour, especially over Northern Europe and the Iberian peninsula. Estimates of lower bounds on minimum sea-level pressure are typically 10-50 hPa below the minimum values observed for historical storms with largest differences occurring when the NAO index is positive.Comment: Published in at http://dx.doi.org/10.1214/14-AOAS766 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org

Deontic Logic and Natural Language

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work

Causality in concurrent systems

Concurrent systems identify systems, either software, hardware or even biological systems, that are characterized by sets of independent actions that can be executed in any order or simultaneously. Computer scientists resort to a causal terminology to describe and analyse the relations between the actions in these systems. However, a thorough discussion about the meaning of causality in such a context has not been developed yet. This paper aims to fill the gap. First, the paper analyses the notion of causation in concurrent systems and attempts to build bridges with the existing philosophical literature, highlighting similarities and divergences between them. Second, the paper analyses the use of counterfactual reasoning in ex-post analysis in concurrent systems (i.e. execution trace analysis).Comment: This is an interdisciplinary paper. It addresses a class of causal models developed in computer science from an epistemic perspective, namely in terms of philosophy of causalit

Loo.py: From Fortran to performance via transformation and substitution rules

A large amount of numerically-oriented code is written and is being written in legacy languages. Much of this code could, in principle, make good use of data-parallel throughput-oriented computer architectures. Loo.py, a transformation-based programming system targeted at GPUs and general data-parallel architectures, provides a mechanism for user-controlled transformation of array programs. This transformation capability is designed to not just apply to programs written specifically for Loo.py, but also those imported from other languages such as Fortran. It eases the trade-off between achieving high performance, portability, and programmability by allowing the user to apply a large and growing family of transformations to an input program. These transformations are expressed in and used from Python and may be applied from a variety of settings, including a pragma-like manner from other languages.Comment: ARRAY 2015 - 2nd ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2015

Presupposition, perceptional relativity and translation theory

The intertwining of assertions and presuppositions in utterances affects the way a text is perceived in the source language (SL) and the target language (TL). Presuppositions can be thought of as shared assumptions that form the background of the asserted meaning. To translate presuppositions as assertions, or vice versa, can distort the thematic meaning of the SL text and produce a text with a different information structure. Since a good translation is not simply concerned with transferring the propositional content of the SL text, but also its other semantic and pragmatic components, including thematic meaning, a special attention should be accorded to the translation of presupposition. This article examines the intrinsic relation between presupposition and thematic meaning, why the concept is relevant to translation theory, and how presupposition can affect the structure and understanding of discourse. Unshared presuppositions are major obstacles in translation, as cultural concepts may be conveyed through expressions that yield presuppositions. To attain an optimal proximity to the SL text, presupposition needs to be singled out as a distinct aspect of meaning, and distinctions need to be made between definite and indefinite meaning, topic and comment, topic and focus, presupposition and entailment, and presupposition and implicature

Epistemic Immodesty and Embodied Rationality

Based on Pritchard’s distinction (2012, 2016) between favoring and discriminating epistemic grounds, and on how those grounds bear on the elimination of skeptical possibilities, I present the dream argument as a moderate skeptical possibility that can be reasonably motivated. In order to block the dream argument skeptical conclusion, I present a version of phenomenological disjunctivism based on Noë’s actionist account of perceptual consciousness (2012). This suggests that perceptual knowledge is rationally grounded because it is a form of embodied achievement – what I call embodied rationality –, which offers a way of dissolving the pseudo-problem of epistemic immodesty, namely, the seemingly counterintuitive thesis that one can acquire rationally grounded knowledge that one is not in a radical skeptical scenario