In this paper I discuss what, according to my long experience, every computer scientist should know from logic. We concentrate on issues of modeling, interpretability and levels of abstraction. We discuss what the minimal toolbox of logic tools should look like for a computer scientist who is involved in designing and analyzing reliable systems. We shall conclude that many classical topics dear...

A !is article problematizes the complexity of Muslim approaches to the question of modernity. It challenges both a hegemonic voice of a singular and superior Western modernity and an essentialist Islamist response to modernity. It examines the alternative approach of multiple modernities. !is approach calls for a critical dialogue and negotiation between tradition and modernity, expedite...

In this ethnographic sketch, I analyze the complex processes of Sino-Islamic identity formation by examining the variety and diversity of locally produced “authenticity,” situated within a global understanding of Islam. Even within a single province, among a single official minzu (nationality) that People’s Republic of China propaganda, media, and scholarship often construct as a unified, stati...

meeting of the fourth shi‘a imam with muslim b. ‘uqba in harra uprising is narrated in various forms. investigation of narrations of that meeting can remove ambiguity of a controversial event in the political life of the fourth shi‘a imam and expound part of political policies of shi‘a school in the dissimulation era. investigations made earlier as to those narrations, however, do not seem suff...

I n this article I want to address a number of issues thrust into the open by different manifestations of Islamist politics and the intersection of religion and identity politics in Western societies. This intersection should be read in conjunction with the emergence in Muslimmajority societies of forms of political activism that ground themselves in Islamic doctrines and invoke religious tradi...

This paper reports the consequences experienced by Islam women attempting to reform gender relations among Muslim societies in northern Nigeria. The article also examines the problems encountered and its relation to the ideas, plans, and programs of gender and development (GAD) programs. In Muslim communities, few men or women disagree with the content of the GAD program aimed at addressing w...

Despite the steady increase of Muslims in America, there is a scarcity of research for mental health professionals who wish to work with Muslim couples. The goal of this article is to provide mental health therapists the common features of Muslim marriages and how they are influenced by the religious and social context, with clinical implications for couples therapy interventions being discussed.

When I started interacting with logicians, I was surprised to learn that fuzzy logic is still a big and active field of basic research. This surprise stemmed from my experience with fuzzy logic in my own field, linguistic semantics: In semantics, fuzzy logic was explored in the analysis of vagueness in the early seventies by Lakoff [10], but has been regarded as unsuitable for the analysis of l...