that derive x from — PL Olcott

From what?

string semantic meanings — PL Olcott

Semantic and meaning mean the same thing. Is the quote above supposed to mean "meaningful strings" as for example "the dog bites the ball" instead of "gorbyr dortug equerxi"?

verbal model of the general knowledge of the actual world — PL Olcott

What's "general knowledge" supposed to mean as opposed to just "knowledge"? Also, if the answer to the question in the previous quote is "Yes", "string semantic meanings" and "verbal model" approximately mean the same thing, if they mean anything at all.

that
form a finite set of finite strings that are stipulated to have the
semantic value of Boolean true — PL Olcott

?
You are writing things from a train of thought but the purpose of writing is communication, you need to include the train of thought, not just its destination.

A set of finite string semantic meanings that form an accurate
verbal model of the general knowledge of the actual world that form a finite set of finite strings that are stipulated to have the semantic value of Boolean true. — PL Olcott

We have an X that forms a Y that forms a Z, but X and Z seem awfully similar, as if they mean the same thing.

False(L,x) is defined as True(L,x) — PL Olcott

Do you mean False(L,x) is defined as True(L,¬x)?

Truthbearer(L,x) ≡ (True(L,x) ∨ True(L,~x)) — PL Olcott

Yes, something is a truth-bearer if it is true or false.

Finite string expressions that are not truth-bearers are rejected
as a type mismatch error for every formal system of bivalent logic.

Truthbearer(English, "This sentence is not true") is false.
Truthbearer(English, "This sentence is true") is false.
Truthbearer(English, "a fish") is false.
Truthbearer(English, "some fish are alive") is true. — PL Olcott

That is the naïve reply to sentences such as "This sentence is a lie". Claiming that it is not a truth-bearer is alike hand-waving, you must give some account as to how it is not a truth bearer.

Another further issue is that by the law of non-contradiction, something is X or it is not-X. Something is true or it is not true. Replying that "a fish" is neither true or false while nevertheless defining "false" as not-true violates the LNC. The "type mismatch" is encompassed in "not true" just like "green" is encompassed in "not salty" when you ask the equally nonsensical question "Is the colour green salty or not salty?" — do we really need to come up with a concept of "salty-bearer" or can't we just say things that taste salty are salty and everything else is not salty?

That is the naïve reply to sentences such as "This sentence is a lie". Claiming that it is not a truth-bearer is alike hand-waving, you must give some account as to how it is not a truth bearer. — Lionino

It is far too much to unpack all oat once.
I don't say: "This sentence is a lie",
I refer to the strengthened Liar Paradox: "This sentence is not true."

?- LP = not(true(LP)).
LP = not(true(LP)).

?- unify_with_occurs_check(LP, not(true(LP))).
false.

The means LP is rejected as not a truth bearer in Prolog because
it has an infinite cycle in its evaluation graph.

This sentence is not true.
What it is not true about?
It is not true about being not true.
What is it not true about being not true about?

I don't say: "This sentence is a lie",
I refer to the strengthened Liar Paradox: "This sentence is not true." — PL Olcott

Those two mean the same.

?- LP = not(true(LP)).
LP = not(true(LP)). — PL Olcott

No clue what that means.

The means LP is rejected as not a truth bearer in Prolog because
it has an infinite cycle in its evaluation graph.

This sentence is not true.
What it is not true about?
It is not true about being not true.
What is it not true about being not true about? — PL Olcott

It is the criticism of the liar paradox refering to nothing. It was discussed in the thread I linked.

It is the criticism of the liar paradox refering to nothing. It was discussed in the thread I linked. — Lionino

I have spent two decades on this. It <is> a truth predicate that would
work because Truthbearer(L,x) ≡ (True(L,x) ∨ True(L,~x)) screens out
epistemological antinomies that Tarski get stuck on.

I have spent two decades on this. — PL Olcott

That's rad.

It <is> a truth predicate that would work because Truthbearer(L,x) ≡ (True(L,x) ∨ True(L,~x)) screens out epistemological antinomies that Tarski get stuck on. — PL Olcott

@jgill@fishfry

What's "general knowledge" supposed to mean as opposed to just "knowledge"? — Lionino

General knowledge can be expressed in a finite set of finite strings.
Specific knowledge of everything is unmanageably large and infinite.

It <is> a truth predicate that would work because Truthbearer(L,x) ≡ (True(L,x) ∨ True(L,~x)) screens out epistemological antinomies that Tarski get stuck on.
— PL Olcott

@jgill@fishfry — Lionino

I'm familiar with Pete's work from other forums.

This user has been deleted and all their posts removed.

True(L,x)
— PL Olcott
Tell us, how do you know True(L,x) is true? — tim wood

Expressions that are {true on the basis of meaning} are ONLY
(a) A set of finite string semantic meanings that form an accurate
model of the general knowledge of the actual world.

(b) Expressions derived by applying truth preserving operations to (a).

True(English, "a cat is an animal") is true.

This user has been deleted and all their posts removed.

(a) A set of finite string semantic meanings that form an accurate
model of the general knowledge of the actual world.
— PL Olcott
Ok, but how exactly do you decide what is, or is not, a member of this set? — tim wood

It is simply all of the details of every fact of the world. General knowledge is a finite set of axioms.

This user has been deleted and all their posts removed.

↪PL Olcott The problem is that you have a set. But it is by no means clear how you create that set. — tim wood

That is not the point. The set of verified facts of the world is defined to exist, it is merely
not written down all in one place yet. LLM AI models might be able to achieve this
within a few years.

The point is that when we know all of the general knowledge facts of the world then
we can easily screen out every epistemological antinomy (as a type mismatch error
non-truth-bearer) that many of the undecidability proofs depend on. Tarski undefinability
proof depends on this.

https://liarparadox.org/Tarski_247_248.pdf
https://liarparadox.org/Tarski_275_276.pdf

This user has been deleted and all their posts removed.

That is the point. Not only have you not got it; it may not be achievable - that depending on the exact details and definitions. You invoke an oracle, but give no account of it other than some hand-waving. And what do you mean by "verified fact"? Is a verified fact different from just a fact? How do you verify it - what does verified mean? Do you even know what a fact is? Do you know the difference between fact and true? — tim wood

If we merely encoded all of the rules of algorithms, logic, and programming in a single
formal system then when when no sequence of truth preserving operations from these
basic axioms derives x or ~x then x can be rejected as a type mismatch error on the basis
that all formal systems of bivalent logic require every expression to be a truth-bearer.

This user has been deleted and all their posts removed.

If we merely encoded all of the rules of algorithms, logic, and programming in a single formal system
— PL Olcott
All right, a programming language.
truth preserving operations (TPOS)
— PL Olcott
An example or two, please?

And the Truths these TPOs are expected to preserve, whence them - your having only a language? And, "no sequence"? How do you define "no sequence"? — tim wood

{All cats are animals}
{All animals are living things}
therefore {All cats are living things}

The principle of explosion is not truth preserving.
{All cats are animals} // axiom
{No cats are animals} // false assumption
therefore FALSE

This user has been deleted and all their posts removed.

{All cats are animals}
— PL Olcott
You have a programming language - where does a statement about cats come from? How do you know "no cats are animals" is false and not itself an axiom? — tim wood

Expressions that are {true on the basis of meaning} are ONLY
(a) A set of finite string semantic meanings that form an accurate
model of the general knowledge of the actual world.

(b) Expressions derived by applying truth preserving operations to (a).

The above algorithm specifies True(L,x) and False(L,x) defined
as True(L, ~x).

This user has been deleted and all their posts removed.

Ah, meaning. What is that? How does your program assess or even recognize meaning? I am asking the simplest and most basic questions because it seems to me you must have both asked and answered them. But so far I have no evidence of that in this thread, or seen it in your other threads. — tim wood

https://en.wikipedia.org/wiki/Ontology_(information_science)
of Rudolf Carnap / Richard Montague {meaning postulates} that stipulate relations
between finite strings as providing the semantic meanings that form an accurate
model of the general knowledge of the actual world.

Rudolf Carnap told Willard Van Orman Quine that the otherwise totally
meaningless finite string of "Bachelor(x)" is defined as the otherwise totally
meaningless finite string "~Married(x)" and Quine just could not get it.

The full definition of "Married(x)" entails (at least) billions of other meaning
postulates defining "Human(x)".

This user has been deleted and all their posts removed.

I'll try to make it simpler. Given some string, call it Σ, we can start by supposing that Σ is/is not meaningful, is/is not true. How do you know/decide? Because I infer you have your program do it, the question is really, how does your program decide? — tim wood

Facts are sentences that are defined as true. Cats <are> Animals is defined as true.
The otherwise totally meaningless sequence of letters of "cats" and "animals" are defined to have the <is a type of> relation to each other.

All of the facts about the world work this same way. You wanted it simple and provided a complex example. In one case "Σ" is a Greek letter. Even this begs the question: What is Greek? and What is a letter?

https://www.mathsisfun.com/algebra/sigma-notation.html requires a whole mathematical infrastructure.

This user has been deleted and all their posts removed.

That's a pretty good definition! But you're missing the whole point. Who or what defines, and on what basis or by what criteria? If it's humans all the way down, I'll take that as an answer, but that will leave the question as to how your whole program will work, in as much as it will have to be preloaded with that which it is supposed to produce. — tim wood

Yes it is the case that only humans have a complex language, however, apes have learned a symbolic language known as Yerkish. https://en.wikipedia.org/wiki/Yerkish

There is a data structure known as a knowledge ontology that is based on a directed graph.
https://en.wikipedia.org/wiki/Ontology_(information_science)

A knowledge ontology has a unique integer (such as the CYC project's use of the 128-bit GUIDs) for each sense meaning of every word. https://en.wikipedia.org/wiki/Cyc

A word is a string (AKA sequence) of characters such as "dog". The first sense meaning is the most common one: https://www.merriam-webster.com/dictionary/dog# These differing sense meanings have an integer index in dictionaries. A knowledge ontology might require an ISO standard dictionary so that its unique sense meanings expressed as 128-bit integers can correspond to their sequence of characters in this IOS standard dictionary.

A knowledge ontology is an inheritance hierarchy of these sense meanings. This means that the sense meaning of {dog} (the animal) gets most of its meaning from {animal} and only adds details that distinguish a {dog} from other {animals}.

This user has been deleted and all their posts removed.

But these associations are probabilistic only, and neither in themselves truth bearing or producing — tim wood

In other words you seem to believe that "a cat is probably an animal" and "a cat is probably not a fifteen story office building". I disagree.

This user has been deleted and all their posts removed.

So far I think your machine just generates strings of symbols as candidates for inclusion in a list, but that apparently require the judgment of a person for that inclusion. — tim wood

We simply correctly encode all of the true facts of the world. When the discussion
devolves into "facts according to who" I lose interest because the discussion has
devolved away from actual truth.

This user has been deleted and all their posts removed.