<I think, if we are to continue, we should spend some time establishing our terms.> I agree and as such have moved this avodah. Lets begin with some example that you suggest with gemara logic differs from math logic (including multi-valued logic and probability) -- Eli Turkel