Researchers at the Indian Institute of Science (IISc) have successfully utilized a new deep-learning model to decipher highly weathered 8th-century fragments of the Sharada script found in the upper Ganderbal region. The decoded text contains a previously unknown commentary on Navya-Nyaya logic, detailing recursive syllogisms that closely mirror the structures of modern Boolean algebra.
The manuscript fragments, titled 'Yukti-Dipika-Sutra', outline a rigorous system of symbolic logic used to validate astronomical observations. Scholars suggest this discovery proves that ancient Indian logicians had developed a formal language for computational truth values nearly a millennium before the advent of modern symbolic logic in the West.