i. M is positive in M . ii. M is positive (negative) in P Q iff M is positive (negative) in P . iii. M is positive (negative) in P Q iff M is positive (negative) in Q, and P denotes..

This article focuses on the assessment of mechanistic relations with specific attention to medicine, where mechanistic models are widely employed. I first survey recent contributions in the philosophical literature on mechanistic causation, and then take issue with Federica Russo and Jon Williamson’s thesis that two types of evidence, probabilistic and mechanistic, are at stake in the health sciences. I argue instead that a distinction should be drawn between previously acquired knowledge of mechanisms and yet-to-be-discovered knowledge of mechanisms and that both (...) probabilistic evidence and manipulation are essential with respect to newly discovered mechanisms. (shrink)

This contribution claims that the two fundamental notions of causation at work in the health sciences are manipulative and mechanistic, and investigates what kinds of evidence matter for the assessment of causal relations. This article is a development of our 2007 article, ‘Plurality of Causality’, where we argue for a pluralistic account of causation with an eye to econometrics and a single medical example. The present contribution has a wider focus, and considers the notion of evidence within a whole range (...) of disciplines belonging to the health sciences. Section 1 addresses the relations between kinds of evidence and causal accounts, and it is shown how different notions of causation can be employed in various medical cases. Section 2 calls attention to issues crucial for any adequate epistemological theory of causation, such as the distinctions between types and tokens, observational and experimental regimes, explanation and prediction. Lastly, the notion of context is articulated, highlighted in its role in the assessment of causal links. All these issues are tackled in the framework of what we label a ‘bottom–up’ epistemology. (shrink)

Alison Simmons, in Simmons (1999), argues that Descartes in Meditation Six offered a teleological account of sensory representation. According to Simmons, Descartes’ view is that the biological function of sensations explains both why sensations represent what they do (i.e., their referential content) and why they represent their objects the way they do (i.e., their presentational content). Moreover, Simmons claims that her account has several advantages over other currently available interpretations of Cartesian sensations. In this paper, I argue that Simmons’ teleological (...) account cannot be sustained for both theoretical and textual reasons and that it does not have the advantages it is claimed to have. (shrink)

ABSTRACTThe quality of medicines is generally adequately assured by manufacturers and regulatory authorities for well-resourced settings, while the implementation of existing quality standards is challenged in many low- and middle-income countries. This situation of multiple pharmaceutical standards raises the question whether it could ever be ethically justified to compromise on the quality assurance of medicines depending on what individuals, communities, or societies can afford. In this paper, we contend that ethically, any unjustified exceptions to medicines’ quality assurance represents a violation (...) of the principles of beneficence and non-maleficence. Exceptions are only acceptable in exceptional and temporary circumstances, if based on a meaningful quality risk assessment, guided by a rigorous ethical framework built on the principles of independence, technical competence, transparency, and accountability. We also discuss how such exceptional and temporary circumstances should be defined/justified.... (shrink)

The essay analyses utopia as a key concept to investigate modern politics. It argues that looking at the works of Machiavelli and More in order to retrace the utopia-realism nexus permits to develop a valuable analytical tool to interpret the outset of political modernity.

Current research on choice overload has been mainly conducted with choice options not associated with specific brands. This study investigates whether the presence of brand names in the choice set affects the occurrence of choice overload. Across four studies, we find that when choosing among an overabundance of alternatives, participants express more positive feelings (i.e., higher satisfaction/confidence, lower regret and difficulty) when all the options of the choice set are associated with familiar brands, rather than unfamiliar brands or no brand (...) at all. We also find that choice overload only appears in the absence of brand names, but disappears when all options contain brand names—either familiar or unfamiliar. Theoretical and practical implications are discussed. (shrink)

The notion of causal evidence in medicine has been the subject of wide philosophical debate in recent years. The notion of evidence has been discussed mostly in connection with Evidence Based Medicine and, more in general, with the assessment of causal nexus in medical, and especially research contexts. “Manipulative evidence” is one of the notions of causal evidence that has stimulated much debate. It has been defined in slightly different ways, attributed different relevance, and recently placed at the core of (...) Gillies’ “action-related theory of causality”, a view specifically meant to address causation in medicine. While in general sympathetic to Gillies’ account, and totally convinced of the relevance of manipulative evidence and different sorts of interventions in the biomedical sciences, we believe that some further qualifications are needed to allow the notion of manipulative evidence to better express features of medical practice. In particular, we provide some qualification of the role of “interventional evidence” proposed by Gillies, suggesting a distinction between “interventional evidence” and “evidence for interventions”. A case study from research on rare diseases is analyzed in depth and a multifaceted notion of manipulative evidence put forward that allows better understanding of what manipulations in medical contexts amount to and what their targets are. (shrink)

1 Recognition Device . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Classical Categorial Grammar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Classical (...) Categorial Grammar. Examples . . . . . . . . . . . . . . . . . . . . . 5 4 Logic Grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 5 Lambek calculus. Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 6 Lambek calculus. Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 7 Lambek calculus. Advantages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 8 Derivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 9 Residuated and Galois Connected Functions . . . . . . . . . . . . . . . . . . 14 10 Interpretation of the Constants. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 11 Nonveridical Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 12 Dutch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 13 Classification of NPIs in Dutch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 14 Antilicensing Relation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20.. (shrink)

Polarity Items are linguistic expressions known for being a ‘lexically controlled’ phenomenon. In this paper we show how their behavior can be implemented in a deductive system. Further- more, we point out some possible directions to recast the deductive solution into a Tree Ad- joining Grammar system. In particular, we suggest to compare the proof system developed for Multimodal Categorial Grammar (Moot & Puite, 1999) with the Partial Proof Trees proposed in (Joshi & Kulick, 1997).

In this paper we present a logical system able to compute the semantics of both declarative and interrogative sentences. Our proposed analysis takes place at both the sentential and at the discourse level. We use syntactic inference on the sentential level for declarative sentences, while the discourse level comes into play for our treatment of questions. Our formalization uses a type logic sensitive to both the syntactic and semantic properties of natural language. We will show how an account of the (...) linguistic data follows naturally from the logical relations inherent in the type logic. (shrink)

In this paper we draw some connection between the relation linking polarity items with their licensors, and the one holding between wh-phrases and weak-islands. Moreover, we briefly sketch how these relations can be modelled into Categorial Type Logic.

The article presents the first results we have obtained studying natural reasoning from a proof-theoretic perspective. In particular we focus our attention on monotonic reasoning. Our system consists of two parts: (i) A Formal Grammar – a multimodal version of classical Categorial Grammar – which while syntactically analysing linguistic expressions given as input, computes semantic information (In particular information about the monotonicity properties of the components of the input string are displayed.); (ii) A simple Natural Logic which derives (monotonicity) inferences (...) using as vehicle the parsed output. The monotonicity markers assigned in the lexicon are propagated through the proofs via a combination of the structural and the logical rules for the unary operators of Multimodal Categorial Grammar (MMCG) [Moo97]. We have chosen to work with an expressive ‘grammar logic’, in order to avoid the use of extra-logical marking devices and extra-logical structural reasoning. Having MMCG as parser, our system is able to make the derivations simply within the logic. This new approach makes the implementation of the theory an easier task. We have implemented the theoretical results, so far obtained, using Grail, a theorem prover for Categorial Grammar Logics [Moo98]. (shrink)

This article focuses on the significance of space in the display of hegemonic power in the La Scala opera house in the years 1776–1850s. More specifically, it traces the changes in the use of space from Napoleon’s attempt to “democratise” La Scala by attacking the display of hegemonic hierarchy and subverting the status quo, to the Habsburgs’ attempt to “restore” a display of hegemonic rule. The analysis of primary findings demonstrates that the space of the opera house was reshaped not (...) only physically through renovation but also by imposing rules and structuring attendance during performances. The social significance of La Scala’s theatrical space is also explored by identifying the means the Habsburg authorities used to control it as part of their response to the rise of the Risorgimento. The article thus traces the historical shifts in the political functions of space in La Scala from its early role of displaying aristocratic authority through the period of Napoleonic democratisation and finally the Hapsburgs’ restoration politics of surveillance. (shrink)

In his short essay, “Some Character-Types Met With in Psycho-Analytic Work,” published in 1916 in the review Imago, Freud identifies Ibsen’s drama Rosmersholm (1886) as a perfect example of an Oedipus complex in a modern setting. The story is well known. After the suicide of his wife Beata, brought about by the impossibility of bearing children and by the misery of an existence sacrificed to social and religious duties, John Rosmer, a Protestant pastor, has lost his old faith and is (...) desirous of founding a new morality aimed at joy and tolerance. He lives in a completely spiritual relationship with the young maid Rebecca, the expression of a daring liveliness and unrestricted femininity. Their .. (shrink)

This book examines the role of note-taking in ancient education as a pedagogical method, by taking readers on a stimulating analysis of lectures by ancient philosophers that were recorded by their students.

We define a potentialist system of ‐structures, i.e., a collection of possible worlds in the language of connected by a binary accessibility relation, achieving a potentialist account of the full background set‐theoretic universe V. The definition involves Berkeley cardinals, the strongest known large cardinal axioms, inconsistent with the Axiom of Choice. In fact, as background theory we assume just. It turns out that the propositional modal assertions which are valid at every world of our system are exactly those in the (...) modal theory. Moreover, we characterize the worlds satisfying the potentialist maximality principle, and thus the modal theory, both for assertions in the language of and for assertions in the full potentialist language. (shrink)