Re: The Reasoned Death of the Liar's Paradox

george schrieb:
Models simply are not needed at all in first-order logic.

On Aug 2, 12:31 pm, "J. Burse" <janbu...@xxxxxxxxxxx> wrote:
Depends on what you want to do.

Well, obviously, if you want to do something that
already involves models for some other reason, then, duh.

If you want to show completeness of FOL versus some valuation,

That is skipping a step.
"Completeness of FOL" ALREADY HAS a meaning.
No valuation is even relevant.
First you have to explain why you need a valuation,
the point being that YOU DON'T.

In the completness theorem you need a valuation
because the theorem states:

|= A <=> |- A

Bye
.

Quantcast