Chapter 3: Tools — Two Negations and the Tetralemma¶

[PLANNED] This chapter has not yet been written; what follows is a skeleton. Items may be added or removed, and the order may change.

The logical toolkit, assembled once; the choice of logic settled here: reductio needs only non-contradiction and classical logic, with the tetralemma read as negation under presupposition cancellation.

• Assertion and rejection as distinct speech acts; the two negations (prasajya and paryudāsa) formalized.
• The key lemma: rejection does not entail counter-assertion — weak rejection, against Frege's dismissal and strong bilateralism.
• Three formal readings of the tetralemma, with presupposition cancellation adopted; grid-filling in the Vibhāṣā against grid-burning in Nāgārjuna.
• The identity-difference dilemma: identity criteria, the reach of Leibniz's law, and the scope-lock (the dilemma bites only realists about intrinsic nature).
• MMK I.1 as a full worked sample.