As a member of the British Oxford Group, psychologist Richard Ryder marked the beginning of the modern animal rights and animal welfare movement in the seventies. By introducing the concept “speciesism.” Ryder contributed importantly to the expansion of this movement. Surprisingly little attention has been paid to Ryder’s moral theory, “painism”, that aims to resolve the conflict between the two predominant rival theories in animal ethics, the deontological of Tom Regan and the utilitarian of Peter Singer. First, this paper examines (...) the kernel and historical sources of Ryder’s painist theory, linking it to the work of John Rawls and Jean-Jacques Rousseau. Second, it examines Ryder’s critique of utilitarianism. It is argued that his critique of Singer’s use of the word “sentience” is unconvincing and that his critique of utilitarian aggregation as not taking a full account of the metaphysical separateness of persons, has already been countered and dealt with. Finally this paper looks at some of the counterintuitive implications of Ryder’s theory and argues that utilitarianism might have more resources for dealing with its own alleged counterintuitive implications than Ryder acknowledges. (shrink)

We conducted an integrative data analysis to examine the hedonic character of nostalgia. We combined positive and negative affect measures from 41 experiments manipulating nostalgia. Overall, nostalgia inductions increased positive and ambivalent affect, but did not significantly alter negative affect. The magnitude of nostalgia’s effects varied markedly across different experimental inductions of the emotion. The hedonic character of nostalgia, then, depends on how the emotion is elicited and the benchmark to which it is compared. We discuss implications for theory and (...) research on nostalgia and emotions in general. (shrink)

The semantics of directional prepositions is investigated from the perspective of aspect. What distinguishes telic PPs (like to the house) from atelic PPs (like towards the house), taken as denoting sets of paths, is their algebraic structure: atelic PPs are cumulative, closed under the operation of concatenation, telic PPs are not. Not only does this allow for a natural and compositional account of how PPs contribute to the aspect of a sentence, but it also guides our understanding of the lexical (...) semantics of prepositions in important ways. Semantically, prepositions turn out to be quite similar to nouns and verbs. Nominal distinctions (like singular and plural, mass and count) and verbal classes (like semelfactives and degree achievements) have their prepositional counterparts. (shrink)

We approach the semantics of prepositions from the perspective of conceptual spaces. Focusing on purely spatial locative and directional prepositions, we analyze both types of prepositions in terms of polar coordinates instead of Cartesian coordinates. This makes it possible to demonstrate that the property of convexity holds quite generally in the domain of prepositions of location and direction, supporting the important role that this property plays in conceptual spaces.

This paper introduces a compositional semantics of locativeprepositional phrases which is based on a vector space ontology.Model-theoretic properties of prepositions like monotonicity andconservativity are defined in this system in a straightforward way.These notions are shown to describe central inferences with spatialexpressions and to account for the grammaticality of prepositionmodification. Model-theoretic constraints on the set of possibleprepositions in natural language are specified, similar to the semanticuniversals of Generalized Quantifier Theory.

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.

In this paper we present a new proposal for defining actual causation, i.e., the problem of deciding if one event caused another. We do so within the popular counterfactual tradition initiated by Lewis, which is characterised by attributing a fundamental role to counterfactual dependence. Unlike the currently prominent definitions, our approach proceeds from the ground up: we start from basic principles, and construct a definition of causation that satisfies them. We define the concepts of counterfactual dependence and production, and put (...) forward principles such that dependence is an unnecessary but sufficient condition for causation, whereas production is an insufficient but necessary condition. The resulting definition of causation is a suitable compromise between dependence and production. Every principle is introduced by means of a paradigmatic example of causation. We illustrate some of the benefits of our approach with two examples that have spelled trouble for other accounts. We make all of this formally precise using structural equations, which we extend with a timing over all events. (shrink)

This paper develops a detailed and unified analysis of semantics of the from-N-to-N construction, based on a small number of ingredients, none of which are specific to this construction itself, but which are idiomatically packaged in this construction. Letting the construction uniformly apply to the product of the two nouns not only captures their strong relation, but it also obviates a role for a ‘reduplicative’ mechanism of some sort in this particular construction.

Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...) of Peano Arithmetic to Ignatiev’s universal model for the closed fragment of the polymodal provability logic \. In particular, we observe that each point in the Ignatiev model can be seen as Turing-Taylor expansions of formal mathematical theories. Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor expansion will define a unique point in Ignatiev’s model. (shrink)

In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing. Although FOLaw has shown to be of high practical value in various applied European ICT projects, its reuse is rather limited as it is rather concerned with the structure of legal reasoning (...) than with legal knowledge itself: as many other “legal core ontologies”, FOLaw is therefore rather an epistemological framework than an ontology. Therefore, we also developed LRI-Core. As we argue here that legal knowledge is based to a large extend on common-sense knowledge, LRI-Core is particularly inspired by research on abstract common-sense concepts. The main categories of LRI-Core are: physical, mental and abstract concepts. Roles cover in particular social worlds. Another special category are occurrences; terms that denote events and situations. We illustrate the use of LRI-Core with an ontology for Dutch criminal law, developed in the e-Court European project. (shrink)

In this paper we carry out a comparative study of $\mathrm{I}\Sigma_1$ and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.

"In this illustrated book, Christiane L. Joost-Gaugier sets out the panorama of Pythagoras's influence and that of Christian and Jewish thinkers who followed ...

Publication in the biomedical literature is important because it is the major pathway by which new concepts and discoveries are disseminated amongst scientists. In the last 30 years there has been a dramatic increase, not only in the volume of publications but in the number of authors per article as well. This paper summarizes the current literature on authorship and its proliferation in medicine. From the literature it becomes clear that for biomedical articles, the mean number of authors increased from (...) 1.7 in 1960 to 3.1 in 1990, and there are indications that this trend is even greater in clinical medicine such that single authorship almost has disappeared. Formal guidelines of who should be considered an author have been set by the International Committee of Medical Journal Editors. There are studies suggesting that not all authors on multiauthor papers fulfill these criteria. Inappropriate multiple authorship leads to dilution of authorship responsibility and unjustified citation in curriculum vitae. Recommendations regarding the prevention of inappropriate authorship are given in this paper. (shrink)

In this paper we carry out a comparative study of and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.

The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. Starting from (...) a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation. (shrink)

In the social world, multiple sensory channels are used concurrently to facilitate communication. Among human and nonhuman pri- mates, faces and voices are the primary means of transmitting social signals (Adolphs, 2003; Ghazanfar and Santos, 2004). Primates recognize the correspondence between species-specific facial and vocal expressions (Massaro, 1998; Ghazanfar and Logothetis, 2003; Izumi and Kojima, 2004), and these visual and auditory channels can be integrated into unified percepts to enhance detection and discrimination. Where and how such communication signals are integrated (...) at the neural level are poorly understood. In particular, it is unclear what role “unimodal” sensory areas, such as the auditory cortex, may play. We recorded local field potential activity, the signal that best correlates with human imaging and event-related potential signals, in both the core and lateral belt regions of the auditory cortex in awake behaving rhesus monkeys while they viewed vocalizing conspecifics. We demonstrate unequivocally that the primate auditory cortex integrates facial and vocal signals through enhancement and suppression of field potentials in both the core and lateral belt regions. The majority of these multisensory responses were specific to face/voice integration, and the lateral belt region shows a greater frequency of multisensory integration than the core region. These multisensory processes in the auditory cortex likely occur via recip- rocal interactions with the superior temporal sulcus. (shrink)

This article focuses on the power of technological mediation from the point of view of autonomist Marxism. The first part of the article discusses the theories developed on technological mediation in postphenomenology and critical theory of technology with regard to their respective power perspectives and ways of coping with relations of power embedded in technical artifacts and systems. Rather than focusing on the clashes between the hermeneutic postphenomenological approach and the dialectics of critical theory, it is argued that in both (...) the category of resistance amidst power-relations is at least similar in one regard: resistance to the power of technology is conceptualized as a reactive force. The second part of the article reads technological mediation through the lens of the antagonistic power-perspective on class struggle developed in autonomist Marxism. The outline of a provisional autonomist philosophy of technology is developed using Foucauldian dispositifs of biopower in contrast to the hermeneutic and dialectical approach. It is thus argued that resistance should here be understood in terms of practice that subverts the technically mediated circuit of production itself. (shrink)

Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...) of f. Moreover, if f is normal and has a well-behaved left-inverse g called a left adjoint, then g can be assigned a cohyperationcoH[g]=〈gξ〉ξ∈OncoH[g]=〈gξ〉ξ∈On, which is a family of initial functions such that gξgξ is a left adjoint to fξfξ for all ξ. (shrink)

Summary John Frederic Daniell invented the constant battery in 1836. He meant it to be a philosophical instrument to be utilized in both lecture demonstrations and electrochemical laboratory research. But the constant battery was taken up in electrometallurgy, not primarily as a source of electric current but more as an electrodeposition device. As such it became an essential tool in the development of galvanoplastics. This article traces the tortuous transformation of this lecture demonstration apparatus into an electrometallurgical tool, and includes (...) some aspects of British and French patent laws, and the electrogilding industry. (shrink)

For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary $\Lambda$. (...) More generally, for each $\Theta,\Lambda$ we build a Kripke model $\mathfrak I^\Theta_\Lambda$ and a topological model $\mathfrak T^\Theta_\Lambda$, and show that $\mathsf{GLP}^0_\Lambda$ is sound for both of these structures, as well as complete, provided $\Theta$ is large enough. (shrink)

This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: the modal completeness (...) of the logic ILMo, and modal completeness of ILW*. (shrink)

We report three studies which test a sexual selection hypothesis for male war heroism. Based on evolutionary theories of mate choice we hypothesize that men signal their fitness through displaying heroism in combat. First, we report the results of an archival study on US-American soldiers who fought in World War II. We compare proxies for reproductive success between a control sample of 449 regular veterans and 123 surviving Medal of Honor recipients of WWII. Results suggest that the heroes sired more (...) offspring than the regular veterans. Supporting a causal link between war heroism and mating success, we then report the results of two experimental studies. We find evidence that female participants specifically regard men more sexually attractive if they are war heroes. This effect is absent for male participants judging female war heroes, suggesting that bravery in war is a gender specific signal. Finally, we discuss possible implications of our results. (shrink)

The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper revolves around the question what logic describes the behavior that is present in all theories with a minimum amount of arithmetic; the intersection over all such theories so to say. We denote this target logic by IL.In this paper we present a new principle R in IL. We show that R does not follow from the logic ILP0W* (...) that contains all previously known principles. This is done by providing a modal incompleteness proof of ILP0W*: showing that R follows semantically but not syntactically from ILP0W*. Apart from giving the incompleteness proof by elementary methods, we also sketch how to work with so-called Generalized Veltman Semantics as to establish incompleteness. To this extent, a new version of this Generalized Veltman Semantics is defined and studied. Moreover, for the important principles the frame correspondences are calculated.After the modal results it is shown that the new principle R is indeed valid in any arithmetically theory. The proof employs some elementary results on definable cuts in arithmetical theories. (shrink)

When people comprehend language, they mentally represent object shape. Previous research has shown that objects that are mentioned in a simile construction are represented as similarly shaped. The present study examined object shape in mental representations of negated similes. In our experiment participants read negated similes or control sentences without a comparison structure. After having read the sentence, they judged whether two presented objects, which were either similarly or dissimilarly shaped, were previously mentioned. Our findings showed that for the negated (...) similes, verification latencies were shorter for similarly shaped than for dissimilarly shaped objects. This shows that the expected situation, rather than the actual situation is represented. For the control sentences, we did not find such an effect of similarity in shape. We discuss our findings in the light of processing theories of negation and comparison. (shrink)

Reasoning about causation in fact is an essential element of attributing legal responsibility. Therefore, the automation of the attribution of legal responsibility requires a modelling effort aimed at the following: a thorough understanding of the relation between the legal concepts of responsibility and of causation in fact; a thorough understanding of the relation between causation in fact and the common sense concept of causation; and, finally, the specification of an ontology of the concepts that are minimally required for (automatic) common (...) sense reasoning about causation. This article offers a worked-out example of the indicated analysis. Such example consists of: a definition of the legal concept of responsibility (in terms of liability and accountability); a definition of the legal concept of causation in fact (in terms of the initiation of physical processes by an agent and of the provision of reasons and/or opportunities to other agents); CausatiOnt, an AI-like ontology of the common sense (causal) concepts that are minimally needed for reasoning about the legal concept of causation in fact (in particular, the concepts of category, dimension, object, agent, process, event and act). (shrink)

People mentally represent the shapes of objects. For instance, the mental representation of an eagle is different when one thinks about a flying or resting eagle. This study examined the role of shape in mental representations of similes (i.e., metaphoric comparisons). We tested the prediction that when people process a simile they will mentally represent the entities of the comparison as having a similar shape. We conducted two experiments in which participants read sentences that either did (experimental sentences) or did (...) not (control sentences) invite comparing two entities. For the experimental sentences, the ground of the comparison was explicit in Experiment 1 (“X has the ability to Z, just like Y”) and implicit in Experiment 2 (“X is like Y”). After having read the sentence, participants were presented with line drawings of the two objects, which were either similarly or dissimilarly shaped. They judged whether both objects were mentioned in the preceding sentence. For the experimental sentences, recognition latencies were shorter for similarly shaped objects than for dissimilarly shaped objects. For the control sentences, we did not find such an effect of similarity in shape. These findings suggest that a perceptual symbol of shape is activated when processing similes. (shrink)

In this paper, we present an approach to commonsense causal explanation of stories that can be used for automatically determining the liable party in legal case descriptions. The approach is based on, a core ontology for law that takes a commonsense perspective. Aside from our thesis that in the legal domain many terms still have a strong commonsense flavour, the descriptions of events in legal cases, as e.g. presented at judicial trials, are cast in commonsense terms as well. We present (...) design principles for representing commonsense causation, and describe a process-based approach to automatic identification of causal relations in stories, which are described in terms of the core ontology. The resulting causal explanation forms a necessary condition for determining the liability and responsibility of agents that play a role in the case. We describe the basic architecture and working of, the demonstrator we are constructing to test the validity of our process oriented view on commonsense causation. This view holds that causal relations are in fact abstractions constructed on the basis of our commonsense understanding of physical and mental processes. (shrink)

The provability logic of a theory $T$ is the set of modal formulas, which under any arithmetical realization are provable in $T$. We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$. We make an analogous modification for interpretability logics. We first study provability logics with restricted realizations and show that for various natural candidates of $T$ and restriction set $\Gamma$, the result is the logic of linear frames. However, for the theory Primitive (...) Recursive Arithmetic (PRA), we define a fragment that gives rise to a more interesting provability logic by capitalizing on the well-studied relationship between PRA and I$\Sigma_1$. We then study interpretability logics, obtaining upper bounds for IL(PRA), whose characterization remains a major open question in interpretability logic. Again this upper bound is closely related to linear frames. The technique is also applied to yield the nontrivial result that IL(PRA) $\subset$ ILM. (shrink)

This paper is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this method, we obtained some completeness results, some already known, and some new. In this paper, we will set the construction method to work to obtain more results. First, the modal completeness of the logic ILM is proved using the construction method. This is (...) not a new result, but by using our new proof we can obtain new results. Among these new results are some admissible rules for ILM and GL. Moreover, the new proof will be used to classify all the essentially Δ1 and also all the essentially Σ1 formulas of ILM. Closely related to essentially Σ1 sentences are the so-called self provers. A self-prover is a formula φ which implies its own provability, that is φ → □φ. Each formula φ will generate a self prover φ ^ □φ. We will use the construction method to characterize those sentences of GL that generate a self prover that is trivial in the sense that it is Σ1. (shrink)

For decades, the discussion on children’s competence to consent to medical issues has concentrated around normative concerns, with little progress in clinical practices. Decision-making competence is an important condition in the informed consent model. In pediatrics, clinicians need to strike a proper balance in order to both protect children’s interests when they are not fully able to do so themselves and to respect their autonomy when they are. Children’s competence to consent, however, is currently not assessed in a standardized way. (...) Moreover, the correlation between competence to give informed consent and age in children has never been systematically investigated, nor do we know which factors exactly contribute to children’s competence. (shrink)

A fast consistency prover is a consistent polytime axiomatized theory that has short proofs of the finite consistency statements of any other polytime axiomatized theory. Krajíček and Pudlák have proved that the existence of an optimal propositional proof system is equivalent to the existence of a fast consistency prover. It is an easy observation that NP = coNP implies the existence of a fast consistency prover. The reverse implication is an open question. In this paper we define the notion of (...) an unlikely fast consistency prover and prove that its existence is equivalent to NP = coNP. Next it is proved that fast consistency provers do not exist if one considers RE axiomatized theories rather than theories with an axiom set that is recognizable in polynomial time. (shrink)

Ulrich Beck's best selling Risk Society established risk on the sociological agenda. It brought together a wide range of issues centering on environmental, health and personal risk, provided a rallying ground for researchers and activists in a variety of social movements and acted as a reference point for state and local policies in risk management. The Risk Society and Beyond charts the progress of Beck's ideas and traces their evolution. It demonstrates why the issues raised by Beck reverberate widely throughout (...) social theory and covers the new risks that Beck did not foresee, associated with the emergence of new technologies, genetic and cybernetic. The book is unique because it offers both an introduction to the main arguments in Risk Society and develops a range of critical discussions of aspects of this and other works of Beck. (shrink)