godelian wrote: ↑Fri Mar 29, 2024 1:42 am
Age wrote: ↑Fri Mar 29, 2024 12:22 am
Okay, but just so you become fully aware I was not even thinking about, let alone ever talking about, some so-called 'soundness theorem'.
Of course, I did not mean to say that you actually know what you are talking about.
You obviously don't.
In case you are not yet aware one has to actually be thinking about or talking about some thing, before any Accurate assumption about that one knowing what they are talking about could be made.
godelian wrote: ↑Fri Mar 29, 2024 1:42 am
That is why I said: "you are implicitly referring to".
But I was not. you were only inferring that I was, and very Wrongly I will add.
Once more, you Wrongly presumed some thing here.
Look, you claimed that 'God/Allah's laws' are in the quran, I then showed and proved how, when, where, and why this is False, which just proved and meant that you did not know what you are talking about. This seems to have upset you, and 'now' you are brought up other absolutely False things, and then claiming that that is what I was talking about, when I was obviously not, and you are doing this in the hope of you being seen as though you do know what you are talking about.
godelian wrote: ↑Fri Mar 29, 2024 1:42 am
From what you wrote, it was obvious to me that you are totally unfamiliar with the mathematical notions of "soundness" and "consistency".
But, you still are not yet aware of what it was that I was actually talking about, and meaning.
So, presuming I was implying and talking about some thing, which I was not, and then saying and claiming that the other does not know what they are talking about, proves that you, literally, do not even know what you are talking about.
Once again, you inferred Wrongly.
godelian wrote: ↑Fri Mar 29, 2024 1:42 am
Soundness establishes the connection between syntactic entailment (⊢) and semantic entailment (⊨):
if Γ ⊢ P then also Γ ⊨ P
Of course,
I know that you do not know that you accidentally broached the subject by somehow vaguely claiming that the axiomatic proof method preserves truth.
See, this is another example of, exactly, where you are making Inaccurate and Wrong assumptions, which you believe are true, which then leads you to make other very Wrong and Inaccurate assumptions, and claims, as well.
godelian wrote: ↑Fri Mar 29, 2024 1:42 am
Since you are clearly not familiar with the literature on the subject, you wrote something that can be true, but it needs to be qualified more precisely.
What you wrote, was for once, not completely wrong. It was even somewhat vaguely correct. It stands in stark contrast with what you usually write, which is
not even wrong.
If this what you believe, then okay.
So, you say and claim things that are not Accurate and 'not even wrong', and then say and claim that I write things that are not even wrong, also.
The only difference here is that I showed where, when, how, and why what you wrote and claimed is Wrong, whereas you Wrongly assumed that I was talking about some thing, which I was not, and then said and claimed that I do not know what I am talking about when I was not even talking about 'that thing'. Remember, is was you who Wrongly presumed 'that thing' from the outset.