Liste des Groupes | Revenir à s logic |
On 2024-08-09 15:29:18 +0000, olcott said:There is either a sequence of truth preserving operations from
On 8/9/2024 10:19 AM, olcott wrote:No, it doesn't. An algrithm or at least a proof of existence of anOn 8/9/2024 3:46 AM, Mikko wrote:>On 2024-08-08 16:01:19 +0000, olcott said:>
>>>
It does seem that he is all hung up on not understanding
how the synonymity of bachelor and unmarried works.
What in the synonymity, other than the synonymity itself,
would be relevant to Quine's topic?
>
He mentions it 98 times in his paper
https://www.ditext.com/quine/quine.html
I haven't looked at it in years.
>>I don't really give a rat's ass what he said all that matters>
to me is that I have defined expressions of language that are
{true on the basis of their meaning expressed in language}
so that I have analytic(Olcott) to make my other points.
That does not justify lying.
>
I never lie. Sometimes I make mistakes.
It looks like you only want to dodge the actual
topic with any distraction that you can find.
>
Expressions of language that are {true on the basis of
their meaning expressed in this same language} defines
analytic(Olcott) that overcomes any objections that
anyone can possibly have about the analytic/synthetic
distinction.
>
Expressions of language that are {true on the basis of
their meaning expressed in this same language} defines
analytic(Olcott) that overcomes any objections that
anyone can possibly have about the analytic/synthetic
distinction.
>
This makes all Analytic(Olcott) truth computable or the
expression is simply untrue because it lacks a truthmaker.
algrithm makes something computable. You can't compute if you con't
know how. The truth makeker of computability is an algorithm.
Les messages affichés proviennent d'usenet.