Models and theories I: The semantic view revisited

The paper, as Part I of a two‐part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage‐setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided.     

Statistics between inductive logic and empirical science

Inductive logic generalizes the idea of logical entailment and provides standards for the evaluation of non-conclusive arguments. A main application of inductive logic is the generalization of observational data to theoretical models. In the empirical sciences, the mathematical theory of statistics addresses the same problem. This paper argues that there is no separable purely logical aspect of statistical inference in a variety of complex problems. Instead, statistical practice is often motivated by decision-theoretic considerations and resembles empirical science.     

Semantic games with chance moves revisited: from IF logic to partial logic

We associate the semantic game with chance moves conceived by Blinov with Blamey’s partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, borrowing the idea of introducing the pseudo-player called Nature in game theory. We observe that IF propositional logic proposed by Sandu and Pietarinen can be equivalently translated to partial logic, which implies that imperfect information may not be necessary for IF propositional logic. We also indicate that some independent quantifiers can be regarded as dependent quantifiers of indeterminate sequence, using the interjunction connective in partial logic. We conclude our paper by indicating some further research in a more general setting.     

The logic of misperceived distance (or location) theories of the Poggendorff illusion

For the Poggendorff display (transversal interrupted by parallel lines), the typical distance-misperception theory postulates that a particular linear distance extending across the empty space between parallels is underestimated; examples are the intertransversal slant distance defined by the closest ends of the transversal segments (a “wings-in Müller-Lyer like” underestimation) or the perpendicular distance between parallels (parallels “attract”). Distance misperception by itself, however, can neither establish that perceived transversal misalignment exists for a Poggendorff display nor specify the perceivedlocation conditions) that will produce perceptual collinearity. The perceptual displacement vector is introduced as a means of specifying fully the perceptual mislocation (displacement) of one transversal segment with respect to the other. Given this vector information (direction as well as distance), the logical soundness of theories postulating distance or location misperception were evaluated, and they were compared on the basis of extant data. Such vector information can be used to evaluate other classes of theories as well.     

A note on the interpretability logic of finitely axiomatized theories

In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.Research supported by the Netherlands Organization for Scientific Research (NWO).     

The demise of short-term memory revisited: empirical and computational investigations of recency effects

In the single-store model of memory, the enhanced recall for the last items in a free-recall task (i.e., the recency effect) is understood to reflect a general property of memory rather than a separate short-term store. This interpretation is supported by the finding of a long-term recency effect under conditions that eliminate the contribution from the short-term store. In this article, evidence is reviewed showing that recency effects in the short and long terms have different properties, and it is suggested that 2 memory components are needed to account for the recency effects: an episodic contextual system with changing context and an activation-based short-term memory buffer that drives the encoding of item-context associations. A neurocomputational model based on these 2 components is shown to account for previously observed dissociations and to make novel predictions, which are confirmed in a set of experiments.     

Deontic reasoning reviewed: psychological questions,empirical findings,and current theories

Deontic reasoning is concerned with questions of whether actions are forbidden or allowed, obligatory or not obligatory. This article reviews empirical findings and psychological theories on deontic reasoning with regard to three questions that have guided psychological research during the last decades: How do people’s deontic capabilities develop? How well do people perform in deontic reasoning tasks? And how do they represent deontic rules? In conclusion, it is discussed why deontic reasoning—despite astonishing, early developing competencies—is still a complex cognitive activity.