Implicative negation

རང་ཞེས་བརྗོད་པའི་སྒྲས་རང་གི་དགག་བྱ་བཀག་ཤུལ་དུ་རང་འཛིན་རྟོག་པའི་གཞལ་བྱར་འཕངས་པ་ཡང་ཡིན། སྒྲུབ་པ་ཡང་ཡིན་པའི་གཞི་མཐུན་པ་ཡོད་པ་ཡང་ཡིན། དགག་པ་ཡང་ཡིན་པའི་གཞི་མཐུན་པར་དམིགས་པ་དེ། རང་ཉིད་མ་ཡིན་དགག་གི་གཞན་སེལ་གྱི་མཚན་ཉིད།
Definition (Purbuchok): That observed as the common locus of being:

1. A negation; and
2. There exists that which is a common locus of:
   1. That conveyed as a cognised-object to its apprehending conception upon the sound expressing it negating its object of negation; and
   2. Being a positive phenomenon.

རང་ཉིད་ངེས་པའི་བློས་རང་གི་དགག་བྱ་བཀག་ཤུལ་དུ་རང་གི་འཕངས་བྱར་གྱུར་པའི་ཆོས་གཞན་འཕེན་པའམ་སྒྲུབ་པའི་དགག་པ། མ་ཡིན་དགག་གི་མཚན་ཉིད།
Definition (Tendarwa): A negation that conveys or establishes another phenomenon that is its conveyed-object upon the awareness ascertaining it negating its object of negation.

མ་ཡིན་དགག་གི་གཞན་སེལ་དང་མ་ཡིན་དགག་དོན་གཅིག
Other-exclusion that is an implicative negation and implicative negation are mutually inclusive.

Divisions of other-exclusion that is an implicative negation:

1. Specifically characterised object other-exclusion དོན་རང་མཚན་གྱི་གཞན་སེལ།
2. Awareness other-exclusion བློའི་གཞན་སེལ།

Divisions of implicative negation:

1. Implicative negation where the sound expressing it explicitly conveys the other phenomenon (positive) that is its conveyed-object
   རང་ཞེས་བརྗོད་པའི་སྒྲས་རང་གི་འཕངས་བྱར་གྱུར་པའི་ཆོས་གཞན་སྒྲུབ་པ་དངོས་སུ་འཕེན་པའི་མ་ཡིན་དགག
   Illustrations:
   • The place where a pot is not observed by valid cognition བུམ་པ་ཚད་མས་མ་དམིགས་པའི་ས་ཕྱོགས།
   • A field without mountains རི་མེད་པའི་ཐང་།
     
     
2. Implicative negation where the sound expressing it implicitly conveys the other phenomenon (positive) that is its conveyed-object
   རང་ཞེས་བརྗོད་པའི་སྒྲས་རང་གི་འཕངས་བྱར་གྱུར་པའི་ཆོས་གཞན་སྒྲུབ་པ་ཤུགས་ལ་འཕེན་པའི་མ་ཡིན་དགག
   Illustrations:
   • The opposite of non-pot བུམ་པ་མ་ཡིན་པ་ལས་ལོག་པ།
   • The fat Devadatta does not eat food in the daytime ལྷས་བྱིན་ཚོན་པོ་ཉིན་པར་ཟས་མི་ཟ་བ།
     
     
3. Implicative negation where the sound expressing it both explicitly and implicitly conveys the other phenomenon (positive) that is its conveyed-object
   རང་ཞེས་བརྗོད་པའི་སྒྲས་རང་གི་འཕངས་བྱར་གྱུར་པའི་ཆོས་གཞན་སྒྲུབ་པ་དངོས་ཤུགས་གཉིས་ཀ་ལ་འཕེན་པའི་མ་ཡིན་དགག
   Illustration:
   • The fat Devadatta, who does not eat during the day, is not thin
     ཉིན་པར་ཟས་མི་ཟ་བའི་ལྷས་བྱིན་ཚོན་པོ་རིད་པ་མ་ཡིན་པར་ཡོད་པ།
     
     
4. Implicative negation where the sound expressing it contextually conveys the other phenomenon (positive) that is its conveyed-object
   རང་ཞེས་བརྗོད་པའི་སྒྲས་རང་གི་འཕངས་བྱར་གྱུར་པའི་ཆོས་གཞན་སྒྲུབ་པ་སྐབས་སྟོབས་ཀྱིས་འཕེན་པའི་མ་ཡིན་དགག
   Illustration:
   • King Siddhartha is either of the royal caste or Brahmin caste and he is not of Brahmin caste
     རྒྱལ་པོ་དོན་གྲུབ་རྒྱལ་རིགས་དང་བྲམ་ཟེའི་རིགས་གང་རུང་ཡིན་ཞིང་། བྲམ་ཟེའི་རིགས་མ་ཡིན་པ།

See also: Other-exclusions that are implicative negations
Up a level: Positive phenomena and Negations