No description available.

English literature on colonial era Taiwanese identity is underrepresented in contemporary scholarship. In order to shed further light on the topic I will analyze: How did the identity of the people living on Taiwan transform during the Japanese colonial period, 1895-1945? I conduct my analysis using comparative method based on the framework put forth by Abdelal, Herrera, Johnston and McDermott in their Identity as a Variable. The paper defines collective identity as a social category that varies around two dimensions, content and contestation. The content describes the meaning of a collective identity. Contestation refers to the degree of agreement of the content of the identity. The content can be divided into four non-mutually-exclusive types: constitutive norms, social purposes, relational comparisons, and cognitive models. During the Japanese period I argue that three constitutive norms changed on Taiwan. The Japanese transformed the Taiwanese into law-abiding citizens; they created a norm of sanitation and hygiene on the island; and they transformed the status of Women. The key forces in implementing change were the threat of punishment and education. In social purposes I argue that during the colonial era the Taiwanese elites developed a goal of improving the rights and opportunities for the Taiwanese people. The elites were divided between liberal and Marxist influence, and among the degree of acceptance for a political society within the Japanese Empire. During the colonial period, the relational comparison to the Japanese created the notion of Taiwanese as a collective unit. Japanese police changed the structure of Taiwanese society. The new structure broke down existing cleavages between different groups of Taiwanese. Over time the collective discrimination of Taiwanese by the Japanese, created a notion of Taiwanese as a single unit. In cognitive models I argue that the Japanese policies created a single community on Taiwan. The Japanese brought the modern state to Taiwan. The Japanese modernization policies created a single community on the island.

No description available.

No description available.

No description available.

No description available.

Coinduction is a proof rule which is the dual of induction. It allows reasoning about non-well-founded sets and is of particular use for reasoning about equivalences. In this thesis I present an automation of coinductive theorem proving. This automation is based on the ideas of proof planning [Bundy 88]. Proof planning as the name suggests, plans the higher level steps in a proof without performing the formal checking which is also required for a verification. The automation has focused on the use of coinduction to prove the equivalence of programs in a small lazy functional language which is similar to Haskell. One of the hardest parts in a coinductive proof is the choice of a relation, called a bisimulation. The automation here described makes an initial simplified guess at a bisimulation and then uses critics, revisions based on failure, and generalisation techniques to refine this guess. The proof plan for coinduction and the critic have been implemented in CLAM [Bundy et al 90b] with encouraging results. The planner has been successfully tested on a number of theorems. Comparison of the proof planner for coinduction with the proof plan for induction implemented in CLAM has gighlighted a number of equivalences and dualities in the process of these proofs and has also suggested improvements to both systems. This work has demonstrated not only the possibility of fully automated theorem provers for coinduction but has also demonstrated the uses of proof planning for comparison of proof techniques. This work has demonstrated not only the possibility of fully automated theorem provers for coinduction but has also demonstrated the uses of proof planning for comparison of proof techniques.

No description available.

The purpose of this research is to examine the longevity of the stereotype of the tragic mulatto in American film history. Specifically, my research focuses on the portrayals and perceptions of biracial actresses. Media informs, entertains, and influences how we, and especially youth, self-identify and interact with others. This research focuses on the portrayal of biracial actresses throughout film history. It is also important in its investigation of the perpetuation of the one-drop rule. In this research, I will examine if historical stereotypes of tragic mulatto are apparent in contemporary Hollywood film. The methodologies used in this research include a content analysis of films with biracial actresses and an online survey of respondents’ perceptions of four actresses. Statistical techniques used for analysis include ordinary least square regression and multinomial logistic regression. Findings suggest that the tragic mulatto stereotype is not blatant in contemporary Hollywood film, but issues of colorism may be apparent.

Thesis (M.LAW) --Univesity of Limpopo, 2010 / This study investigates the operation and application of the rule of law in South Africa from the colonial era to the new constitutional dispensation. The study also investigates the relationship between the rule of law and the modern conception of constitutionalism.