Rumraket wrote:

VazScep wrote:

Rumraket wrote:I have no idea what you're talking about.

That sounds like it's because you're not familiar with contemporary formal logic.

I'm not.

VazScep wrote:Have a blast arguing against Matt's TAG.

Ok.

I think the basic point is that there are many different ways you can formalize logic. Just like there are many different ways you can formalize mathematics. For a theist to say, "the axioms are logic must be grounded somewhere", the first question should be, "which axioms?".

And if they pick some out, then ask how they know that. Did God tell them in a dream?