Fourteenth-century logicians such as Burley and Buridan note that quantifiers not only express relations between terms but also introduce items in discourse that can be referred to anaphorically. The problem this raises is not one of truth conditions, as we have seen—it is not difficult to give first-order representations of sentences such as ‘an animal is running and it is a man’ or ‘Every far...

First-order logic (FOL) is undecidable — that is, no algorithm exists that can decide whether a formula of FOL is valid or not. However, there are various fragments of FOL that are known to be decidable. FO, the two-variable fragment of FOL, is one of such languages [1,2]. FO is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equalit...

Colonial education and missionary discourse of modernity intensified struggles for continuity change among the followers Hinduism Christianity in nineteenth century India. While was characterised by an emphasis on sociocultural changes marginalized women through Christian norms decency, orthodox Hindus used traditional cultural practices to confront modernization endeavours. This article posits...

this study aims at the analysis of the discourse of the art in the middle east. therefore, at the first stage, after criticizing the limitations of the theory of style in the modern art analysis, we emphasize discourse analysis as an alternative approach; at the second stage, we apply discourse approach in order to analyze the art in the middle east. the discourse analysis of art consists, at o...

The purpose of the study reported in this paper is to investigate how local focusing structure, analysed in terms of Centering Theory (Grosz, Joshi & Weinstein, 1995), and global d iscourse structure, analysed in terms of discourse segments and discourse segment purposes (Grosz & Sidner, 1986), interact. Swedish dialogue was analysed according to Centering Theory and Grosz and Sidners (1986) di...

This paper explores the history of the biomedical construction of women's bodies as social bodies in the formation of colonial modernity in Korea. To do so, I engage with Michel Foucault's concepts of governmentality and biopolitics and the postcolonial history of medicine that has critically revisited these Foucauldian notions. These offer critical insights into the modern calculation of popul...

Colonial institutions in Africa were shaped by a variety of factors, including local conditions prior to colonial rule, the policies of the imperial power, and rapid economic change during and after the period of colonial conquest. This paper contributes to a growing literature on the origins and structure of colonial institutions. It examines a neglected but important part of colonial governme...

This paper is about the flow of inference between communicative intentions, discourse structure and the domain during discourse processing. We augment a theory of discourse interpretation with a theory of distinct mental attitudes and reasoning about them, in order to provide an account of how the attitudes interact with reasoning about discourse structure.