The Skolem-Löwenheim theorem in toposes. II

This paper is a continuation of the investigation from [13]. The main theorem states that the general and the existential quantifiers are (, -reducible in some Grothendieck toposes. Using this result and Theorems 4.1, 4.2 [13] we get the downward Skolem-Löwenheim theorem for semantics in these toposes.     

Sensorimotor synchronization: Motor responses to pseudoregular auditory patterns

Musically trained and untrained subjects (N=30) were asked to synchronize their finger tapping with stimuli in auditory patterns. Each pattern comprised six successive tonal stimuli of the same duration, the first of which was accented by a different frequency. The duration of interstimulus onset intervals (ISIs) gradually increased or decreased in constant steps toward the end of the patterns. Four values of such steps were used in different trials: 20, 30, 45, and 60 msec. Various time-control mechanisms are hypothesized as being simultaneously responsible for subjects’ incorrect reproduction of the internal temporal ratios of the stimulus patterns. The mechanism of assimilation (of a central tendency) led subjects to enforce a regular (isochronous) structure on the patterns. The influence of other time-control mechanisms (distinction, subjective expression of an accent, sequential transfer) was expressed mainly in differences between intertap onset intervals (ITIs) and the corresponding ISIs at the beginning of the patterns. The duration of the first two ITIs was in the majority of the trials in an inverse ratio to the ratio of the respective ISIs. The distortions resulting from the timing mechanisms concerned were more pronounced in the performance of nonmusicians than in that of musicians.     

Contrary-to-duty obligations

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals.     

Die Praxis als die “Entscheidende Antriebskraft” der Entwicklung der Physik im 17. Jahrhundert?

Ohne ZusammenfassungDieser Aufsatz ist Fortsetzung der Arbeit Marxist Theory and the Development of Physics. I., veröffentlicht inStudies in Soviet Thought 34 (1988) 73–78.     

Sensorimotor synchronization: Motor responses to regular auditory patterns

Subjects (N = 32) were asked to synchronize a motor response with tones in auditory patterns. These patterns were created from six tones and six intertone intervals of equal duration. The pitch of the first tone differed from the others. It was found that subjects used three types of timing in their motor response: (1) the first intertone interval was prolonged and the second interval was shortened, (2) the second intertone interval was prolonged and the first interval was shortened, and/or (3) the first interval and the second interval were of approximately the same length. The prolongation of the fifth interval was observed during all three types of timing. The results are explained using the concept of suprasegmental control of timing, which explains a prolongation of intervals at critical control point of the patterns. The occurrence of three different strategies of timing is discussed in connection with similar principles in musical performance.     

Deduction theorems for RM and its extensions

In this paper logics defined by finite Sugihara matrices, as well as RM itself, are discussed both in their matrix (semantical) and in syntactical version. For each such a logic a deduction theorem is proved, and a few applications are given.     

Common Sense and the Natural Light in George Berkeley’s Philosophy

Philosophia - It is argued that George Berkeley’s term ‘common sense’ does not indicate shared conviction, but the shared capacity of reasonable judgement, and is therefore to be...     

Parsing as a Cue-Based Retrieval Model

This paper develops a novel psycholinguistic parser and tests it against experimental and corpus reading data. The parser builds on the recent research into memory structures, which argues that memory retrieval is content-addressable and cue-based. It is shown that the theory of cue-based memory systems can be combined with transition-based parsing to produce a parser that, when combined with the cognitive architecture ACT-R, can model reading and predict online behavioral measures (reading times and regressions). The parser's modeling capacities are tested against self-paced reading experimental data (Grodner & Gibson, 2005), eye-tracking experimental data (Staub, 2011), and a self-paced reading corpus (Futrell et al., 2018).     

The Croatian version of the Emotion Regulation Questionnaire: Links with higher- and lower-level personality traits and mood

The Emotion Regulation Questionnaire (ERQ) measures habitual use of two emotion regulation strategies, cognitive reappraisal and expressive suppression. The present study tested the psychometric properties and validity of a newly developed Croatian adaptation of the ERQ. In a sample of 347 participants, we first sought to confirm the ERQ's original factor structure. Next, we tested its convergent, divergent and incremental validity. In the first subsample (N = 140), we linked the ERQ with a measure of the Five-Factor Model dimensions and their facets (Revised NEO Personality Inventory). In the second subsample (N = 207), we tested its ability to predict personality dimensions assessed by a different measure (Big Five Inventory) as well as the traits of positive and negative affect, including its incremental validity in predicting the latter. The results corroborated earlier findings, showing that the Croatian ERQ has equivalent psychometrics and predictive validity as ERQs in other languages. Crucially, the observed links between the ERQ and the facets of the Five-Factor Model dimensions enrich our understanding of the personality mechanisms behind the employment of these emotion regulation strategies.