in the case of the crisis of identity, one of the obvious emblems of the objecting new wave in cinema before the islamic revolution is to express the national identity. in this study the problem is to recognize the components of national identity in bahram beyzaie works. introducing the concept of identity ,it’s dimensions and components the ingredients of identity is searched in three main fil...

I finally turn to an all too cursory discussion of the application of the foregoing considerations to the identity thesis. Identity theorists have been concerned with several distinct types of identifications: of a person with his body, of a particular sensation (or event or state of having the sensation) with a particular brain state (Jones's pain at 06:00 was his C-fiber stimulation at that t...

In this paper we organize research on work-related identities into a four-perspective typology that captures different ways identities can be “positive.” Each perspective on positive identity—virtue, evaluative, developmental, and structural—highlights a different source of positivity and opens new avenues for theorizing about identity construction. We use these four perspectives to develop pro...

This paper tries to study the effective factors involving in social identity among high school students in Amol (Northern Iran) from three different viewpoints: Religion, family and national ones. This research is done by survey and questionnaire method. The sample were 372 Boys and girls. The findings show variables like self satisfaction, rationalization of affairs, and self-steastm influen...

abstract: the national identity is one of the most essential components of define any person from self and play a crucial role in contemporary world equations. the nature of national identity in any society depends on its status and the constructive dimensions and consequently the nature of its status and the constructive dimensions will have different results in various societies. therefore, u...

This paper focuses on how terms of second order-calculus, which may take types as inputs, depend on types. These terms are generally understood to have an \essentially" constant meaning, in all models, on input types. We show how the proof theory of second order-calculus suggests a clear syntactic description of this phenomenon. Namely, under a reasonable condition, we show that identity of two...

Introduction 3 1 A short guide to constructive type theory 7 1.1 A dependent type over a type . . . . . . . . . . . . . . . . . . . . . . . . 8 1.1.1 Dependent products . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.1.2 Dependent sums . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2 Defining types inductively . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2 Type theor...