1. LogiqueDouble négation (ni A, ni non-A).L’ordre où celui-ci (Yamauchi Tokuryū) , dans le tétralemme, place la binégation avant la biassertion, en particulier, est rapproché de la définition de la réalité des milieux comme r = S/P (S en tant que P). La logique des milieux (vivants en général ou humains en particulier) serait donc une lemmique.D’ordinaire, le tétralemme est présenté dans l’ordre 1. affirmation (A) ; négation (non-A) ; biaffirmation (à la fois A et non-A) ; binégation (ni A ni non-A). Pour Yamauchi, dans cet ordre-là, le tétralemme ne mène à rien. Il faut placer la binégation en 3e lemme, car elle est décisive.