こういった試みに伴う困難が部分的にはナヴィヤ・ニヤーヤという名の新しい論理学派の交流を励起し、同派が16世紀に形式的な分析を展開することになる.
ナヴィヤ・ニヤーヤ