(September 25, 2014 at 5:59 pm)Rhythm Wrote: The "truth" of a conclusion depends upon what- in that system? I'm not saying that you can't come up with a statement that isn't true by some other means (including dumb luck), but that a statement is not and cannot be "true" within the confines of that system unless you have met the requirements, and followed the rules- of that system.
It's soundness, of course, which requires valid logic and true premises. Here's the problem, Rhythm - in deductive logic, when speaking of truth with respect to soundness of arguments and truth of conclusions, what we're talking about is "logical truth", which is "necessary truth", the negation of which is *not* false. It's negation is "not necessarily true" - which is to say it's truth value is indeterminate.
(September 25, 2014 at 5:59 pm)Rhythm Wrote: (I have a harder interpretation - I'm a computer hardware guy, at heart, btw..probably the point where our difference lies)
Different system. In that system the negation of true == false.
