Liste des Groupes | Revenir à s logic |
On 8/17/24 2:19 PM, olcott wrote:Likewise ZFC is a mere opinion that most everyone chooses to ignore.On 8/17/2024 1:10 PM, Richard Damon wrote:Nope. You can say for YOUR usage, what you mean by True(L,x). You can't force others to use that,On 8/17/24 2:04 PM, olcott wrote:>On 8/17/2024 12:51 PM, Richard Damon wrote:>>>
In other words, you are just admitting you don't understand how logic works.
>
If you CHANGE an existing axiom, everything that depended on that axiom needs to be re-verified.
>
If you ADD a new axiom, it doesn't affect ANY argument that doesn't try to use it, and thus doesn't affect Russel's Paradox.
OK.
>
I add the definition for the True(L, x) predicate
and every instance of the notion of True changes
in every formal mathematical logic system.
>
But either that changes what that instance means,
When I stipulate what True(L,x) means then that is done.
It does not go on and in any circle endlessly redefining itself.
or reinterprete what others have said or proven based on you stipulation, in fact, by stipulating that definition, anythig that uses any other definition of it becomes out of bounds for your argument.It is proven totally true entirely on the basis of the
>And needs to be reproved to see if it is still true.
Everything in logic the depended on some notion of True is
changed. Any logic operations that were not truth preserving
are discarded. The notion of valid inference is also changed
because it was not truth preserving.
>
When a conclusion is not a necessary consequence of all of itsRight, so YOUR argument here is invalid.
premises then the argument is invalid.
>
Les messages affichés proviennent d'usenet.