The foundational essence of formal semantics

[PL Olcott]

Unlike the blurry mess of the analytic/synthetic distinction
This specifies an unequivocal dividing line:

(a) Some expressions of language are proven entirely true on the basis of other expressions of language.

(b) Other expressions of language are stipulated to be true.

The link between (a) and (b) is semantic entailment specified syntactically.

[PL Olcott]

"...the meaning of a given linguistic unit is defined to be the set of (paradigmatic) relations that the unit in question contracts with other units of the language...” Structural Semantics John Lyons (1963:59)

Syntagmatic relations: These are the horizontal or linear relationships a word contracts with other words it appears within a sentence. {The Principle of Compositionality}

Paradigmatic relations: These are the vertical or associative relationships a word has with other words that could be substituted for it in the same context. {an Inheritance Hierarchy within Simple Type Theory}.

[Ollie.ha]

Some things aren’t proven or stipulated… they are as true as they are false

[PL Olcott]

Some things aren’t proven or stipulated… they are as true as they are false

Without a specific concrete example that seems to be baseless.

[Ollie.ha]

Some things aren’t proven or stipulated… they are as true as they are false

Without a specific concrete example that seems to be baseless.

For an example “hello world” isn’t true or false, so it is as true as it is false, and those are null…

“The slot machine will dole out tons of coins” is possibly true or possibly false, therefore it is as true as it is false at somewhere around 50% once you’ve predicted it the best you can

[Ollie.ha]

From what I see there are four types of reasoning you go through to find truth… congruence, contradiction, both, and no relationship at all…

Obviously these states contradict each other; you can’t have two in full in one thought.

So what causes the contradiction on either side?

It should look something like a decision being made.