Re: Formal systems as a subset of the body of conceptual knowledge (acknowledgement that I am right_4)

[peteolcott]

On 8/7/2019 11:30 AM, William wrote:
> On Wednesday, August 7, 2019 at 1:15:21 PM UTC-3, peteolcott wrote:
>
>> That there exist no stipulated relations between any expressions of
>> language (including known falsehoods) proves that G is all "f"-ed up.
>
>
> Nope. G is not all "f"-ed up. G is well formed.
>
> G corresponds to reality. G does not have a proof.
>
> That you only like expressions that have stipulated relations to an expression
> of language is of interest only to you (in part because this has meaning only to you).

Every expression of language that cannot possibly satisfy any of
the stipulated relations between expressions of language in the
body of conceptual knowledge is not a well formed logical proposition.

https://en.wikipedia.org/wiki/Sentence_(mathematical_logic)
A sentence can be viewed as expressing a proposition, something
that must be true or false.



--
Copyright 2019 Pete Olcott All rights reserved

"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein