Indefinite sign with correct remainder
ཁྱོད་དེ་སྒྲུབ་ཀྱི་ཐུན་མོང་གི་མ་ངེས་པའི་གཏན་ཚིགས་གང་ཞིག །རང་ཉིད་དེ་སྒྲུབ་པ་ལ་ཕྱོགས་ཆོས་ཅན་དུ་སོང་བའི་གང་ཟག་གིས་རང་ཉིད་དེ་སྒྲུབ་ཀྱི་མཐུན་ཕྱོགས་ལ་ཡོད་པར་ངེས་རང་ཉིད་དེ་སྒྲུབ་ཀྱི་མི་མཐུན་ཕྱོགས་ལ་ཡོད་མེད་ཐེ་ཚོམ་ཟ་བ། ཡང་དག་ལྷག་ལྡན་གྱི་མ་ངེས་པའི་གཏན་ཚིགས་ཀྱི་མཚན་ཉིད།
(Pramanavartika:) Definition:
- x is a common indefinite reason in the proof of that, and
- the person for whom it holds as the property of the position in the proof of that:
- ascertains it as existing in the concordant class in the proof of that and
- doubts whether or not it exists in the discordant class in the proof of that.
དཔེར་ན། ངག་སྨྲའི་སྐྱེས་བུ་ཕ་རོལ་པོ་ཆོས་ཅན། ཀུན་མཁྱེན་མ་ཡིན་ཏེ། ངག་སྨྲ་བའི་ཕྱིར། ཞེས་པ་ལྟ་བུ།
For example: The subject – the being opposite who is speaking – they are not all-knowing because of speaking.
(Tarig:) Illustration: From the perspective of a person doubting all-knowing, Devadatta the speaker is not all-knowing because of speaking.
ཀུན་མཁྱེན་ལ་ཐེ་ཚོམ་ཟ་བའི་གང་ཟག་གི་ངོར། ངག་སྨྲ་བའི་ལྷས་བྱིན་ཆོས་ཅན། ཀུན་མཁྱེན་མ་ཡིན་ཏེ། ངག་སྨྲ་བ་ཡིན་པའི་ཕྱིར།
Up a level: Indefinite sign with remainder in the proof of that