Tracks and affordances: The sources of a physical ontology

How is meaning assigned to those terms in a theory which are remote from direct observational instantiation? Models and analogies play a role, but close examination of theories in high energy physics shows that the design of experimental apparatus also influences the interpretation of such terms. Certain apparatus favours certain kinds of effects, and this affects the way mathematical theories are interpreted. In particular track producing apparatus becomes involved with theories in which photonic terms are picked out in the theory. A further conceptual constraint is thus introduced. It is argued that this situation favours the interpretation of dispositional properties as affordances rather than as simple dispositions.     

The role accorded to the public by philosophers of science 1

The role accorded to the public by scientists and philosophers of science has undergone an essential historical change in the last three centuries. Public participation in (witnessing of) scientific experiments was considered an important requirement for 17th century experimenters (e.g. for Boyle or Pascal). The cognitive role played by lay persons was later substantially downgraded; witnessing went out of fashion, while science became more and more esoteric and a matter for experts only. Part of this process was that all scientific disciplines became intensively compartmentalized and in consequence a rather puzzling or even paradoxical situation appeared: that the scientists themselves were and are being reduced epistemically to the status of lay persons, outside of their proper field of expertise (as was pointed out by J. Hardwig). The paper deals with some cognitive aspects of this historical process.     

Vulnerability to Stress: Self-Criticism and Stress-Induced Changes In Biochemistry

ABSTRACT It has been hypothesized that individuals who are high on the attribute of self-criticism are particularly vulnerable to failure stress. To test this hypothesis, we examined the relationship between self-criticism and changes in plasma homovanillic acid (HVA; the metabolite of dopamine) and emotion during exposure to an induced-failure task. Participants consisted of 21 women. Plasma HVA and emotion were assessed at three time points: baseline (T1), during stress exposure (T2), and 40 minutes after cessation of the stressor (T3). We found that self-criticism was significantly and positively related to changes in plasma HVA during stress exposure. In addition, the personality attribute was significantly and positively related to subjective ratings of stress and changes in scores on the Confusion-Bewilderment scale of the Profile of Mood States during the task. To our knowledge, this is the first study to report that self-criticism is related to stress-induced changes in biochemistry.     

A Behavior Systems View of Conditioned States during Long and Short CS–US Intervals

In the behavior systems view, a long CS–US interval should differentially condition a general search mode and related behavior, while a short CS–US interval should differentially condition a focal search mode and related behavior. Two experiments paired a long or a short CS with food, and then, during an extinction test, compounded the CS with an unconditioned probe-stimulus of a rolling ball-bearing. Presuming that the long CS differentially conditions a general search mode, and that unconditioned contact of a moving stimulus is characteristic of that mode, presentation of the long CS should facilitate interaction with the ball-bearing. Similarly, presuming that a short CS differentially conditions a focal search mode, and that feeder-directed responses are characteristic of this mode, presentation of a short CS should facilitate nosing in the food-tray. Consistent with these predictions, ball-bearing contact increased in rats receiving the long CS, while nosing in the food-tray was higher with the short CS.     

Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay