This paper introduces a natural deduction calculus for intuitionistic logic of belief \ which is easily turned into a modal \-calculus giving a computational semantics for deductions in \. By using that interpretation, it is also proved that \ has good proof-theoretic properties. The correspondence between deductions and typed terms is then extended to a categorical semantics for identity of proofs in \ showing the general structure of such a modality for belief in an intuitionistic framework.

The correlation between dialogue and religion, both as conceptual apparatuses and as current practices, has had a long history. The purpose of this essay is to isolate one such instance – the “critical dialogue” taking place amongst scholars of religions – which involves also the dialogue scholars establish with their field of study and/or a given religious tradition. Following a brief clarification of terminology used, I will proceed to discuss concrete examples of critical dialogue within the Study of Religions and (...) how this might be enhanced. Finally, I will draw some partial conclusions which might pave the way for this critical dialogue to improve and continue. (shrink)

This introductory chapter sets out the rationale for the ensuing chapters and their division into different parts. It also provide an overall and comprehensive prologue to the Gramsci-Ambedkar encounter. Indeed, "parallels are strong and very striking for two thinkers who are otherwise so different - in political experience, philosophical background and ideas of effective strategy" (Jon Soske, personal communication). Nevertheless, the moral fabric of their political commitment to Dalits/subalterns bring them very close, particularly in the upholding of Gramsci's 'intellectual and (...) moral reform' and Ambedkar's 'social and moral consciousness of society'. (shrink)

Journal Name: Semiotica Issue: Ahead of print.