From Newsgroup: comp.ai.philosophy

On 12/9/2025 7:15 AM, Mikko wrote:

On 12/7/2025 4:39 AM, Mikko wrote:

olcott kirjoitti 6.12.2025 klo 14.24:

On 12/6/2025 2:37 AM, Mikko wrote:

olcott kirjoitti 5.12.2025 klo 18.41:

On 12/5/2025 2:48 AM, Mikko wrote:

olcott kirjoitti 3.12.2025 klo 17.59:

On 12/3/2025 4:41 AM, Mikko wrote:

olcott kirjoitti 2.12.2025 klo 16.00:

On 12/1/2025 5:02 AM, Mikko wrote:

Yes, that is the exxential difference between the two G's. >>>>>>>>>>> The expession F ⊬ G has a truth value because it is either >>>>>>>>>>> true or false

olcott kirjoitti 1.12.2025 klo 19.15:

I propose that is a false assumption.

On 12/2/2025 2:53 AM, Mikko wrote:

If you want to propose anygthng like that you should
(a) specify what is the assumption you want to propose as false >>>>>>>>> (b) why should that assumption be considered false
(c) what assumption would be true or at least less obviously false

olcott kirjoitti 7.12.2025 klo 16.59:

(a) specify what is the assumption you want to propose as false

That Gödel 1931 Incompleteness exists as anything
besides a misconception.

That does not make sense. Quite obviously Gödel's incompleteness is not mentioned in the scope where that can refer.

I thought that when I proved that it is a misconception
that you would be able to infer the incorrect assumption
on the basis of this proof. Also if you could not infer
this then you lack the prerequisites to understand what
I am saying.

If you don't understand how pronouns refer you should not use them.

The new category of thought is the complete body of
expressions of language that comprise every detail
of general knowledge that can be expressed in language.

Its basis is a complete finite set of basic facts of
general knowledge and every type of relation between
these basic facts. This keeps the whole system finite.

This enables "true on the basis of meaning expressed
in language" to be always computable for any element
in this body. ~True(Language L, Expression E) means
not an element of this body.

This reframes the philosophical analytic / synthetic
distinction such that the line of demarcation becomes
unequivocal.
--
Copyright 2025 Olcott

My 28 year goal has been to make
"true on the basis of meaning" computable.

This required establishing a new foundation
for correct reasoning.
--- Synchronet 3.21a-Linux NewsLink 1.2