Liste des Groupes | Revenir à theory |
On 7/7/2024 9:50 PM, Richard Damon wrote:Word salad.On 7/7/24 10:22 PM, olcott wrote:That every expression of language that is {true on the basis ofOn 7/7/2024 1:30 PM, Richard Damon wrote:>>>
Is "Not-a-logic-sentence" a truth value that True, of ~false can return or not?
>
*I will try to be perfectly clear*
Not-a-logic-sentence(L,x) ≡ (~True(L,x) ∧ ~True(L,~x))
>
In other words, you have no idea of how to express you concept in the terms of how a logic would be built with it, as you just don't undertand how logic works.
>
its meaning expressed using language} must have a connection by
truth preserving operations to its {meaning expressed using language}
is a tautology. The accurate model of the actual world is expressed
using formal language and formalized natural language.
Les messages affichés proviennent d'usenet.