Re: True on the basis of meaning

On 2024-05-11 04:27:03 +0000, olcott said:

On 5/10/2024 10:49 PM, Richard Damon wrote:

On 5/10/24 11:35 PM, olcott wrote:

On 5/10/2024 10:16 PM, Richard Damon wrote:

On 5/10/24 10:36 PM, olcott wrote:

The entire body of expressions that are {true on the basis of their
meaning} involves nothing more or less than stipulated relations between
finite strings.
 

 You do know that what you are describing when applied to Formal Systems are the axioms of the system and the most primitively provable theorems.
 

 YES and there are axioms that comprise the verbal model of the
actual world, thus Quine was wrong.

 You don't understand what Quite was talking about,
 

 I don't need to know anything about what he was talking about
except that he disagreed with {true on the basis or meaning}.
I don't care or need to know how he got to an incorrect answer.
 

 

 You don't seem to understand what "Formal Logic" actually means.
 

 Ultimately it is anchored in stipulated relations between finite
strings (AKA axioms) and expressions derived from applying truth
preserving operations to these axioms.

 Which you don't seem to understand what that means.
 

 I understand this much more deeply than you do.

In and about formal logic there is no valid deep understanding. Only
a shallow understanding can be valid.
--
Mikko