This article revisits a widely accepted yet unsubstantiated trajectory of early Kufan Zaydi history, namely, that with ʿAlī recognized as the fourth rightly guided caliph by the proto-Sunni traditionists, represented by Aḥmad b. Ḥanbal, the Batri traditionists were Sunnified. Analysis of Safīna’s hadith transmission and the transmitters of the first four caliphs’ virtues suggests that the four-caliphs thesis was likely circulated in Kufa by the late eighth century and that Kufan traditionists of various sectarian persuasions played an important role in (...) its formation. This paper argues that the Kufan Shiʿi traditionists came to identify with their tradition- ist townspeople as a result of shared qualities and mutual enemies. By revisiting a narrative that is often taken for granted, this study proffers new insights into the formation of a defining Sunni doctrine—the four-caliphs thesis—as well as the transformation of the Kufan Shiʿis. (shrink)

This study investigates the origin, transmission, and reception of two hadith with doctrinal significance on the formation of early Sunni identity and memory of the past—the Mountain hadith, in which the Prophet designates each of the first three caliphs as either a saint or a martyr; and the Ten Promised Paradise hadith, which names the first four caliphs and another five or six Companions as the future residents of paradise. The study identifies Qatāda b. Diʿāma and Hilāl b. Yasāf as (...) the earliest transmitters of both hadith. Analysis of their transmission of the Ten Promised Paradise hadith reveals the emergence of a seminal trend among Kufan traditionists, who, by advocating for an all-embracing approach to ʿUthmān, ʿAlī, and the latter’s opponents, allowed various Kufan groups to find common ground, which was also accompanied by the formation of a comprehensive historical narrative on the first fitna. (shrink)

This article studies how the ʿUthmānī position endorsing the first three caliphs, which was embraced by the majority of the ahl al-ḥadīth in the first two centuries of Islam, came to be replaced by the four-caliph thesis. It examines variations in the narrations of different chains of transmission of Ibn ʿUmar’s tradition in relation to the geographical affiliation and movements of the transmitters active in the late eighth and early ninth centuries. The analysis suggests that Ibn ʿUmar’s tradition was present (...) in two versions at the turn of the ninth century, circulated in Iraqi cities and non-Iraqi cities respectively. Through its investigation, this study substantiates the current narrative on early ahl al-ḥadīth attitudes toward the first four caliphs and offers more insights that help explain why the ʿUthmānī hadith narrators failed to perpetuate their ideas. (shrink)

Sectarianism in Islam: The Umma Divided. By Adam R. Gaiser. Themes in Islamic History. Cambridge: Cambridge University Press, 2023. Pp. xiii + 237. $90 (cloth); $29.99 (paper and ebook).

Pylyshyn's effort in establishing the cognitive impenetrability of early vision is welcome. However, his view about the role of attention in early vision seems to be oversimplified. The allocation of focal attention manifests its effect among multiple stages in the early vision system, it is not just confined to the input and the output levels.

Comprehensive work on Vedanta philosophy.

Graphical AbstractWhereas clathrin-mediated endocytosis (CME) exists in all eukaryotic cells, we first detect classical dynamin in Ichthyosporid, a single-cell, metazoan precursor. Based on a key functional residue in its pleckstrin homology domain, we speculate that the evolution of metazoan dynamin coincided with the specialized need for regulated CME during neurotransmission.

Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A, then A is known” (written $$A \supset K A$$ ) in terms of the Brouwer–Heyting–Kolmogorov interpretation. There are two variants of intuitionistic epistemic logic: one with the axiom “ $$KA \supset \lnot \lnot A$$ ” and one without it. The former is called $$\textbf{IEL}$$, and the latter is called $$\textbf{IEL}^{-}$$. The aim of this paper is to study first-order expansions (with equality and function (...) symbols) of these two intuitionistic epistemic logics. We define Hilbert systems with additional axioms called geometric axioms and sequent calculi with the corresponding rules to geometric axioms and prove that they are sound and complete for the intended semantics. We also prove the cut-elimination theorems for both sequent calculi. As a consequence, the disjunction property and existence property are established for the sequent calculi without geometric implications. Finally, we establish that our sequent calculi can also be formulated with admissible structural rules (i.e., in terms of a G3-style sequent calculus). (shrink)