In this article we show how the universe ofBST,bounded set theory (a modification ofIST which is, briefly, a theory for the family of those sets inIST which are members of standard sets) can be enlarged by definable subclasses of sets (which are not necessarily sest in internal theories likeBST orIST) so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur.ThusBST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop topics in nonstandard analysis inaccessible in the framework of a purely internal approach, such as Loeb measures.Presented byRobert Goldblatt相似文献
The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are applicable to most modal logics for which decidability with respect to admissibility is known and to many others, for instance, to the modal logicsK4,K4.1,K4.2,K4.3,S4.1,S4.2,GL.2; to all smallest and greatest counterparts of intermediate Gabbay-De-Jong logicsDn; to all intermediate Gabbay-De-Jong logicsDn; to all finitely axiomatizable modal and intermediate logics of finite depth etc. Semantic criteria for recognizing admissibility for these logics are offered as well.The results of this paper were obtained by the author during a stay at the Free University of Berlin with support of the Alexander von Humboldt Foundation in 1992 – 1993.Presented byWolfgang Rauntenberg相似文献
Google Books Ngram was used to assess changes in frequency of usage in words corresponding to collectivistic and individualistic values in Russia during the time of economic changes. It was found that in many domains transition to market economy was associated with a rise in the use of words corresponding to individualistic values and a decrease in the use of words associated with collectivistic values. In several cases, words corresponding to collectivistic terms were used more often than words corresponding to individualistic values. The results suggest that economic changes lead to a change in values structure, but that individualistic and collectivistic values can co‐exist because of the transitional sate of the Russian society. 相似文献
The paper argues that Nikolai Berdyaev’s doctrine of theurgy has remained relevant in today’s cultural-historical context because it highlights a continuing problem in the philosophy of art. The problem is the misunderstanding of the ludic nature of art, its role in the evolution of consciousness and transformation of reality. The author questions the idea that artistic play is deficient compared with religious expression. As a result of this critique, he proposes that the theurgic quest for a radically new form of creativity was misguided and that the true meaning of the aspiration behind it is the need to comprehend culture as a dialectically articulated integral system of the cultural forms that constitute it.
Contingent negative variation (CNV) topography, hemispheric asymmetry and time-course were investigated in healthy subjects and non-medicated paranoid schizophrenic patients in two antisaccade paradigms with the short (800-1000 ms) and long (1200-1400 ms) durations of the fixation period. EEG and electrooculogram (EOG) were recorded. Saccade characteristics and mean amplitudes of slow cortical potentials time-locked to peripheral target were analyzed in 23 healthy volunteers and 19 schizophrenic patients. Compared to healthy control subjects, schizophrenic patients had significantly slower antisaccades and committed significantly more erroneous saccades in the both antisaccade tasks. The prolongation of the fixation period resulted in noticeable decrease of error percent in patients group. The analysis of CNV time-course has revealed two distinct stages in both groups. The early CNV stage was represented by a negative wave with the maximal amplitude over midline fronto-central area, and the late stage was characterized by increased CNV amplitude at the midline and left parietal electrode sites. In healthy subjects the simultaneous activation of frontal and parietal areas was observed in the paradigm with the shorter fixation interval; the increase of the fixation period produced consecutive activation of these areas. Schizophrenic patients' CNV amplitude was generally smaller than that of healthy subjects. The most pronounced between-group differences of the negative shift amplitude were revealed at frontal electrode sites during the early CNV stage in both modifications of the antisaccade task. The deficit of frontal activation revealed in patients at the early stage of antisaccade preparatory set in both antisaccadic paradigms may be related to pathogenesis of paranoid schizophrenia. 相似文献
The purpose of the present study was to evaluate a pilot program designed to teach communication skills to young drivers and passengers. Sixty-two young males recruited as 31 pairs of friends, all aged between 18 and 21 years and holding a probationary drivers licence, were randomly assigned to a training or no-training condition. A training program was developed based upon elements of existing team training programs. Driver and passenger pairs operated a driving simulator through scenarios designed to measure aspects of safe driving behaviour and hazard response. Communications between driver and passenger were also measured. All participants were administered the Driver Behaviour Questionnaire before and approximately 2 months after simulator testing. Compared to the untrained group the trained participants exhibited a larger following distance, reduced speed significantly when faced with an unexpected hazard on the road, and exhibited more safe communications. Although current passenger restrictions are warranted, the present results reveal an alternative view of adolescent passengers: rather than being a negative influence on drivers, adolescent passengers can potentially be trained to become a positive influence. 相似文献
Flicker-induced change blindness paradigms have been used to explore attentional biases for a range of concern-related cues. However, previous studies have had limitations related to concerns about carryover effects in repeated measures designs, as well as problems with response modalities. The present article develops a repeated measures paradigm utilising nonverbal responses and explores the implications of these design modifications for the reliability and validity of the paradigm. Affective stimuli were presented to participants, and the results suggest that the modified paradigm is a useful tool for assessing attentional bias. A number of recommendations for the future use of this methodology are made. 相似文献
We studied contrast and assimilation in three tasks: an exemplar-production task, a categorization task, and a combined categorization-then-production task. On each trial of the first task, subjects produced a circle when prompted with a category label. In the second task, they classified lines that differed in length into one of four categories. On each trial of the combined task, they classified two lines and then produced a line when prompted by a category label. All three tasks converged on the same conclusion: subjects' representation of the categories (measured in pixels in the production tasks and by the direction of errors in classification) shifted systematically from trial to trial. When successive stimuli were from the same category, the representation of that category was pulled toward the exemplar from the previous trial. When successive stimuli were from different categories, the representations of the neighbouring categories were pushed from the category of the initial stimulus. We conclude that accounts of categorization and identification must accommodate both assimilation and contrast as a function of trial-to-trial shifts in representation. 相似文献
Motor overflow refers to involuntary movement or muscle activity coinciding with voluntary movement. We examined whether 16 young adults (18-30 years) and 16 older adults (50-80 years) could voluntarily inhibit overflow. Participants performed a finger pressing task, exerting 50% of their maximal force. Overflow was concurrently recorded in the non-task hand. In the first condition, participants were not made aware of their motor overflow. Then participants, though informed of it, were asked to ignore their overflow. Finally, participants were requested to inhibit overflow with, and then without visual feedback, or vice versa. Overflow was exacerbated when older adults were unaware of it, and was reduced once they were informed. For young adults there was no significant difference between these conditions. Both Age Groups could significantly reduce overflow when so requested, independent of visual feedback. Thus motor overflow can be modulated by higher order cognitive control with directed attention. 相似文献