Arthāpatti (negative inference / postulation) is a pramāṇa propounded by Mīmāṃsā and accepted by Advaita Vedānta; Nyāya subsumes it under anumāna; invoked in svara-śruti relation debates.
Body (pseudocode)
IF means_of_knowledge == 'arthapatti': school in {mimamsa, advaita_vedanta} => independent_pramana; school == nyaya => subsumed_under('anumana'); usage_in_music: establish(svara <-> shruti) via negative_inference
Inputs / output
epistemic_context
—
→ pramana_classification
Evidence (2)
p. vol_I_p019 · #2194« If by arthāpatti (negative inference) or by the pramāņa presuming vyāpti-grahaṇa »
p. vol_I_p091 · #2995« Arthāpatti is one of the pramāṇas... propounded specially by the mīmāṃsā system and accepted by Advaita Vedānta. Nyāya includes it under anumāna. »
Other rules in category definition
R_006_nyasa_definition · nyāsa · Nyāsa is the svara on which a gīta (tonal structure) is placed, left, or conclud
R_4p0_001 · vibhāṣā · vibhāṣā = variante/sous-categorie de bhāṣā derivee d'un rāga, avec varietes
R_15_bhasa_definition · bhāṣā · Bhāṣā is a melodic form arranged within a grāma-rāga, characterized by specific
R_c17_apanyasa · apanyāsa · apanyāsa = svara de cadence intermédiaire (avant fin), interne aux vidārīs, jama