Hello @Darayavaush, I hope it was helpful. My intent in the post was only focused on clarifying the role of the formal logic. I wish to remain neutral as to the ongoing debate regarding conclusory statements re: Dependent Origination.
I do believe logic can help us understand and think clearly about Buddha dharma. Nonetheless, logic is only a tool. While it can aid in understanding, ultimately it is insufficient to truly know dharma. Still, like any tool, when it is wielded it should be wielded properly ![]()
That is a proper logical proposition. Well done! It specifies one possible way of framing DO in logical terms. The truth of this proposition is not self-evident. To know whether it is true requires something else: namely, a sound proof.
Another way of framing DO in logical terms is:
It is impossible for ‘vedana exists’ to be true unless ‘avijja has previously arisen’ is true
And I’m sure there are countless others. Both of the formulations above are valid. The logical framework is agnostic about what goes inside the quotes. Nothing about the definition of necessary condition or the rules of logic can help us determine what is the proper formulation of DO into the logical framework.
This forum is host to a myriad set of such formulations. The way it usually works is people on this forum argue about how the suttas should be translated or framed in logical terms, while simultaneously trying to make pseudo-logical proofs about their preferred formulation, often accompanied by logical errors and fallacies embedded in the discussion.
The result I’ve often seen is people get lost. They can’t see the elements of the discussion clearly. Assumptions are not shared, illogical steps are inserted, appeals to emotion/authority, are swapped in and out, etc.
I hope that helps to explain my previous post. I’m not trying to involve myself in the proper formulation of DO into logical terms, I’m rather trying to make sure that the role of logic - as a tool - is being wielded properly in the hope that it will help dispel confusion. That’s all. ![]()