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.     

Referenzsemantik in der Partnermodellierung

How can we explain that an assertion on something perceived can be understood in the same manner by somebody who cannot perceive that scene? This problem bases the interest in computational linguistics in how listener modeling could possibly be harmonized with reference semantics. Mental images substituting real perception appear as a way out. The architecture of the listener model has to be adapted to the creation and use of such pictorial data structures. Furthermore, the relation between the latter and a verbal (i. e., propositional) representation must be understood. The resulting architecture of a listener model with reference semantics can be employed to solve communicational problems from three general classes in a better way, as is demonstrated by an example implementation.     

Persistent crying and parenting: Search for a butterfly in a dynamic system

The risks and causes of persistent crying in early infancy are discussed on the basis of a study of 61 infants referred to the Munich Interdisciplinary Research and Intervention Program for Fussy Babies for persistent crying between 1 and 6 months of age, and of a community sample of 51 infants of the same age. Particular attention was paid to pre-verbal parent-infant communication, the development of which was interpreted in terms of a dynamic interactional system including both regulatory and communicative predispositions in infants and intuitive competence for supporting infant predispositions in parents. Neither a gut problem nor any other single causal factor was identified for persistent crying in the majority of cases. In contrast, persistent crying was significantly associated with multiple biological and psychosocial risk factors for both parents and infants. Neurological immaturity, difficult temperament and sleep problems in infants, and impaired psychological conditions, limited resources and failures of intuitive competences in mothers were found to threaten the developmental process in infants and give rise to ‘vicious circles’ which were destabilizing the interactional systems. Increased attention to intuitive parental competences is recommended as one effective model for therapeutic interventions.     

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