The Influence of Prior Handling on the Effective CS-US Interval in Long-Trace Taste-Aversion Conditioning in Rats

The Psychological Record - In conditioned taste aversion (CTA), a taste, the conditioned stimulus (CS), is paired with an illness-inducing stimulus, the unconditioned stimulus (US), to produce...     

Speed-Accuracy Response Models: Scoring Rules based on Response Time and Accuracy

Starting from an explicit scoring rule for time limit tasks incorporating both response time and accuracy, and a definite trade-off between speed and accuracy, a response model is derived. Since the scoring rule is interpreted as a sufficient statistic, the model belongs to the exponential family. The various marginal and conditional distributions for response accuracy and response time are derived, and it is shown how the model parameters can be estimated. The model for response accuracy is found to be the two-parameter logistic model. It is found that the time limit determines the item discrimination, and this effect is illustrated with the Amsterdam Chess Test II.     

Future of Psychometrics: Ask What Psychometrics Can Do for Psychology

I address two issues that were inspired by my work on the Dutch Committee on Tests and Testing (COTAN). The first issue is the understanding of problems test constructors and researchers using tests have of psychometric knowledge. I argue that this understanding is important for a field, like psychometrics, for which the dissemination of psychometric knowledge among test constructors and researchers in general is highly important. The second issue concerns the identification of psychometric research topics that are relevant for test constructors and test users but in my view do not receive enough attention in psychometrics. I discuss the influence of test length on decision quality in personnel selection and quality of difference scores in therapy assessment, and theory development in test construction and validity research. I also briefly mention the issue of whether particular attributes are continuous or discrete.     

Complexity Results of STIT Fragments

We provide a Kripke semantics for a STIT logic with the ??next?? operator. As the atemporal group STIT is undecidable and unaxiomatizable, we are interested in strict fragments of atemporal group STIT. First we prove that the satisfiability problem of a formula of the fragment made up of individual coalitions plus the grand coalition is also NEXPTIME-complete. We then generalize this result to a fragment where coalitions are in a given lattice. We also prove that if we restrict the language to nested coalitions the satisfiability problem is NP-complete if the number of agents is fixed and PSPACEcomplete if the number of agents is variable. Finally we embed individual STIT with the ??next?? operator into a fragment of atemporal group STIT.     

Theory structuralism in a rigid framework

This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ??rigid?? logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme rationalist utopia of a characterization of the real world ??up to isomorphism??, therefore, is rejected.     

“Inference versus consequence” revisited: inference, consequence, conditional, implication

Inference versus consequence, an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997, Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is republished here with only bibliographical changes and an afterword.     

Branching time, indeterminism and tense logic

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior??s later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice.     

Preface

The contributions in this part of the present issue mainly originate from the Carnap Lectures 2011 in Bochum where Prof. Tim Crane (Cambridge, UK) and Prof. Katalin Farkas (Budapest) presented keynote lectures under the heading ??The Boundaries of the Mental??. The full workshop program is available on our website: http://www.ruhr-uni-bochum.de/philosophy/carnap2011/index.html