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相似文献
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.
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. 相似文献
Career preparation represents a major developmental task of adolescence, which has not received sufficient attention in empirical research on career development. Thus, this study was designed to examine the structure, continuity, and change in adolescent career preparation and its relationships with adjustment. The data were collected from a diverse sample of 389 adolescents on four occasions beginning in Grade 11 in high school and ending 6 months after high school graduation. Using Structural Equations modeling, a four-wave, developmental model of adolescent career preparation indicated by career decidedness, planning, and confidence was shown to fit the empirical data very well. Career preparation was characterized by continuity and a consistent pattern of positive concurrent and prospective associations with various indicators of adjustment. The results of the study provide empirical support for the theoretical propositions about the adaptive role of adolescent career preparation, particularly in terms of its contribution to psychological well-being and social integration. 相似文献
The present study described development of a Japanese version of the Emotional Skills and Competence Questionnaire and examined the relations of scores with those on Big Five scales of personality and self-esteem scales. The participants were 615 undergraduates. Factor analysis led to the shortened version of 24 items in three subscales. Although Cronbach alphas were low for the subscale, Manage and Regulate Emotion, values were satisfactory for the other two subscales, Express and Label Emotion and Perceive and Understand Emotion. Total scores of this version were positively correlated with score for self-esteem, Extraversion, and Openness but negatively correlated with scores on Neuroticism. This shorter Japanese versions shows suitable internal consistency and content validity, but other reliabilities and validities must be examined precisely. 相似文献
Logical connectives, such as “AND”, “OR”, “IF . . . THEN”, and “IF AND ONLY IF” are ubiquitous in both language and cognition; however, reasoning with logical connectives is error-prone. We argue that some of these errors may stem from people's tendency to minimize the number of possibilities compatible with logical connectives and to construct a “minimalist” one-possibility representation. As a result, connectives denoting a single possibility (e.g., conjunctions) are likely to be represented correctly, whereas connectives denoting multiple possibilities (e.g., disjunctions or conditionals) are likely to be erroneously represented as conjunctions. These predictions were tested and confirmed in three experiments using different paradigms. In Experiment 1, participants were presented with a multiple-choice task and asked to select all and only those possibilities that would indicate that compound verbal propositions were true versus false. In Experiment 2, a somewhat similar task was used, except that participants were asked later to perform a cued recall of verbal propositions. Finally, Experiment 3 used an old/new recognition paradigm to examine participants' ability to accurately recognize different logical connectives. The results of the three experiments are discussed in relation to theories of representation of possibilities and theories of reasoning. 相似文献
Only during a brief period in the aftermath of the revolution was a portion of the Soviet intelligentsia eager sincerely to cooperate with the Soviet system. Soon, with Stalin's repressions, the intelligentsia, and especially its elite — the intellectuals, or those involved in creative activities such as science, literature and the arts, became locked in permanent conflict with the government.Once mass terror disappeared after Stalin's death in 1953, intellectuals faced the possibility of confronting the regime without fear of instant arrest and eventual death in the Gulag.Moral choices became a serious problem, especially during the period of political reaction under Brezhnev in the 1970's, when the regime resorted to repressions (albeit in milder form than during Stalin's times) and corruption in order to prevent the oppositional activity of intellectuals. Brezhnev's regime was rather successful in this endeavor, an issue which was hotly debated by Russian intellectuals in the period ofglasnost' when soul-searching and recanting about their behavior of the 1970's.The political conformism of intellectuals bore an interesting product, namely, a special mythology which had to exculpate passive intellectuals as well as those who corroborated with the authorities and betrayed their colleagues.The goal of this paper is to analyze this mythology. The author makes a distinction between two kinds of mythology used by the intellectuals to justify their conformity — a current mythology, which is employed for the vindication of contemporary deeds and a retrospective mythology, the purpose of which is to acquit one of past actions. The importance of the mythology employed by the intellectuals goes beyond the Soviet experience and reminds one of the developments in the American intellectual community during the McCarthy era, as well as in German and French communities during the Second World War. As a theoretical basis for this paper, the author uses the concept of a two-level mentality which helps explain how people can easily separate their behavior from their system of values. 相似文献
In experimental investigations related to Kelly's theory of constructs (1955. The psychology of personal constructs. New York: Norton) a special constant was discovered. It was found that subjects on the average choose a positive over a negative pole with the probability 0.62. (Adams-Webber and Benjafield 1973. Canadian Journal of Behavioral Science5, 234–241). The same constant was also found in other experiments related to the choice of elements marked “good” and “bad.” Benjafield and Adams-Webber (1976. British Journal of Psychology67, 11–15) hypothesized that the precise value of this constant coincides with “golden section” ≈0.6180. In this paper it is shown that if we suppose that the subjects actualize mechanisms of choice described by the algebraic model of ethical cognition (which was constructed without any relation to the constant 0.62), then the existence of this constant is mathematically explained. Under very broad assumptions its value is 0.625, and under more constrained conditions it is equal to the golden section ratio precisely. 相似文献
Philosophia - Platonists in mathematics endeavour to prove the truthfulness of the proposal about the existence of mathematical objects. However, there have not been many explicit proofs of this... 相似文献