Descartes' Cogito vs. Buddha's Anatta

Descartes’ and the Buddha’s arguments

Tx = x thinks
d = Descartes

  1. Td
  2. \exists x(Tx \wedge x = d)

or

  1. \forall x(Tx \to \exists y (y = x))
  2. Td \to \exists y (y = d)
  3. Td
  4. \exists y (y = d)


Dx = x is dependently originated

  1. \forall x(Dx \to \neg \exists y(y = x))
  2. Dd \to \neg \exists y (y = d)
  3. Dd
  4. \neg \exists y(y = d)


I’d also like some help regarding the heretical teachers Sanjaya Belathiputta, Ajita Kesakambali, Pakudah Kaccayana vis-a-vis Buddha’s anatta and Descartes’ cogito.